A Hierarchy of Scheduler Classes for Stochastic Automata

Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distinguish most classes even in this basic setting. Verification and strategy synthesis methods thus face a tradeoff between powerful and efficient classes. Using lightweight scheduler sampling, we explore this tradeoff and demonstrate the concept of a useful approximative verification technique for stochastic automata

The GABBR1 locus and the G1465A variant is not associated with temporal lobe epilepsy preceded by febrile seizures

BACKGROUND: Polymorphism G1465A in the GABBR1 gene has been suggested as a risk factor for non-lesional temporal lobe epilepsy (TLE); however, this genetic association study has not been independently replicated. We attempted to replicate this study in our cohort of patients with TLE. Furthermore, we also analyzed the coding sequence of this gene and searched for disease-causing mutations. METHODS: We included 120 unrelated individuals with TLE that was preceded by febrile seizures (FS) who did not have any evidence of structural lesions suggesting secondary epilepsy. 66 individuals had positive family history of TLE epilepsy and 54 were sporadic. Each patient was genotyped for the presence of G1465A polymorphism. All exons of the GABBR1 gene were screened by single strand confirmation polymorphism method. Genotypes were compared with two independent matched control groups. RESULTS: We detected two A alleles of the G1465A polymorphism in one homozygous control subject (0.87% of all alleles) and one A allele in a patient with TLE (0.45%, not significant). Other detected polymorphisms in coding regions had similar frequencies in epilepsy patients and control groups. No disease causing mutations in the GABBR1 gene were detected in patients with sporadic or familial TLE. CONCLUSION: Our results indicate that TLE preceded by FS is not associated with the polymorphisms or mutations in the GABBR1 gene, including the G1465A polymorphism. The proportion of TLE patients with FS in the original study, reporting this positive association, did not differ between allele A negative and positive cases. Thus, our failure to reproduce this result is likely applicable to all non-lesional TLE epilepsies

Prognosis of chronic low back pain: design of an inception cohort study

BACKGROUND: Although clinical guidelines generally portray chronic low back pain as a condition with a poor prognosis this portrayal is based on studies of potentially unrepresentative survival cohorts. The aim of this study is to describe the prognosis of an inception cohort of people with chronic low back pain presenting for primary care. METHODS/DESIGN: The study will be an inception cohort study with one year follow-up. Participants are drawn from a cohort of consecutive patients presenting with acute low back pain (less than 2 weeks duration) to primary care clinics in Sydney, Australia. Those patients who continue to experience pain at three months, and are therefore classified as having chronic back pain, are invited to participate in the current study. The cohort will be followed up by telephone at baseline, 9 months and 12 months after being diagnosed with chronic low back pain. Recovery from low back pain will be measured by sampling three different outcomes: pain intensity, interference with function due to pain, and work status. Life tables will be generated to determine the one year prognosis of chronic low back pain. Prognostic factors will be assessed using Cox regression. DISCUSSION: This study will determine the prognosis of chronic non-specific low back pain in a representative cohort of patients sourced from primary care. The results of this study will improve understanding of chronic low back pain, allowing clinicians to provide more accurate prognostic information to their patients

Self-medication of migraine and tension-type headache: summary of the evidence-based recommendations of the Deutsche Migräne und Kopfschmerzgesellschaft (DMKG), the Deutsche Gesellschaft für Neurologie (DGN), the Österreichische Kopfschmerzgesellschaft (ÖKSG) and the Schweizerische Kopfwehgesellschaft (SKG)

The current evidence-based guideline on self-medication in migraine and tension-type headache of the German, Austrian and Swiss headache societies and the German Society of Neurology is addressed to physicians engaged in primary care as well as pharmacists and patients. The guideline is especially concerned with the description of the methodology used, the selection process of the literature used and which evidence the recommendations are based upon. The following recommendations about self-medication in migraine attacks can be made: The efficacy of the fixed-dose combination of acetaminophen, acetylsalicylic acid and caffeine and the monotherapies with ibuprofen or naratriptan or acetaminophen or phenazone are scientifically proven and recommended as first-line therapy. None of the substances used in self-medication in migraine prophylaxis can be seen as effective. Concerning the self-medication in tension-type headache, the following therapies can be recommended as first-line therapy: the fixed-dose combination of acetaminophen, acetylsalicylic acid and caffeine as well as the fixed combination of acetaminophen and caffeine as well as the monotherapies with ibuprofen or acetylsalicylic acid or diclofenac. The four scientific societies hope that this guideline will help to improve the treatment of headaches which largely is initiated by the patients themselves without any consultation with their physicians

Prevalence of Tuberculosis, HIV and Respiratory Symptoms in Two Zambian Communities: Implications for Tuberculosis Control in the Era of HIV

The original publication is available at http:/www.plosone.orgBackground: The Stop TB Partnership target for tuberculosis is to have reduced the prevalence of tuberculosis by 50% comparing 2015 to 1990. This target is challenging as few prevalence surveys have been conducted, especially in high burden tuberculosis and HIV countries. Current tuberculosis control strategies in high HIV prevalent settings are therefore based on limited epidemiological evidence and more evidence is needed from community-based surveys to inform improved policy formulation. Methods and Findings: 8044 adults were sampled from 2 sub-districts (wards) in Lusaka province, Zambia. Questionnaires were used to screen for symptoms, respiratory samples were obtained for culture and oral secretions collected for HIV testing. 79 individuals were found to have Mycobacterium tuberculosis in their sputum, giving an adjusted overall prevalence of tuberculosis of 870/100,000 (95% CI 570-1160/100,000). The adjusted overall prevalence of HIV was 28.61% (95% CI 26.04-31.19). HIV- infection was significantly associated with prevalent tuberculosis (Adj OR 2.3, 95% CI 1.42-3.74) and the population attributable fraction of HIV for prevalent tuberculosis was 36%. Symptoms such as prolonged cough (adj OR 12.72, 95% CI 7.05-22.94) and fever (Adj OR 2.04, 95%CI 1.23-3.39), were associated with prevalent tuberculosis, but 8 (10%) individuals with prevalent tuberculosis denied having any symptoms at all and only 34 (43%) would have been classified as a TB suspect by current guidelines. Conclusions: Undiagnosed tuberculosis is a challenge for tuberculosis control and new approaches are needed if we are to reach international targets. Epidemiological studies can inform screening algorithms for both detection and prevention of active tuberculosis. © 2009 Ayles et al.Funding for this study came from the Bill and Melinda Gates Foundation as part of the Consortium to Respond Effectively to the AIDS-TB Epidemic (CREATE) project (Grant to Johns Hopkins University 19790.01) and from the Foundation for New Diagnostics (FIND). (Publishers' Versio

Diffractive Dijet Production at sqrt(s)=630 and 1800 GeV at the Fermilab Tevatron

We report a measurement of the diffractive structure function $F_{jj}^D$ of the antiproton obtained from a study of dijet events produced in association with a leading antiproton in $\bar pp$ collisions at $\sqrt s=630$ GeV at the Fermilab Tevatron. The ratio of $F_{jj}^D$ at $\sqrt s=630$ GeV to $F_{jj}^D$ obtained from a similar measurement at $\sqrt s=1800$ GeV is compared with expectations from QCD factorization and with theoretical predictions. We also report a measurement of the $\xi$ ($x$-Pomeron) and $\beta$ ($x$ of parton in Pomeron) dependence of $F_{jj}^D$ at $\sqrt s=1800$ GeV. In the region $0.035<\xi<0.095$, $|t|<1$ GeV$^2$ and $\beta<0.5$, $F_{jj}^D(\beta,\xi)$ is found to be of the form $\beta^{-1.0\pm 0.1} \xi^{-0.9\pm 0.1}$, which obeys $\beta$-$\xi$ factorization.Comment: LaTeX, 9 pages, Submitted to Phys. Rev. Letter

Cesarean and Vbac Rates Among Immigrant vs. Native-Born Women: A Retrospective Observational Study From Taiwan Cesarean Delivery and Vbac Among Immigrant Women in Taiwan

Background Cultural and ethnic roots impact women\u27s fertility and delivery preferences This study investigated whether the likelihood of cesarean delivery, primary cesarean, and vaginal delivery after cesarean (VBAC) varies by maternal national origin. Methods We conducted a nation-wide, population-based, observational study using secondary data from Taiwan. De-identified data were obtained on all 392,246 singleton live births (≥500 g; ≥20 weeks) born to native-born Taiwanese, Vietnamese and mainland Chinese-born mothers between January 1 2006 and December 31 2007 from Taiwan\u27s nation-wide birth certificate data. Our analytic samples consisted of the following: for overall cesarean likelihood 392,246 births, primary cesarean 336,766 (excluding repeat cesarean and VBAC), and VBAC 55,480 births (excluding primary cesarean and vaginal births without previous cesarean). Our main outcome measures were the odds of cesarean delivery, primary cesarean delivery and VBAC for Vietnamese and Chinese immigrant mothers relative to Taiwanese mothers, using multiple regression analyses to adjust for maternal and neonatal characteristics, paternal age, institutional setting, and major obstetric complications. Results Unadjusted overall cesarean, primary cesarean, and VBAC rates were 33.9%, 23.0% and 4.0% for Taiwanese, 27.6%, 20.1% and 5.0% for mainland Chinese, and 19.3%, 13.9 and 6.1% for Vietnamese respectively. Adjusted for confounders, Vietnamese mothers were less likely than native-born Taiwanese to have overall and primary cesarean delivery (OR = 0.59 and 0.58 respectively), followed by Chinese mothers (both ORs = 0.90 relative to native-born Taiwanese). Vietnamese mothers were most likely to have successful VBAC (OR = 1.58), followed by Chinese mothers (OR = 1.25). Conclusion Immigrant Vietnamese and Chinese mothers have lower odds of cesarean and higher VBAC odds than native-born Taiwanese, consistent with lower cesarean rates prevailing in their home countries (Vietnam 10.1%; mainland China 20% - 50% rural and urban respectively)