411 research outputs found

    Distributed System Contract Monitoring

    Get PDF
    The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.Comment: In Proceedings FLACOS 2011, arXiv:1109.239

    Schizont transcriptome variation among clinical isolates and laboratory-adapted clones of the malaria parasite Plasmodium falciparum

    Get PDF
    Background: Malaria parasites are genetically polymorphic and phenotypically plastic. In studying transcriptome variation among parasites from different infections, it is challenging to overcome potentially confounding technical and biological variation between samples. We investigate variation in the major human parasite Plasmodium falciparum, generating RNA-seq data on multiple independent replicate sample preparations of merozoite-containing intra-erythrocytic schizonts from a panel of clinical isolates and from long-term laboratory-adapted clones, with a goal of robustly identifying differentially expressed genes. Results: Analysis of biological sample replicates shows that increased numbers improve the true discovery rate of differentially expressed genes, and that six independent replicates of each parasite line allowed identification of most differences that could be detected with larger numbers. For highly expressed genes, focusing on the top quartile at schizont stages, there was more power to detect differences. Comparing cultured clinical isolates and laboratory-adapted clones, genes more highly expressed in the laboratory-adapted clones include those encoding an AP2 transcription factor (PF3D7_0420300), a ubiquitin-binding protein and two putative methyl transferases. In contrast, higher expression in clinical isolates was seen for the merozoite surface protein gene dblmsp2, proposed to be a marker of schizonts forming merozoites committed to sexual differentiation. Variable expression was extremely strongly, but not exclusively, associated with genes known to be targeted by Heterochromatin Protein 1. Clinical isolates show variable expression of several known merozoite invasion ligands, as well as other genes for which new RT-qPCR assays validate the quantitation and allow characterisation in samples with more limited material. Expression levels of these genes vary among schizont preparations of different clinical isolates in the first ex vivo cycle in patient erythrocytes, but mean levels are similar to those in continuously cultured clinical isolates. Conclusions: Analysis of multiple biological sample replicates greatly improves identification of genes variably expressed between different cultured parasite lines. Clinical isolates recently established in culture show differences from long-term adapted clones in transcript levels of particular genes, and are suitable for analyses requiring biological replicates to understand parasite phenotypes and variable expression likely to be relevant in nature

    Real-world Independent Testing of e-ASPECTS Software (RITeS): statistical analysis plan

    Get PDF
    Background: Artificial intelligence-based software may automatically detect ischaemic stroke lesions and provide an Alberta Stroke Program Early CT score (ASPECTS) on CT, and identify arterial occlusion and provide a collateral score on CTA. Large-scale independent testing will inform clinical use, but is lacking. We aim to test e-ASPECTS and e-CTA (Brainomix, Oxford UK) using CT scans obtained from a range of clinical studies.Methods: Using prospectively collected baseline CT and CTA scans from 10 national/international clinical stroke trials or registries (total >6600 patients), we will select a large clinically representative sample for testing e-ASPECTS and e-CTA compared to previously acquired independent expert human interpretation (reference standard). Our primary aims are to test agreement between software-derived and masked human expert ASPECTS, and the diagnostic accuracy of e-ASPECTS for identifying all causes of stroke symptoms using follow-up imaging and final clinical opinion as diagnostic ground truth. Our secondary aims are to test when and why e-ASPECTS is more or less accurate, or succeeds/fails to produce results, agreement between e-CTA and human expert CTA interpretation, and repeatability of e-ASPECTS/e-CTA results. All testing will be conducted on an intention-to-analyse basis. We will assess agreement between software and expert-human ratings and test the diagnostic accuracy of software. Conclusions: RITeS will provide comprehensive, robust and representative testing of e-ASPECTS and e-CTA against the current gold-standard, expert-human interpretation

    Post-mortem magnetic resonance imaging in patients with suspected prion disease:Pathological confirmation, sensitivity, specificity and observer reliability. A national registry

    Get PDF
    <div><p>The relationship between magnetic resonance imaging (MRI) and clinical variables in patients suspected to have Creutzfeldt-Jakob Disease (CJD) is uncertain. We aimed to determine which MRI features of CJD (positive or negative), previously described in vivo, accurately identify CJD, are most reliably detected, vary with disease duration, and whether combined clinical and imaging features increase diagnostic accuracy for CJD. Prospective patients suspected of having CJD were referred to the National CJD Research and Surveillance Unit between 1994–2004; post-mortem, brains were sent for MRI and histopathology. Two neuroradiologists independently assessed MRI for atrophy, white matter hyperintensities, and caudate, lentiform and pulvinar signals, blind to histopathological diagnosis and clinical details. We examined differences in variable frequencies using Fisher’s exact tests, and associations between variables and CJD in logistic regression models. Amongst 200 cases, 118 (59%) with a histopathological diagnosis of CJD and 82 (41%) with histopathological diagnoses other than CJD, a logistic regression model including age, disease duration at death, atrophy, white matter hyperintensities, bright or possibly bright caudate, and present pulvinar sign correctly classified 81% of cases as CJD versus not CJD. Pulvinar sign alone was not independently associated with an increased likelihood of histopathologically-confirmed CJD (of any subtype) or sporadic CJD after adjustment for age at death, disease duration, atrophy, white matter hyperintensities or caudate signal; despite the large sample, data sparsity precluded investigation of the association of pulvinar sign with variant CJD. No imaging feature varied significantly with disease duration. Of the positive CJD signs, neuroradiologists most frequently agreed on the presence or absence of atrophy (agreements in 169/200 cases [84.5%]). Combining patient age, and disease duration, with absence of atrophy and white matter hyperintensities and presence of increased caudate signal and pulvinar sign predicts CJD with good accuracy. Autopsy remains essential.</p></div

    Researching the use of force: The background to the international project

    Get PDF
    This article provides the background to an international project on use of force by the police that was carried out in eight countries. Force is often considered to be the defining characteristic of policing and much research has been conducted on the determinants, prevalence and control of the use of force, particularly in the United States. However, little work has looked at police officers’ own views on the use of force, in particular the way in which they justify it. Using a hypothetical encounter developed for this project, researchers in each country conducted focus groups with police officers in which they were encouraged to talk about the use of force. The results show interesting similarities and differences across countries and demonstrate the value of using this kind of research focus and methodology

    Correlation ECE diagnostic in Alcator C-Mod

    Get PDF
    Correlation ECE (CECE) is a diagnostic technique that allows measurement of small amplitude electron temperature, T[subscript e], fluctuations through standard cross-correlation analysis methods. In Alcator C-Mod, a new CECE diagnostic has been installed[Sung RSI 2012], and interesting phenomena have been observed in various plasma conditions. We find that local T[subscript e] fluctuations near the edge (ρ ~ 0:8) decrease across the linearto- saturated ohmic confinement transition, with fluctuations decreasing with increasing plasma density[Sung NF 2013], which occurs simultaneously with rotation reversals[Rice NF 2011]. T[subscript e] fluctuations are also reduced across core rotation reversals with an increase of plasma density in RF heated L-mode plasmas, which implies that the same physics related to the reduction of T[subscript e] fluctuations may be applied to both ohmic and RF heated L-mode plasmas. In I-mode plasmas, we observe the reduction of core T[subscript e] fluctuations, which indicates changes of turbulence occur not only in the pedestal region but also in the core across the L/I transition[White NF 2014]. The present CECE diagnostic system in C-Mod and these experimental results are described in this paper

    Enhancing wind erosion monitoring and assessment for U.S. rangelands

    Get PDF
    Wind erosion is a major resource concern for rangeland managers because it can impact soil health, ecosystem structure and function, hydrologic processes, agricultural production, and air quality. Despite its significance, little is known about which landscapes are eroding, by how much, and when. The National Wind Erosion Research Network was established in 2014 to develop tools for monitoring and assessing wind erosion and dust emissions across the United States. The Network, currently consisting of 13 sites, creates opportunities to enhance existing rangeland soil, vegetation, and air quality monitoring programs. Decision-support tools developed by the Network will improve the prediction and management of wind erosion across rangeland ecosystems. © 2017 The Author(s)The Rangelands archives are made available by the Society for Range Management and the University of Arizona Libraries. Contact [email protected] for further information

    Willpower Satisficing

    Get PDF
    Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as “good enough”. I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of what counts as “good enough”
    • 

    corecore