Active Trachoma among Children in Mali: Clustering and Environmental Risk Factors

Active trachoma is not uniformly distributed in endemic areas, and local environmental factors influencing its prevalence are not yet adequately understood. Determining whether clustering is a consistent phenomenon may help predict likely modes of transmission and help to determine the appropriate level at which to target control interventions. In this work, we estimated the magnitude of clustering at different levels and investigated the influence of socio-economic factors and environmental features on active trachoma prevalence among children in Mali (1996–1997 nationwide survey). Clustering revealed significant results at the child, caretaker, household, and village levels. Moreover, beyond some well-established individual risk factors (age between 3 and 5, dirty face, and flies on the face), we found that temperature, sunshine fraction, and presence of rainy days were negatively associated with active trachoma prevalence. This study clearly indicates the importance of directing control efforts both at children with active trachoma as well as those with close contact, and at communities. These results support facial cleanliness and environmental improvements as population-health initiatives to combat blinding trachoma

A survey of statistics in three UK general practice journal

Background Many medical specialities have reviewed the statistical content of their journals. To our knowledge this has not been done in general practice. Given the main role of a general practitioner as a diagnostician we thought it would be of interest to see whether the statistical methods reported reflect the diagnostic process. Methods Hand search of three UK journals of general practice namely the British Medical Journal (general practice section), British Journal of General Practice and Family Practice over a one-year period (1 January to 31 December 2000). Results A wide variety of statistical techniques were used. The most common methods included t-tests and Chi-squared tests. There were few articles reporting likelihood ratios and other useful diagnostic methods. There was evidence that the journals with the more thorough statistical review process reported a more complex and wider variety of statistical techniques. Conclusions The BMJ had a wider range and greater diversity of statistical methods than the other two journals. However, in all three journals there was a dearth of papers reflecting the diagnostic process. Across all three journals there were relatively few papers describing randomised controlled trials thus recognising the difficulty of implementing this design in general practice

Operational approach to open dynamics and quantifying initial correlations

A central aim of physics is to describe the dynamics of physical systems. Schrodinger's equation does this for isolated quantum systems. Describing the time evolution of a quantum system that interacts with its environment, in its most general form, has proved to be difficult because the dynamics is dependent on the state of the environment and the correlations with it. For discrete processes, such as quantum gates or chemical reactions, quantum process tomography provides the complete description of the dynamics, provided that the initial states of the system and the environment are independent of each other. However, many physical systems are correlated with the environment at the beginning of the experiment. Here, we give a prescription of quantum process tomography that yields the complete description of the dynamics of the system even when the initial correlations are present. Surprisingly, our method also gives quantitative expressions for the initial correlation.Comment: Completely re-written for clarity of presentation. 15 pages and 2 figure

Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment. While the reachability problem is undecidable for hybrid automata we show that it is decidable for ITA. More precisely we prove that the untimed language of an ITA is regular, by building a finite automaton as a generalized class graph. We then establish that the reachability problem for ITA is in NEXPTIME and in PTIME when the number of clocks is fixed. To prove the first result, we define a subclass ITA- of ITA, and show that (1) any ITA can be reduced to a language-equivalent automaton in ITA- and (2) the reachability problem in this subclass is in NEXPTIME (without any class graph). In the next step, we investigate the verification of real time properties over ITA. We prove that model checking SCL, a fragment of a timed linear time logic, is undecidable. On the other hand, we give model checking procedures for two fragments of timed branching time logic. We also compare the expressive power of classical timed automata and ITA and prove that the corresponding families of accepted languages are incomparable. The result also holds for languages accepted by controlled real-time automata (CRTA), that extend timed automata. We finally combine ITA with CRTA, in a model which encompasses both classes and show that the reachability problem is still decidable. Additionally we show that the languages of ITA are neither closed under complementation nor under intersection

Interval temporal logic model checking: The border between good and bad HS fragments

The model checking problem has thoroughly been explored in the context of standard point-based temporal logics, such as LTL, CTL, and CTL 17, whereas model checking for interval temporal logics has been brought to the attention only very recently. In this paper, we prove that the model checking problem for the logic of Allen\u2019s relations started-by and finished-by is highly intractable, as it can be proved to be EXPSPACE-hard. Such a lower bound immediately propagates to the full Halpern and Shoham\u2019s modal logic of time intervals (HS). In contrast, we show that other noteworthy HS fragments, namely, Propositional Neighbourhood Logic extended with modalities for the Allen relation starts (resp., finishes) and its inverse started-by (resp., finished-by), turn out to have\u2014maybe unexpectedly\u2014the same complexity as LTL (i.e., they are PSPACE-complete), thus joining the group of other already studied, well-behaved albeit less expressive, HS fragments

Sexual selection protects against extinction

Reproduction through sex carries substantial costs, mainly because only half of sexual adults produce offspring. It has been theorised that these costs could be countered if sex allows sexual selection to clear the universal fitness constraint of mutation load. Under sexual selection, competition between (usually) males, and mate choice by (usually) females create important intraspecific filters for reproductive success, so that only a subset of males gains paternity. If reproductive success under sexual selection is dependent on individual condition, which depends on mutation load, then sexually selected filtering through ‘genic capture’ could offset the costs of sex because it provides genetic benefits to populations. Here, we test this theory experimentally by comparing whether populations with histories of strong versus weak sexual selection purge mutation load and resist extinction differently. After evolving replicate populations of the flour beetle Tribolium castaneum for ~7 years under conditions that differed solely in the strengths of sexual selection, we revealed mutation load using inbreeding. Lineages from populations that had previously experienced strong sexual selection were resilient to extinction and maintained fitness under inbreeding, with some families continuing to survive after 20 generations of sib × sib mating. By contrast, lineages derived from populations that experienced weak or non-existent sexual selection showed rapid fitness declines under inbreeding, and all were extinct after generation 10. Multiple mutations across the genome with individually small effects can be difficult to clear, yet sum to a significant fitness load; our findings reveal that sexual selection reduces this load, improving population viability in the face of genetic stress

Titanium, Sinusitis, and the Yellow Nail Syndrome

Yellow nail syndrome is characterized by nail changes, respiratory disorders, and lymphedema. In a yellow nail patient with a skeletal titanium implant and with gold in her teeth, we found high levels of titanium in nail clippings. This study aims to examine the possible role of titanium in the genesis of the yellow nail syndrome. Nail clippings from patients with one or more features of the yellow nail syndrome were analyzed by energy dispersive X-ray fluorescence. Titanium was regularly found in finger nails in patients but not in control subjects. Visible nail changes were present in only half of the patients. Sinusitis with postnasal drip and cough was the most common complaint. The dominant source of titanium ions was titanium implants in the teeth or elsewhere. The titanium ions were released through the galvanic action of dental gold or amalgam or through the oxidative action of fluorides. In other patients the titanium was derived from titanium dioxide in drugs and confectionary. Stopping galvanic release of titanium ions or canceling exposure to titanium dioxide led to recovery. In one patient with a titanium implant, the symptoms recurred after renewed exposure to titanium. Yellow nail syndrome is caused by titaniu

Engaging Undergraduates in Science Research: Not Just About Faculty Willingness.

Despite the many benefits of involving undergraduates in research and the growing number of undergraduate research programs, few scholars have investigated the factors that affect faculty members' decisions to involve undergraduates in their research projects. We investigated the individual factors and institutional contexts that predict faculty members' likelihood of engaging undergraduates in their research project(s). Using data from the Higher Education Research Institute's 2007-2008 Faculty Survey, we employ hierarchical generalized linear modeling to analyze data from 4,832 science, technology, engineering, and mathematics (STEM) faculty across 194 institutions to examine how organizational citizenship behavior theory and social exchange theory relate to mentoring students in research. Key findings show that faculty who work in the life sciences and those who receive government funding for their research are more likely to involve undergraduates in their research project(s). In addition, faculty at liberal arts or historically Black colleges are significantly more likely to involve undergraduate students in research. Implications for advancing undergraduate research opportunities are discussed