X-Machine Based Testing for Cloud Services

In this article we present a tool designed for cloud service testing, able to generate test cases from a formal specification of the service, in form of a deterministic stream X-machine (DSXM) model. The paper summarizes the theoretical foundations of X-machine based testing and illustrates the usage of the developed tool on some examples. It shows in detail how the specification should be written, which are the design for test conditions it should satisfy, in order to assure the generation of high quality test suites for the cloud service

A short review of constructing noise map using crowdsensing technology

The advent of crowdsensing technology has provided a promising possibility for monitoring noise pollution in large-scale areas. Constructing noise map by using mobile smart phones in a cost-effective manner is being widely used in the city and industrial plants. In this short paper, the state-of-the-art crowdsensing-based noise map applications are first summarized. Furthermore, open research challenges associated with building up noise map are highlighted

Prevalence of peripheral arterial disease in subjects with moderate cardiovascular risk: Italian results from the PANDORA study Data from PANDORA (Prevalence of peripheral Arterial disease in subjects with moderate CVD risk, with No overt vascular Diseases nor Diabetes mellitus)

<p>Abstract</p> <p>Background</p> <p>The PANDORA study has recently examined the prevalence of low ankle brachial index (ABI) in subjects with moderate risk of cardiovascular disease. This sub-analysis of the PANDORA study examines the prevalence of asymptomatic peripheral arterial disease (PAD), as determined by ABI, in Italian subjects presenting with moderate cardiovascular risk, in the absence of diabetes or overt vascular disease.</p> <p>Methods</p> <p>PANDORA is a non-interventional, cross-sectional study that was performed in 6 European countries, involving subjects with at least one cardiovascular (CV) risk factor. The primary objective was to evaluate the prevalence of asymptomatic PAD using ABI. For this post-hoc sub-analysis, data were extracted for subjects enrolled in Italy, comprising 51.5% (n = 5298) of subjects from the original PANDORA study. Secondary objectives were to establish the prevalence and treatment of CV risk factors.</p> <p>Results</p> <p>The mean age was 63.9 years and 22.9% (95% CI 21.7-24.0) of subjects presented with asymptomatic PAD. A range of risk factors comprising smoking, hypertension, low HDL-cholesterol, family history of coronary heart disease and habit of moderate-high alcohol intake were significantly associated with asymptomatic PAD (p < 0.0001). Statin treatment had the lowest incidence in Italian subjects. Furthermore, patients treated with statins were significantly less likely to have asymptomatic PAD than those who were not (p = 0.0001).</p> <p>Conclusions</p> <p>Asymptomatic PAD was highly prevalent in Italian subjects, the majority of whom were not candidates for ABI assessment according to current guidelines. Findings from this study suggest that these patients should be carefully examined in clinical practice and ABI measured so that therapeutic interventions known to decrease their CV risk may be offered.</p> <p>Trial registration number</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00689377">NCT00689377</a></p

PET Molecular Targets and Near-Infrared Fluorescence Imaging of Atherosclerosis

PURPOSE OF REVIEW: With this review, we aim to summarize the role of positron emission tomography (PET) and near-infrared fluorescence imaging (NIRF) in the detection of atherosclerosis. RECENT FINDINGS: (18)F-FDG is an established measure of increased macrophage activity. However, due to its low specificity, new radiotracers have emerged for more specific detection of vascular inflammation and other high-risk plaque features such as microcalcification and neovascularization. Novel NIRF probes are engineered to sense endothelial damage as an early sign of plaque erosion as well as oxidized low-density lipoprotein (oxLDL) as a prime target for atherosclerosis. Integrated NIRF/OCT (optical coherence tomography) catheters enable to detect stent-associated microthrombi. Novel radiotracers can improve specificity of PET for imaging atherosclerosis. Advanced NIRF probes show promise for future application in human. Intravascular NIRF might play a prominent role in the detection of stent-induced vascular injury

Value of hospital antimicrobial stewardship programs [ASPs]:a systematic review

Abstract Background Hospital antimicrobial stewardship programs (ASPs) aim to promote judicious use of antimicrobials to combat antimicrobial resistance. For ASPs to be developed, adopted, and implemented, an economic value assessment is essential. Few studies demonstrate the cost-effectiveness of ASPs. This systematic review aimed to evaluate the economic and clinical impact of ASPs. Methods An update to the Dik et al. systematic review (2000–2014) was conducted on EMBASE and Medline using PRISMA guidelines. The updated search was limited to primary research studies in English (30 September 2014–31 December 2017) that evaluated patient and/or economic outcomes after implementation of hospital ASPs including length of stay (LOS), antimicrobial use, and total (including operational and implementation) costs. Results One hundred forty-six studies meeting inclusion criteria were included. The majority of these studies were conducted within the last 5 years in North America (49%), Europe (25%), and Asia (14%), with few studies conducted in Africa (3%), South America (3%), and Australia (3%). Most studies were conducted in hospitals with 500–1000 beds and evaluated LOS and change in antibiotic expenditure, the majority of which showed a decrease in LOS (85%) and antibiotic expenditure (92%). The mean cost-savings varied by hospital size and region after implementation of ASPs. Average cost savings in US studies were $732 per patient (range:$2.50 to $2640), with similar trends exhibited in European studies. The key driver of cost savings was from reduction in LOS. Savings were higher among hospitals with comprehensive ASPs which included therapy review and antibiotic restrictions. Conclusions Our data indicates that hospital ASPs have significant value with beneficial clinical and economic impacts. More robust published data is required in terms of implementation, LOS, and overall costs so that decision-makers can make a stronger case for investing in ASPs, considering competing priorities. Such data on ASPs in lower- and middle-income countries is limited and requires urgent attention

Understanding acute ankle ligamentous sprain injury in sports

This paper summarizes the current understanding on acute ankle sprain injury, which is the most common acute sport trauma, accounting for about 14% of all sport-related injuries. Among, 80% are ligamentous sprains caused by explosive inversion or supination. The injury motion often happens at the subtalar joint and tears the anterior talofibular ligament (ATFL) which possesses the lowest ultimate load among the lateral ligaments at the ankle. For extrinsic risk factors to ankle sprain injury, prescribing orthosis decreases the risk while increased exercise intensity in soccer raises the risk. For intrinsic factors, a foot size with increased width, an increased ankle eversion to inversion strength, plantarflexion strength and ratio between dorsiflexion and plantarflexion strength, and limb dominance could increase the ankle sprain injury risk. Players with a previous sprain history, players wearing shoes with air cells, players who do not stretch before exercising, players with inferior single leg balance, and overweight players are 4.9, 4.3, 2.6, 2.4 and 3.9 times more likely to sustain an ankle sprain injury. The aetiology of most ankle sprain injuries is incorrect foot positioning at landing – a medially-deviated vertical ground reaction force causes an explosive supination or inversion moment at the subtalar joint in a short time (about 50 ms). Another aetiology is the delayed reaction time of the peroneal muscles at the lateral aspect of the ankle (60–90 ms). The failure supination or inversion torque is about 41–45 Nm to cause ligamentous rupture in simulated spraining tests on cadaver. A previous case report revealed that the ankle joint reached 48 degrees inversion and 10 degrees internal rotation during an accidental grade I ankle ligamentous sprain injury during a dynamic cutting trial in laboratory. Diagnosis techniques and grading systems vary, but the management of ankle ligamentous sprain injury is mainly conservative. Immobilization should not be used as it results in joint stiffness, muscle atrophy and loss of proprioception. Traditional Chinese medicine such as herbs, massage and acupuncture were well applied in China in managing sports injuries, and was reported to be effective in relieving pain, reducing swelling and edema, and restoring normal ankle function. Finally, the best practice of sports medicine would be to prevent the injury. Different previous approaches, including designing prophylactice devices, introducing functional interventions, as well as change of games rules were highlighted. This paper allows the readers to catch up with the previous researches on ankle sprain injury, and facilitate the future research idea on sport-related ankle sprain injury

Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition)1.

In 2008, we published the first set of guidelines for standardizing research in autophagy. Since then, this topic has received increasing attention, and many scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Thus, it is important to formulate on a regular basis updated guidelines for monitoring autophagy in different organisms. Despite numerous reviews, there continues to be confusion regarding acceptable methods to evaluate autophagy, especially in multicellular eukaryotes. Here, we present a set of guidelines for investigators to select and interpret methods to examine autophagy and related processes, and for reviewers to provide realistic and reasonable critiques of reports that are focused on these processes. These guidelines are not meant to be a dogmatic set of rules, because the appropriateness of any assay largely depends on the question being asked and the system being used. Moreover, no individual assay is perfect for every situation, calling for the use of multiple techniques to properly monitor autophagy in each experimental setting. Finally, several core components of the autophagy machinery have been implicated in distinct autophagic processes (canonical and noncanonical autophagy), implying that genetic approaches to block autophagy should rely on targeting two or more autophagy-related genes that ideally participate in distinct steps of the pathway. Along similar lines, because multiple proteins involved in autophagy also regulate other cellular pathways including apoptosis, not all of them can be used as a specific marker for bona fide autophagic responses. Here, we critically discuss current methods of assessing autophagy and the information they can, or cannot, provide. Our ultimate goal is to encourage intellectual and technical innovation in the field

Renewable energy and sustainable development: Evidence from OECD countries

WOS:000614637300001This study aims to investigate the effects of renewable energy on GDP and sustainable development. The data of Economic Cooperation and Development Organization (OECD) countries covering the period of 1990–2015 are included in the analysis. In this study, GDP and adjusted net savings (ANS) are used as indicators of sustainable development. ANS calculation is closely related to the 2030 Sustainable Development Goals and the concept of sustainable development. According to IV (two‐stage least square—2SLS) and two‐stage general method of moments IV (2SLS) estimates, renewable energy positively affects ANS per capita. However, non‐renewable energy negatively affects ANS per capita. Therefore, renewable energy causes an increase in sustainable development, while non‐renewable energy causes a decrease. As a result, OECD countries are recommended to prefer renewable energy rather than non‐renewable energy. OECD countries should make the necessary arrangements for the growth and development of the renewable energy sector and implement them quickly. Preferring renewable energy is extremely important to achieve the 2030 Sustainable Development Goals