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

Prevalence of adult ADHD in an all-female prison unit.

There is increasing evidence suggesting a link between ADHD and criminality, including a strong association between ADHD symptoms and the likelihood of being on probation or in prison. Most studies investigating the prevalence of ADHD in prison populations have focused on adult male offenders. In the current study, 69 female prisoners were screened for both childhood and adult ADHD symptoms using the Barkley Adult ADHD Rating Scale-IV. The results indicate that 41 % of the prisoners met the diagnostic criteria for ADHD in childhood and continued to meet criteria for ADHD as adults. More importantly, young female prisoners (aged 18-25) were significantly more likely to report symptoms of ADHD than older prisoners. Prisoners who reported symptoms of ADHD also reported high levels of impairment associated with these symptoms. A better understanding of the prevalence of ADHD in female prison units can highlight specific areas for intervention during rehabilitation, as well as the management of serious incidents within prison

Verbal thinking and inner speech use in autism spectrum disorder

The extent to which cognition is verbally mediated in neurotypical individuals is the subject of debate in cognitive neuropsychology, as well as philosophy and psychology. Studying “verbal thinking” in developmental/neuropsychological disorders provides a valuable opportunity to inform theory building, as well as clinical practice. In this paper, we provide a comprehensive, critical review of such studies among individuals with autism spectrum disorder (ASD). ASD involves severe social-communication deficits and limitations in cognitive/behavioural flexibility. The prevailing view in the field is that neither cognition nor behaviour is mediated verbally in ASD, and that this contributes to diagnostic features. However, our review suggests that, on the contrary, most studies to date actually find that among people with ASD cognitive task performance is either a) mediated verbally in a typical fashion, or b) not mediated verbally, but at no obvious cost to overall task performance. Overall though, these studies have methodological limitations and thus clear-cut conclusions are not possible at this stage. The aim of the review is to take stock of existing empirical findings, as well as to help develop the directions for future research that will resolve the many outstanding issues in this field

Sex, sex chromosomes and gene expression

The X chromosome has fewer testis-specific genes than autosomes in many species. This bias is commonly attributed to X inactivation in spermatogenesis but a recent paper in BMC Biology provides evidence against X inactivation in Drosophila and proposes that somatic tissue- and testis- but not ovary-specific genes tend not to be located on the X chromosome. Here, we discuss possible mechanisms underlying this bias, including sexual antagonism and dosage compensation

Phylogeny, Diet, and Cranial Integration in Australodelphian Marsupials

Studies of morphological integration provide valuable information on the correlated evolution of traits and its relationship to long-term patterns of morphological evolution. Thus far, studies of morphological integration in mammals have focused on placentals and have demonstrated that similarity in integration is broadly correlated with phylogenetic distance and dietary similarity. Detailed studies have also demonstrated a significant correlation between developmental relationships among structures and adult morphological integration. However, these studies have not yet been applied to marsupial taxa, which differ greatly from placentals in reproductive strategy and cranial development and could provide the diversity necessary to assess the relationships among phylogeny, ecology, development, and cranial integration. This study presents analyses of morphological integration in 20 species of australodelphian marsupials, and shows that phylogeny is significantly correlated with similarity of morphological integration in most clades. Size-related correlations have a significant affect on results, particularly in Peramelia, which shows a striking decrease in similarity of integration among species when size is removed. Diet is not significantly correlated with similarity of integration in any marsupial clade. These results show that marsupials differ markedly from placental mammals in the relationships of cranial integration, phylogeny, and diet, which may be related to the accelerated development of the masticatory apparatus in marsupials

The Burden of Trachoma in South Sudan: Assessing the Health Losses from a Condition of Graded Severity

Trachoma is an infectious disease that is endemic to the Republic of South Sudan. In the absence of appropriate treatment recurrent re-infection in an individual will lead to progressively severe states of trachoma, eventually leading to the loss of visual acuity and finally blindness. Here we distinguish between three separate states of disease: trachoma with normal vision, trachoma with low vision and trachoma with blindness. The first of these states, trachoma with normal vision, is the least severe and the impact of this state on a population has not been well investigated. Trachoma, even before any loss of vision, comes with a great deal of pain and social consequences, and thus disability. In this study we employ data from South Sudan and estimate the burden caused by trachoma with normal vision for the first time. In doing so, we also reveal the extent of the gaps in our knowledge surrounding the natural history of trachoma and highlight areas of research that require urgent attention

Prevalence of Hepatitis E Virus in Swine Fed on Kitchen Residue

The aim of this study was to investigate the prevalence of swine hepatitis E virus (HEV) in pigs fed different feedstuffs (kitchen residue or mixed feeds) and genetic identification of HEV isolated in Hebei province, China. Serum and fecal samples were collected from adult swine. Anti-HEV antibody was evaluated by double sandwich antigen enzyme immunoassay. HEV RNA was extracted from fecal samples and amplified by nested RT-PCR. The reaction products were sequenced, and the sequence analyzed. Virus-like particles were distinguishable by negative staining in the electron microscope. Histopathological observation and immunohistochemical localization were used in the animal models. Overall, the anti-HEV positive percentage of serum samples from pigs fed on kitchen residue was 87.10% (27/31), and 53.06% (130/245) from pigs fed on complete feed. The HEV RNA positivity rate of fecal samples from pigs fed on kitchen residue was 61.54% (8/13), but zero for pigs fed on complete feed. Sequence analysis of these eight samples and comparison with the published sequence showed that there were eight groups that belonged to genotype 4 d and the nucleotide identity was 95.6–99.3%. swHE11 is most closely related to strain CCC220, and the other seven HEV isolates were most closely related to strains swGX40, SwCH189 and V0008ORF3, which are isolates from human and pigs. Histopathological observation showed that there was liver damage in the experimental group, and immunohistochemistry indicated that the HEV antigens were strongly positive at 7 days after infection. The results demonstrated that the prevalence of HEV in pigs fed on kitchen residue was higher than in those fed on complete feed (P<0.05)

Sampling strategies to measure the prevalence of common recurrent infections in longitudinal studies

<p>Abstract</p> <p>Background</p> <p>Measuring recurrent infections such as diarrhoea or respiratory infections in epidemiological studies is a methodological challenge. Problems in measuring the incidence of recurrent infections include the episode definition, recall error, and the logistics of close follow up. Longitudinal prevalence (LP), the proportion-of-time-ill estimated by repeated prevalence measurements, is an alternative measure to incidence of recurrent infections. In contrast to incidence which usually requires continuous sampling, LP can be measured at intervals. This study explored how many more participants are needed for infrequent sampling to achieve the same study power as frequent sampling.</p> <p>Methods</p> <p>We developed a set of four empirical simulation models representing low and high risk settings with short or long episode durations. The model was used to evaluate different sampling strategies with different assumptions on recall period and recall error.</p> <p>Results</p> <p>The model identified three major factors that influence sampling strategies: (1) the clustering of episodes in individuals; (2) the duration of episodes; (3) the positive correlation between an individual's disease incidence and episode duration. Intermittent sampling (e.g. 12 times per year) often requires only a slightly larger sample size compared to continuous sampling, especially in cluster-randomized trials. The collection of period prevalence data can lead to highly biased effect estimates if the exposure variable is associated with episode duration. To maximize study power, recall periods of 3 to 7 days may be preferable over shorter periods, even if this leads to inaccuracy in the prevalence estimates.</p> <p>Conclusion</p> <p>Choosing the optimal approach to measure recurrent infections in epidemiological studies depends on the setting, the study objectives, study design and budget constraints. Sampling at intervals can contribute to making epidemiological studies and trials more efficient, valid and cost-effective.</p

Patients' age as a determinant of care received following acute stroke: A systematic review

<p>Abstract</p> <p>Background</p> <p>Evidence-based care should improve acute stroke outcomes with the same magnitude of effect for stroke patients of all ages. However, there is evidence to suggest that, in some instances, older stroke patients may receive poorer quality care than younger patients.</p> <p>Our aim was to systematically review evidence of the quality of care provided to patients with acute stroke related to their age. Quality of care was determined by compliance with recommended care processes.</p> <p>Methods</p> <p>We systematically searched MEDLINE, CINAHL, ISI Web of Knowledge, Ageline and the Cochrane Library databases to identify publications (1995-2009) that reported data on acute stroke care process indicators by patient age. Data extracted included patient demographics and process indicator compliance. Included publications were critically appraised by two independent reviewers using the Critical Appraisal Skills Programme tool, and a comparison was made of the risk of bias according to studies' findings. The evidence base for reported process indicators was determined, and meta-analysis was undertaken for studies with sufficient similarity.</p> <p>Results</p> <p>Nine from 163 potential studies met the inclusion criteria. Of the 56 process indicators reported, eleven indicators were evidence-based. Seven of these indicators (64%) showed significantly poorer care for older patients compared to younger ones, while younger patients received comparatively inferior care for only antihypertensive therapy at discharge. Our findings are limited by the variable methodological quality of included studies.</p> <p>Conclusion</p> <p>Patients' age may be a factor in the care they receive after an acute stroke. However, the possible influence of patients' age on clinicians' decision-making must be considered in terms of the many complex issues that surround the provision of optimal care for older patients with acute stroke.</p

Evolution of Skull and Mandible Shape in Cats (Carnivora: Felidae)

The felid family consists of two major subgroups, the sabretoothed and the feline cats, to which all extant species belong, and are the most anatomically derived of all carnivores for predation on large prey with a precision killing bite. There has been much controversy and uncertainty about why the skulls and mandibles of sabretoothed and feline cats evolved to become so anatomically divergent, but previous models have focused on single characters and no unifying hypothesis of evolutionary shape changes has been formulated. Here I show that the shape of the skull and mandible in derived sabrecats occupy entirely different positions within overall morphospace from feline cats, and that the evolution of skull and mandible shape has followed very different paths in the two subgroups. When normalised for body-size differences, evolution of bite forces differ markedly in the two groups, and are much lower in derived sabrecats, and they show a significant relationship with size and cranial shape, whereas no such relationship is present in feline cats. Evolution of skull and mandible shape in modern cats has been governed by the need for uniform powerful biting irrespective of body size, whereas in sabrecats, shape evolution was governed by selective pressures for efficient predation with hypertrophied upper canines at high gape angles, and bite forces were secondary and became progressively weaker during sabrecat evolution. The current study emphasises combinations of new techniques for morphological shape analysis and biomechanical studies to formulate evolutionary hypotheses for difficult groups