Multirelations model computations with both angelic and demonic non-determinism. We extend multirelations to represent finite and infinite computations independently. We derive an approximation order for multirelations assuming only that the endless loop is its least element and that the lattice operations are isotone. We use relations, relation algebra and RelView for representing and calculat...

Stem-loop (hairpin) DNA oligomer probes provide increased specificity of target recognition as compared with linear DNA probes. Invention of molecular beacons, a variant of stem-loop oligonucleotides, which are able to fluoresce upon hybridization but are ‘‘dark’’ in the absence of the target, made possible real-time monitoring of hybridization process. A variety of robust assays using diverse,...

You have just finished a bowl of chicken soup for lunch. As you clean up, you wash out the bowl and throw away the can. A garbage truck will haul the can to the dump where it will lie among other trash. A female fly might lay her eggs in the can, and her offspring might fly from the dump, feed on some decayed food, and then rest on top of someone’s peanut butter sandwich. Each of these interact...