Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines. These state machines are organised hierarchically: commands are sent down the hierarchy and state changes are sent upwards. The sheer size of the system makes it virtually impossible to fully understand the details of its behaviour at the macro level. This is fuelled by unclarities that already exist at the micro level. We have solved the latter problem by formally describing the finite state machines in the mCRL2 process algebra. The translation has been implemented using the ASF+SDF meta-environment, and its correctness was assessed by means of simulations and visualisations of individual finite state machines and through formal verification of subsystems of the control software. Based on the formalised semantics of the finite state machines, we have developed dedicated tooling for checking properties that can be verified on finite state machines in isolation.Comment: To appear in FSEN'11. Extended version with details of the ASF+SDF translation of SML into mCRL

Hydropic ear disease: correlation between audiovestibular symptoms, endolymphatic hydrops and blood-labyrinth barrier impairment

Research Objective: To investigate the correlation between clinical features and MRI-confirmed endolymphatic hydrops (EH) and blood-labyrinth barrier (BLB) impairment.Study Design: Retrospective cross-sectional study.Setting: Vertigo referral center (Haga Teaching Hospital, The Hague, the Netherlands).Methods: We retrospectively analyzed all patients that underwent 4 h-delayed Gd-enhanced 3D FLAIR MRI at our institution from February 2017 to March 2019. Perilymphatic enhancement and the degree of cochlear and vestibular hydrops were assessed. The signal intensity ratio (SIR) was calculated by region of interest analysis. Correlations between MRI findings and clinical features were evaluated.Results: Two hundred and fifteen patients with MRI-proven endolymphatic hydrops (EH) were included (179 unilateral, 36 bilateral) with a mean age of 55.9 yrs and median disease duration of 4.3 yrs. Hydrops grade is significantly correlated with disease duration (P < 0.001), the severity of low- and high-frequency hearing loss (both P < 0.001), and the incidence of drop attacks (P = 0.001). Visually increased perilymphatic enhancement was present in 157 (87.7%) subjects with unilateral EH. SIR increases in correlation with hydrops grade (P < 0.001), but is not significantly correlated with the low or high Fletcher index (P = 0.344 and P = 0.178 respectively). No significant differences were found between the degree of EH or BLB impairment and vertigo, tinnitus or aural fullness.Conclusion: The degree of EH positively correlates with disease duration, hearing loss and the incidence of drop attacks. The BLB is impaired in association with EH grade, but without clear contribution to the severity of audiovestibular symptoms.Neuro Imaging Researc

Prednisolone versus placebo addition in the treatment of patients with recent-onset psychotic disorder: a trial design

BACKGROUND: The symptom severity of a substantial group of schizophrenia patients (30-40%) does not improve through pharmacotherapy with antipsychotic medication, indicating a clear need for new treatment options to improve schizophrenia outcome. Meta-analyses, genetic studies, randomized controlled trials, and post-mortem studies suggest that immune dysregulation plays a role in the pathophysiology of schizophrenia. Some anti-inflammatory drugs have shown beneficial effects on the symptom severity of schizophrenia patients. Corticosteroids are effective in various chronic inflammatory and autoimmune disorders. Prednisolone, a potent glucocorticosteroid, has minor mineral-corticosteroid potencies and can adequately pass the blood-brain barrier

Search for charginos in e+e- interactions at sqrt(s) = 189 GeV

An update of the searches for charginos and gravitinos is presented, based on a data sample corresponding to the 158 pb^{-1} recorded by the DELPHI detector in 1998, at a centre-of-mass energy of 189 GeV. No evidence for a signal was found. The lower mass limits are 4-5 GeV/c^2 higher than those obtained at a centre-of-mass energy of 183 GeV. The (\mu,M_2) MSSM domain excluded by combining the chargino searches with neutralino searches at the Z resonance implies a limit on the mass of the lightest neutralino which, for a heavy sneutrino, is constrained to be above 31.0 GeV/c^2 for tan(beta) \geq 1.Comment: 22 pages, 8 figure

Search for composite and exotic fermions at LEP 2

A search for unstable heavy fermions with the DELPHI detector at LEP is reported. Sequential and non-canonical leptons, as well as excited leptons and quarks, are considered. The data analysed correspond to an integrated luminosity of about 48 pb^{-1} at an e^+e^- centre-of-mass energy of 183 GeV and about 20 pb^{-1} equally shared between the centre-of-mass energies of 172 GeV and 161 GeV. The search for pair-produced new leptons establishes 95% confidence level mass limits in the region between 70 GeV/c^2 and 90 GeV/c^2, depending on the channel. The search for singly produced excited leptons and quarks establishes upper limits on the ratio of the coupling of the excited fermio

Hadronization properties of b quarks compared to light quarks in e+e- -> q qbar from 183 to 200 GeV

The DELPHI detector at LEP has collected 54 pb^{-1} of data at a centre-of-mass energy around 183 GeV during 1997, 158 pb^{-1} around 189 GeV during 1998, and 187 pb^{-1} between 192 and 200 GeV during 1999. These data were used to measure the average charged particle multiplicity in e+e- -> b bbar events, _{bb}, and the difference delta_{bl} between _{bb} and the multiplicity, _{ll}, in generic light quark (u,d,s) events: delta_{bl}(183 GeV) = 4.55 +/- 1.31 (stat) +/- 0.73 (syst) delta_{bl}(189 GeV) = 4.43 +/- 0.85 (stat) +/- 0.61 (syst) delta_{bl}(200 GeV) = 3.39 +/- 0.89 (stat) +/- 1.01 (syst). This result is consistent with QCD predictions, while it is inconsistent with calculations assuming that the multiplicity accompanying the decay of a heavy quark is independent of the mass of the quark itself.Comment: 13 pages, 2 figure

Effectiveness and cost-effectiveness of proactive and multidisciplinary integrated care for older people with complex problems in general practice: an individual participant data meta-analysis

Purpose to support older people with several healthcare needs in sustaining adequate functioning and independence, more proactive approaches are needed. This purpose of this study is to summarise the (cost-) effectiveness of proactive, multidisciplinary, integrated care programmes for older people in Dutch primary care. Methods design individual patient data (IPD) meta-analysis of eight clinically controlled trials. Setting primary care sector. Interventions combination of (i) identification of older people with complex problems by means of screening, followed by (ii) a multidisciplinary integrated care programme for those identified. Main outcome activities of daily living, i.e. a change on modified Katz-15 scale between baseline and 1-year follow-up. Secondary outcomes quality of life (visual analogue scale 0–10), psychological (mental well-being scale Short Form Health Survey (SF)-36) and social well-being (single item, SF-36), quality-adjusted life years (Euroqol-5dimensions-3level (EQ-5D-3L)), healthcare utilisation and cost-effectiveness. Analysis intention-to-treat analysis, two-stage IPD and subgroup analysis based on patient and intervention characteristics. Results included were 8,678 participants: median age of 80.5 (interquartile range 75.3; 85.7) years; 5,496 (63.3%) women. On the modified Katz-15 scale, the pooled difference in change between the intervention and control group was −0.01 (95% confidence interval −0.10 to 0.08). No significant differences were found in the other patient outcomes or subgroup analyses. Compared to usual care, the probability of the intervention group to be cost-effective was less than 5%. Conclusion compared to usual care at 1-year follow-up, strategies for identification of frail older people in primary care combined with a proactive integrated care intervention are probably not (cost-) effective

Search for lightest neutralino and stau pair production in light gravitino scenarios with stau NLSP

Promptly decaying lightest neutralinos and long-lived staus are searched for in the context of light gravitino scenarios. It is assumed that the stau is the next to lightest supersymmetric particle (NLSP) and that the lightest neutralino is the next to NLSP (NNLSP). Data collected with the Delphi detector at centre-of-mass energies from 161 to 183 \GeV are analysed. No evidence of the production of these particles is found. Hence, lower mass limits for both kinds of particles are set at 95% C.L.. The mass of gaugino-like neutralinos is found to be greater than 71.5 GeV/c^2. In the search for long-lived stau, masses less than 70.0 to 77.5 \GeVcc are excluded for gravitino masses from 10 to 150 \eVcc . Combining this search with the searches for stable heavy leptons and Minimal Supersymmetric Standard Model staus a lower limit of 68.5 \GeVcc may be set for the stau mas