A model-based extension to HiP-HOPS for dynamic fault propagation studies

HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement allocation and safety argument generation. To deal with dynamic systems, HiP-HOPS has introduced temporal operators and a temporal logic to represent and assess event sequences in component failure modelling. Although this approach has been shown to work, it is not entirely consistent with the way designers tend to express operational dynamics in models which show mode and state sequences. To align HiP-HOPS better with typical design techniques, in this paper, we extend the method with the ability to explicitly consider different modes of operation. With this added capability HiP-HOPS can create and analyse temporal fault trees from architectural models of a system which are augmented with mode information

Reliability of a 1-week recall period for the Medical Outcomes Study Sleep Scale (MOS-SS) in patients with fibromyalgia

<p>Abstract</p> <p>Objective</p> <p>To evaluate the reliability of a one-week versus a four-week recall period of the Medical Outcomes Study Sleep Scale (MOS-SS) in patients with fibromyalgia (FM).</p> <p>Methods</p> <p>The MOS-SS was administered by mail to patients with a confirmed diagnosis of FM and a current pain rating of > 2 (0–10 point numerical rating scale) recruited through newspapers, support groups, and the Internet. Reliability of MOS-SS subscale domains was evaluated using test-retest methodology separated by a 1–3 day interval for the 4-week recall period and a 7-day interval for the 1-week recall period. Patient Impression of Change was evaluated for sleep, and for patients with no change, the intraclass correlation coefficient (ICC) and the Pearson correlation coefficient was calculated for MOS-SS subscales.</p> <p>Results</p> <p>Of 129 patients enrolled, 91.3% were female, mean age was 49.4 ± 11.0 years; self-rated FM severity was moderate-to-severe in 88.1% of patients. MOS-SS subscale scores were similar for both recall periods with little variation between test-retest. The 9-item Sleep Problems Index scores ranged from 57.2 ± 14.5 to 61.9 ± 15.8 across all assessments and demonstrated high reliability which was similar for the 1-week (ICC 0.81) and 4-week (ICC 0.89) recall periods. For the other MOS-SS subscales, the 1-week recall period also showed good reliability, which was consistent for the ICC and Pearson correlation coefficients.</p> <p>Conclusion</p> <p>A 1-week recall period is adequately reliable for use of the MOS-SS in studies evaluating sleep disturbance in patients with FM.</p

The antisaccade task as an index of sustained goal activation in working memory: modulation by nicotine

The antisaccade task provides a laboratory analogue of situations in which execution of the correct behavioural response requires the suppression of a more prepotent or habitual response. Errors (failures to inhibit a reflexive prosaccade towards a sudden onset target) are significantly increased in patients with damage to the dorsolateral prefrontal cortex and patients with schizophrenia. Recent models of antisaccade performance suggest that errors are more likely to occur when the intention to initiate an antisaccade is insufficiently activated within working memory. Nicotine has been shown to enhance specific working memory processes in healthy adults. MATERIALS AND METHODS: We explored the effect of nicotine on antisaccade performance in a large sample (N = 44) of young adult smokers. Minimally abstinent participants attended two test sessions and were asked to smoke one of their own cigarettes between baseline and retest during one session only. RESULTS AND CONCLUSION: Nicotine reduced antisaccade errors and correct antisaccade latencies if delivered before optimum performance levels are achieved, suggesting that nicotine supports the activation of intentions in working memory during task performance. The implications of this research for current theoretical accounts of antisaccade performance, and for interpreting the increased rate of antisaccade errors found in some psychiatric patient groups are discussed

Probing superfast quarks in nuclei through dijet production at the LHC

We investigate dijet production from proton-nucleus collisions at the Large Hadron Collider (LHC) as a means for observing superfast quarks in nuclei with Bjorken $x>1$. Kinematically, superfast quarks can be identified through directly measurable jet kinematics. Dynamically, their description requires understanding several elusive properties of nuclear QCD, such as nuclear forces at very short distances, as well as medium modification of parton distributions in nuclei. In the present work, we develop a model for nuclear parton distributions at large $x$ in which the nuclear dynamics at short distance scales are described by two- and three-nucleon short range correlations (SRCs). Nuclear modifications are accounted for using the color screening model, and an improved description of the EMC effect is reached by using a structure function parametrization that includes higher-twist contributions. We apply QCD evolution at the leading order to obtain nuclear parton distributions in the kinematic regime of the LHC, and based on the obtained distributions calculate the cross section for dijet production. We find not only that superfast quarks can be observed at the LHC, but also that they provide sensitivity to the practically unexplored three-nucleon SRCs in nuclei. Additionally, the LHC can extend our knowledge of the EMC effect to large $Q^2$ where higher-twist effects are negligible.Comment: 44 pages, 17 figures, final version to be published in EJP

Speaker- versus listener-oriented disfluency: A re-examination of arguments and assumptions from autism spectrum disorder

We re-evaluate conclusions about disfluency production in high-functioning forms of autism spectrum disorder (HFA). Previous studies examined individuals with HFA to address a theoretical question regarding speaker- and listener-oriented disfluencies. Individuals with HFA tend to be self-centric and have poor pragmatic language skills, and should be less likely to produce listener-oriented disfluency. However, previous studies did not account for individual differences variables that affect disfluency. We show that both matched and unmatched controls produce fewer repairs than individuals with HFA. For silent pauses, there was no difference between matched controls and HFA, but both groups produced more than unmatched controls. These results identify limitations in prior research and shed light on the relationship between autism spectrum disorders and disfluent speech

The deuteron: structure and form factors

A brief review of the history of the discovery of the deuteron in provided. The current status of both experiment and theory for the elastic electron scattering is then presented.Comment: 80 pages, 33 figures, submited to Advances in Nuclear Physic

Antibiotic use among patients with febrile illness in a low malaria endemicity setting in Uganda

<p>Abstract</p> <p>Background</p> <p>Uganda embraced the World Health Organization guidelines that recommend a universal 'test and treat' strategy for malaria, mainly by use of rapid diagnostic test (RDT) and microscopy. However, little is known how increased parasitological diagnosis for malaria influences antibiotic treatment among patients with febrile illness.</p> <p>Methods</p> <p>Data collection was carried out within a feasibility trial of presumptive diagnosis of malaria (control) and two diagnostic interventions (microscopy or RDT) in a district of low transmission intensity. Five primary level health centres (HCs) were randomized to each diagnostic arm (diagnostic method in a defined group of patients). All 52,116 outpatients (presumptive 16,971; microscopy 17,508; and RDT 17,638) aged 5 months to ninety five years presenting with fever (by statement or measured) were included. Information from outpatients and laboratory registers was extracted weekly from March 2010 to July 2011. The proportion of patients who were prescribed antibiotics was calculated among those not tested for malaria, those who tested positive and in those who tested negative.</p> <p>Results</p> <p>Seven thousand and forty (41.5%) patients in the presumptive arm were prescribed antibiotics. Of the patients not tested for malaria, 1,537 (23.9%) in microscopy arm and 810 (56.2%) in RDT arm were prescribed antibiotics. Among patients who tested positive for malaria, 845 (25.8%) were prescribed antibiotics in the RDT and 273(17.6%) in the microscopy arm. Among patients who tested negative for malaria, 7809 (61.4%) were prescribed antibiotics in the RDT and 3749 (39.3%) in the microscopy arm. Overall the prescription of antibiotics was more common for children less than five years of age 5,388 (63%) compared to those five years and above 16798 (38.6%).</p> <p>Conclusion</p> <p>Prescription of antibiotics in patients with febrile illness is high. Testing positive for malaria reduces antibiotic treatment but testing negative for malaria increases use of antibiotics.</p> <p>Trial Registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00565071">NCT00565071</a></p

Rapid automatic assessment of microvascular density in sidestream dark field images

The purpose of this study was to develop a rapid and fully automatic method for the assessment of microvascular density and perfusion in sidestream dark field (SDF) images. We modified algorithms previously developed by our group for microvascular density assessment and introduced a new method for microvascular perfusion assessment. To validate the new algorithm for microvascular density assessment, we reanalyzed a selection of SDF video clips (n = 325) from a study in intensive care patients and compared the results to (semi-)manually found microvascular densities. The method for microvascular perfusion assessment (temporal SDF image contrast analysis, tSICA) was tested in several video simulations and in one high quality SDF video clip where the microcirculation was imaged before and during circulatory arrest in a cardiac surgery patient. We found that the new method for microvascular density assessment was very rapid (<30 s/clip) and correlated excellently with (semi-)manually measured microvascular density. The new method for microvascular perfusion assessment (tSICA) was shown to be limited by high cell densities and velocities, which severely impedes the applicability of this method in real SDF images. Hence, here we present a validated method for rapid and fully automatic assessment of microvascular density in SDF images. The new method was shown to be much faster than the conventional (semi-)manual method. Due to current SDF imaging hardware limitations, we were not able to automatically detect microvascular perfusion

Vignette studies of medical choice and judgement to study caregivers' medical decision behaviour: systematic review

BACKGROUND: Vignette studies of medical choice and judgement have gained popularity in the medical literature. Originally developed in mathematical psychology they can be used to evaluate physicians' behaviour in the setting of diagnostic testing or treatment decisions. We provide an overview of the use, objectives and methodology of these studies in the medical field. METHODS: Systematic review. We searched in electronic databases; reference lists of included studies. We included studies that examined medical decisions of physicians, nurses or medical students using cue weightings from answers to structured vignettes. Two reviewers scrutinized abstracts and examined full text copies of potentially eligible studies. The aim of the included studies, the type of clinical decision, the number of participants, some technical aspects, and the type of statistical analysis were extracted in duplicate and discrepancies were resolved by consensus. RESULTS: 30 reports published between 1983 and 2005 fulfilled the inclusion criteria. 22 studies (73%) reported on treatment decisions and 27 (90%) explored the variation of decisions among experts. Nine studies (30%) described differences in decisions between groups of caregivers and ten studies (33%) described the decision behaviour of only one group. Only six studies (20%) compared decision behaviour against an empirical reference of a correct decision. The median number of considered attributes was 6.5 (IQR 4-9), the median number of vignettes was 27 (IQR 16-40). In 17 studies, decision makers had to rate the relative importance of a given vignette; in six studies they had to assign a probability to each vignette. Only ten studies (33%) applied a statistical procedure to account for correlated data. CONCLUSION: Various studies of medical choice and judgement have been performed to depict weightings of the value of clinical information from answers to structured vignettes of care givers. We found that the design and analysis methods used in current applications vary considerably and could be improved in a large number of cases