106 research outputs found
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
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
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
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
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
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
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
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
- …