310 research outputs found
The clinical genetics of multiple endocrine neoplasia type 1 in Chinese
published_or_final_versio
On the Proof Theory of Regular Fixed Points
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.
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
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
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
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
Pre-emptive and therapeutic adoptive immunotherapy for nasopharyngeal carcinoma: Phenotype and effector function of T cells impact on clinical response
published_or_final_versio
IQ driving QI: The Asia pacific consortium on osteoporosis (APCO): An innovative and collaborative initiative to improve osteoporosis care in the Asia pacific
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.
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
- …