On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

Theories of behaviour change synthesised into a set of theoretical groupings: Introducing a thematic series on the Theoretical Domains Framework

Behaviour change is key to increasing the uptake of evidence into healthcare practice. Designing behaviour-change interventions first requires problem analysis, ideally informed by theory. Yet the large number of partly overlapping theories of behaviour makes it difficult to select the most appropriate theory. The need for an overarching theoretical framework of behaviour change was addressed in research in which 128 explanatory constructs from 33 theories of behaviour were identified and grouped. The resulting Theoretical Domains Framework (TDF) appears to be a helpful basis for investigating implementation problems. Research groups in several countries have conducted TDF-based studies. It seems timely to bring together the experience of these teams in a thematic series to demonstrate further applications and to report key developments. This overview article describes the TDF, provides a brief critique of the framework, and introduces this thematic series. In a brief review to assess the extent of TDF-based research, we identified 133 papers that cite the framework. Of these, 17 used the TDF as the basis for empirical studies to explore health professionals’ behaviour. The identified papers provide evidence of the impact of the TDF on implementation research. Two major strengths of the framework are its theoretical coverage and its capacity to elicit beliefs that could signify key mediators of behaviour change. The TDF provides a useful conceptual basis for assessing implementation problems, designing interventions to enhance healthcare practice, and understanding behaviour-change processes. We discuss limitations and research challenges and introduce papers in this series

London's weather and the everyday: two centuries of newspaper reports

This study surveys 200 years of London’s weather and its public reporting in newspapers to reveal some of the recurring modes of reporting and linguistic styles that are used to describe and make sense of the human experience of weather. These modes include: the cultural anxieties prompted by ‘unusual weather’; the visual dramas of ‘great storms’; the weather as culpable; and bench-marking extreme weather. Even as the broader processes and patterns of our climate are changing, at the level of the everyday the human and cultural experience of weather remains remarkably familiar

Fluoromycobacteriophages for rapid, specific, and sensitive antibiotic susceptibility testing of Mycobacterium tuberculosis

Rapid antibiotic susceptibility testing of Mycobacterium tuberculosis is of paramount importance as multiple- and extensively- drug resistant strains of M. tuberculosis emerge and spread. We describe here a virus-based assay in which fluoromycobacteriophages are used to deliver a GFP or ZsYellow fluorescent marker gene to M. tuberculosis, which can then be monitored by fluorescent detection approaches including fluorescent microscopy and flow cytometry. Pre-clinical evaluations show that addition of either Rifampicin or Streptomycin at the time of phage addition obliterates fluorescence in susceptible cells but not in isogenic resistant bacteria enabling drug sensitivity determination in less than 24 hours. Detection requires no substrate addition, fewer than 100 cells can be identified, and resistant bacteria can be detected within mixed populations. Fluorescence withstands fixation by paraformaldehyde providing enhanced biosafety for testing MDR-TB and XDR-TB infections. © 2009 Piuri et al

Associations among Organochlorine Pesticides, Methanobacteriales, and Obesity in Korean Women

BACKGROUND: Although Methanobacteriales in the gut has recently been linked to obesity, no study has examined the hypothesis that waist circumference, a marker of visceral obesity, are positively associated with Methanobacteriales in the general population. Since Methanobacteriales increase in a petroleum-contaminated environment to biodegrade petroleum as one way of autopurification, we also hypothesized that high body burden of highly lipophilic petroleum-based chemicals like organochlorine pesticides (OCPs) is associated with higher levels of Methanobacteriales in the gut. METHODOLOGY/PRINCIPAL FINDINGS: Among 83 Korean women who visited a community health service center for a routine health checkup, quantitative real-time PCR (qPCR) based on 16S rDNA was used to quantify Methanobacteriales in feces. Nine OCPs were measured in both serum and feces of 16 subjects. Methanobacteriales were detected in 32.5% (27/83 women). Both BMI and waist circumference among women with Methanobacteriales were significantly higher than in women without Methanobacteriales (P = 0.04 and P = 0.01, respectively). Also, Methanobacteriales levels in feces were positively associated with BMI and waist circumference (r = +0.23 and P = 0.03 for both). Furthermore, there were significant correlations between feces Methanobacteriales levels and serum concentrations of most OCPs, including with cis-nonachlor (r = +0.53, P<0.05), oxychlordane (r = +0.46, P<0.1), and trans-nonachlor (r = +0.43, P<0.1). Despite high correlations of serum and feces concentrations of most OCPs, feces OCP concentrations were not clearly associated with feces Methanobacteriales levels. CONCLUSION/SIGNIFICANCE: In this cross-sectional study, the levels of Methanobacteriales in the human gut were associated with higher body weight and waist circumference. In addition, serum OCP concentrations were positively correlated with levels of Methanobacteriales. There may be a meaningful link among body burden of OCP, Methanobacteriales in the gut, and obesity in the general population

Evaluation of genotypic and phenotypic methods for differentiation of the members of the Anginosus group streptococci

The terminology and classification of the Anginosus group streptococci has been inconsistent. We tested the utility of 16S rRNA gene and tuf gene sequencing and conventional biochemical tests for the reliable differentiation of the Anginosus group streptococci. Biochemical testing included Rapid ID 32 Strep, API Strep, Fluo-Card Milleri, Wee-tabs, and Lancefield antigen typing. Altogether, 61 Anginosus group isolates from skin and soft tissue infections and four reference strains were included. Our results showed a good agreement between 16S rRNA gene and tuf gene sequencing. Using the full sequence was less discriminatory than using the first part of the 16S rRNA gene. The three species could not be separated with the API 20 Strep test. Streptococcus intermedius could be differentiated from the other two species by β-galactosidase (ONPG) and β-N-acetyl-glucosaminidase reactions. Rapid ID 32 Strep β-glucosidase reaction was useful in separating S. anginosus strains from S. constellatus. In conclusion, both 16S rRNA gene and tuf gene sequencing can be used for the reliable identification of the Anginosus group streptococci. S. intermedius can be readily differentiated from the other two species by phenotypic tests; however, 16S rRNA gene or tuf gene sequencing may be needed for separating some strains of S. constellatus from S. anginosus

Predictive feedback control and Fitts' law

Fitts’ law is a well established empirical formula, known for encapsulating the “speed-accuracy trade-off”. For discrete, manual movements from a starting location to a target, Fitts’ law relates movement duration to the distance moved and target size. The widespread empirical success of the formula is suggestive of underlying principles of human movement control. There have been previous attempts to relate Fitts’ law to engineering-type control hypotheses and it has been shown that the law is exactly consistent with the closed-loop step-response of a time-delayed, first-order system. Assuming only the operation of closed-loop feedback, either continuous or intermittent, this paper asks whether such feedback should be predictive or not predictive to be consistent with Fitts law. Since Fitts’ law is equivalent to a time delay separated from a first-order system, known control theory implies that the controller must be predictive. A predictive controller moves the time-delay outside the feedback loop such that the closed-loop response can be separated into a time delay and rational function whereas a non- predictive controller retains a state delay within feedback loop which is not consistent with Fitts’ law. Using sufficient parameters, a high-order non-predictive controller could approximately reproduce Fitts’ law. However, such high-order, “non-parametric” controllers are essentially empirical in nature, without physical meaning, and therefore are conceptually inferior to the predictive controller. It is a new insight that using closed-loop feedback, prediction is required to physically explain Fitts’ law. The implication is that prediction is an inherent part of the “speed-accuracy trade-off”

Lactate signalling regulates fungal β-glucan masking and immune evasion

AJPB: This work was supported by the European Research Council (STRIFE, ERC- 2009-AdG-249793), The UK Medical Research Council (MR/M026663/1), the UK Biotechnology and Biological Research Council (BB/K017365/1), the Wellcome Trust (080088; 097377). ERB: This work was supported by the UK Biotechnology and Biological Research Council (BB/M014525/1). GMA: Supported by the CNPq-Brazil (Science without Borders fellowship 202976/2014-9). GDB: Wellcome Trust (102705). CAM: This work was supported by the UK Medical Research Council (G0400284). DMM: This work was supported by UK National Centre for the Replacement, Refinement and Reduction of Animals in Research (NC/K000306/1). NARG/JW: Wellcome Trust (086827, 075470,101873) and Wellcome Trust Strategic Award in Medical Mycology and Fungal Immunology (097377). ALL: This work was supported by the MRC Centre for Medical Mycology and the University of Aberdeen (MR/N006364/1).Peer reviewedPostprin

Deep neck infection complicating lymphadenitis caused by Streptococcus intermedius in an immunocompetent child

BACKGROUND: Streptococcus intermedius belongs to the Streptococcus anginosus group. It is part of the normal flora of the human mouth, but it can be etiologically associated with deep-site infections. CASE PRESENTATION: We present a case of deep neck infection complicating Streptococcus intermedius lymphadenitis, which developed in an immunocompetent 14-year-old boy with a history of recent dental work. The infection was ultimately eradicated by a combined medical and surgical approach. CONCLUSION: Our report suggests that combined medical and surgical therapy is essential for the complete resolution of deep infections caused by Streptococcus intermedius. Molecular biological techniques can be useful in guiding the diagnostic investigation and providing insight into the possibility of occult abscesses, which are particularly common with Streptococcus intermedius infections

Lithic technological responses to Late Pleistocene glacial cycling at Pinnacle Point Site 5-6, South Africa

There are multiple hypotheses for human responses to glacial cycling in the Late Pleistocene, including changes in population size, interconnectedness, and mobility. Lithic technological analysis informs us of human responses to environmental change because lithic assemblage characteristics are a reflection of raw material transport, reduction, and discard behaviors that depend on hunter-gatherer social and economic decisions. Pinnacle Point Site 5-6 (PP5-6), Western Cape, South Africa is an ideal locality for examining the influence of glacial cycling on early modern human behaviors because it preserves a long sequence spanning marine isotope stages (MIS) 5, 4, and 3 and is associated with robust records of paleoenvironmental change. The analysis presented here addresses the question, what, if any, lithic assemblage traits at PP5-6 represent changing behavioral responses to the MIS 5-4-3 interglacial-glacial cycle? It statistically evaluates changes in 93 traits with no a priori assumptions about which traits may significantly associate with MIS. In contrast to other studies that claim that there is little relationship between broad-scale patterns of climate change and lithic technology, we identified the following characteristics that are associated with MIS 4: increased use of quartz, increased evidence for outcrop sources of quartzite and silcrete, increased evidence for earlier stages of reduction in silcrete, evidence for increased flaking efficiency in all raw material types, and changes in tool types and function for silcrete. Based on these results, we suggest that foragers responded to MIS 4 glacial environmental conditions at PP5-6 with increased population or group sizes, 'place provisioning', longer and/or more intense site occupations, and decreased residential mobility. Several other traits, including silcrete frequency, do not exhibit an association with MIS. Backed pieces, once they appear in the PP5-6 record during MIS 4, persist through MIS 3. Changing paleoenvironments explain some, but not all temporal technological variability at PP5-6.Social Science and Humanities Research Council of Canada; NORAM; American-Scandinavian Foundation; Fundacao para a Ciencia e Tecnologia [SFRH/BPD/73598/2010]; IGERT [DGE 0801634]; Hyde Family Foundations; Institute of Human Origins; National Science Foundation [BCS-9912465, BCS-0130713, BCS-0524087, BCS-1138073]; John Templeton Foundation to the Institute of Human Origins at Arizona State Universit