Free-algebra functors from a coalgebraic perspective

Given a set $\Sigma$ of equations, the free-algebra functor $F_{\Sigma}$ associates to each set $X$ of variables the free algebra $F_{\Sigma}(X)$ over $X$. Extending the notion of \emph{derivative} $\Sigma'$ for an arbitrary set $\Sigma$ of equations, originally defined by Dent, Kearnes, and Szendrei, we show that $F_\Sigma$ preserves preimages if and only if $\Sigma \vdash \Sigma'$, i.e. $\Sigma$ derives its derivative $\Sigma'$. If $F_\Sigma$ weakly preserves kernel pairs, then every equation $p(x,x,y)=q(x,y,y)$ gives rise to a term $s(x,y,z,u)$ such that $p(x,y,z)=s(x,y,z,z)$ and $q(x,y,z)=s(x,x,y,z)$. In this case n-permutable varieties must already be permutable, i.e. Mal'cev. Conversely, if $\Sigma$ defines a Mal'cev variety, then $F_\Sigma$ weakly preserves kernel pairs. As a tool, we prove that arbitrary $Set-$endofunctors $F$ weakly preserve kernel pairs if and only if they weakly preserve pullbacks of epis

Differences in Spectral Sensitivity Within and Among Species of Darters (genus Etheostoma)

We examined variation in the visual system both within and among seven species of darters, colorful freshwater fishes of the genus Etheostoma. Using microspectrophotometry, we found that darters possess rod photoreceptor cells, single cone photoreceptor cells containing middle wavelength sensitive (MWS) visual pigments, and twin photoreceptor cells containing (LWS) visual pigments. No variation in peak sensitivity was detected among species or individuals in the rod class. In the MWS class, significant variation was detected among species and a strong statistical trend suggests differences among individuals. By contrast, all differences in the LWS class could be attributed to variation among individuals. Patterns of variation detected among species, among individuals, and among cone classes suggest that complex patterns of selection may be shaping the visual system of these fishes. Further, differences among individuals may have important consequences for visually based behaviors

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

A description based on languages of the final non-deterministic automaton

The study of the behaviour of non-deterministic automata has traditionally focused on the languages which can be associated to the different states. Under this interpretation, the different branches that can be taken at every step are ignored. However, we can also take into account the different decisions which can be made at every state, that is, the branches that can be taken, and these decisions might change the possible future behaviour. In this case, the behaviour of the automata can be described with the help of the concept of bisimilarity. This is the kind of description that is usually obtained when the automata are regarded as labelled transition systems or coalgebras. Contrarily to what happens with deterministic automata, it is not possible to describe the behaviour up to bisimilarity of states of a non-deterministic automaton by considering just the languages associated to them. In this paper we present a description of a final object for the category of non-deterministic automata, regarded as labelled transition systems, with the help of some structures defined in terms of languages. As a consequence, we obtain a characterisation of bisimilarity of states of automata in terms of languages and a method to minimise non-deterministic automata with respect to bisimilarity of states. This confirms that languages can be considered as the natural objects to describe the behaviour of automata

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

On the Fusion of Coalgebraic Logics

Abstract. Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to transfer from the component logics to their fusion. In this paper we investigate to what extent these results can be generalised to the case of arbitrary coalgebraic logics. Our main result generalises a construction of Kracht and Wolter and confirms that completeness transfers to fusion for a large class of logics over coalgebraic semantics. This result is independent of the rank of the logics and relies on generalising the notions of distance and box operator to coalgebraic models.

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