Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...
DNA is a long polymer with the form of a double helix of about two nanometers diameter (2.10-9 meters). It is composed of nucleotides whose sequence carries the information of heredity. The four possible nucleotides have slightly different geometries, and ...
Dielectrophoresis is a method that has demonstrated great potential in cell discrimination and isolation. In this study, the dielectrophoretic sorting of normal and Babesia bovis infected erythrocytes was performed using a microfabricated flow cytometer. S ...
We use cryo-electron microscopy to compare 3D shapes of 158 bp long DNA minicircles that differ only in the sequence within an 18 bp block containing either a TATA box or a catabolite activator protein binding site. We present a sorting algorithm that corr ...
Routing in large-scale mobile ad hoc networks is challenging because all the nodes are potentially moving. Geographic routing can partially alleviate this problem, as nodes can make local routing decisions based solely on the destinations' geographic coord ...
