Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Implementation of training to improve communication with disabled children on the ward: a feasibility study

This is the final version. Available on open access from Wiley via the DOI in this recordData availability statement: The data that support the findings of this study are available from the corresponding author upon reasonable request.Background Parents of disabled children report poorer inpatient experiences when they stay in hospital, and some staff report finding communicating with disabled children challenging. This study tested the feasibility of implementing a training package for staff on paediatric wards to improve communication with disabled children, especially those with communication difficulties, and their families. The package was developed with parent carers and clinicians, and comprises a manual, a video of parent carers talking about real experiences, discussion points and local resources. The 50-minutes training is intended for in-house delivery by local facilitators. Methods Thirteen training sessions were delivered in paediatric wards across four hospitals in England, totalling 123 staff who took part. Participants completed questionnaires before (n = 109) and after (n = 36) training, and a sample of champions (senior clinicians) and facilitators were interviewed at the end of the study. Results Facilitators found the training easy to deliver, and participants felt they took away important messages to improve their practice. After the training, further changes were reported at an organizational level, including offering further training and reviewing practices. Conclusions This study provides supporting evidence for the implementation of a low-cost, minimal-resource training package to support staff communication with children and their families in hospitals. It provides promising indication of impact on behavioural change at the individual and organizational level. Patient and public contribution Parent carers identified the need and helped to develop the training, including featuring in the training video. They were also consulted throughout the study on research design, delivery and reporting.National Institute for Health Research (NIHR

Dissolved noble gases and stable isotopes as tracers of preferential fluid flow along faults in the Lower Rhine Embayment, Germany

Groundwater in shallow unconsolidated sedimentary aquifers close to the Bornheim fault in the Lower Rhine Embayment (LRE), Germany, has relatively low δ2H and δ18O values in comparison to regional modern groundwater recharge, and 4He concentrations up to 1.7 × 10−4 cm3 (STP) g–1 ± 2.2 % which is approximately four orders of magnitude higher than expected due to solubility equilibrium with the atmosphere. Groundwater age dating based on estimated in situ production and terrigenic flux of helium provides a groundwater residence time of ∼107 years. Although fluid exchange between the deep basal aquifer system and the upper aquifer layers is generally impeded by confining clay layers and lignite, this study’s geochemical data suggest, for the first time, that deep circulating fluids penetrate shallow aquifers in the locality of fault zones, implying  that sub-vertical fluid flow occurs along faults in the LRE. However, large hydraulic-head gradients observed across many faults suggest that they act as barriers to lateral groundwater flow. Therefore, the geochemical data reported here also substantiate a conduit-barrier model of fault-zone hydrogeology in unconsolidated sedimentary deposits, as well as corroborating the concept that faults in unconsolidated aquifer systems can act as loci for hydraulic connectivity between deep and shallow aquifers. The implications of fluid flow along faults in sedimentary basins worldwide are far reaching and of particular concern for carbon capture and storage (CCS) programmes, impacts of deep shale gas recovery for shallow groundwater aquifers, and nuclear waste storage sites where fault zones could act as potential leakage pathways for hazardous fluids

Umatilla Virus Genome Sequencing and Phylogenetic Analysis: Identification of Stretch Lagoon Orbivirus as a New Member of the Umatilla virus Species

The genus Orbivirus, family Reoviridae, includes 22 species of viruses with genomes composed of ten segments of linear dsRNA that are transmitted between their vertebrate hosts by insects or ticks, or with no identified vectors. Full-genome sequence data are available for representative isolates of the insect borne mammalian orbiviruses (including bluetongue virus), as well as a tick borne avian orbivirus (Great Island virus). However, no sequence data are as yet available for the mosquito borne avian orbiviruses

Complete Genome Characterisation of a Novel 26th Bluetongue Virus Serotype from Kuwait

Bluetongue virus is the “type” species of the genus Orbivirus, family Reoviridae. Twenty four distinct bluetongue virus (BTV) serotypes have been recognized for decades, any of which is thought to be capable of causing “bluetongue” (BT), an insect-borne disease of ruminants. However, two further BTV serotypes, BTV-25 (Toggenburg orbivirus, from Switzerland) and BTV-26 (from Kuwait) have recently been identified in goats and sheep, respectively. The BTV genome is composed of ten segments of linear dsRNA, encoding 7 virus-structural proteins (VP1 to VP7) and four distinct non-structural (NS) proteins (NS1 to NS4). We report the entire BTV-26 genome sequence (isolate KUW2010/02) and comparisons to other orbiviruses. Highest identity levels were consistently detected with other BTV strains, identifying KUW2010/02 as BTV. The outer-core protein and major BTV serogroup-specific antigen “VP7” showed 98% aa sequence identity with BTV-25, indicating a common ancestry. However, higher level of variation in the nucleotide sequence of Seg-7 (81.2% identity) suggests strong conservation pressures on the protein of these two strains, and that they diverged a long time ago. Comparisons of Seg-2, encoding major outer-capsid component and cell-attachment protein “VP2” identified KUW2010/02 as 26th BTV, within a 12th Seg-2 nucleotype [nucleotype L]. Comparisons of Seg-6, encoding the smaller outer capsid protein VP5, also showed levels of nt/aa variation consistent with identification of KUW2010/02 as BTV-26 (within a 9th Seg-6 nucleotype - nucleotype I). Sequence data for Seg-2 of KUW2010/02 were used to design four sets of oligonucleotide primers for use in BTV-26, type-specific RT-PCR assays. Analyses of other more conserved genome segments placed KUW2010/02 and BTV-25/SWI2008/01 closer to each other than to other “eastern” or “western” BTV strains, but as representatives of two novel and distinct geographic groups (topotypes). Our analyses indicate that all of the BTV genome segments have evolved under strong purifying selection

The origins of the trypanosome genome strains Trypanosoma brucei brucei TREU 927, T. b. gambiense DAL 972, T. vivax Y486 and T. congolense IL3000

The genomes of several tsetse-transmitted African trypanosomes (Trypanosoma brucei brucei, T. b. gambiense, T. vivax, T. congolense) have been sequenced and are available to search online. The trypanosome strains chosen for the genome sequencing projects were selected because they had been well characterised in the laboratory, but all were isolated several decades ago. The purpose of this short review is to provide some background information on the origins and biological characterisation of these strains as a source of reference for future users of the genome data. With high throughput sequencing of many more trypanosome genomes in prospect, it is important to understand the phylogenetic relationships of the genome strains

A remark on the ideal extension property

As a sequel to [23] we investigate ideal properties focusing on subtractive varieties. After having listed a few basic results, we give several characterizations of the commutator of ideals and prove, for example, that it commutes with finite direct products. We deal with the ideal extension property (IEP) and with related commutator properties, showing for instance that IEP implies that the commutator commutes with restriction to subalgebras. Then we characterize varieties with distributive ideal lattices and relate this property with (a form of) equationally definable principal ideals and with IEP. Then, at the other extreme, we deal with Abelian and Hamiltonian properties (of ideals and congruences), giving for example a purely ideal theoretic characterization of varieties of Abelian groups with linear operations. To finish with, we present a few examples aiming at vindicating our work