Let α and β be a partition of {1, . . . , n} into two blocks. A merging network is a network of comparators which allows as input arbitrary real numbers and has the property that, whenever the input sequence x1, x2, . . . , xn is such that the subsequence in the positions α and the subsequence in the positions β are each sorted, the output sequence will be sorted. We study the class of “recursi...

We describe a method for speeding up divide-andconquer algorithms with a hardware coprocessor, using sorting as an example. The method employs a conventional processor for the “divide” and “merge” phases, while the “conquer” phase is handled by a purpose-built coprocessor. It is shown how transformation techniques from the Ruby language can be adopted in developing a family of systolic sorters,...

We used thermocapillary stresses induced locally by laser on flowing drops to build high throughput drop switchers and sorters for digital microfluidics. Since the laser is disconnected to the chip, the method does not require dedicated micropatterning. We show switching efficiencies of 100% for drop velocities up to 1.3 cm s , demonstrate the involved mechanism and apply laser switching for so...

Magnetic cell separation has become a key methodology for the isolation of target populations from biological suspensions, covering wide spectrum applications diagnosis and therapy in biomedicine to environmental or fundamental research biology. There now exists great variety commercially available instruments reagents, which permitted rapid dissemination technology. However, there is still an ...

Peripheral blood can provide valuable information on an individual's immune status. Cell-based assays typically target leukocytes and their products. Characterization of leukocytes from whole blood requires their separation from the far more numerous red blood cells.1 Current methods to classify leukocytes, such as recovery on antibody-coated beads or fluorescence-activated cell sorting require...

This paper addresses the inbound containers scheduling problem for automated sorter systems in two different industrial sectors: parcel & postal sorting and baggage handling. We build on existing literature, particularly on the dynamic load balancing algorithm designed for the parcel hub scheduling problem, and adapt the existing algorithm to include travel times on sorters. Then, we show how t...

To investigate a generalizable moderating effect of the type of technology tested upon its acceptance, a classification of technologies is needed. This study aims to develop a preliminary framework to describe information technologies based upon 200 randomly selected technology descriptions taken from a comprehensive TAM meta-analysis effort currently in progress. We report on the use of a clas...

We present a hybrid system for managing both symbolic and subsymbolic knowledge in a uniform way. Our aim is to solve problems where some gap in formal theories occurs which stops us from getting a fully symbolical solution. The idea is to use neural modules to functionally connect pieces of symbolical knowledge, such as mathematical formulas and deductive rules. The whole system is trained thr...

We use microfluidic devices to encapsulate, incubate, and manipulate individual cells in picoliter aqueous drops in a carrier fluid at rates of up to several hundred Hz. We use a modular approach with individual devices for each function, thereby significantly increasing the robustness of our system and making it highly flexible and adaptable to a variety of cell-based assays. The small volumes...