Optimal infinite scheduling for multi-priced timed automata

This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules

The signalling channel of Central Bank interventions:modelling the Yen/US dollar exchange rate

This paper presents a theoretical framework analysing the signalling channel of exchange rate interventions as an informational trigger. We develop an implicit target zone framework with learning in order to model the signalling channel. The theoretical premise of the model is that interventions convey signals that communicate information about the exchange rate objectives of the central bank. The model is used to analyse the impact of Japanese FX interventions during the period 1999--2011 on the yen/US dollar dynamics

Distribution-based bisimulation for labelled Markov processes

In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

Levels and Correlates of Non-Adherence to WHO Recommended Inter-Birth Intervals in Rufiji, Tanzania.

Poorly spaced pregnancies have been documented worldwide to result in adverse maternal and child health outcomes. The World Health Organization (WHO) recommends a minimum inter-birth interval of 33 months between two consecutive live births in order to reduce the risk of adverse maternal and child health outcomes. However, birth spacing practices in many developing countries, including Tanzania, remain scantly addressed. METHODS: Longitudinal data collected in the Rufiji Health and Demographic Surveillance System (HDSS) from January 1999 to December 2010 were analyzed to investigate birth spacing practices among women of childbearing age. The outcome variable, non-adherence to the minimum inter-birth interval, constituted all inter-birth intervals <33 months long. Inter-birth intervals >=33 months long were considered to be adherent to the recommendation. Chi-Square was used as a test of association between non-adherence and each of the explanatory variables. Factors affecting non-adherence were identified using a multilevel logistic model. Data analysis was conducted using STATA (11) statistical software. RESULTS: A total of 15,373 inter-birth intervals were recorded from 8,980 women aged 15--49 years in Rufiji district over the follow-up period of 11 years. The median inter-birth interval was 33.4 months. Of the 15,373 inter-birth intervals, 48.4% were below the WHO recommended minimum length of 33 months between two live births. Non-adherence was associated with younger maternal age, low maternal education, multiple births of the preceding pregnancy, non-health facility delivery of the preceding birth, being an in-migrant resident, multi-parity and being married. CONCLUSION: Generally, one in every two inter-birth intervals among 15--49 year-old women in Rufiji district is poorly spaced, with significant variations by socio-demographic and behavioral characteristics of mothers and newborns. Maternal, newborn and child health services should be improved with a special emphasis on community- and health facility-based optimum birth spacing education in order to enhance health outcomes of mothers and their babies, especially in rural settings

Neck pain and anxiety do not always go together

Chronic pain and psychosocial distress are generally thought to be associated in chronic musculoskeletal disorders such as non-specific neck pain. However, it is unclear whether a raised level of anxiety is necessarily a feature of longstanding, intense pain amongst patient and general population sub-groups. In a cohort of 70 self-selected female, non-specific neck pain sufferers, we observed relatively high levels of self-reported pain of 4.46 (measured on the 11 point numerical pain rating scale (NRS-101)) and a longstanding duration of symptoms (156 days/year). However, the mean anxiety scores observed (5.49), fell well below the clinically relevant threshold of 21 required by the Beck Anxiety Inventory. The cohort was stratified to further distinguish individuals with higher pain intensity (NRS>6) and longer symptom duration (>90 days). Although a highly statistically significant difference (p = 0.000) was subsequently observed with respect to pain intensity, in the resulting sub-groups, none such a difference was noted with respect to anxiety levels. Our results indicate that chronic, intense pain and anxiety do not always appear to be related. Explanations for these findings may include that anxiety is not triggered in socially functional individuals, that individual coping strategies have come into play or in some instances that a psychological disorder like alexithymia could be a confounder. More studies are needed to clarify the specific role of anxiety in chronic non-specific musculoskeletal pain before general evidence-driven clinical extrapolations can be made

Methicillin-Resistant Staphylococcus aureus ST9 in Pigs in Thailand

BACKGROUND: Methicillin-resistant Staphylococcus aureus (MRSA) is an important nosocomial and community-associated pathogen. Recently, livestock-associated MRSA (LA-MRSA) has emerged and disseminated in Europe and North America and now constitutes a considerable zoonotic burden in humans with risk factors of pig exposure, whereas the extent of the livestock reservoir is relatively unknown on other continents. METHODOLOGY/PRINCIPAL FINDINGS: From March through April 2011, MRSA was identified in pigs from 3 out of 30 production holdings in Chang Mai Province, Thailand. Representative isolates were subjected to molecular characterization and antimicrobial susceptibility testing; all isolates had genotypic and phenotypic characteristics of LA-MRSA previously characterized in the region: they belonged to ST9, lacked the lukF-lukS genes encoding Panton-Valentine leukocidin, and were resistant to multiple non-β-lactam antimicrobials. However, unlike other Asian LA-MRSA-ST9 variants, they were spa type t337 and harbored a different staphylococcal cassette chromosome mec IX. CONCLUSIONS/SIGNIFICANCE: A novel MRSA-ST9 lineage has been established in the pig population of Thailand, which differs substantially from LA-MRSA lineages found in other areas of the continent. The emergence of novel LA-MRSA lineages in the animal agriculture setting is worrisome and poses a serious threat to global public health

The Escherichia coli transcriptome mostly consists of independently regulated modules

Underlying cellular responses is a transcriptional regulatory network (TRN) that modulates gene expression. A useful description of the TRN would decompose the transcriptome into targeted effects of individual transcriptional regulators. Here, we apply unsupervised machine learning to a diverse compendium of over 250 high-quality Escherichia coli RNA-seq datasets to identify 92 statistically independent signals that modulate the expression of specific gene sets. We show that 61 of these transcriptomic signals represent the effects of currently characterized transcriptional regulators. Condition-specific activation of signals is validated by exposure of E. coli to new environmental conditions. The resulting decomposition of the transcriptome provides: a mechanistic, systems-level, network-based explanation of responses to environmental and genetic perturbations; a guide to gene and regulator function discovery; and a basis for characterizing transcriptomic differences in multiple strains. Taken together, our results show that signal summation describes the composition of a model prokaryotic transcriptome

The dark side of technologies: Technostress among users of information and communication technologies

This paper tests the structure and the predictors of two psychological experiences of technostress associated with the use of information and communication technologies (ICT), i.e., technostrain (users report feelings of anxiety, fatigue, scepticism and inefficacy beliefs related to the use of technologies) and technoaddiction (users feel bad due to an excessive and compulsive use of these technologies). The study included a sample of 1072 ICT users (N = 675 nonintensive ICT users and N = 397 intensive ICT users). Results from multigroup confirmatory factor analyses among non-intensive and intensive ICT users showed, as expected, the four-factor structure of technostrain in both samples. Secondly, and also as expected, confirmatory factorial analyses revealed that technostress experiences are characterized not only by technostrain but also by an excessive and compulsive use of ICT. Moreover, multiple analyses of variance showed significant differences between non-intensive and intensive ICT users (1) in the dimensions of technostress and (2) in specific job demands and job/personal resources. Finally, linear multiple regression analyses revealed that technostrain is positively predicted by work overload, role ambiguity, emotional overload, mobbing and obstacles hindering ICT use, as well as by lack of autonomy, transformational leadership, social support, ICT use facilitators and mental competences. Work overload, role ambiguity and mobbing, as well as the lack of emotional competences, positively predict technoaddiction. Theoretical and practical implications, in addition to future research, are discussed

Reliability of sickness certificates in detecting potential sick leave reduction by modifying working conditions: a clinical epidemiology study

BACKGROUND: Medical sickness certificates are generally the main source for information when scrutinizing the need for aimed intervention strategies to avoid or reduce the individual and community side effects of sick leave. This study explored the value of medical sickness certificates related to daily work in Norwegian National Insurance Offices to identify sick-listed persons, where modified working conditions might reduce the ongoing sick leave. METHODS: The potential for reducing the ongoing sick leave by modifying working conditions was individually assessed on routine sickness certificates in 999 consecutive sick leave episodes by four Norwegian National Insurance collaborators, two with and two without formal medical competence. The study took place in Northern Norway in 1997 and 1998. Agreement analysed with differences against mean, kappa, and proportional-agreement analysis within and between groups of assessors was used in the judgement. Agreements between the assessors and the self-assessment of sick-listed subjects were additionally analysed in 159 sick-leave episodes. RESULTS: Both sick-listed subjects and National Insurance collaborators anticipated a potential reduction in sick leave in 20–30% of cases, and in another 20% the potential was assessed as possible. The chance corrected agreements, however, were poor (k < 0.20) within and between groups of National Insurance collaborators. The agreement between National Insurance collaborators and the sick-listed subjects was no better than chance. Neither extended medical information nor formal medical competence increased agreement in cases where modified working conditions might have reduced sick leave. CONCLUSION: Information in medical sickness certificates proved ineffective in detecting cases where modified working conditions may reduce sick leave, and focusing on medical certificates may prevent identification of needed interventions. Strategies on how to communicate directly with sick-listed subjects would enable social authorities to exploit more of the sick leave reduction potential by modifying the working conditions than strategies on improving medical information

Paradoxical euthyroid hormone profile in a case of Graves' disease with cardiac failure

Cardiac failure is an uncommon complication of juvenile hyperthyroidism. We describe an adolescent boy with Graves' disease who developed manifestations of heart failure while on antithyroid medications. There was no evidence of any underlying cardiac disease. He had paradoxical euthyroid hormone profile which rose to hyperthyroid range when the manifestations of the cardiac failure subsided. The case highlights several unusual features of Graves' disease