The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent constant rates. Alur, Wojtczak, and Trivedi have shown that reachability problems for constant-rate multi-mode systems for open and convex safety sets can be solved in polynomial time. In this paper, we study the reachability problem for non-convex state spaces and show that this problem is in general undecidable. We recover decidability by making certain assumptions about the safety set. We present a new algorithm to solve this problem and compare its performance with the popular sampling based algorithm rapidly-exploring random tree (RRT) as implemented in the Open Motion Planning Library (OMPL).Comment: 26 page

The association of cold weather and all-cause and cause-specific mortality in the island of Ireland between 1984 and 2007

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.This article has been made available through the Brunel Open Access Publishing Fund.Background This study aimed to assess the relationship between cold temperature and daily mortality in the Republic of Ireland (ROI) and Northern Ireland (NI), and to explore any differences in the population responses between the two jurisdictions. Methods A time-stratified case-crossover approach was used to examine this relationship in two adult national populations, between 1984 and 2007. Daily mortality risk was examined in association with exposure to daily maximum temperatures on the same day and up to 6 weeks preceding death, during the winter (December-February) and cold period (October-March), using distributed lag models. Model stratification by age and gender assessed for modification of the cold weather-mortality relationship. Results In the ROI, the impact of cold weather in winter persisted up to 35 days, with a cumulative mortality increase for all-causes of 6.4% (95%CI=4.8%-7.9%) in relation to every 1oC drop in daily maximum temperature, similar increases for cardiovascular disease (CVD) and stroke, and twice as much for respiratory causes. In NI, these associations were less pronounced for CVD causes, and overall extended up to 28 days. Effects of cold weather on mortality increased with age in both jurisdictions, and some suggestive gender differences were observed. Conclusions The study findings indicated strong cold weather-mortality associations in the island of Ireland; these effects were less persistent, and for CVD mortality, smaller in NI than in the ROI. Together with suggestive differences in associations by age and gender between the two Irish jurisdictions, the findings suggest potential contribution of underlying societal differences, and require further exploration. The evidence provided here will hope to contribute to the current efforts to modify fuel policy and reduce winter mortality in Ireland

Multi-centre parallel arm randomised controlled trial to assess the effectiveness and cost-effectiveness of a group-based cognitive behavioural approach to managing fatigue in people with multiple sclerosis

Abstract (provisional) Background Fatigue is one of the most commonly reported and debilitating symptoms of multiple sclerosis (MS); approximately two-thirds of people with MS consider it to be one of their three most troubling symptoms. It may limit or prevent participation in everyday activities, work, leisure, and social pursuits, reduce psychological well-being and is one of the key precipitants of early retirement. Energy effectiveness approaches have been shown to be effective in reducing MS-fatigue, increasing self-efficacy and improving quality of life. Cognitive behavioural approaches have been found to be effective for managing fatigue in other conditions, such as chronic fatigue syndrome, and more recently, in MS. The aim of this pragmatic trial is to evaluate the clinical and cost-effectiveness of a recently developed group-based fatigue management intervention (that blends cognitive behavioural and energy effectiveness approaches) compared with current local practice. Methods This is a multi-centre parallel arm block-randomised controlled trial (RCT) of a six session group-based fatigue management intervention, delivered by health professionals, compared with current local practice. 180 consenting adults with a confirmed diagnosis of MS and significant fatigue levels, recruited via secondary/primary care or newsletters/websites, will be randomised to receive the fatigue management intervention or current local practice. An economic evaluation will be undertaken alongside the trial. Primary outcomes are fatigue severity, self-efficacy and disease-specific quality of life. Secondary outcomes include fatigue impact, general quality of life, mood, activity patterns, and cost-effectiveness. Outcomes in those receiving the fatigue management intervention will be measured 1 week prior to, and 1, 4, and 12 months after the intervention (and at equivalent times in those receiving current local practice). A qualitative component will examine what aspects of the fatigue management intervention participants found helpful/unhelpful and barriers to change. Discussion This trial is the fourth stage of a research programme that has followed the Medical Research Council guidance for developing and evaluating complex interventions. What makes the intervention unique is that it blends cognitive behavioural and energy effectiveness approaches. A potential strength of the intervention is that it could be integrated into existing service delivery models as it has been designed to be delivered by staff already working with people with MS. Service users will be involved throughout this research. Trial registration: Current Controlled Trials ISRCTN7651747

Heroes and villains of world history across cultures

© 2015 Hanke et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are creditedEmergent properties of global political culture were examined using data from the World History Survey (WHS) involving 6,902 university students in 37 countries evaluating 40 figures from world history. Multidimensional scaling and factor analysis techniques found only limited forms of universality in evaluations across Western, Catholic/Orthodox, Muslim, and Asian country clusters. The highest consensus across cultures involved scientific innovators, with Einstein having the most positive evaluation overall. Peaceful humanitarians like Mother Theresa and Gandhi followed. There was much less cross-cultural consistency in the evaluation of negative figures, led by Hitler, Osama bin Laden, and Saddam Hussein. After more traditional empirical methods (e.g., factor analysis) failed to identify meaningful cross-cultural patterns, Latent Profile Analysis (LPA) was used to identify four global representational profiles: Secular and Religious Idealists were overwhelmingly prevalent in Christian countries, and Political Realists were common in Muslim and Asian countries. We discuss possible consequences and interpretations of these different representational profiles.This research was supported by grant RG016-P-10 from the Chiang Ching-Kuo Foundation for International Scholarly Exchange (http://www.cckf.org.tw/). Religion Culture Entropy China Democracy Economic histor

Reductions in cardiovascular, cerebrovascular, and respiratory mortality following the national Irish smoking ban: Interrupted time-series analysis

Copyright @ 2013 Stallings-Smith et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This article has been made available through the Brunel Open Access Publishing Fund.Background: Previous studies have shown decreases in cardiovascular mortality following the implementation of comprehensive smoking bans. It is not known whether cerebrovascular or respiratory mortality decreases post-ban. On March 29, 2004, the Republic of Ireland became the first country in the world to implement a national workplace smoking ban. The aim of this study was to assess the effect of this policy on all-cause and cause-specific, non-trauma mortality. Methods: A time-series epidemiologic assessment was conducted, utilizing Poisson regression to examine weekly age and gender-standardized rates for 215,878 non-trauma deaths in the Irish population, ages ≥35 years. The study period was from January 1, 2000, to December 31, 2007, with a post-ban follow-up of 3.75 years. All models were adjusted for time trend, season, influenza, and smoking prevalence. Results: Following ban implementation, an immediate 13% decrease in all-cause mortality (RR: 0.87; 95% CI: 0.76-0.99), a 26% reduction in ischemic heart disease (IHD) (RR: 0.74; 95% CI: 0.63-0.88), a 32% reduction in stroke (RR: 0.68; 95% CI: 0.54-0.85), and a 38% reduction in chronic obstructive pulmonary disease (COPD) (RR: 0.62; 95% CI: 0.46-0.83) mortality was observed. Post-ban reductions in IHD, stroke, and COPD mortalities were seen in ages ≥65 years, but not in ages 35-64 years. COPD mortality reductions were found only in females (RR: 0.47; 95% CI: 0.32-0.70). Post-ban annual trend reductions were not detected for any smoking-related causes of death. Unadjusted estimates indicate that 3,726 (95% CI: 2,305-4,629) smoking-related deaths were likely prevented post-ban. Mortality decreases were primarily due to reductions in passive smoking. Conclusions: The national Irish smoking ban was associated with immediate reductions in early mortality. Importantly, post-ban risk differences did not change with a longer follow-up period. This study corroborates previous evidence for cardiovascular causes, and is the first to demonstrate reductions in cerebrovascular and respiratory causes

A Systematic Review of Online Sex Addiction and Clinical Treatments Using CONSORT Evaluation

Researchers have suggested that the advances of the Internet over the past two decades have gradually eliminated traditional offline methods of obtaining sexual material. Additionally, research on cybersex and/or online sex addictions has increased alongside the development of online technology. The present study extended the findings from Griffiths’ (2012) systematic empirical review of online sex addiction by additionally investigating empirical studies that implemented and/or documented clinical treatments for online sex addiction in adults. A total of nine studies were identified and then each underwent a CONSORT evaluation. The main findings of the present review provide some evidence to suggest that some treatments (both psychological and/or pharmacological) provide positive outcomes among those experiencing difficulties with online sex addiction. Similar to Griffiths’ original review, this study recommends that further research is warranted to establish the efficacy of empirically driven treatments for online sex addiction

A retrospective observational study to determine baseline characteristics and early prescribing patterns for patients receiving Alirocumab in UK clinical practice

Background Alirocumab is a fully human monoclonal antibody to proprotein convertase subtilisin/kexin type 9 (PCSK9) and has been previously shown, in the phase III ODYSSEY clinical trial program, to provide significant lowering of lowdensity lipoprotein cholesterol (LDL-C) and reduction in risk of major adverse cardiovascular events. However, real-world evidence to date is limited. Objective The primary objective was to describe baseline characteristics, clinical history, and prior lipid-lowering therapy (LLT) use of patients initiated on alirocumab in UK clinical practice following publication of health technology appraisal (HTA) body recommendations. Secondary objectives included description of alirocumab use and lipid parameter outcomes over a 4-month follow-up period. Methods In this retrospective, single-arm, observational, multicenter study, data were collected for 150 patients initiated on alirocumab. Results Mean (standard deviation; SD) age of patients was 61.4 (10.5) years and baseline median (interquartile range; IQR) LDL-C level was 4.8 (4.2–5.8) mmol/l. Alirocumab use occurred predominantly in patients with heterozygous familial hypercholesterolemia (HeFH) (n = 100/150, 66%) and those with statin intolerance (n = 123/150, 82%). Most patients started on alirocumab 75 mg (n = 108/150 [72%]) and 35 (23.3%) were up-titrated to 150 mg. Clinically significant reductions in atherogenic lipid parameters were observed with alirocumab, including LDL-C (median [IQR] change from baseline, − 53.6% [− 62.9 to − 34.9], P < 0.001). Conclusion This study highlights the unmet need for additional LLT in patients with uncontrolled hyperlipidemia and demonstrates the clinical utility of alirocumab in early real-world practice, where dosing flexibility is an important attribute of this therapeutic option

Single Gene Deletions of Orexin, Leptin, Neuropeptide Y, and Ghrelin Do Not Appreciably Alter Food Anticipatory Activity in Mice

Timing activity to match resource availability is a widely conserved ability in nature. Scheduled feeding of a limited amount of food induces increased activity prior to feeding time in animals as diverse as fish and rodents. Typically, food anticipatory activity (FAA) involves temporally restricting unlimited food access (RF) to several hours in the middle of the light cycle, which is a time of day when rodents are not normally active. We compared this model to calorie restriction (CR), giving the mice 60% of their normal daily calorie intake at the same time each day. Measurement of body temperature and home cage behaviors suggests that the RF and CR models are very similar but CR has the advantage of a clearly defined food intake and more stable mean body temperature. Using the CR model, we then attempted to verify the published result that orexin deletion diminishes food anticipatory activity (FAA) but observed little to no diminution in the response to CR and, surprisingly, that orexin KO mice are refractory to body weight loss on a CR diet. Next we tested the orexigenic neuropeptide Y (NPY) and ghrelin and the anorexigenic hormone, leptin, using mouse mutants. NPY deletion did not alter the behavior or physiological response to CR. Leptin deletion impaired FAA in terms of some activity measures, such as walking and rearing, but did not substantially diminish hanging behavior preceding feeding time, suggesting that leptin knockout mice do anticipate daily meal time but do not manifest the full spectrum of activities that typify FAA. Ghrelin knockout mice do not have impaired FAA on a CR diet. Collectively, these results suggest that the individual hormones and neuropepetides tested do not regulate FAA by acting individually but this does not rule out the possibility of their concerted action in mediating FAA

Cooperative coupling of ultracold atoms and surface plasmons

Cooperative coupling between optical emitters and light fields is one of the outstanding goals in quantum technology. It is both fundamentally interesting for the extraordinary radiation properties of the participating emitters and has many potential applications in photonics. While this goal has been achieved using high-finesse optical cavities, cavity-free approaches that are broadband and easy to build have attracted much attention recently. Here we demonstrate cooperative coupling of ultracold atoms with surface plasmons propagating on a plane gold surface. While the atoms are moving towards the surface they are excited by an external laser pulse. Excited surface plasmons are detected via leakage radiation into the substrate of the gold layer. A maximum Purcell factor of $\eta_\mathrm{P}=4.9$ is reached at an optimum distance of $z=250~\mathrm{nm}$ from the surface. The coupling leads to the observation of a Fano-like resonance in the spectrum.Comment: 9 pages, 4 figure