MOTIVATION To meet the demands of large-scale sequencing, thousands of clones must be fingerprinted and assembled into contigs. To determine the order of clones, a typical experiment is to digest the clones with one or more restriction enzymes and measure the resulting fragments. The probability of two clones overlapping is based on the similarity of their fragments. A contig contains two or mo...

The koala is the quintessential specialist herbivore, feeding almost exclusively on Eucalyptus foliage. Consequently, the limitations imposed on the koala's diet by plant defences indicate the extent to which evolutionary adaptations allow mammalian herbivores to circumvent such defences. We tested whether a recently discovered group of plant secondary metabolites, the formylated phloroglucinol...

The functions of prefrontal cortex remain enigmatic, especially for its anterior sectors, putatively ranging from planning to self-initiated behavior, social cognition, task switching, and memory. A predominant current theory regarding the most anterior sector, the frontopolar cortex (FPC), is that it is involved in exploring alternative courses of action, but the detailed causal mechanisms rem...

Industrial process heating applications in the temperature range of 50°–250 °C consumes about 35% global fossil fuels, wherein solar thermal is envisaged as an alternative option. Outlet temperatures both flat-plate collector (FPC) and photovoltaic (PVT) are not high enough to serve industrial processes. In this article, a assisted (SAPH) system, FPC integrated series with PVT, has been designe...

UNLABELLED High-throughput content fingerprinting techniques employing capillary electrophoresis place new demands on the editing of fingerprint files for the downstream contig assembly program, FPC. A cross-platform software application, GenoProfiler, was developed for automated editing of sized fingerprinting profiles generated by the ABI Genetic Analyzers. The batch-processing module extract...

This paper shows how a fully abstract model for a rich metalanguage like FPC can be used to prove theorems about other languages. In particular, we use results obtained from a game semantics of FPC to show that the natural translation of the lazy-calculus into the metalanguage is fully abstract, thus obtaining a new full abstraction result from an old one. The proofs involved are very easy|all ...