On the sequential massart algorithm for statistical model checking

Several schemes have been provided in Statistical Model Checking (SMC) for the estimation of property occurrence based on predefined confidence and absolute or relative error. Simulations might be however costly if many samples are required and the usual algorithms implemented in statistical model checkers tend to be conservative. Bayesian and rare event techniques can be used to reduce the sample size but they can not be applied without prerequisite or knowledge about the system under scrutiny. Recently, sequential algorithms based on Monte Carlo estimations and Massart bounds have been proposed to reduce the sample size while providing guarantees on error bounds which has been shown to outperform alternative frequentist approaches [15]. In this work, we discuss some features regarding the distribution and the optimisation of these algorithms.No Full Tex

Sequential schemes for frequentist estimation of properties in statistical model checking

National Research Foundation (NRF) Singapor

Rapid Diagnostic Algorithms as a Screening Tool for Tuberculosis: An Assessor Blinded Cross-Sectional Study

Background: A major obstacle to effectively treat and control tuberculosis is the absence of an accurate, rapid, and low-cost diagnostic tool. A new approach for the screening of patients for tuberculosis is the use of rapid diagnostic classification algorithms. Methods: We tested a previously published diagnostic algorithm based on four biomarkers as a screening tool for tuberculosis in a Central European patient population using an assessor-blinded cross-sectional study design. In addition, we developed an improved diagnostic classification algorithm based on a study population at a tertiary hospital in Vienna, Austria, by supervised computational statistics. Results: The diagnostic accuracy of the previously published diagnostic algorithm for our patient population consisting of 206 patients was 54% (CI: 47%–61%). An improved model was constructed using inflammation parameters and clinical information. A diagnostic accuracy of 86% (CI: 80%–90%) was demonstrated by 10-fold cross validation. An alternative model relying solely on clinical parameters exhibited a diagnostic accuracy of 85% (CI: 79%–89%). Conclusion: Here we show that a rapid diagnostic algorithm based on clinical parameters is only slightly improved by inclusion of inflammation markers in our cohort. Our results also emphasize the need for validation of new diagnostic algorithms in different settings and patient populations

Maintenance treatment of renal anaemia in haemodialysis patients with methoxy polyethylene glycol-epoetin beta versus darbepoetin alfa administered monthly: a randomized comparative trial

Background. Several studies with erythropoiesis-stimulating agents claim that maintenance therapy of renal anaemia may be possible at extended dosing intervals; however, few studies were randomized, results varied, and comparisons between agents were absent. We report results of a multi-national, randomized, prospective trial comparing haemoglobin maintenance with methoxy polyethylene glycol-epoetin beta and darbepoetin alfa administered once monthly

Loperamide Therapy for Acute Diarrhea in Children: Systematic Review and Meta-Analysis

BACKGROUND: Loperamide is widely used in adults for acute diarrhea. However, its use in children has been discouraged by the World Health Organization and the American Academy of Pediatrics owing to concerns over safety and efficacy in young children. METHODS AND FINDINGS: To assess the efficacy and adverse effects of loperamide compared with placebo for acute diarrhea in children, we reviewed Medline, EMBase, the Cochrane Central Register of Controlled Trials, and bibliographies of known clinical trials and of review articles, and we also interviewed key investigators in the field. We undertook a systematic review and meta-analysis of randomized controlled trials of children younger than 12 y of age with acute diarrhea, comparing loperamide with placebo. Included trials reported data on diarrhea duration or severity, or provided data on adverse effects. Compared with patients who received placebo, patients allocated to loperamide were less likely to continue to have diarrhea at 24 h (prevalence ratio 0.66, 95% confidence interval [CI]: 0.57 to 0.78), had a shorter duration of diarrhea by 0.8 d (95% CI: 0.7 to 0.9 d), and had a lower count of stools at 24 h (0.84, 95% CI: 0.77 to 0.92). Results were similar when random-effects summaries were estimated. Serious adverse events, defined as ileus, lethargy, or death, were reported in eight out of 927 children allocated to loperamide (0.9%, 95% CI: 0.4% to 1.7%). Serious adverse events were not reported in any of the 764 children allocated to placebo (0%, 95% CI: 0% to 0.5%). Among the children allocated to loperamide, serious adverse events were reported only among children younger than 3 y. CONCLUSIONS: In children who are younger than 3 y, malnourished, moderately or severely dehydrated, systemically ill, or have bloody diarrhea, adverse events outweigh benefits even at doses ≤0.25 mg/kg/d. In children who are older than 3 y with no/minimal dehydration, loperamide may be a useful adjunct to oral rehydration and early refeeding

Galaxy Zoo: CANDELS barred discs and bar fractions

The formation of bars in disc galaxies is a tracer of the dynamical maturity of the population. Previous studies have found that the incidence of bars in discs decreases from the local Universe to z ~ 1, and by z > 1 simulations predict that bar features in dynamically mature discs should be extremely rare. Here, we report the discovery of strong barred structures in massive disc galaxies at z ~ 1.5 in deep rest-frame optical images from the Cosmic Assembly Near-Infrared Deep Extragalactic Legacy Survey. From within a sample of 876 disc galaxies identified by visual classification in Galaxy Zoo, we identify 123 barred galaxies. Selecting a subsample within the same region of the evolving galaxy luminosity function (brighter than L*), we find that the bar fraction across the redshift range 0.5 ≤ z ≤ 2 (fbar = 10.7+6.3 -3.5 per cent after correcting for incompleteness) does not significantly evolve.We discuss the implications of this discovery in the context of existing simulations and our current understanding of the way disc galaxies have evolved over the last 11 billion yearsPeer reviewedFinal Accepted Versio

Hemorrhage rate after coblation tonsillectomy: a meta-analysis of published trials

After the surgical procedure of tonsillectomy, hemorrhage ranks among its serious postoperative complications. In this systematic review, we analyze hemorrhage following tonsillectomies performed using the coblation technique. 24 prospective, randomized, and controlled studies were included in the meta-analysis. Data of 796 patients who had undergone coblation tonsillectomy were analyzed. Hemorrhages occurred in 33 patients: 2 classified as primary and 26 as secondary hemorrhages. 5 could not be classified into either group. Overall, the total hemorrhage rate for the coblation procedure was 4.1% with a 95% confidence interval from 2.8 to 5.5%. The overall hemorrhage rate of 4.1% found in this meta-analysis shows that coblation is a safe and effective technique for tonsillectomies with a secondary bleeding rate similar to what is reported for comparable techniques such as bipolar diathermia