ERK1/2 signaling dominates over RhoA signaling in regulating early changes in RNA expression induced by endothelin-1 in neonatal rat cardiomyocytes

Cardiomyocyte hypertrophy is associated with changes in gene expression. Extracellular signal-regulated kinases 1/2 (ERK1/2) and RhoA [activated by hypertrophic agonists (e.g. endothelin-1)] regulate gene expression and are implicated in the response, but their relative significance in regulating the cardiomyocyte transcriptome is unknown. Our aim was to establish the significance of ERK1/2 and/or RhoA in the early cardiomyocyte transcriptomic response to endothelin-1.Cardiomyocytes were exposed to endothelin-1 (1 h) with/without PD184352 (to inhibit ERK1/2) or C3 transferase (C3T, to inhibit RhoA). RNA expression was analyzed using microarrays and qPCR. ERK1/2 signaling positively regulated approximately 65% of the early gene expression response to ET-1 with a small (approximately 2%) negative effect, whereas RhoA signaling positively regulated approximately 10% of the early gene expression response to ET-1 with a greater (approximately 14%) negative contribution. Of RNAs non-responsive to endothelin-1, 66 or 448 were regulated by PD184352 or C3T, respectively, indicating that RhoA had a more significant effect on baseline RNA expression. mRNAs upregulated by endothelin-1 encoded a number of receptor ligands (e.g. Ereg, Areg, Hbegf) and transcription factors (e.g. Abra/Srf) that potentially propagate the response.ERK1/2 dominates over RhoA in the early transcriptomic response to endothelin-1. RhoA plays a major role in maintaining baseline RNA expression but, with upregulation of Abra/Srf by endothelin-1, RhoA may regulate changes in RNA expression over longer times. Our data identify ERK1/2 as a more significant node than RhoA in regulating the early stages of cardiomyocyte hypertrophy

Brain immune cells undergo cGAS-STING-dependent apoptosis during herpes simplex virus type 1 infection

Protection of the brain from viral infections involves the type I interferon (IFN-I) system, defects in which renders humans susceptible to herpes simplex encephalitis (HSE). However, excessive cerebral IFN-I levels leads to pathologies, suggesting the need for tight regulation of responses. Based on data from mouse models, human HSE cases, and primary cell culture systems, we here show that microglia and other immune cells undergo apoptosis in the HSV-1-infected brain through a mechanism dependent on the cyclic GMP-AMP synthase (cGAS) - stimulator of interferon genes (STING) pathway, but independent of IFN-I. HSV-1 infection of microglia induced cGAS-dependent apoptosis at high viral doses, while lower viral doses led to IFN-I responses. Importantly, inhibition of caspase activity prevented microglial cell death and augmented IFN-I responses. Accordingly, HSV-1-infected organotypic brain slices, or mice treated with caspase inhibitor, exhibited lower viral load and improved outcome of infection. Collectively, we identify an activation-induced apoptosis program in brain immune cells which down-modulates local immune responses

Symbolic Computation via Program Transformation

Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we show that it is feasible, and in fact practical, to use a compiler-based strategy instead. Using compiler tooling, we propose and implement a transformation which takes a standard program and outputs a program that performs semantically equivalent, but partially symbolic, computation. The transformed program maintains symbolic values internally and operates directly on them hence the program can be processed by a tool without support for symbolic manipulation. The main motivation for the transformation is in symbolic verification, but there are many other possible use-cases, including test generation and concolic testing. Moreover using the transformation simplifies tools, since the symbolic computation is handled by the program directly. We have implemented the transformation at the level of LLVM bitcode. The paper includes an experimental evaluation, based on an explicit-state software model checker as a verification backend

Development Discourse and Practice: Alternatives and New Directions from Postcolonial Perspectives

Development and aid programs, such as those aimed at promoting economic growth and prosperity in ‘Third World’ nations and transition economies, often arise out of Western and neo-liberal policy ideologies and practices. These programs may, in some cases, provide useful guidelines for restructuring institutional structures and governance mechanisms in nations that have long struggled with poverty, economic instability, health crises, and social and political turmoil. However, a growing number of critical voices are raising concerns over the guiding assumptions and inclusiveness of these policies and programs in their aims to promote economic development and social well-being in non-Western nations. We join these critical perspectives by way of postcolonial frameworks to highlight some of the problematic assumptions and oversights of development programs, while offering new alternatives and directions. By doing so, we contribute to organizational theorizing in a global context, as postcolonial insights provide much needed engagement with international aid policies and programs, as well as development organizations and institutions. To accomplish this, we offer a historical perspective on development, present a critique of the policies and practices guiding many aid programs, and conclude with suggestions emanating from postcoloniality

Branes and fluxes in special holonomy manifolds and cascading field theories

We conduct a study of holographic RG flows whose UV is a theory in 2+1 dimensions decoupled from gravity, and the IR is the N=6,8 superconformal fixed point of ABJM. The solutions we consider are constructed by warping the M-theory background whose eight spatial dimensions are manifolds of special holonomies sp(1) times sp(1) and spin(7). Our main example for the spin(7) holonomy manifold is the A8 geometry originally constructed by Cvetic, Gibbons, Lu, and Pope. On the gravity side, our constructions generalize the earlier construction of RG flow where the UV was N=3 Yang-Mills-Chern-Simons matter system and are simpler in a number of ways. Through careful consideration of Page, Maxwell, and brane charges, we identify the discrete and continuous parameters characterizing each system. We then determine the range of the discrete data, corresponding to the flux/rank for which the supersymmetry is unbroken, and estimate the dynamical supersymmetry breaking scale as a function of these data. We then point out the similarity between the physics of supersymmetry breaking between our system and the system considered by Maldacena and Nastase. We also describe the condition for unbroken supersymmetry on class of construction based on a different class of spin(7) manifolds known as B8 spaces whose IR is different from that of ABJM and exhibit some interesting features.Comment: 51 pages, 12 figures. Update in quantization of G4 on B8 in equations (5.12) and (5.13

Definitive and adjuvant radiotherapy for sinonasal squamous cell carcinomas: a single institutional experience

Background: The aim of this study was to evaluate the disease outcomes of patients treated with definitive and adjuvant radiotherapy for squamous cell carcinomas of the nasal cavity and paranasal sinuses in a single institution. Methods: Between 2007–2012 patients were retrospectively identified from electronic databases who had undergone surgery and adjuvant radiotherapy or definitive radiotherapy for sinonasal squamous cell carcinomas with curative intent. Results: Fourty three patients with sinonasal squamous cell carcinoma were identified (22 nasal cavity, 21 paranasal sinuses). 31/43 (72 %) had T3 or T4 disease; nodal stage was N0 in 38, N1 in 4, Na/b in 0 and N2c in 1 patient. Median age was 67 years (range 41–86). 18 (42 %) received definitive and 25 (58 %) adjuvant radiotherapy. Radiotherapy was delivered using either conventional radiotherapy (n = 39) or intensity modulated radiotherapy (n = 4). Elective neck radiotherapy was delivered to two patients. Chemotherapy was delivered to 6/43 (14 %) of patients. Two-year local control, regional control, distant metastases free survival, progression free survival, cause specific survival and overall survival were 81 %, 90 %, 95 %, 71 %, 84 % and 80 % respectively. There was no significant difference in outcome comparing patients who underwent surgery and adjuvant radiotherapy with patients receiving definitive radiotherapy (2 year locoregional disease free survival 75 % and 70 % respectively, p = 0.98). Pooly differentiated tumours were significantly associated with inferior disease outcomes. Local, regional, combined local and regional, and distant failure occurred in 7 (16 %), 3 (7 %), 1 (2 %) and 2 (5 %) of patients; all 3 regional recurrences were in patients with nasal cavity squamous cell carcinomas who had not undergone elective neck treatment. Conclusions: Definitive or adjuvant radiotherapy provides an effective treatment for sinonasal malignancies. The main pattern of failure remains local, suggesting the need for investigation of intensified local therapy. Whilst remaining uncommon, the cases of regional failure mean that the merits of elective lymph node treatment should be considered on an individual basis

Vitronectin Increases Vascular Permeability by Promoting VE-Cadherin Internalization at Cell Junctions

Cross-talk between integrins and cadherins regulates cell function. We tested the hypothesis that vitronectin (VN), a multi-functional adhesion molecule present in the extracellular matrix and plasma, regulates vascular permeability via effects on VE-cadherin, a critical regulator of endothelial cell (EC) adhesion.Addition of multimeric VN (mult VN) significantly increased VE-cadherin internalization in human umbilical vein EC (HUVEC) monolayers. This effect was blocked by the anti-α(V)β(3) antibody, pharmacological inhibition and knockdown of Src kinase. In contrast to mult VN, monomeric VN did not trigger VE-cadherin internalization. In a modified Miles assay, VN deficiency impaired vascular endothelial growth factor-induced permeability. Furthermore, ischemia-induced enhancement of vascular permeability, expressed as the ratio of FITC-dextran leakage from the circulation into the ischemic and non-ischemic hindlimb muscle, was significantly greater in the WT mice than in the Vn(-/-) mice. Similarly, ischemia-mediated macrophage infiltration was significantly reduced in the Vn(-/-) mice vs. the WT controls. We evaluated changes in the multimerization of VN in ischemic tissue in a mouse hindlimb ischemia model. VN plays a previously unrecognized role in regulating endothelial permeability via conformational- and integrin-dependent effects on VE-cadherin trafficking.These results have important implications for the regulation of endothelial function and angiogenesis by VN under normal and pathological conditions

Mechanized semantics for the Clight subset of the C language

This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured "switch" statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.Comment: Journal of Automated Reasoning (2009

Skin Cornification Proteins Provide Global Link between ROS Detoxification and Cell Migration during Wound Healing

Wound healing is a complex dynamic process characterised by a uniform flow of events in nearly all types of tissue damage, from a small skin scratch to myocardial infarction. Reactive oxygen species (ROS) are essential during the healing process at multiple stages, ranging from the initial signal that instigates the immune response, to the triggering of intracellular redox-dependent signalling pathways and the defence against invading bacteria. Excessive ROS in the wound milieu nevertheless impedes new tissue formation. Here we identify small proline-rich (SPRR) proteins as essential players in this latter process, as they directly link ROS detoxification with cell migration. A literature-based meta-analysis revealed their up-regulation in various forms of tissue injury, ranging from heart infarction and commensal-induced gut responses to nerve regeneration and burn injury. Apparently, SPRR proteins have a far more widespread role in wound healing and tissue remodelling than their established function in skin cornification. It is inferred that SPRR proteins provide injured tissue with an efficient, finely tuneable antioxidant barrier specifically adapted to the tissue involved and the damage inflicted. Their recognition as novel cell protective proteins combining ROS detoxification with cell migration will provide new venues to study and manage tissue repair and wound healing at a molecular level

Subunit asymmetry and roles of conformational switching in the hexameric AAA+ ring of ClpX

The hexameric AAA+ ring of Escherichia coli ClpX, an ATP-dependent machine for protein unfolding and translocation, functions with the ClpP peptidase to degrade target substrates. For efficient function, ClpX subunits must switch between nucleotide-loadable (L) and nucleotide-unloadable (U) conformations, but the roles of switching are uncertain. Moreover, it is controversial whether working AAA+-ring enzymes assume symmetric or asymmetric conformations. Here, we show that a covalent ClpX ring with one subunit locked in the U conformation catalyzes robust ATP hydrolysis, with each unlocked subunit able to bind and hydrolyze ATP, albeit with highly asymmetric position-specific affinities. Preventing U↔L interconversion in one subunit alters the cooperativity of ATP hydrolysis and reduces the efficiency of substrate binding, unfolding and degradation, showing that conformational switching enhances multiple aspects of wild-type ClpX function. These results support an asymmetric and probabilistic model of AAA+-ring activity.National Institutes of Health (U.S.) (Grant GM-101988)Massachusetts Institute of Technology (Poitras Predoctoral Fellowship