43 research outputs found
A Framework for Verifying Data-Centric Protocols
International audienceData centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, while still admitting efficient distributed execution. We show that they also provide a promising approach to the verification of distributed protocols, thanks to their data centric orientation, which allows us to explicitly handle global structures such as the topology of the network. We consider a framework using an original formalization in the Coq proof assistant of a distributed computation model based on message passing with either synchronous or asynchronous behavior. The declarative rules of the Netlog language for specifying distributed protocols and the virtual machines for evaluating these rules are encoded in Coq as well. We consider as a case study tree protocols, and show how this framework enables us to formally verify them in both the asynchronous and synchronous setting
Sm/Lsm Genes Provide a Glimpse into the Early Evolution of the Spliceosome
The spliceosome, a sophisticated molecular machine involved in the removal of intervening sequences from the coding sections of eukaryotic genes, appeared and subsequently evolved rapidly during the early stages of eukaryotic evolution. The last eukaryotic common ancestor (LECA) had both complex spliceosomal machinery and some spliceosomal introns, yet little is known about the early stages of evolution of the spliceosomal apparatus. The Sm/Lsm family of proteins has been suggested as one of the earliest components of the emerging spliceosome and hence provides a first in-depth glimpse into the evolving spliceosomal apparatus. An analysis of 335 Sm and Sm-like genes from 80 species across all three kingdoms of life reveals two significant observations. First, the eukaryotic Sm/Lsm family underwent two rapid waves of duplication with subsequent divergence resulting in 14 distinct genes. Each wave resulted in a more sophisticated spliceosome, reflecting a possible jump in the complexity of the evolving eukaryotic cell. Second, an unusually high degree of conservation in intron positions is observed within individual orthologous Sm/Lsm genes and between some of the Sm/Lsm paralogs. This suggests that functional spliceosomal introns existed before the emergence of the complete Sm/Lsm family of proteins; hence, spliceosomal machinery with considerably fewer components than today's spliceosome was already functional
Homomeric ring assemblies of eukaryotic Sm proteins have affinity for both RNA and DNA - Crystal structure of an oligomeric complex of yeast SmF
Sm and Sm-like proteins are key components of small ribonucleoproteins involved in many RNA and DNA processing pathways. In eukaryotes, these complexes contain seven unique Sm or Sm-like (Lsm) proteins assembled as hetero-heptameric rings, whereas in Archaea and bacteria six or seven-membered rings are made from only a single polypeptide chain. Here we show that single Sm and Lsm proteins from yeast also have the capacity to assemble into homo-oligomeric rings. Formation of homo-oligomers by the spliceosomal small nuclear ribonucleoprotein components SmE and SmF preclude hetero-interactions vital to formation of functional small nuclear RNP complexes in vivo. To better understand these unusual complexes, we have determined the crystal structure of the homomeric assembly of the spliceosomal protein SmF. Like its archaeal/bacterial homologs, the SmF complex forms a homomeric ring but in an entirely novel arrangement whereby two heptameric rings form a co-axially stacked dimer via interactions mediated by the variable loops of the individual SmF protein chains. Furthermore, we demonstrate that the homomeric assemblies of yeast Sm and Lsm proteins are capable of binding not only to oligo(U) RNA but, in the case of SmF, also to oligo(dT) single-stranded DNA
Effects of the Poly(ADP-Ribose) Polymerase Inhibitor Olaparib in Cerulein-Induced Pancreatitis.
Activation of the constitutive nuclear and mitochondrial enzyme poly (ADP-ribose) polymerase (PARP) has been implicated in the pathogenesis of cell dysfunction, inflammation, and organ failure in various forms of critical illness. The objective of our study was to evaluate the efficacy and safety of the clinically approved PARP inhibitor olaparib in an experimental model of pancreatitis in vivo and in a pancreatic cell line subjected to oxidative stress in vitro. The preclinical studies were complemented with analysis of clinical samples to detect PARP activation in pancreatitis.
Mice were subjected to cerulein-induced pancreatitis; circulating mediators and circulating organ injury markers; pancreatic myeloperoxidase and malondialdehyde levels were measured and histology of the pancreas was assessed. In human pancreatic duct epithelial cells (HPDE) subjected to oxidative stress, PARP activation was measured by PAR Western blotting and cell viability and DNA integrity were quantified. In clinical samples, PARP activation was assessed by PAR (the enzymatic product of PARP) immunohistochemistry.
In male mice subjected to pancreatitis, olaparib (3 mg/kg i.p.) improved pancreatic function: it reduced pancreatic myeloperoxidase and malondialdehyde levels, attenuated the plasma amylase levels, and improved the histological picture of the pancreas. It also attenuated the plasma levels of pro-inflammatory mediators (TNF-α, IL-1β, IL-2, IL-4, IL-6, IL-12, IP-10, KC) but not MCP-1, RANTES, or the anti-inflammatory cytokine IL-10. Finally, it prevented the slight, but significant increase in plasma blood urea nitrogen level, suggesting improved renal function. The protective effect of olaparib was also confirmed in female mice. In HPDE cells subjected to oxidative stress olaparib (1 μM) inhibited PARP activity, protected against the loss of cell viability, and prevented the loss of cellular NAD levels. Olaparib, at 1μM to 30 μM did not have any adverse effects on DNA integrity. In human pancreatic samples from patients who died of pancreatitis, increased accumulation of PAR was demonstrated.
Olaparib improves organ function and tempers the hyperinflammatory response in pancreatitis. It also protects against pancreatic cell injury in vitro without adversely affecting DNA integrity. Repurposing and eventual clinical introduction of this clinically approved PARP inhibitor may be warranted for the experimental therapy of pancreatitis