Publications related to Binary search algorithm

In Silico Discovery of High Deliverable Capacity Metal Organic Frameworks

Metal-organic frameworks (MOFs) are actively being explored as potential adsorbed natural gas storage materials for small vehicles. Experimental exploration of potential materials is limited by the throughput of synthetic chemistry. We here describe a comp ...

American Chemical Society2015

A Numerical Framework and Benchmark Case study for Muti-modal Fuel Efficient Aircraft Conflict Avoidance

Maryam Kamgarpour, John Lygeros

We formulate fuel optimal conflict free aircraft trajectory planning as a hybrid optimal control problem. The discrete modes of the hybrid system capture the air traffic procedures for conflict resolution, e. g., speed and turn advisories. In order to solv ...

2014

Designing ASCY-compliant Concurrent Search Data Structures

Rachid Guerraoui, Vasileios Trigonakis, Tudor Alexandru David, Tong Che

This report details the design of two new concurrent data structures, a hash table, called CLHT, and a binary search tree (BST), called BST-TK. Both designs are based on asynchronized concurrency (ASCY), a paradigm consisting of four complementary programm ...

2014

A novel cmos image sensor with event/change detection and reduced data redundancy

Giovanni De Micheli, Sandro Carrara, Gözen Köklü

A Digital Pixel Sensor (DPS) based CMOS camera configured to record frames and comprising an event detection sensor configured to look for an event happening in a determined frame, comprising an array of event detection pixels, a first reference voltage ge ...

2014

Lessons from Nature: Computational Design of Biomimetic Compounds and Processes

Ursula Röthlisberger, Pablo Campomanes Ramos, Elizabeth Claire Brunk, Negar Ashari Astani, Marta Andreia Da Silva Perez, Esra Bozkurt, Nicholas John Browning

Through millions of years of evolution, Nature has accomplished the development of highly efficient and sustainable processes and the idea to understand and copy natural strategies is therefore very appealing. However, in spite of intense experimental and ...

2014

What Can Integral Equation Do for Array Analysis?

Anja Skrivervik

This contribution starts with a short overview on classic Integral Equation techniques for the analysis of periodic structures. Then, an efficient iterative procedure will be presented for periodic and quasi periodic structures. © 2014 European Association ...

2014

Interchangeability with thresholds and degradation factors for Soft CSPs

Boi Faltings, Nicoleta Neagu

Substitutability and interchangeability in constraint satisfaction problems (CSPs) have been used as a basis for search heuristics, solution adaptation and abstraction techniques. In this paper, we consider how the same concepts can be extended to soft con ...

Springer2013

Randomized recovery for boolean compressed sensing

Martin Vetterli, Mitra Fatemi

We consider the problem of boolean compressed sensing, which is alternatively known as group testing. The goal is to recover a small number of defective items in a large set from a few collective binary tests. This problem can be formulated as a binary lin ...

2013

BI-population CMA-ES Algorithms with Surrogate Models and Line Searches

Ilya Loshchilov

In this paper, we study the performance of NIPOP-aCMA- ES and NBIPOP-aCMA-ES, recently proposed alternative restart strategies for CMA-ES. Both algorithms were tested using restarts till a total number of function evaluations of 106D was reached, where D i ...

2013

On the Function Field Sieve and the Impact of Higher Splitting Probabilities: Application to Discrete Logarithms in $\mathbb{F}_{2^{1971}}$ and $\mathbb{F}_{2^{3164}}$

Robert Granger, Jens Markus Zumbrägel

In this paper we propose a binary field variant of the Joux-Lercier medium-sized Function Field Sieve, which results not only in complexities as low as

L_{q^n}(1/3,(4/9)1/3)

for computing arbitrary logarithms, but also in an heuristic polynomial time alg ...

Springer Berlin Heidelberg2013

Binary search algorithm

Graph Chatbot

Chat with Graph Search

In Silico Discovery of High Deliverable Capacity Metal Organic Frameworks

A Numerical Framework and Benchmark Case study for Muti-modal Fuel Efficient Aircraft Conflict Avoidance

Designing ASCY-compliant Concurrent Search Data Structures

A novel cmos image sensor with event/change detection and reduced data redundancy

Lessons from Nature: Computational Design of Biomimetic Compounds and Processes

What Can Integral Equation Do for Array Analysis?

Interchangeability with thresholds and degradation factors for Soft CSPs

Randomized recovery for boolean compressed sensing

BI-population CMA-ES Algorithms with Surrogate Models and Line Searches

On the Function Field Sieve and the Impact of Higher Splitting Probabilities: Application to Discrete Logarithms in $\mathbb{F}_{2^{1971}}$ and $\mathbb{F}_{2^{3164}}$

Designing ASCY-compliant Concurrent Search Data Structures

A novel cmos image sensor with event/change detection and reduced data redundancy

On the Function Field Sieve and the Impact of Higher Splitting Probabilities: Application to Discrete Logarithms in $\mathbb{F}_{2^{1971}}$ and $\mathbb{F}_{2^{3164}}$

A Numerical Framework and Benchmark Case study for Muti-modal Fuel Efficient Aircraft Conflict Avoidance

Interchangeability with thresholds and degradation factors for Soft CSPs

What Can Integral Equation Do for Array Analysis?

BI-population CMA-ES Algorithms with Surrogate Models and Line Searches

In Silico Discovery of High Deliverable Capacity Metal Organic Frameworks

Randomized recovery for boolean compressed sensing

Lessons from Nature: Computational Design of Biomimetic Compounds and Processes