A compositional semantics for Repairable Fault Trees with general distributions

Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs of system components. Usual frameworks for analyzing FTs such as BDD, SBDD, and Markov chains fail to assess the desired properties over RFT complex models, either because these become too large, or due to cyclic behaviour introduced by dependent repairs. Simulation is another way to carry out this kind of analysis. In this paper we review the RFT model with Repair Boxes as introduced by Daniele Codetta-Raiteri. We present compositional semantics for this model in terms of Input/Output Stochastic Automata, which allows for the modelling of events occurring according to general continuous distribution. Moreover, we prove that the semantics generates (weakly) deterministic models, hence suitable for discrete event simulation, and prominently for Rare Event Simulation using the FIG tool

A pandemic recap : lessons we have learned

On January 2020, the WHO Director General declared that the outbreak constitutes a Public Health Emergency of International Concern. The world has faced a worldwide spread crisis and is still dealing with it. The present paper represents a white paper concerning the tough lessons we have learned from the COVID-19 pandemic. Thus, an international and heterogenous multidisciplinary panel of very differentiated people would like to share global experiences and lessons with all interested and especially those responsible for future healthcare decision making. With the present paper, international and heterogenous multidisciplinary panel of very differentiated people would like to share global experiences and lessons with all interested and especially those responsible for future healthcare decision making.Non peer reviewe

Global patient outcomes after elective surgery: prospective cohort study in 27 low-, middle- and high-income countries.

BACKGROUND: As global initiatives increase patient access to surgical treatments, there remains a need to understand the adverse effects of surgery and define appropriate levels of perioperative care. METHODS: We designed a prospective international 7-day cohort study of outcomes following elective adult inpatient surgery in 27 countries. The primary outcome was in-hospital complications. Secondary outcomes were death following a complication (failure to rescue) and death in hospital. Process measures were admission to critical care immediately after surgery or to treat a complication and duration of hospital stay. A single definition of critical care was used for all countries. RESULTS: A total of 474 hospitals in 19 high-, 7 middle- and 1 low-income country were included in the primary analysis. Data included 44 814 patients with a median hospital stay of 4 (range 2-7) days. A total of 7508 patients (16.8%) developed one or more postoperative complication and 207 died (0.5%). The overall mortality among patients who developed complications was 2.8%. Mortality following complications ranged from 2.4% for pulmonary embolism to 43.9% for cardiac arrest. A total of 4360 (9.7%) patients were admitted to a critical care unit as routine immediately after surgery, of whom 2198 (50.4%) developed a complication, with 105 (2.4%) deaths. A total of 1233 patients (16.4%) were admitted to a critical care unit to treat complications, with 119 (9.7%) deaths. Despite lower baseline risk, outcomes were similar in low- and middle-income compared with high-income countries. CONCLUSIONS: Poor patient outcomes are common after inpatient surgery. Global initiatives to increase access to surgical treatments should also address the need for safe perioperative care. STUDY REGISTRATION: ISRCTN5181700

Insight from an Italian Delphi Consensus on EVAR feasibility outside the instruction for use: the SAFE EVAR Study

BACKGROUND: The SAfety and FEasibility of standard EVAR outside the instruction for use (SAFE-EVAR) Study was designed to define the attitude of Italian vascular surgeons towards the use of standard endovascular repair (EVAR) for infrarenal abdominal aortic aneurysm (AAA) outside the instruction for use (IFU) through a Delphi consensus endorsed by the Italian Society of Vascular and Endovascular Surgery (Societa Italiana di Chirurgia Vascolare ed Endovascolare - SICVE). METHODS: A questionnaire consisting of 26 statements was developed, validated by an 18 -member Advisory Board, and then sent to 600 Italian vascular surgeons. The Delphi process was structured in three subsequent rounds which took place between April and June 2023. In the first two rounds, respondents could indicate one of the following five degrees of agreement: 1) strongly agree; 2) partially agree; 3) neither agree nor disagree; 4) partially disagree; 5) strongly disagree; while in the third round only three different choices were proposed: 1) agree; 2) neither agree nor disagree; 3) disagree. We considered the consensus reached when >70% of respondents agreed on one of the options. After the conclusion of each round, a report describing the percentage distribution of the answers was sent to all the participants. RESULTS: Two -hundred -forty-four (40.6%) Italian Vascular Surgeons agreed to participate the first round of the Delphi Consensus; the second and the third rounds of the Delphi collected 230 responders (94.3% of the first -round responders). Four statements (15.4%) reached a consensus in the first rounds. Among the 22 remaining statements, one more consensus (3.8%) was achieved in the second round. Finally, seven more statements (26.9%) reached a consensus in the simplified last round. Globally, a consensus was reached for almost half of the proposed statements (46.1%). CONCLUSIONS: The relatively low consensus rate obtained in this Delphi seems to confirm the discrepancy between Guideline recommendations and daily clinical practice. The data collected could represent the source for a possible guidelines' revision and the proposal of specific Good Practice Points in all those aspects with only little evidence available

Hyperoxemia and excess oxygen use in early acute respiratory distress syndrome : Insights from the LUNG SAFE study

Publisher Copyright: © 2020 The Author(s). Copyright: Copyright 2020 Elsevier B.V., All rights reserved.Background: Concerns exist regarding the prevalence and impact of unnecessary oxygen use in patients with acute respiratory distress syndrome (ARDS). We examined this issue in patients with ARDS enrolled in the Large observational study to UNderstand the Global impact of Severe Acute respiratory FailurE (LUNG SAFE) study. Methods: In this secondary analysis of the LUNG SAFE study, we wished to determine the prevalence and the outcomes associated with hyperoxemia on day 1, sustained hyperoxemia, and excessive oxygen use in patients with early ARDS. Patients who fulfilled criteria of ARDS on day 1 and day 2 of acute hypoxemic respiratory failure were categorized based on the presence of hyperoxemia (PaO2 > 100 mmHg) on day 1, sustained (i.e., present on day 1 and day 2) hyperoxemia, or excessive oxygen use (FIO2 ≥ 0.60 during hyperoxemia). Results: Of 2005 patients that met the inclusion criteria, 131 (6.5%) were hypoxemic (PaO2 < 55 mmHg), 607 (30%) had hyperoxemia on day 1, and 250 (12%) had sustained hyperoxemia. Excess FIO2 use occurred in 400 (66%) out of 607 patients with hyperoxemia. Excess FIO2 use decreased from day 1 to day 2 of ARDS, with most hyperoxemic patients on day 2 receiving relatively low FIO2. Multivariate analyses found no independent relationship between day 1 hyperoxemia, sustained hyperoxemia, or excess FIO2 use and adverse clinical outcomes. Mortality was 42% in patients with excess FIO2 use, compared to 39% in a propensity-matched sample of normoxemic (PaO2 55-100 mmHg) patients (P = 0.47). Conclusions: Hyperoxemia and excess oxygen use are both prevalent in early ARDS but are most often non-sustained. No relationship was found between hyperoxemia or excessive oxygen use and patient outcome in this cohort. Trial registration: LUNG-SAFE is registered with ClinicalTrials.gov, NCT02010073publishersversionPeer reviewe

Measurement of electroweak WZ boson production and search for new physics in WZ + two jets events in pp collisions at √s=13TeV

A measurement of WZ electroweak (EW) vector boson scattering is presented. The measurement is performed in the leptonic decay modes WZ→ℓνℓ′ℓ′, where ℓ,ℓ′=e,μ. The analysis is based on a data sample of proton-proton collisions at √s=13 TeV at the LHC collected with the CMS detector and corresponding to an integrated luminosity of 35.9 fb−1. The WZ plus two jet production cross section is measured in fiducial regions with enhanced contributions from EW production and found to be consistent with standard model predictions. The EW WZ production in association with two jets is measured with an observed (expected) significance of 2.2 (2.5) standard deviations. Constraints on charged Higgs boson production and on anomalous quartic gauge couplings in terms of dimension-eight effective field theory operators are also presented

Teaching Design by Contract using Snap!

With the progress in deductive program verification research, new tools and techniques have become available to support design-by-contract reasoning about non-Trivial programs written in widely-used programming languages. However, deductive program verification remains an activity for experts, with ample experience in programming, specification and verification. We would like to change this situation, by developing program verification techniques that are available to a larger audience. In this paper, we present how we developed prototypal program verification support for Snap!. Snap! is a visual programming language, aiming in particular at high school students. We added specification language constructs in a similar visual style, designed to make the intended semantics clear from the look and feel of the specification constructs. We provide support both for static and dynamic verification of Snap! programs. Special attention is given to the error messaging, to make this as intuitive as possible

Immunocompromised patients with acute respiratory distress syndrome: Secondary analysis of the LUNG SAFE database

Background: The aim of this study was to describe data on epidemiology, ventilatory management, and outcome of acute respiratory distress syndrome (ARDS) in immunocompromised patients. Methods: We performed a post hoc analysis on the cohort of immunocompromised patients enrolled in the Large Observational Study to Understand the Global Impact of Severe Acute Respiratory Failure (LUNG SAFE) study. The LUNG SAFE study was an international, prospective study including hypoxemic patients in 459 ICUs from 50 countries across 5 continents. Results: Of 2813 patients with ARDS, 584 (20.8%) were immunocompromised, 38.9% of whom had an unspecified cause. Pneumonia, nonpulmonary sepsis, and noncardiogenic shock were their most common risk factors for ARDS. Hospital mortality was higher in immunocompromised than in immunocompetent patients (52.4% vs 36.2%; p &lt; 0.0001), despite similar severity of ARDS. Decisions regarding limiting life-sustaining measures were significantly more frequent in immunocompromised patients (27.1% vs 18.6%; p &lt; 0.0001). Use of noninvasive ventilation (NIV) as first-line treatment was higher in immunocompromised patients (20.9% vs 15.9%; p = 0.0048), and immunodeficiency remained independently associated with the use of NIV after adjustment for confounders. Forty-eight percent of the patients treated with NIV were intubated, and their mortality was not different from that of the patients invasively ventilated ab initio. Conclusions: Immunosuppression is frequent in patients with ARDS, and infections are the main risk factors for ARDS in these immunocompromised patients. Their management differs from that of immunocompetent patients, particularly the greater use of NIV as first-line ventilation strategy. Compared with immunocompetent subjects, they have higher mortality regardless of ARDS severity as well as a higher frequency of limitation of life-sustaining measures. Nonetheless, nearly half of these patients survive to hospital discharge. Trial registration: ClinicalTrials.gov, NCT02010073. Registered on 12 December 2013

Use of failure-to-rescue to identify international variation in postoperative care in low-, middle- and high-income countries: a 7-day cohort study of elective surgery

This was an investigator-initiated study funded by Nestle Health Sciences through an unrestricted research grant and by a National Institute for Health Research (UK) Professorship held by R.P. The study was sponsored by Queen Mary University of London