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

In environmental applications such as forestry, the capture of the polygonal structuring of the data is expensive in terms of hardware, software and labour due largely to difficulties in constructing a topologically complete map. This paper will show that, for many applications, topological structuring and data entry methods may be made quite simple, The example used is a paper map of forest po...

M any of us have been faced with this situation: we found a certain field of research intriguing, went to an online archive to search for related papers, and the results were just less than satisfactory: they are too unstructured to obtain a big picture, such as how this field evolves over time, what sub-fields it is composed of. Instead of relying on human instinct for such insights, our proje...

Kratzer’s picture [, , ]: • Modals are quantifiers over possible worlds. • Possibility modals are existential quantifiers, necessity modals are universal quantifiers. They are duals of each other. • Modals quantify over the worlds given by a background such as “in view of what the laws are” (i.e. the worlds compatible with what the laws are in the evaluation world). • The “ambiguity” betwe...