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

Trait and phylogenetic diversity provide insights into community assembly of reef‐associated shrimps (Palaemonidae) at different spatial scales across the Chagos Archipelago

Coral reefs are the most biodiverse marine ecosystem and one of the most threatened by global climate change impacts. The vast majority of diversity on reefs is comprised of small invertebrates that live within the reef structure, termed the cryptofauna. This component of biodiversity is hugely understudied, and many species remain undescribed. This study represents a rare analysis of assembly processes structuring a distinct group of cryptofauna, the Palaemonidae, in the Chagos Archipelago, a reef ecosystem under minimal direct human impacts in the central Indian Ocean. The Palaemonidae are a diverse group of Caridae (infraorder of shrimps) that inhabit many different niches on coral reefs and are of particular interest because of their varied habitat associations. Phylogenetic and trait diversity and phylogenetic signal were used to infer likely drivers of community structure. The mechanisms driving palaemonid community assembly and maintenance in the Chagos Archipelago showed distinct spatial patterns. At local scales, among coral colonies and among reefs fringing individual atolls, significant trait, and phylogenetic clustering patterns suggest environmental filtering may be a dominant ecological process driving Palaemonidae community structure, although local competition through equalizing mechanisms may also play a role in shaping the local community structure. Importantly, we also tested the robustness of phylogenetic diversity to changes in evolutionary information as multi‐gene phylogenies are resource intensive and for large families, such as the Palaemonidae, are often incomplete. These tests demonstrated a very modest impact on phylogenetic community structure, with only one of the four genes (PEPCK gene) in the phylogeny affecting phylogenetic diversity patterns, which provides useful information for future studies on large families with incomplete phylogenies. These findings contribute to our limited knowledge of this component of biodiversity in a marine locality as close to undisturbed by humans as can be found. It also provides a rare evaluation of phylogenetic diversity methods

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

Minimal Symptom Expression' in Patients With Acetylcholine Receptor Antibody-Positive Refractory Generalized Myasthenia Gravis Treated With Eculizumab

The efficacy and tolerability of eculizumab were assessed in REGAIN, a 26-week, phase 3, randomized, double-blind, placebo-controlled study in anti-acetylcholine receptor antibody-positive (AChR+) refractory generalized myasthenia gravis (gMG), and its open-label extension

Post-intervention Status in Patients With Refractory Myasthenia Gravis Treated With Eculizumab During REGAIN and Its Open-Label Extension

OBJECTIVE: To evaluate whether eculizumab helps patients with anti-acetylcholine receptor-positive (AChR+) refractory generalized myasthenia gravis (gMG) achieve the Myasthenia Gravis Foundation of America (MGFA) post-intervention status of minimal manifestations (MM), we assessed patients' status throughout REGAIN (Safety and Efficacy of Eculizumab in AChR+ Refractory Generalized Myasthenia Gravis) and its open-label extension. METHODS: Patients who completed the REGAIN randomized controlled trial and continued into the open-label extension were included in this tertiary endpoint analysis. Patients were assessed for the MGFA post-intervention status of improved, unchanged, worse, MM, and pharmacologic remission at defined time points during REGAIN and through week 130 of the open-label study. RESULTS: A total of 117 patients completed REGAIN and continued into the open-label study (eculizumab/eculizumab: 56; placebo/eculizumab: 61). At week 26 of REGAIN, more eculizumab-treated patients than placebo-treated patients achieved a status of improved (60.7% vs 41.7%) or MM (25.0% vs 13.3%; common OR: 2.3; 95% CI: 1.1-4.5). After 130 weeks of eculizumab treatment, 88.0% of patients achieved improved status and 57.3% of patients achieved MM status. The safety profile of eculizumab was consistent with its known profile and no new safety signals were detected. CONCLUSION: Eculizumab led to rapid and sustained achievement of MM in patients with AChR+ refractory gMG. These findings support the use of eculizumab in this previously difficult-to-treat patient population. CLINICALTRIALSGOV IDENTIFIER: REGAIN, NCT01997229; REGAIN open-label extension, NCT02301624. CLASSIFICATION OF EVIDENCE: This study provides Class II evidence that, after 26 weeks of eculizumab treatment, 25.0% of adults with AChR+ refractory gMG achieved MM, compared with 13.3% who received placebo