Quasispecies are clouds of genotypes that appear in a population at mutation-selection balance. This concept has recently attracted the attention of virologists, because many RNA viruses appear to generate high levels of genetic variation that may enhance the evolution of drug resistance and immune escape. The literature on these important evolutionary processes is, however, quite challenging. ...

Search in constraint programming is a time consuming task. Search can be speeded up by exploring subtrees of a search tree in parallel. This paper presents distributed search engines that achieve parallelism by distribution across networked computers. The main point of the paper is a simple design of the parallel search engine. Simplicity comes as an immediate consequence of clearly separating ...

The Ulster Medical Society grants to all users on the basis of a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International Licence the right to alter or build upon the work non-commercially, as long as the author is credited and the new creation is licensed under identical terms. The books title 'Contraception made easy' delivers on its promise. In order to do so undoubtedly the b...

In the first years of the 21st century, companies know more than ever about their customers. This knowledge is gained through the collection and analysis of customer data, but it comes at a price: companies are now responsible for securing the privacy data of their customers’ personal information. Companies not only have a potential moral responsibility to protect information pertaining to cust...

CURRENT SCIENCE, VOL. 90, NO. 10, 25 MAY 2006 1311 livelihoods through marine fishing in the conservation of marine ecosystems, it was also evident that alternatives need to be formulated to minimize the growing pressure on these ecosystems. Providing incentives for prudent extraction of biological resources, sea farming and sea ranching were some of the suggestions made by the speakers. The pa...

A well-known fact in the theory of secret sharing schemes is that shares must be of length at least as the secret itself. However, the proof of this lower bound uses the notion of information theoretic secrecy. A natural (and very practical) question is whether one can do better for secret sharing if the notion of secrecy is computational, namely, against resource bounded adversaries. In this n...

minerai fibres in boards for sound-insulation of ceiling (Dan.). Ugeskr. Laeger, 145, 43-47 American Conference of Governmental Industria1 Hygienists (1986) Threshold Limit Values and Biological Exposure Indices/or 1986-1987, Cincinnati, OH, pp. 19,34 Andersen, A. & Langmark, F. (1986) Incidence of cancer in the mineral-wool producing industry in Norway. Scand. J. Work Environ. Health, 12 (Supp...

This paper develops some methods and techniques for the practical use of compositionality to prove the correctness of modular systems, with reference to the metric temporal logic TRIO. It advocates a “lightweight” approach to compositionality, driven by the specifics of the system under development, where methodology is as important as technical solutions.