Undecidability in number theory

These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers are universally definable in the rationals.Comment: 48 pages. arXiv admin note: text overlap with arXiv:1011.342

De novo and inherited variants in ZNF292 underlie a neurodevelopmental disorder with features of autism spectrum disorder

Contains fulltext : 218267.pdf (Publisher’s version ) (Closed access)PURPOSE: Intellectual disability (ID) and autism spectrum disorder (ASD) are genetically heterogeneous neurodevelopmental disorders. We sought to delineate the clinical, molecular, and neuroimaging spectrum of a novel neurodevelopmental disorder caused by variants in the zinc finger protein 292 gene (ZNF292). METHODS: We ascertained a cohort of 28 families with ID due to putatively pathogenic ZNF292 variants that were identified via targeted and exome sequencing. Available data were analyzed to characterize the canonical phenotype and examine genotype-phenotype relationships. RESULTS: Probands presented with ID as well as a spectrum of neurodevelopmental features including ASD, among others. All ZNF292 variants were de novo, except in one family with dominant inheritance. ZNF292 encodes a highly conserved zinc finger protein that acts as a transcription factor and is highly expressed in the developing human brain supporting its critical role in neurodevelopment. CONCLUSION: De novo and dominantly inherited variants in ZNF292 are associated with a range of neurodevelopmental features including ID and ASD. The clinical spectrum is broad, and most individuals present with mild to moderate ID with or without other syndromic features. Our results suggest that variants in ZNF292 are likely a recurrent cause of a neurodevelopmental disorder manifesting as ID with or without ASD

Partial Loss of USP9X Function Leads to a Male Neurodevelopmental and Behavioral Disorder Converging on Transforming Growth Factor beta Signaling

BACKGROUND: The X-chromosome gene USP9X encodes a deubiquitylating enzyme that has been associated with neurodevelopmental disorders primarily in female subjects. USP9X escapes X inactivation, and in female subjects de novo heterozygous copy number loss or truncating mutations cause haploinsufficiency culminating in a recognizable syndrome with intellectual disability and signature brain and congenital abnormalities. In contrast, the involvement of USP9X in male neurodevelopmental disorders remains tentative.METHODS: We used clinically recommended guidelines to collect and interrogate the pathogenicity of 44 USP9X variants associated with neurodevelopmental disorders in males. Functional studies in patient-derived cell lines and mice were used to determine mechanisms of pathology.RESULTS: Twelve missense variants showed strong evidence of pathogenicity. We define a characteristic phenotype of the central nervous system (white matter disturbances, thin corpus callosum, and widened ventricles); global delay with significant alteration of speech, language, and behavior; hypotonia; joint hypermobility; visual system defects; and other common congenital and dysmorphic features. Comparison of in silico and phenotypical features align additional variants of unknown significance with likely pathogenicity. In support of partial loss-of-function mechanisms, using patient-derived cell lines, we show loss of only specific USP9X substrates that regulate neurodevelopmental signaling pathways and a united defect in transforming growth factor signaling. In addition, we find correlates of the male phenotype in Usp9x brain-specific knockout mice, and further resolve loss of hippocannpal-dependent learning and memory.CONCLUSIONS: Our data demonstrate the involvement of USP9X variants in a distinctive neurodevelopmental and behavioral syndrome in male subjects and identify plausible mechanisms of pathogenesis centered on disrupted transforming growth factor beta signaling and hippocampal function.Genetics of disease, diagnosis and treatmen

Weaning from mechanical ventilation in intensive care units across 50 countries (WEAN SAFE): a multicentre, prospective, observational cohort study

International audienceBackground: Current management practices and outcomes in weaning from invasive mechanical ventilation are poorly understood. We aimed to describe the epidemiology, management, timings, risk for failure, and outcomes of weaning in patients requiring at least 2 days of invasive mechanical ventilation. Methods: WEAN SAFE was an international, multicentre, prospective, observational cohort study done in 481 intensive care units in 50 countries. Eligible participants were older than 16 years, admitted to a participating intensive care unit, and receiving mechanical ventilation for 2 calendar days or longer. We defined weaning initiation as the first attempt to separate a patient from the ventilator, successful weaning as no reintubation or death within 7 days of extubation, and weaning eligibility criteria based on positive end-expiratory pressure, fractional concentration of oxygen in inspired air, and vasopressors. The primary outcome was the proportion of patients successfully weaned at 90 days. Key secondary outcomes included weaning duration, timing of weaning events, factors associated with weaning delay and weaning failure, and hospital outcomes. This study is registered with ClinicalTrials.gov, NCT03255109. Findings: Between Oct 4, 2017, and June 25, 2018, 10 232 patients were screened for eligibility, of whom 5869 were enrolled. 4523 (77·1%) patients underwent at least one separation attempt and 3817 (65·0%) patients were successfully weaned from ventilation at day 90. 237 (4·0%) patients were transferred before any separation attempt, 153 (2·6%) were transferred after at least one separation attempt and not successfully weaned, and 1662 (28·3%) died while invasively ventilated. The median time from fulfilling weaning eligibility criteria to first separation attempt was 1 day (IQR 0–4), and 1013 (22·4%) patients had a delay in initiating first separation of 5 or more days. Of the 4523 (77·1%) patients with separation attempts, 2927 (64·7%) had a short wean (≤1 day), 457 (10·1%) had intermediate weaning (2–6 days), 433 (9·6%) required prolonged weaning (≥7 days), and 706 (15·6%) had weaning failure. Higher sedation scores were independently associated with delayed initiation of weaning. Delayed initiation of weaning and higher sedation scores were independently associated with weaning failure. 1742 (31·8%) of 5479 patients died in the intensive care unit and 2095 (38·3%) of 5465 patients died in hospital. Interpretation: In critically ill patients receiving at least 2 days of invasive mechanical ventilation, only 65% were weaned at 90 days. A better understanding of factors that delay the weaning process, such as delays in weaning initiation or excessive sedation levels, might improve weaning success rates. Funding: European Society of Intensive Care Medicine, European Respiratory Society