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

Genotoxic Stress Abrogates Renewal of Melanocyte Stem Cells by Triggering Their Differentiation

SummarySomatic stem cell depletion due to the accumulation of DNA damage has been implicated in the appearance of aging-related phenotypes. Hair graying, a typical sign of aging in mammals, is caused by the incomplete maintenance of melanocyte stem cells (MSCs) with age. Here, we report that irreparable DNA damage, as caused by ionizing radiation, abrogates renewal of MSCs in mice. Surprisingly, the DNA-damage response triggers MSC differentiation into mature melanocytes in the niche, rather than inducing their apoptosis or senescence. The resulting MSC depletion leads to irreversible hair graying. Furthermore, deficiency of Ataxia-telangiectasia mutated (ATM), a central transducer kinase of the DNA-damage response, sensitizes MSCs to ectopic differentiation, demonstrating that the kinase protects MSCs from their premature differentiation by functioning as a “stemness checkpoint” to maintain the stem cell quality and quantity

Genotoxic stress abrogates renewal of melanocyte stem cells by triggering their differentiation.

金沢大学医薬保健研究域　医学系Somatic stem cell depletion due to the accumulation of DNA damage has been implicated in the appearance of aging-related phenotypes. Hair graying, a typical sign of aging in mammals, is caused by the incomplete maintenance of melanocyte stem cells (MSCs) with age. Here, we report that irreparable DNA damage, as caused by ionizing radiation, abrogates renewal of MSCs in mice. Surprisingly, the DNA-damage response triggers MSC differentiation into mature melanocytes in the niche, rather than inducing their apoptosis or senescence. The resulting MSC depletion leads to irreversible hair graying. Furthermore, deficiency of Ataxia-telangiectasia mutated (ATM), a central transducer kinase of the DNA-damage response, sensitizes MSCs to ectopic differentiation, demonstrating that the kinase protects MSCs from their premature differentiation by functioning as a "stemness checkpoint" to maintain the stem cell quality and quantity. © 2009 Elsevier Inc. All rights reserved

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

Epigenetic profile of the euchromatic region of human Y chromosome

The genome of a multi-cellular organism acquires various functional capabilities in different cell types by means of distinct chromatin modifications and packaging states. Acquired during early development, the cell type-specific epigenotype is maintained by cellular memory mechanisms that involve epigenetic modifications. Here we present the epigenetic status of the euchromatic region of the human Y chromosome that has mostly been ignored in earlier whole genome epigenetic mapping studies. Using ChIP-on-chip approach, we mapped H3K9ac, H3K9me3, H3K27me3 modifications and CTCF binding sites while DNA methylation analysis of selected CpG islands was done using bisulfite sequencing. The global pattern of histone modifications observed on the Y chromosome reflects the functional state and evolutionary history of the sequences that constitute it. The combination of histone and DNA modifications, along with CTCF association in some cases, reveals the transcriptional potential of all protein coding genes including the sex-determining gene SRY and the oncogene TSPY. We also observe preferential association of histone marks with different tandem repeats, suggesting their importance in genome organization and gene regulation. Our results present the first large scale epigenetic analysis of the human Y chromosome and link a number of cis-elements to epigenetic regulatory mechanisms, enabling an understanding of such mechanisms in Y chromosome linked disorders

Proving Ground Confluence of Equational Specifications Modulo Axioms

Terminating functional programs should be deterministic, i.e., should evaluate to a unique result, regardless of the evaluation order. For equational functional programs such determinism is exactly captured by the ground confluence property. For terminating equations this is equivalent to ground local confluence, which follows from local confluence. Checking local confluence by computing critical pairs is the standard way to check ground confluence. The problem is that some perfectly reasonable equational programs are not locally confluent and it can be very hard or even impossible to make them so by adding more equations. We propose a three-step strategy to prove that an equational program as is is ground confluent: First: apply the strategy proposed in [8] to use non-joinable critical pairs as completion hints to either achieve local confluence or reduce the number of critical pairs. Second: use the inductive inference system proposed in this paper to prove the remaining critical pairs ground joinable. Third: to show ground confluence of the original specification, prove also ground joinable the equations added. These methods apply to order-sorted and possibly conditional equational programs modulo axioms such as, e.g., Maude functional modules.This work has been partially supported by NRL under contract number N00173-17-1-G002.Ope

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

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