Cops and CoCoWeb: Infrastructure for Confluence Tools

In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition

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

Confluence Competition 2018

We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically

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

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

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

Heterochromatin Protein 1β (HP1β) has distinct functions and distinct nuclear distribution in pluripotent versus differentiated cells

Background: Pluripotent embryonic stem cells (ESCs) have the unique ability to differentiate into every cell type and to self-renew. These characteristics correlate with a distinct nuclear architecture, epigenetic signatures enriched for active chromatin marks and hyperdynamic binding of structural chromatin proteins. Recently, several chromatin-related proteins have been shown to regulate ESC pluripotency and/or differentiation, yet the role of the major heterochromatin proteins in pluripotency is unknown. Results: Here we identify Heterochromatin Protein 1β (HP1β) as an essential protein for proper differentiation, and, unexpectedly, for the maintenance of pluripotency in ESCs. In pluripotent and differentiated cells HP1β is differentially localized and differentially associated with chromatin. Deletion of HP1β, but not HP1aα, in ESCs provokes a loss of the morphological and proliferative characteristics of embryonic pluripotent cells, reduces expression of pluripotency factors and causes aberrant differentiation. However, in differentiated cells, loss of HP1β has the opposite effect, perturbing maintenance of the differentiation state and facilitating reprogramming to an induced pluripotent state. Microscopy, biochemical fractionation and chromatin immunoprecipitation reveal a diffuse nucleoplasmic distribution, weak association with chromatin and high expression levels for HP1β in ESCs. The minor fraction of HP1β that is chromatin-bound in ESCs is enriched within exons, unlike the situation in differentiated cells, where it binds heterochromatic satellite repeats and chromocenters. Conclusions: We demonstrate an unexpected duality in the role of HP1β: it is essential in ESCs for maintaining pluripotency, while it is required for proper differentiation in differentiated cells. Thus, HP1β function both depends on, and regulates, the pluripotent state

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