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...

AIMS AND OBJECTIVES In this study we describe the development of a short, easy-to-use questionnaire to measure postoperative recovery and evaluate its content validity and intra-patient reliability. The questionnaire is designed to evaluate the progress of postoperative recovery and the long-term follow-up of possible effects of interventions during recovery. METHODS The study involved four s...

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.

Transient silencing made permanent A ll cancers have genes that are permanently silenced by DNA methylation. Yeshayahu Schlesinger, Howard Cedar (The Hebrew University, Israel), and colleagues, and Martin Widschwendter (UCL, London, UK), Peter Laird (USC, Los Angeles, CA), and colleagues inspect these irreversibly silenced genes. In normal tissues, they fi nd, these genes carry transient repres...

Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic secondorder formula over evolving subgraphs of a fixed maximal graph having bounded tree-width; here the subgraph evolves by losing or gaining edges (from the maximal graph). We show that this problem is in DynFO (with LOGSPA...