41 research outputs found

    Towards reduction of Paradigm coordination models

    Get PDF
    The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at a detailed and a global level of abstraction. To enable automated verification of Paradigm models, a translation of Paradigm into process algebra has been defined in previous work. In this paper we investigate, guided by a client-server example, reduction of Paradigm models based on a notion of global inertness. Representation of Paradigm models as process algebraic specifications helps to establish a property-preserving equivalence relation between the original and the reduced Paradigm model. Experiments indicate that in this way larger Paradigm models can be analyzed.Comment: In Proceedings PACO 2011, arXiv:1108.145

    EPIdemiology of Surgery-Associated Acute Kidney Injury (EPIS-AKI) : Study protocol for a multicentre, observational trial

    Get PDF
    More than 300 million surgical procedures are performed each year. Acute kidney injury (AKI) is a common complication after major surgery and is associated with adverse short-term and long-term outcomes. However, there is a large variation in the incidence of reported AKI rates. The establishment of an accurate epidemiology of surgery-associated AKI is important for healthcare policy, quality initiatives, clinical trials, as well as for improving guidelines. The objective of the Epidemiology of Surgery-associated Acute Kidney Injury (EPIS-AKI) trial is to prospectively evaluate the epidemiology of AKI after major surgery using the latest Kidney Disease: Improving Global Outcomes (KDIGO) consensus definition of AKI. EPIS-AKI is an international prospective, observational, multicentre cohort study including 10 000 patients undergoing major surgery who are subsequently admitted to the ICU or a similar high dependency unit. The primary endpoint is the incidence of AKI within 72 hours after surgery according to the KDIGO criteria. Secondary endpoints include use of renal replacement therapy (RRT), mortality during ICU and hospital stay, length of ICU and hospital stay and major adverse kidney events (combined endpoint consisting of persistent renal dysfunction, RRT and mortality) at day 90. Further, we will evaluate preoperative and intraoperative risk factors affecting the incidence of postoperative AKI. In an add-on analysis, we will assess urinary biomarkers for early detection of AKI. EPIS-AKI has been approved by the leading Ethics Committee of the Medical Council North Rhine-Westphalia, of the Westphalian Wilhelms-University MĂŒnster and the corresponding Ethics Committee at each participating site. Results will be disseminated widely and published in peer-reviewed journals, presented at conferences and used to design further AKI-related trials. Trial registration number NCT04165369

    Physics with the KLOE-2 experiment at the upgraded DAϕ\phiNE

    Get PDF
    Investigation at a ϕ\phi--factory can shed light on several debated issues in particle physics. We discuss: i) recent theoretical development and experimental progress in kaon physics relevant for the Standard Model tests in the flavor sector, ii) the sensitivity we can reach in probing CPT and Quantum Mechanics from time evolution of entangled kaon states, iii) the interest for improving on the present measurements of non-leptonic and radiative decays of kaons and eta/etaâ€Č^\prime mesons, iv) the contribution to understand the nature of light scalar mesons, and v) the opportunity to search for narrow di-lepton resonances suggested by recent models proposing a hidden dark-matter sector. We also report on the e+e−e^+ e^- physics in the continuum with the measurements of (multi)hadronic cross sections and the study of gamma gamma processes.Comment: 60 pages, 41 figures; added affiliation for one of the authors; added reference to section

    Small size ductal carcinoma in situ of the breast: Predictors of positive margins after local excision

    No full text
    One of the most important predictors of local recurrence after local excision of ductal carcinoma in situ (DCIS) is margin status. The aim was to study the association between margin status and clinical, radiological, and pathological characteristics and to determine predictors of positive margins after local excision of small size (:54 cm) DCIS. Data were tested for differences regarding margin status, and logistic regression was used to determine predictors of margin status. The population consisted of 105 cases. Overall, 51 cases (49%) had free margins and 54 cases (51%) had positive margins. Positive margins were more often associated with a mean mammographic tumor size of 2.1 cm (P = 0.044) and absence of fine granular calcifications (P = 0.004). Also, high-grade (P = 0.013) and a mean pathological size of 3.2 cm (P < 0.001) were associated with positive margins. The only independent predictor of margin status was pathological grade (P = 0.010)
    corecore