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

Electrodiagnostic subtyping in Guillain–Barr\ue9 syndrome patients in the International Guillain–Barr\ue9 Outcome Study

\ua9 2024 The Authors. European Journal of Neurology published by John Wiley & Sons Ltd on behalf of European Academy of Neurology.Background and purpose: Various electrodiagnostic criteria have been developed in Guillain–Barr\ue9 syndrome (GBS). Their performance in a broad representation of GBS patients has not been evaluated. Motor conduction data from the International GBS Outcome Study (IGOS) cohort were used to compare two widely used criterion sets and relate these to diagnostic amyotrophic lateral sclerosis criteria. Methods: From the first 1500 patients in IGOS, nerve conduction studies from 1137 (75.8%) were available for the current study. These patients were classified according to nerve conduction studies criteria proposed by Hadden and Rajabally. Results: Of the 1137 studies, 68.3% (N = 777) were classified identically according to criteria by Hadden and Rajabally: 111 (9.8%) axonal, 366 (32.2%) demyelinating, 195 (17.2%) equivocal, 35 (3.1%) inexcitable and 70 (6.2%) normal. Thus, 360 studies (31.7%) were classified differently. The areas of differences were as follows: 155 studies (13.6%) classified as demyelinating by Hadden and axonal by Rajabally; 122 studies (10.7%) classified as demyelinating by Hadden and equivocal by Rajabally; and 75 studies (6.6%) classified as equivocal by Hadden and axonal by Rajabally. Due to more strictly defined cutoffs fewer patients fulfilled demyelinating criteria by Rajabally than by Hadden, making more patients eligible for axonal or equivocal classification by Rajabally. In 234 (68.6%) axonal studies by Rajabally the revised El Escorial (amyotrophic lateral sclerosis) criteria were fulfilled; in axonal cases by Hadden this was 1.8%. Conclusions and discussion: This study shows that electrodiagnosis in GBS is dependent on the criterion set utilized, both of which are based on expert opinion. Reappraisal of electrodiagnostic subtyping in GBS is warranted

Electrodiagnostic subtyping in Guillain–Barré syndrome patients in the International Guillain–Barré Outcome Study

Background and purpose: Various electrodiagnostic criteria have been developed in Guillain–Barré syndrome (GBS). Their performance in a broad representation of GBS patients has not been evaluated. Motor conduction data from the International GBS Outcome Study (IGOS) cohort were used to compare two widely used criterion sets and relate these to diagnostic amyotrophic lateral sclerosis criteria. Methods: From the first 1500 patients in IGOS, nerve conduction studies from 1137 (75.8%) were available for the current study. These patients were classified according to nerve conduction studies criteria proposed by Hadden and Rajabally. Results: Of the 1137 studies, 68.3% (N = 777) were classified identically according to criteria by Hadden and Rajabally: 111 (9.8%) axonal, 366 (32.2%) demyelinating, 195 (17.2%) equivocal, 35 (3.1%) inexcitable and 70 (6.2%) normal. Thus, 360 studies (31.7%) were classified differently. The areas of differences were as follows: 155 studies (13.6%) classified as demyelinating by Hadden and axonal by Rajabally; 122 studies (10.7%) classified as demyelinating by Hadden and equivocal by Rajabally; and 75 studies (6.6%) classified as equivocal by Hadden and axonal by Rajabally. Due to more strictly defined cutoffs fewer patients fulfilled demyelinating criteria by Rajabally than by Hadden, making more patients eligible for axonal or equivocal classification by Rajabally. In 234 (68.6%) axonal studies by Rajabally the revised El Escorial (amyotrophic lateral sclerosis) criteria were fulfilled; in axonal cases by Hadden this was 1.8%. Conclusions and discussion: This study shows that electrodiagnosis in GBS is dependent on the criterion set utilized, both of which are based on expert opinion. Reappraisal of electrodiagnostic subtyping in GBS is warranted

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

This item does not have an abstract