Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

An RxLR effector from phytophthora infestans prevents re-localisation of two plant NAC transcription factors from the endoplasmic reticulum to the nucleus

The plant immune system is activated following the perception of exposed, essential and invariant microbial molecules that are recognised as non-self. A major component of plant immunity is the transcriptional induction of genes involved in a wide array of defence responses. In turn, adapted pathogens deliver effector proteins that act either inside or outside plant cells to manipulate host processes, often through their direct action on plant protein targets. To date, few effectors have been shown to directly manipulate transcriptional regulators of plant defence. Moreover, little is known generally about the modes of action of effectors from filamentous (fungal and oomycete) plant pathogens. We describe an effector, called Pi03192, from the late blight pathogen Phytophthora infestans, which interacts with a pair of host transcription factors at the endoplasmic reticulum (ER) inside plant cells. We show that these transcription factors are released from the ER to enter the nucleus, following pathogen perception, and are important in restricting disease. Pi03192 prevents the plant transcription factors from accumulating in the host nucleus, revealing a novel means of enhancing host susceptibility

Interpretation of ambiguous situations: evidence for a dissociation between social and physical threat in Williams syndrome

There is increasing evidence that Williams syndrome (WS) is associated with elevated anxiety that is non-social in nature, including generalised anxiety and fears. To date very little research has examined the cognitive processes associated with this anxiety. In the present research, attentional bias for non-social threatening images in WS was examined using a dot-probe paradigm. Participants were 16 individuals with WS aged between 13 and 34 years and two groups of typically developing controls matched to the WS group on chronological age and attentional control ability respectively. The WS group exhibited a significant attention bias towards threatening images. In contrast, no bias was found for group matched on attentional control and a slight bias away from threat was found in the chronological age matched group. The results are contrasted with recent findings suggesting that individuals with WS do not show an attention bias for threatening faces and discussed in relation to neuroimaging research showing elevated amygdala activation in response to threatening non-social scenes in WS

The utilisation of health research in policy-making: Concepts, examples and methods of assessment

The importance of health research utilisation in policy-making, and of understanding the mechanisms involved, is increasingly recognised. Recent reports calling for more resources to improve health in developing countries, and global pressures for accountability, draw greater attention to research-informed policy-making. Key utilisation issues have been described for at least twenty years, but the growing focus on health research systems creates additional dimensions. The utilisation of health research in policy-making should contribute to policies that may eventually lead to desired outcomes, including health gains. In this article, exploration of these issues is combined with a review of various forms of policy-making. When this is linked to analysis of different types of health research, it assists in building a comprehensive account of the diverse meanings of research utilisation. Previous studies report methods and conceptual frameworks that have been applied, if with varying degrees of success, to record utilisation in policy-making. These studies reveal various examples of research impact within a general picture of underutilisation. Factors potentially enhancing utilisation can be identified by exploration of: priority setting; activities of the health research system at the interface between research and policy-making; and the role of the recipients, or 'receptors', of health research. An interfaces and receptors model provides a framework for analysis. Recommendations about possible methods for assessing health research utilisation follow identification of the purposes of such assessments. Our conclusion is that research utilisation can be better understood, and enhanced, by developing assessment methods informed by conceptual analysis and review of previous studies

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Climate-influenced migration in Bangladesh: the need for a policy realignment

Recent research into migration in Bangladesh has highlighted that people migrate for better livelihoods, not necessarily in response to climatic stresses and shocks. If facilitated appropriately, internal and international migration can help build adaptive capacity to future environmental and climatic hazards. In this framing, migration happens in the context of a growing city-centred economy that promotes remittances to villages. However, a textual analysis of current and recent policies concerning climate change, development and poverty alleviation, and disaster management shows that the economic and adaptive roles of internal migration are often not included in policy framing. We argue that if migration works as a positive step towards adaptation, then the key challenge is to align the policies with this new understanding

A role for diatom-like silicon transporters in calcifying coccolithophores

Biomineralization by marine phytoplankton, such as the silicifying diatoms and calcifying coccolithophores, plays an important role in carbon and nutrient cycling in the oceans. Silicification and calcification are distinct cellular processes with no known common mechanisms. It is thought that coccolithophores are able to outcompete diatoms in Si-depleted waters, which can contribute to the formation of coccolithophore blooms. Here we show that an expanded family of diatom-like silicon transporters (SITs) are present in both silicifying and calcifying haptophyte phytoplankton, including some globally important coccolithophores. Si is required for calcification in these coccolithophores, indicating that Si uptake contributes to the very different forms of biomineralization in diatoms and coccolithophores. Significantly, SITs and the requirement for Si are absent from highly abundant bloom-forming coccolithophores, such as Emiliania huxleyi. These very different requirements for Si in coccolithophores are likely to have major influence on their competitive interactions with diatoms and other siliceous phytoplankton

Neurobiology of social behavior abnormalities in autism and Williams syndrome

Social behavior is a basic behavior mediated by multiple brain regions and neural circuits, and is crucial for the survival and development of animals and humans. Two neuropsychiatric disorders that have prominent social behavior abnormalities are autism spectrum disorders (ASD), which is characterized mainly by hyposociability, and Williams syndrome (WS), whose subjects exhibit hypersociability. Here we review the unique properties of social behavior in ASD and WS, and discuss the major theories in social behavior in the context of these disorders. We conclude with a discussion of the research questions needing further exploration to enhance our understanding of social behavior abnormalities

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO