Approximate Reachability for Dead Code Elimination in Esterel*

Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel* extends Esterel with a non-instantaneous jump instruction (compatible with concurrency, preemption, etc.) so as to enable powerful source-to-source program transformations, amenable to formal verification. In this work, we propose an approximate reachability algorithm for Esterel* and use its output to remove dead code. We prove the correctness of our techniques

Discovery of a new class of inhibitors for the protein arginine deiminase type 4 (PAD4) by structure-based virtual screening

<p>Abstract</p> <p>Background</p> <p>Rheumatoid arthritis (RA) is an autoimmune disease with unknown etiology. Anticitrullinated protein autoantibody has been documented as a highly specific autoantibody associated with RA. Protein arginine deiminase type 4 (PAD4) is the enzyme responsible for catalyzing the conversion of peptidylarginine into peptidylcitrulline. PAD4 is a new therapeutic target for RA treatment. In order to search for inhibitors of PAD4, structure-based virtual screening was performed using LIDAEUS (Ligand discovery at Edinburgh university). Potential inhibitors were screened experimentally by inhibition assays.</p> <p>Results</p> <p>Twenty two of the top-ranked water-soluble compounds were selected for inhibitory screening against PAD4. Three compounds showed significant inhibition of PAD4 and their IC₅₀values were investigated. The structures of the three compounds show no resemblance with previously discovered PAD4 inhibitors, nor with existing drugs for RA treatment.</p> <p>Conclusion</p> <p>Three compounds were discovered as potential inhibitors of PAD4 by virtual screening. The compounds are commercially available and can be used as scaffolds to design more potent inhibitors against PAD4.</p

Accelerated apoptotic death and <i>in vivo</i> turnover of erythrocytes in mice lacking functional mitogen- and stress-activated kinase MSK1/2

The mitogen- and stress-activated kinase MSK1/2 plays a decisive role in apoptosis. In analogy to apoptosis of nucleated cells, suicidal erythrocyte death called eryptosis is characterized by cell shrinkage and cell membrane scrambling leading to phosphatidylserine (PS) externalization. Here, we explored whether MSK1/2 participates in the regulation of eryptosis. To this end, erythrocytes were isolated from mice lacking functional MSK1/2 (msk−/−) and corresponding wild-type mice (msk+/+). Blood count, hematocrit, hemoglobin concentration and mean erythrocyte volume were similar in both msk−/− and msk+/+ mice, but reticulocyte count was significantly increased in msk−/− mice. Cell membrane PS exposure was similar in untreated msk−/− and msk+/+ erythrocytes, but was enhanced by pathophysiological cell stressors ex vivo such as hyperosmotic shock or energy depletion to significantly higher levels in msk−/− erythrocytes than in msk+/+ erythrocytes. Cell shrinkage following hyperosmotic shock and energy depletion, as well as hemolysis following decrease of extracellular osmolarity was more pronounced in msk−/− erythrocytes. The in vivo clearance of autologously-infused CFSE-labeled erythrocytes from circulating blood was faster in msk−/− mice. The spleens from msk−/− mice contained a significantly greater number of PS-exposing erythrocytes than spleens from msk+/+ mice. The present observations point to accelerated eryptosis and subsequent clearance of erythrocytes leading to enhanced erythrocyte turnover in MSK1/2-deficient mice

A short history of the 5-HT2C receptor: from the choroid plexus to depression, obesity and addiction treatment

This paper is a personal account on the discovery and characterization of the 5-HT2C receptor (first known as the 5- HT1C receptor) over 30 years ago and how it translated into a number of unsuspected features for a G protein-coupled receptor (GPCR) and a diversity of clinical applications. The 5-HT2C receptor is one of the most intriguing members of the GPCR superfamily. Initially referred to as 5-HT1CR, the 5-HT2CR was discovered while studying the pharmacological features and the distribution of [3H]mesulergine-labelled sites, primarily in the brain using radioligand binding and slice autoradiography. Mesulergine (SDZ CU-085), was, at the time, best defined as a ligand with serotonergic and dopaminergic properties. Autoradiographic studies showed remarkably strong [3H]mesulergine-labelling to the rat choroid plexus. [3H]mesulergine-labelled sites had pharmacological properties different from, at the time, known or purported 5-HT receptors. In spite of similarities with 5-HT2 binding, the new binding site was called 5-HT1C because of its very high affinity for 5-HT itself. Within the following 10 years, the 5-HT1CR (later named 5- HT2C) was extensively characterised pharmacologically, anatomically and functionally: it was one of the first 5-HT receptors to be sequenced and cloned. The 5-HT2CR is a GPCR, with a very complex gene structure. It constitutes a rarity in theGPCR family: many 5-HT2CR variants exist, especially in humans, due to RNA editing, in addition to a few 5-HT2CR splice variants. Intense research led to therapeutically active 5-HT2C receptor ligands, both antagonists (or inverse agonists) and agonists: keeping in mind that a number of antidepressants and antipsychotics are 5- HT2CR antagonists/inverse agonists. Agomelatine, a 5-HT2CR antagonist is registered for the treatment of major depression. The agonist Lorcaserin is registered for the treatment of aspects of obesity and has further potential in addiction, especially nicotine/ smoking. There is good evidence that the 5-HT2CR is involved in spinal cord injury-induced spasms of the lower limbs, which can be treated with 5-HT2CR antagonists/inverse agonists such as cyproheptadine or SB206553. The 5-HT2CR may play a role in schizophrenia and epilepsy. Vabicaserin, a 5-HT2CR agonist has been in development for the treatment of schizophrenia and obesity, but was stopped. As is common, there is potential for further indications for 5-HT2CR ligands, as suggested by a number of preclinical and/or genome-wide association studies (GWAS) on depression, suicide, sexual dysfunction, addictions and obesity. The 5-HT2CR is clearly affected by a number of established antidepressants/antipsychotics and may be one of the culprits in antipsychotic-induced weight gain