A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating them as equational term rewriting systems and considering E-critical pairs and/or termination modulo E. In contrast, our method is based solely on usual critical pairs and it also (partially) works even if the system is not terminating modulo E. We first present confluence criteria for term rewriting systems whose rewrite rules can be partitioned into a terminating part and a possibly non-terminating part. We then give a reduction-preserving completion procedure so that the applicability of the criteria is enhanced. In contrast to the well-known Knuth-Bendix completion procedure which preserves the equivalence relation of the system, our completion procedure preserves the reduction relation of the system, by which confluence of the original system is inferred from that of the completed system

The impact of inpatient suicide on psychiatric nurses and their need for support

<p>Abstract</p> <p>Background</p> <p>The nurses working in psychiatric hospitals and wards are prone to encounter completed suicides. The research was conducted to examine post-suicide stress in nurses and the availability of suicide-related mental health care services and education.</p> <p>Methods</p> <p>Experiences with inpatient suicide were investigated using an anonymous, self-reported questionnaire, which was, along with the Impact of Event Scale-Revised, administered to 531 psychiatric nurses.</p> <p>Results</p> <p>The rate of nurses who had encountered patient suicide was 55.0%. The mean Impact of Event Scale-Revised (IES-R) score was 11.4. The proportion of respondents at a high risk (≥ 25 on the 88-point IES-R score) for post-traumatic stress disorder (PTSD) was 13.7%. However, only 15.8% of respondents indicated that they had access to post-suicide mental health care programmes. The survey also revealed a low rate of nurses who reported attending in-hospital seminars on suicide prevention or mental health care for nurses (26.4% and 12.8%, respectively).</p> <p>Conclusions</p> <p>These results indicated that nurses exposed to inpatient suicide suffer significant mental distress. However, the low availability of systematic post-suicide mental health care programmes for such nurses and the lack of suicide-related education initiatives and mental health care for nurses are problematic. The situation is likely related to the fact that there are no formal systems in place for identifying and evaluating the psychological effects of patient suicide in nurses and to the pressures stemming from the public perception of nurses as suppliers rather than recipients of health care.</p

A Novel Gene, fudoh, in the SCCmec Region Suppresses the Colony Spreading Ability and Virulence of Staphylococcus aureus

Staphylococcus aureus colonies can spread on soft agar plates. We compared colony spreading of clinically isolated methicillin-sensitive S. aureus (MSSA) and methicillin-resistant S. aureus (MRSA). All MSSA strains showed colony spreading, but most MRSA strains (73%) carrying SCCmec type-II showed little colony spreading. Deletion of the entire SCCmec type-II region from these MRSA strains restored colony spreading. Introduction of a novel gene, fudoh, carried by SCCmec type-II into Newman strain suppressed colony spreading. MRSA strains with high spreading ability (27%) had no fudoh or a point-mutated fudoh that did not suppress colony spreading. The fudoh-transformed Newman strain had decreased exotoxin production and attenuated virulence in mice. Most community-acquired MRSA strains carried SCCmec type-IV, which does not include fudoh, and showed high colony spreading ability. These findings suggest that fudoh in the SCCmec type-II region suppresses colony spreading and exotoxin production, and is involved in S. aureus pathogenesis

Biphasic Synaptic Ca Influx Arising from Compartmentalized Electrical Signals in Dendritic Spines

Dendritic spines compartmentalize synaptically-evoked biochemical signals. The authors show that electrical compartmentalization provided by a spine endows the associated synapse with additional modes of calcium signaling by shaping the kinetics of synaptic calcium currents

NMDA Receptors Mediate Synaptic Competition in Culture

Background: Activity through NMDA type glutamate receptors sculpts connectivity in the developing nervous system. This topic is typically studied in the visual system in vivo, where activity of inputs can be differentially regulated, but in which individual synapses are difficult to visualize and mechanisms governing synaptic competition can be difficult to ascertain. Here, we develop a model of NMDA-receptor dependent synaptic competition in dissociated cultured hippocampal neurons. Methodology/Principal Findings: GluN1-/- (KO) mouse hippocampal neurons lacking the essential NMDA receptor subunit were cultured alone or cultured in defined ratios with wild type (WT) neurons. The absence of functional NMDA receptors did not alter neuron survival. Synapse development was assessed by immunofluorescence for postsynaptic PSD-95 family scaffold and apposed presynaptic vesicular glutamate transporter VGlut1. Synapse density was specifically enhanced onto minority wild type neurons co-cultured with a majority of GluN1-/- neighbour neurons, both relative to the GluN1-/neighbours and relative to sister pure wild type cultures. This form of synaptic competition was dependent on NMDA receptor activity and not conferred by the mere physical presence of GluN1. In contrast to these results in 10 % WT and 90

Expression of the retinoic acid catabolic enzyme CYP26B1 in the human brain to maintain signaling homeostasis

Date of Acceptance: 27/08/2015 Funding was provided by the Wellcome Trust grant WT081633MA-NCE and Biological Sciences Research Council Grant BB/K001043/1. Prof Fragoso is the recipient of a Post Doctoral Science without Borders grant from the Brazilian National Council for Scientific and Technological Development (CNPq, 237450/2012-7).Peer reviewedPublisher PD

Phosphorylation of AMPA Receptors Is Required for Sensory Deprivation-Induced Homeostatic Synaptic Plasticity

Sensory experience, and the lack thereof, can alter the function of excitatory synapses in the primary sensory cortices. Recent evidence suggests that changes in sensory experience can regulate the synaptic level of Ca2+-permeable AMPA receptors (CP-AMPARs). However, the molecular mechanisms underlying such a process have not been determined. We found that binocular visual deprivation, which is a well-established in vivo model to produce multiplicative synaptic scaling in visual cortex of juvenile rodents, is accompanied by an increase in the phosphorylation of AMPAR GluR1 (or GluA1) subunit at the serine 845 (S845) site and the appearance of CP-AMPARs at synapses. To address the role of GluR1-S845 in visual deprivation-induced homeostatic synaptic plasticity, we used mice lacking key phosphorylation sites on the GluR1 subunit. We found that mice specifically lacking the GluR1-S845 site (GluR1-S845A mutants), which is a substrate of cAMP-dependent kinase (PKA), show abnormal basal excitatory synaptic transmission and lack visual deprivation-induced homeostatic synaptic plasticity. We also found evidence that increasing GluR1-S845 phosphorylation alone is not sufficient to produce normal multiplicative synaptic scaling. Our study provides concrete evidence that a GluR1 dependent mechanism, especially S845 phosphorylation, is a necessary pre-requisite step for in vivo homeostatic synaptic plasticity

Disruption of PML Nuclear Bodies Is Mediated by ORF61 SUMO-Interacting Motifs and Required for Varicella-Zoster Virus Pathogenesis in Skin

Promyelocytic leukemia protein (PML) has antiviral functions and many viruses encode gene products that disrupt PML nuclear bodies (PML NBs). However, evidence of the relevance of PML NB modification for viral pathogenesis is limited and little is known about viral gene functions required for PML NB disruption in infected cells in vivo. Varicella-zoster virus (VZV) is a human alphaherpesvirus that causes cutaneous lesions during primary and recurrent infection. Here we show that VZV disrupts PML NBs in infected cells in human skin xenografts in SCID mice and that the disruption is achieved by open reading frame 61 (ORF61) protein via its SUMO-interacting motifs (SIMs). Three conserved SIMs mediated ORF61 binding to SUMO1 and were required for ORF61 association with and disruption of PML NBs. Mutation of the ORF61 SIMs in the VZV genome showed that these motifs were necessary for PML NB dispersal in VZV-infected cells in vitro. In vivo, PML NBs were highly abundant, especially in basal layer cells of uninfected skin, whereas their frequency was significantly decreased in VZV-infected cells. In contrast, mutation of the ORF61 SIMs reduced ORF61 association with PML NBs, most PML NBs remained intact and importantly, viral replication in skin was severely impaired. The ORF61 SIM mutant virus failed to cause the typical VZV lesions that penetrate across the basement membrane into the dermis and viral spread in the epidermis was limited. These experiments indicate that VZV pathogenesis in skin depends upon the ORF61-mediated disruption of PML NBs and that the ORF61 SUMO-binding function is necessary for this effect. More broadly, our study elucidates the importance of PML NBs for the innate control of a viral pathogen during infection of differentiated cells within their tissue microenvironment in vivo and the requirement for a viral protein with SUMO-binding capacity to counteract this intrinsic barrier

Functional Characterization of the Dendritically Localized mRNA Neuronatin in Hippocampal Neurons

Local translation of dendritic mRNAs plays an important role in neuronal development and synaptic plasticity. Although several hundred putative dendritic transcripts have been identified in the hippocampus, relatively few have been verified by in situ hybridization and thus remain uncharacterized. One such transcript encodes the protein neuronatin. Neuronatin has been shown to regulate calcium levels in non-neuronal cells such as pancreatic or embryonic stem cells, but its function in mature neurons remains unclear. Here we report that neuronatin is translated in hippocampal dendrites in response to blockade of action potentials and NMDA-receptor dependent synaptic transmission by TTX and APV. Our study also reveals that neuronatin can adjust dendritic calcium levels by regulating intracellular calcium storage. We propose that neuronatin may impact synaptic plasticity by modulating dendritic calcium levels during homeostatic plasticity, thereby potentially regulating neuronal excitability, receptor trafficking, and calcium dependent signaling

The Ciliogenic Transcription Factor RFX3 Regulates Early Midline Distribution of Guidepost Neurons Required for Corpus Callosum Development

The corpus callosum (CC) is the major commissure that bridges the cerebral hemispheres. Agenesis of the CC is associated with human ciliopathies, but the origin of this default is unclear. Regulatory Factor X3 (RFX3) is a transcription factor involved in the control of ciliogenesis, and Rfx3–deficient mice show several hallmarks of ciliopathies including left–right asymmetry defects and hydrocephalus. Here we show that Rfx3–deficient mice suffer from CC agenesis associated with a marked disorganisation of guidepost neurons required for axon pathfinding across the midline. Using transplantation assays, we demonstrate that abnormalities of the mutant midline region are primarily responsible for the CC malformation. Conditional genetic inactivation shows that RFX3 is not required in guidepost cells for proper CC formation, but is required before E12.5 for proper patterning of the cortical septal boundary and hence accurate distribution of guidepost neurons at later stages. We observe focused but consistent ectopic expression of Fibroblast growth factor 8 (Fgf8) at the rostro commissural plate associated with a reduced ratio of GLIoma-associated oncogene family zinc finger 3 (GLI3) repressor to activator forms. We demonstrate on brain explant cultures that ectopic FGF8 reproduces the guidepost neuronal defects observed in Rfx3 mutants. This study unravels a crucial role of RFX3 during early brain development by indirectly regulating GLI3 activity, which leads to FGF8 upregulation and ultimately to disturbed distribution of guidepost neurons required for CC morphogenesis. Hence, the RFX3 mutant mouse model brings novel understandings of the mechanisms that underlie CC agenesis in ciliopathies