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

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)

Advanced diagnostic imaging and intervention in tendon diseases

Degenerative tendon pathology represents one of the most frequent and disabling musculoskeletal disorders. Diagnostic radiology plays a fundamental role in the clinical evaluation of tendon pathologies. Moreover, several minimally invasive treatments can be performed under imaging guidance to treat tendon disorders, maximizing the efficacy and reducing procedural complications. In this review article we describe the most relevant diagnostic features of conventional and advanced US and MRI imaging in tendon disorders, along with the main options for image-guided intervention. (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)

Optimizing Pediatric Dosing Recommendations and Treatment Management of Antiretroviral Drugs Using Therapeutic Drug Monitoring Data in Children Living With HIV.

INTRODUCTION: This review summarizes the current dosing recommendations for antiretroviral (ARV) drugs in the international pediatric guidelines of the World Health Organization (WHO), US Department of Health and Human Services (DHHS), and Pediatric European Network for Treatment of AIDS (PENTA), and evaluates the research that informed these approaches. We further explore the role of data generated through therapeutic drug monitoring in optimizing the dosing of ARVs in children. METHODS: A PubMed search was conducted for the literature on ARV dosing published in English. In addition, the registration documentation of European Medicines Agency and the US Food and Drug Administration for currently used ARVs and studies referenced by the WHO, DHHS, and EMA guidelines were screened. Resulting publications were screened for papers containing data on the area under the concentration-time curve, trough concentration, and peak concentration. Studies with enrolled participants with a median or mean age of ?18 years were excluded. No restriction on publishing date was applied. DISCUSSION AND CONCLUSION: Pediatric ARV dosing is frequently based on data obtained from small studies and is often simplified to facilitate dosing in the context of a public health approach. Pharmacokinetic parameters of pediatric ARVs are subject to high interpatient variation and this leads to a potential risk of underdosing or overdosing when drugs are used in real life. To ensure optimal use of ARVs and validate dosing recommendations for children, it is essential to monitor ARV dosing more thoroughly with larger sample sizes and to include diverse subpopulations. Therapeutic drug monitoring data generated in children, where available and affordable, have the potential to enhance our understanding of the appropriateness of simplified pediatric dosing strategies recommended using a public health approach and to uncover suboptimal dosing or other unanticipated issues postmarketing, further facilitating the ultimate goal of optimizing pediatric ARV treatment

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

Single and repeated moderate consumption of native or dealcoholized red wine show different effects on antioxidant parameters in blood and DNA strand breaks in peripheral leukocytes in healthy volunteers: a randomized controlled trial [ISRCTN68505294]

BACKGROUND: Red wine (RW) is rich in antioxidant polyphenols that might protect from oxidative stress related diseases, such as cardiovascular disease and cancer. Antioxidant effects after single ingestion of RW or dealcoholized RW (DRW) have been observed in several studies, but results after regular consumption are contradictory. Thus, we examined if single or repeated consumption of moderate amounts of RW or DRW exert antioxidant activity in vivo. METHODS: Total phenolic content and concentration of other antioxidants in plasma/serum, total antioxidant capacity (TEAC) in plasma as well as DNA strand breaks in peripheral leukocytes were measured in healthy non-smokers A) before, 90 and 360 min after ingestion of one glass of RW, DRW or water; B) before and after consumption of one glass of RW or DRW daily for 6 weeks. DNA strand breaks (SB) were determined by single cell gel electrophoresis (Comet Assay) in untreated cells and after induction of oxidative stress ex vivo with H(2)O(2 )(300 μM, 20 min). RESULTS: Both RW and DRW transiently increased total phenolic content in plasma after single consumption, but only RW lead to a sustained increase if consumed regularly. Plasma antioxidant capacity was not affected by single or regular consumption of RW or DRW. Effects of RW and DRW on DNA SB were conflicting. DNA strand breaks in untreated cells increased after a single dose of RW and DRW, whereas H(2)O(2 )induced SB were reduced after DRW. In contrast, regular RW consumption reduced SB in untreated cells but did not affect H(2)O(2 )induced SB. CONCLUSION: The results suggest that consumption of both RW and DRW leads to an accumulation of phenolic compounds in plasma without increasing plasma antioxidant capacity. Red wine and DRW seem to affect the occurrence of DNA strand breaks, but this cannot be referred to antioxidant effects