Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and Real Time Systems, is funded in the Area of Computer Science, under the ESPRIT Programme of the European Community. The coordinating institution is the Department of Computing Science, Eindhoven University of Technology, and the participating Institutions are the Institute of Computer Science of Crete. the Swedish Institute of Computer Science, the Programmimg Research Group of the University of Oxford, and the Computer Science Departments of the University of Manchester, Imperial College. Weizmann Institute of Science, Eindhoven University of Technology, IMAG Grenoble. Catholic University of Nijmegen, and the University of Liege. This document contains the synopsis. and part of the sections on objectives and area of advance, on baseline and rationale, on research goals, and on organisation of the action, as contained in the original proposal, submitted June, 198S. The section on the state of the art (18 pages) and the full list of references (21 pages) of the original proposal have been deleted because of limitation of available space

Current treatment practice of Guillain-Barré syndrome

Objective: To define the current treatment practice of Guillain-Barré syndrome (GBS). Methods: The study was based on prospective observational data from the first 1,300 patients included in the International GBS Outcome Study. We described the treatment practice of GBS in general, and for (1) severe forms (unable to walk independently), (2) no recovery after initial treatment, (3) treatment-related fluctuations, (4) mild forms (able to walk independently), and (5) variant forms including Miller Fisher syndrome, taking patient characteristics and hospital type into account. Results: We excluded 88 (7%) patients because of missing data, protocol violation, or alternative diagnosis. Patients from Bangladesh (n = 189, 15%) were described separately because 83% were not treated. IV immunoglobulin (IVIg), plasma exchange (PE), or other immunotherapy was provided in 941 (92%) of the remaining 1,023 patients, including patients with severe GBS (724/743, 97%), mild GBS (126/168, 75%), Miller Fisher syndrome (53/70, 76%), and other variants (33/40, 83%). Of 235 (32%) patients who did not improve after their initial treatment, 82 (35%) received a second immune modulatory treatment. A treatment-related fluctuation was observed in 53 (5%) of 1,023 patients, of whom 36 (68%) were re-treated with IVIg or PE. Conclusions: In current practice, patients with mild and variant forms of GBS, or with treatment-related fluctuations and treatment failures, are frequently treated, even in absence of trial data to support this choice. The variability in treatment practice can be explained in part by the lack of evidence and guidelines for effective treatment in these situations

Characterization of lamin Mutation Phenotypes in Drosophila and Comparison to Human Laminopathies

Lamins are intermediate filament proteins that make up the nuclear lamina, a matrix underlying the nuclear membrane in all metazoan cells that is important for nuclear form and function. Vertebrate A-type lamins are expressed in differentiating cells, while B-type lamins are expressed ubiquitously. Drosophila has two lamin genes that are expressed in A- and B-type patterns, and it is assumed that similarly expressed lamins perform similar functions. However, Drosophila and vertebrate lamins are not orthologous, and their expression patterns evolved independently. It is therefore of interest to examine the effects of mutations in lamin genes. Mutations in the mammalian lamin A/C gene cause a range of diseases, collectively called laminopathies, that include muscular dystrophies and premature aging disorders. We compared the sequences of lamin genes from different species, and we have characterized larval and adult phenotypes in Drosophila bearing mutations in the lam gene that is expressed in the B-type pattern. Larvae move less and show subtle muscle defects, and surviving lam adults are flightless and walk like aged wild-type flies, suggesting that lam phenotypes might result from neuromuscular defects, premature aging, or both. The resemblance of Drosophila lam phenotypes to human laminopathies suggests that some lamin functions may be performed by differently expressed genes in flies and mammals. Such still-unknown functions thus would not be dependent on lamin gene expression pattern, suggesting the presence of other lamin functions that are expression dependent. Our results illustrate a complex interplay between lamin gene expression and function through evolution

Coral crabs influence the feeding patterns of crown-of-thorns starfish

This item does not have an abstract