Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures

Software bugs in cloud management systems often cause erratic behavior, hindering detection, and recovery of failures. As a consequence, the failures are not timely detected and notified, and can silently propagate through the system. To face these issues, we propose a lightweight approach to runtime verification, for monitoring and failure detection of cloud computing systems. We performed a preliminary evaluation of the proposed approach in the OpenStack cloud management platform, an “off-the-shelf” distributed system, showing that the approach can be applied with high failure detection coverage

EVIL: Exploiting Software via Natural Language

Writing exploits for security assessment is a challenging task. The writer needs to master programming and obfuscation techniques to develop a successful exploit. To make the task easier, we propose an approach (EVIL) to automatically generate exploits in assembly/Python language from descriptions in natural language. The approach leverages Neural Machine Translation (NMT) techniques and a dataset that we developed for this work. We present an extensive experimental study to evaluate the feasibility of EVIL, using both automatic and manual analysis, and both at generating individual statements and entire exploits. The generated code achieved high accuracy in terms of syntactic and semantic correctness

Interruptions of antiretroviral therapy in children and adolescents with HIV infection in clinical practice: a retrospective cohort study in the USA.

INTRODUCTION: Changes in combination antiretroviral therapy (cART) throughout childhood challenge the continuity of paediatric HIV treatment. This study aimed to evaluate the prevalence of treatment interruption (TI), including lamivudine (3TC) monotherapy, and the relationship of TI to virologic and immunologic parameters in HIV-infected paediatric patients. METHODS: Nested within a prospective observational study of a city-wide cohort of HIV-infected persons in the District of Columbia, this sub-study collected retrospective data on antiretroviral therapy, enrolment (endpoint) and historic (lifelong) CD4 counts and HIV RNA viral load (VL) of the paediatric cohort. TI was defined as interruption of cART ≥4 consecutive weeks. Data on TI, including 3TC monotherapy TI (MTI), were collected. Descriptive statistics and univariate testing were used to compare children with TI and MTI to children on continuous treatment (CT). RESULTS: Thirty-eight (28%) out of 136 enrolled children (median age=12.9 years) experienced TI, with 14 (37%) of those placed on 3TC MTI. Significantly lower endpoint median CD4 counts (598 cells/mm(3) vs. 815 cells/mm(3); p=0.003) and CD4% (27.5% vs. 33%; p=0.006) were observed in the TI cohort as compared to the CT cohort. The median endpoint VL in the overall TI cohort was ~4 times higher than among the CT cohort (1427 copies/mL vs. 5581 copies/mL; p CONCLUSIONS: In our study, we observed high frequency of the TI in HIV in paediatric HIV clinical practice. All TIs, including 3TC MTI, were associated with significantly lower endpoint median CD4 counts and higher median VLs, as compared to CT in paediatric patients. The high frequency of TI and associated poor outcomes suggest a need for a better strategy in managing the course of the paediatric and adolescent cART

Imaging of long head biceps tendon : a multimodality pictorial essay

The aim of this article is to provide an imaging review of normal anatomy, most common anatomical variants and pathologies of the long head of the biceps tendon (LHB) encountered during the daily practice. (www.actabiomedica.it)

Ultrasound-guided percutaneous irrigation of calcific tendinopathy: Technical developments

Rotator cuff calcific tendinopathy (RCCT) is a common and painful shoulder disease character-ised by deposition of calcium into the rotator cuff’s tendond. Different therapeutic options have been proposed, but the ultrasound-guided percutaneous irrigation (US-PICT) is been proved as an effective and safe first-line treatment. It can be performed with a single-of a double-needle tecnique, using warm saline solution to improve the dissolution of the calcific deposit. The procedure is ended with an intrabursal injection of local anaesthetics and slow-release steroids to improve the pain relief and to prevent complications. US-PICT leads to significative improvement in the shoulder funtion and pain relief in the short and long term, with a low complications rate. (www.actabiomedica.it)

Carbon Monoxide Promotes Respiratory Hemoproteins Iron Reduction Using Peroxides as Electron Donors

The physiological role of the respiratory hemoproteins (RH), hemoglobin and myoglobin, is to deliver O2 via its binding to their ferrous (FeII) heme-iron. Under variety of pathological conditions RH proteins leak to blood plasma and oxidized to ferric (FeIII, met) forms becoming the source of oxidative vascular damage. However, recent studies have indicated that both metRH and peroxides induce Heme Oxygenase (HO) enzyme producing carbon monoxide (CO). The gas has an extremely high affinity for the ferrous heme-iron and is known to reduce ferric hemoproteins in the presence of suitable electron donors. We hypothesized that under in vivo plasma conditions, peroxides at low concentration can assist the reduction of metRH in presence of CO. The effect of CO on interaction of metRH with hydrophilic or hydrophobic peroxides was analyzed by following Soret and visible light absorption changes in reaction mixtures. It was found that under anaerobic conditions and low concentrations of RH and peroxides mimicking plasma conditions, peroxides served as electron donors and RH were reduced to their ferrous carboxy forms. The reaction rates were dependent on CO as well as peroxide concentrations. These results demonstrate that oxidative activity of acellular ferric RH and peroxides may be amended by CO turning on the reducing potential of peroxides and facilitating the formation of redox-inactive carboxyRH. Our data suggest the possible role of HO/CO in protection of vascular system from oxidative damage

"Delirium Day": A nationwide point prevalence study of delirium in older hospitalized patients using an easy standardized diagnostic tool

Background: To date, delirium prevalence in adult acute hospital populations has been estimated generally from pooled findings of single-center studies and/or among specific patient populations. Furthermore, the number of participants in these studies has not exceeded a few hundred. To overcome these limitations, we have determined, in a multicenter study, the prevalence of delirium over a single day among a large population of patients admitted to acute and rehabilitation hospital wards in Italy. Methods: This is a point prevalence study (called "Delirium Day") including 1867 older patients (aged 65 years or more) across 108 acute and 12 rehabilitation wards in Italian hospitals. Delirium was assessed on the same day in all patients using the 4AT, a validated and briefly administered tool which does not require training. We also collected data regarding motoric subtypes of delirium, functional and nutritional status, dementia, comorbidity, medications, feeding tubes, peripheral venous and urinary catheters, and physical restraints. Results: The mean sample age was 82.0 \ub1 7.5 years (58 % female). Overall, 429 patients (22.9 %) had delirium. Hypoactive was the commonest subtype (132/344 patients, 38.5 %), followed by mixed, hyperactive, and nonmotoric delirium. The prevalence was highest in Neurology (28.5 %) and Geriatrics (24.7 %), lowest in Rehabilitation (14.0 %), and intermediate in Orthopedic (20.6 %) and Internal Medicine wards (21.4 %). In a multivariable logistic regression, age (odds ratio [OR] 1.03, 95 % confidence interval [CI] 1.01-1.05), Activities of Daily Living dependence (OR 1.19, 95 % CI 1.12-1.27), dementia (OR 3.25, 95 % CI 2.41-4.38), malnutrition (OR 2.01, 95 % CI 1.29-3.14), and use of antipsychotics (OR 2.03, 95 % CI 1.45-2.82), feeding tubes (OR 2.51, 95 % CI 1.11-5.66), peripheral venous catheters (OR 1.41, 95 % CI 1.06-1.87), urinary catheters (OR 1.73, 95 % CI 1.30-2.29), and physical restraints (OR 1.84, 95 % CI 1.40-2.40) were associated with delirium. Admission to Neurology wards was also associated with delirium (OR 2.00, 95 % CI 1.29-3.14), while admission to other settings was not. Conclusions: Delirium occurred in more than one out of five patients in acute and rehabilitation hospital wards. Prevalence was highest in Neurology and lowest in Rehabilitation divisions. The "Delirium Day" project might become a useful method to assess delirium across hospital settings and a benchmarking platform for future surveys