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

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

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

Improved efficacy of pembrolizumab combined with soluble EphB4-albumin in HPV-negative EphrinB2 positive head neck squamous cell carcinoma

ObjectivePatients with relapsed or metastatic head and neck squamous cell carcinoma (HNSCC) after primary local therapy have low response rates with cetuximab, systemic chemotherapy or check point inhibitor therapy. Novel combination therapies with the potential to improve outcomes for patients with HNSCC is an area of high unmet need.MethodsThis is a phase II single-arm clinical trial of locally advanced or metastatic HNSCC patients treated with a combination of soluble EphB4-human serum albumin (sEphB4-HSA) fusion protein and pembrolizumab after platinum-based chemotherapy with up to 2 prior lines of treatment. The primary endpoints were safety and tolerability and the primary efficacy endpoint was overall response rate (ORR). Secondary endpoints included progression free survival (PFS) and overall survival (OS). HPV status and EphrinB2 expression were evaluated for outcome.ResultsTwenty-five patients were enrolled. Median follow up was 40.4 months (range 9.8 - 40.4). There were 6 responders (ORR 24%). There were 5 responders in the 11 HPV-negative and EphrinB2 positive patients, (ORR 45%) with 2 of these patients achieving a complete response (CR). The median PFS in HPV-negative/EphrinB2 positive patients was 3.2 months (95% CI 1.1, 7.3). Median OS in HPV-negative/EphrinB2 positive patients was 10.9 months (95% CI 2.0, 13.7). Hypertension, transaminitis and fatigue were the most common toxicities.DiscussionThe combination of sEphB4-HSA and pembrolizumab has a favorable toxicity profile and favorable activity particularly among HPV-negative EphrinB2 positive patients with HNSCC

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

Pre-emptive and therapeutic adoptive immunotherapy for nasopharyngeal carcinoma: Phenotype and effector function of T cells impact on clinical response

published_or_final_versio

Regulation of Stat5 by FAK and PAK1 in Oncogenic FLT3 and KIT driven Leukemogenesis

Oncogenic mutations of FLT3 and KIT receptors are associated with poor survival in patients with acute myeloid leukemia (AML) and myeloproliferative neoplasms (MPN) and currently available drugs are largely ineffective. Although Stat5 has been implicated in regulating several myeloid and lymphoid malignancies, how precisely Stat5 regulates leukemogenesis, including its nuclear translocation to induce gene transcription is poorly understood. In leukemic cells, we show constitutive activation of focal adhesion kinase (FAK), whose inhibition represses leukemogenesis. Downstream of FAK, activation of Rac1 is regulated by RacGEF Tiam1, whose inhibition prolongs the survival of leukemic mice. Inhibition of the Rac1 effector PAK1 prolongs the survival of leukemic mice in part by inhibiting the nuclear translocation of Stat5. These results reveal a leukemic pathway involving FAK/Tiam1/Rac1/PAK1 and demonstrate an essential role for these signaling molecules in regulating the nuclear translocation of Stat5 in leukemogenesis

Diagnosis, treatment and follow-up of 25 patients with melamine-induced kidney stones complicated by acute obstructive renal failure in Beijing Children’s Hospital

A total of 25 Chinese patients aged 6 to 36 months hospitalised at Beijing Children’s Hospital due to melamine-induced kidney stones complicated by acute obstructive renal failure in 2008 were included in a study in order to diagnose and treat these special cases more effectively. Feeding history, clinical presentation, ultrasound findings, treatments and effects were summarised. Twelve to seventeen months follow-up was reported also. Ultrasound examination showed that calculi were located at the kidney and ureters. Stones were composed of both uric acid and melamine in a molar ratio of 1.2:1 to 2.1:1. Treatments providing liquid plus alkalisation of urine proved to be effective in helping the patients pass the stones. Surgical intervention was needed in severe cases. Renal function returned to normal in all 25 patients after various durations of therapy. Sixty-eight percent of the patients expelled all of the calculi within 3 months, 90% in 6 months and 95% in 9 months, without sequelae till now. Melamine-contaminated milk formula can cause kidney stones in infants, which should be diagnosed by feeding history, clinical symptoms and ultrasound examination. Composition of the stones was not only of melamine but also uric acid. Providing liquid orally or intravenously plus alkalisation of urine proved to promote the removal of the stones. Follow-up of 12 to 17 months after discharge showed no sequelae