308 research outputs found

    The clinical genetics of multiple endocrine neoplasia type 1 in Chinese

    Get PDF
    published_or_final_versio

    On the Proof Theory of Regular Fixed Points

    No full text
    International audienceWe consider encoding finite automata as least fixed points in a proof theoretical framework equipped with a general induction scheme, and study automata inclusion in that setting. We provide a coinductive characterization of inclusion that yields a natural bridge to proof-theory. This leads us to generalize these observations to regular formulas, obtaining new insights about inductive theorem proving and cyclic proofs in particular

    Prospective surveillance of invasive group a streptococcal disease, Fiji, 2005-2007.

    Get PDF
    We undertook a prospective active surveillance study of invasive group A streptococcal (GAS) disease in Fiji over a 23-month period, 2005-2007. We identified 64 cases of invasive GAS disease, which represents an average annualized all-ages incidence of 9.9 cases/100,000 population per year (95% confidence interval [CI] 7.6-12.6). Rates were highest in those >65 years of age and in those <5 years, particularly in infants, for whom the incidence was 44.9/100,000 (95% CI 18.1-92.5). The case-fatality rate was 32% and was associated with increasing age and underlying coexisting disease, including diabetes and renal disease. Fifty-five of the GAS isolates underwent emm sequence typing; the types were highly diverse, with 38 different emm subtypes and no particular dominant type. Our data support the view that invasive GAS disease is common in developing countries and deserves increased public health attention

    Genetic Covariance Structure of Reading, Intelligence and Memory in Children

    Get PDF
    This study investigates the genetic relationship among reading performance, IQ, verbal and visuospatial working memory (WM) and short-term memory (STM) in a sample of 112, 9-year-old twin pairs and their older siblings. The relationship between reading performance and the other traits was explained by a common genetic factor for reading performance, IQ, WM and STM and a genetic factor that only influenced reading performance and verbal memory. Genetic variation explained 83% of the variation in reading performance; most of this genetic variance was explained by variation in IQ and memory performance. We hypothesize, based on these results, that children with reading problems possibly can be divided into three groups: (1) children low in IQ and with reading problems; (2) children with average IQ but a STM deficit and with reading problems; (3) children with low IQ and STM deficits; this group may experience more reading problems than the other two

    Loss of epigenetic regulator TET2 and oncogenic KIT regulate myeloid cell transformation via PI3K pathway

    Get PDF
    Mutations in KIT and TET2 are associated with myeloid malignancies. We show that loss of TET2-induced PI3K activation and -increased proliferation is rescued by targeting the p110α/δ subunits of PI3K. RNA-Seq revealed a hyperactive c-Myc signature in Tet2-/- cells, which is normalized by inhibiting PI3K signaling. Loss of TET2 impairs the maturation of myeloid lineage-derived mast cells by dysregulating the expression of Mitf and Cebpa, which is restored by low-dose ascorbic acid and 5-azacytidine. Utilizing a mouse model in which the loss of TET2 precedes the expression of oncogenic Kit, similar to the human disease, results in the development of a non-mast cell lineage neoplasm (AHNMD), which is responsive to PI3K inhibition. Thus, therapeutic approaches involving hypomethylating agents, ascorbic acid, and isoform-specific PI3K inhibitors are likely to be useful for treating patients with TET2 and KIT mutations

    A dependent nominal type theory

    Full text link
    Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

    IQ driving QI: The Asia pacific consortium on osteoporosis (APCO): An innovative and collaborative initiative to improve osteoporosis care in the Asia pacific

    Get PDF
    Asia Pacific Consortium on Osteoporosis (APCO) comprises of clinical experts from across the Asia Pacific region, uniting to develop solutions to problems facing osteoporosis management and care. The vision of APCO is to reduce the burden of osteoporosis and fragility fractures in the Asia Pacific region.Introduction: The Asia Pacific (AP) region comprises 71 countries with vastly different healthcare systems. It is predicted that by 2050, more than half the world\u27s hip fractures will occur in this region. The Asia Pacific Consortium on Osteoporosis (APCO) was set up in May 2019 with the vision of reducing the burden of osteoporosis and fragility fractures in the AP region.Methods: APCO has so far brought together 39 clinical experts from countries and regions across the AP to develop solutions to challenges facing osteoporosis management and fracture prevention in this highly populous region of the world. APCO aims to achieve its vision by engaging with relevant stakeholders including healthcare providers, policy makers and the public. The initial APCO project is to develop and implement a Framework of pan-AP minimum clinical standards for the screening, diagnosis and management of osteoporosis.Results and conclusions: The Framework will serve as a platform upon which new national clinical guidelines can be developed or existing guidelines be revised, in a standardised fashion. The Framework will also facilitate benchmarking for provision of quality of care. It is hoped that the principles underlying the formation and functioning of APCO can be adopted by other regions and that every health care facility and progressively every country in the world can follow our aspirational path and progress towards best practice

    Endocrine remodelling of the adult intestine sustains reproduction in Drosophila.

    Get PDF
    The production of offspring is energetically costly and relies on incompletely understood mechanisms that generate a positive energy balance. In mothers of many species, changes in key energy-associated internal organs are common yet poorly characterised functionally and mechanistically. In this study, we show that, in adult Drosophila females, the midgut is dramatically remodelled to enhance reproductive output. In contrast to extant models, organ remodelling does not occur in response to increased nutrient intake and/or offspring demands, but rather precedes them. With spatially and temporally directed manipulations, we identify juvenile hormone (JH) as an anticipatory endocrine signal released after mating. Acting through intestinal bHLH-PAS domain proteins Methoprene-tolerant (Met) and Germ cell-expressed (Gce), JH signals directly to intestinal progenitors to yield a larger organ, and adjusts gene expression and sterol regulatory element-binding protein (SREBP) activity in enterocytes to support increased lipid metabolism. Our findings identify a metabolically significant paradigm of adult somatic organ remodelling linking hormonal signals, epithelial plasticity, and reproductive output. DOI: http://dx.doi.org/10.7554/eLife.06930.00
    corecore