STING activation in TET2-mutated hematopoietic stem/progenitor cells contributes to the increased self-renewal and neoplastic transformation

Somatic loss-of-function mutations of the dioxygenase Ten-eleven translocation-2 (TET2) occur frequently in individuals with clonal hematopoiesis (CH) and acute myeloid leukemia (AML). These common hematopoietic disorders can be recapitulated in mouse models. However, the underlying mechanisms by which the deficiency in TET2 promotes these disorders remain unclear. Here we show that the cyclic guanosine monophosphate-adenosine monophosphate synthase (cGAS)-stimulator of interferon genes (STING) pathway is activated to mediate the effect of TET2 deficiency in dysregulated hematopoiesis in mouse models. DNA damage arising in Tet2-deficient hematopoietic stem/progenitor cells (HSPCs) leads to activation of the cGAS-STING pathway which in turn promotes the enhanced self-renewal and development of CH. Notably, both pharmacological inhibition and genetic deletion of STING suppresses Tet2 mutation-induced aberrant hematopoiesis. In patient-derived xenograft (PDX) models, STING inhibition specifically attenuates the proliferation of leukemia cells from TET2-mutated individuals. These observations suggest that the development of CH associated with TET2 mutations is powered through chronic inflammation dependent on the activated cGAS-STING pathway and that STING may represent a potential target for intervention of relevant hematopoietic diseases

Meta-analysis Followed by Replication Identifies Loci in or near CDKN1B, TET3, CD80, DRAM1, and ARID5B as Associated with Systemic Lupus Erythematosus in Asians

Systemic lupus erythematosus (SLE) is a prototype autoimmune disease with a strong genetic involvement and ethnic differences. Susceptibility genes identified so far only explain a small portion of the genetic heritability of SLE, suggesting that many more loci are yet to be uncovered for this disease. In this study, we performed a meta-analysis of genome-wide association studies on SLE in Chinese Han populations and followed up the findings by replication in four additional Asian cohorts with a total of 5,365 cases and 10,054 corresponding controls. We identified genetic variants in or near CDKN1B, TET3, CD80, DRAM1, and ARID5B as associated with the disease. These findings point to potential roles of cell-cycle regulation, autophagy, and DNA demethylation in SLE pathogenesis. For the region involving TET3 and that involving CDKN1B, multiple independent SNPs were identified, highlighting a phenomenon that might partially explain the missing heritability of complex diseases

Formal verification of mCWQ using extended hoare logic

Node mobility, as one of the most important features of Wireless Sensor Networks (WSNs), may affect the reliability of communication links in the networks, leading to abnormalities and decreasing the quality of service provided by WSNs. The mCWQ calculus (i.e., CWQ calculus with mobility) is recently proposed to capture the feature of node mobility and increase the communication quality of WSNs. In this paper, we present a proof system for the mCWQ calculus to prove its correctness. Our specifications and verifications are based on Hoare Logic. In order to describe the timing of observable actions, we extend the assertion language with primitives. And terminating and non-terminating computations both can be described in our proof system. We also give some examples to illustrate the application of our proof system