Time complexity of concurrent programs: a technique based on behavioural types

International audienceWe study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost of statements, creations of objects, and concurrent operations), called behavioural types. Then, we define a translation function that takes behavioural types and makes the parallelism explicit into so-called cost equations , which are fed to an automatic off-the-shelf solver for obtaining the time complexity

The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang

Evolutionary multi-agent systems (EMAS) play a critical role in many artificial intelligence applications that are in use today. In this paper, we present a new generic skeleton in Erlang for parallel EMAS computations. The skeleton enables us to capture a wide variety of concrete evolutionary computations that can exploit the same underlying parallel implementation. We demonstrate the use of our skeleton on two different evolutionary computing applications: (1) computing the minimum of the Rastrigin function; and (2) solving an urban traffic optimisation problem. We show that we can obtain very good speedups (up to 142.44 ×× the sequential performance) on a variety of different parallel hardware, while requiring very little parallelisation effort.Publisher PDFPeer reviewe

Influence of non-nucleoside reverse transcriptase inhibitors (efavirenz and nevirapine) on the pharmacodynamic activity of gliclazide in animal models

<p>Abstract</p> <p>Background</p> <p>Type 2 diabetes may occur as a result of HIV infection and/or its treatment. Gliclazide is a widely used drug for the treatment of type 2 diabetes. Efavirenz and nevirapine are widely used non-nucleoside reverse transcriptase inhibitors for the treatment of HIV infection. The role of Efavirenz and nevirapine on the pharmacodynamic activity of gliclazide is not currently known. The objective of this study was to examine the effect of oral administration of efavirenz and nevirapine on blood glucose and investigate their effect on the activity of gliclazide in rats (normal and diabetic) and rabbits to evaluate the safety and effectiveness of the combination.</p> <p>Methods</p> <p>Studies in normal and alloxan induced diabetic rats were conducted with oral doses of 2 mg/kg bd. wt. of gliclazide, 54 mg/kg bd. wt. of efavirenz or 18 mg/kg bd. wt. of nevirapine and their combination with adequate washout periods in between treatments. Studies in normal rabbits were conducted with 5.6 mg/1.5 kg bd. wt. of gliclazide, 42 mg/1.5 kg bd. wt. of efavirenz or 14 mg/1.5 kg bd. wt. of nevirapine and their combination given orally. Blood samples were collected at regular time intervals in rats from retro orbital puncture and by marginal ear vein puncture in rabbits. All the blood samples were analysed for blood glucose by GOD/POD method.</p> <p>Results</p> <p>Efavirenz and nevirapine alone have no significant effect on the blood glucose level in rats and rabbits. Gliclazide produced hypoglycaemic/antidiabetic activity in normal and diabetic rats with peak activity at 2 h and 8 h and hypoglycaemic activity in normal rabbits at 3 h. In combination, efavirenz reduced the effect of gliclazide in rats and rabbits, and the reduction was more significant with the single dose administration of efavirenz than multiple dose administration. In combination, nevirapine has no effect on the activity of gliclazide in rats and rabbits.</p> <p>Conclusion</p> <p>Thus, it can be concluded that the combination of efavirenz and gliclazide may need dose adjustment and care should be taken when the combination is prescribed for their clinical benefit in diabetic patients. The combination of nevirapine and gliclazide was safe. However, further studies are warranted.</p

Effect of sitagliptin on cardiovascular outcomes in type 2 diabetes

BACKGROUND: Data are lacking on the long-term effect on cardiovascular events of adding sitagliptin, a dipeptidyl peptidase 4 inhibitor, to usual care in patients with type 2 diabetes and cardiovascular disease. METHODS: In this randomized, double-blind study, we assigned 14,671 patients to add either sitagliptin or placebo to their existing therapy. Open-label use of antihyperglycemic therapy was encouraged as required, aimed at reaching individually appropriate glycemic targets in all patients. To determine whether sitagliptin was noninferior to placebo, we used a relative risk of 1.3 as the marginal upper boundary. The primary cardiovascular outcome was a composite of cardiovascular death, nonfatal myocardial infarction, nonfatal stroke, or hospitalization for unstable angina. RESULTS: During a median follow-up of 3.0 years, there was a small difference in glycated hemoglobin levels (least-squares mean difference for sitagliptin vs. placebo, -0.29 percentage points; 95% confidence interval [CI], -0.32 to -0.27). Overall, the primary outcome occurred in 839 patients in the sitagliptin group (11.4%; 4.06 per 100 person-years) and 851 patients in the placebo group (11.6%; 4.17 per 100 person-years). Sitagliptin was noninferior to placebo for the primary composite cardiovascular outcome (hazard ratio, 0.98; 95% CI, 0.88 to 1.09; P<0.001). Rates of hospitalization for heart failure did not differ between the two groups (hazard ratio, 1.00; 95% CI, 0.83 to 1.20; P = 0.98). There were no significant between-group differences in rates of acute pancreatitis (P = 0.07) or pancreatic cancer (P = 0.32). CONCLUSIONS: Among patients with type 2 diabetes and established cardiovascular disease, adding sitagliptin to usual care did not appear to increase the risk of major adverse cardiovascular events, hospitalization for heart failure, or other adverse events

Spontaneous Breathing in Early Acute Respiratory Distress Syndrome: Insights From the Large Observational Study to UNderstand the Global Impact of Severe Acute Respiratory FailurE Study

OBJECTIVES: To describe the characteristics and outcomes of patients with acute respiratory distress syndrome with or without spontaneous breathing and to investigate whether the effects of spontaneous breathing on outcome depend on acute respiratory distress syndrome severity. DESIGN: Planned secondary analysis of a prospective, observational, multicentre cohort study. SETTING: International sample of 459 ICUs from 50 countries. PATIENTS: Patients with acute respiratory distress syndrome and at least 2 days of invasive mechanical ventilation and available data for the mode of mechanical ventilation and respiratory rate for the 2 first days. INTERVENTIONS: Analysis of patients with and without spontaneous breathing, defined by the mode of mechanical ventilation and by actual respiratory rate compared with set respiratory rate during the first 48 hours of mechanical ventilation. MEASUREMENTS AND MAIN RESULTS: Spontaneous breathing was present in 67% of patients with mild acute respiratory distress syndrome, 58% of patients with moderate acute respiratory distress syndrome, and 46% of patients with severe acute respiratory distress syndrome. Patients with spontaneous breathing were older and had lower acute respiratory distress syndrome severity, Sequential Organ Failure Assessment scores, ICU and hospital mortality, and were less likely to be diagnosed with acute respiratory distress syndrome by clinicians. In adjusted analysis, spontaneous breathing during the first 2 days was not associated with an effect on ICU or hospital mortality (33% vs 37%; odds ratio, 1.18 [0.92-1.51]; p = 0.19 and 37% vs 41%; odds ratio, 1.18 [0.93-1.50]; p = 0.196, respectively ). Spontaneous breathing was associated with increased ventilator-free days (13 [0-22] vs 8 [0-20]; p = 0.014) and shorter duration of ICU stay (11 [6-20] vs 12 [7-22]; p = 0.04). CONCLUSIONS: Spontaneous breathing is common in patients with acute respiratory distress syndrome during the first 48 hours of mechanical ventilation. Spontaneous breathing is not associated with worse outcomes and may hasten liberation from the ventilator and from ICU. Although these results support the use of spontaneous breathing in patients with acute respiratory distress syndrome independent of acute respiratory distress syndrome severity, the use of controlled ventilation indicates a bias toward use in patients with higher disease severity. In addition, because the lack of reliable data on inspiratory effort in our study, prospective studies incorporating the magnitude of inspiratory effort and adjusting for all potential severity confounders are required

Identifying associations between diabetes and acute respiratory distress syndrome in patients with acute hypoxemic respiratory failure: an analysis of the LUNG SAFE database

Background: Diabetes mellitus is a common co-existing disease in the critically ill. Diabetes mellitus may reduce the risk of acute respiratory distress syndrome (ARDS), but data from previous studies are conflicting. The objective of this study was to evaluate associations between pre-existing diabetes mellitus and ARDS in critically ill patients with acute hypoxemic respiratory failure (AHRF). Methods: An ancillary analysis of a global, multi-centre prospective observational study (LUNG SAFE) was undertaken. LUNG SAFE evaluated all patients admitted to an intensive care unit (ICU) over a 4-week period, that required mechanical ventilation and met AHRF criteria. Patients who had their AHRF fully explained by cardiac failure were excluded. Important clinical characteristics were included in a stepwise selection approach (forward and backward selection combined with a significance level of 0.05) to identify a set of independent variables associated with having ARDS at any time, developing ARDS (defined as ARDS occurring after day 2 from meeting AHRF criteria) and with hospital mortality. Furthermore, propensity score analysis was undertaken to account for the differences in baseline characteristics between patients with and without diabetes mellitus, and the association between diabetes mellitus and outcomes of interest was assessed on matched samples. Results: Of the 4107 patients with AHRF included in this study, 3022 (73.6%) patients fulfilled ARDS criteria at admission or developed ARDS during their ICU stay. Diabetes mellitus was a pre-existing co-morbidity in 913 patients (22.2% of patients with AHRF). In multivariable analysis, there was no association between diabetes mellitus and having ARDS (OR 0.93 (0.78-1.11); p = 0.39), developing ARDS late (OR 0.79 (0.54-1.15); p = 0.22), or hospital mortality in patients with ARDS (1.15 (0.93-1.42); p = 0.19). In a matched sample of patients, there was no association between diabetes mellitus and outcomes of interest. Conclusions: In a large, global observational study of patients with AHRF, no association was found between diabetes mellitus and having ARDS, developing ARDS, or outcomes from ARDS. Trial registration: NCT02010073. Registered on 12 December 2013

Epidemiology and patterns of tracheostomy practice in patients with acute respiratory distress syndrome in ICUs across 50 countries

Background: To better understand the epidemiology and patterns of tracheostomy practice for patients with acute respiratory distress syndrome (ARDS), we investigated the current usage of tracheostomy in patients with ARDS recruited into the Large Observational Study to Understand the Global Impact of Severe Acute Respiratory Failure (LUNG-SAFE) study. Methods: This is a secondary analysis of LUNG-SAFE, an international, multicenter, prospective cohort study of patients receiving invasive or noninvasive ventilation in 50 countries spanning 5 continents. The study was carried out over 4 weeks consecutively in the winter of 2014, and 459 ICUs participated. We evaluated the clinical characteristics, management and outcomes of patients that received tracheostomy, in the cohort of patients that developed ARDS on day 1-2 of acute hypoxemic respiratory failure, and in a subsequent propensity-matched cohort. Results: Of the 2377 patients with ARDS that fulfilled the inclusion criteria, 309 (13.0%) underwent tracheostomy during their ICU stay. Patients from high-income European countries (n = 198/1263) more frequently underwent tracheostomy compared to patients from non-European high-income countries (n = 63/649) or patients from middle-income countries (n = 48/465). Only 86/309 (27.8%) underwent tracheostomy on or before day 7, while the median timing of tracheostomy was 14 (Q1-Q3, 7-21) days after onset of ARDS. In the subsample matched by propensity score, ICU and hospital stay were longer in patients with tracheostomy. While patients with tracheostomy had the highest survival probability, there was no difference in 60-day or 90-day mortality in either the patient subgroup that survived for at least 5 days in ICU, or in the propensity-matched subsample. Conclusions: Most patients that receive tracheostomy do so after the first week of critical illness. Tracheostomy may prolong patient survival but does not reduce 60-day or 90-day mortality. Trial registration: ClinicalTrials.gov, NCT02010073. Registered on 12 December 2013

Iron Behaving Badly: Inappropriate Iron Chelation as a Major Contributor to the Aetiology of Vascular and Other Progressive Inflammatory and Degenerative Diseases

The production of peroxide and superoxide is an inevitable consequence of aerobic metabolism, and while these particular "reactive oxygen species" (ROSs) can exhibit a number of biological effects, they are not of themselves excessively reactive and thus they are not especially damaging at physiological concentrations. However, their reactions with poorly liganded iron species can lead to the catalytic production of the very reactive and dangerous hydroxyl radical, which is exceptionally damaging, and a major cause of chronic inflammation. We review the considerable and wide-ranging evidence for the involvement of this combination of (su)peroxide and poorly liganded iron in a large number of physiological and indeed pathological processes and inflammatory disorders, especially those involving the progressive degradation of cellular and organismal performance. These diseases share a great many similarities and thus might be considered to have a common cause (i.e. iron-catalysed free radical and especially hydroxyl radical generation). The studies reviewed include those focused on a series of cardiovascular, metabolic and neurological diseases, where iron can be found at the sites of plaques and lesions, as well as studies showing the significance of iron to aging and longevity. The effective chelation of iron by natural or synthetic ligands is thus of major physiological (and potentially therapeutic) importance. As systems properties, we need to recognise that physiological observables have multiple molecular causes, and studying them in isolation leads to inconsistent patterns of apparent causality when it is the simultaneous combination of multiple factors that is responsible. This explains, for instance, the decidedly mixed effects of antioxidants that have been observed, etc...Comment: 159 pages, including 9 Figs and 2184 reference