Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Fine-mapping of the HNF1B multicancer locus identifies candidate variants that mediate endometrial cancer risk.

Common variants in the hepatocyte nuclear factor 1 homeobox B (HNF1B) gene are associated with the risk of Type II diabetes and multiple cancers. Evidence to date indicates that cancer risk may be mediated via genetic or epigenetic effects on HNF1B gene expression. We previously found single-nucleotide polymorphisms (SNPs) at the HNF1B locus to be associated with endometrial cancer, and now report extensive fine-mapping and in silico and laboratory analyses of this locus. Analysis of 1184 genotyped and imputed SNPs in 6608 Caucasian cases and 37 925 controls, and 895 Asian cases and 1968 controls, revealed the best signal of association for SNP rs11263763 (P = 8.4 × 10(-14), odds ratio = 0.86, 95% confidence interval = 0.82-0.89), located within HNF1B intron 1. Haplotype analysis and conditional analyses provide no evidence of further independent endometrial cancer risk variants at this locus. SNP rs11263763 genotype was associated with HNF1B mRNA expression but not with HNF1B methylation in endometrial tumor samples from The Cancer Genome Atlas. Genetic analyses prioritized rs11263763 and four other SNPs in high-to-moderate linkage disequilibrium as the most likely causal SNPs. Three of these SNPs map to the extended HNF1B promoter based on chromatin marks extending from the minimal promoter region. Reporter assays demonstrated that this extended region reduces activity in combination with the minimal HNF1B promoter, and that the minor alleles of rs11263763 or rs8064454 are associated with decreased HNF1B promoter activity. Our findings provide evidence for a single signal associated with endometrial cancer risk at the HNF1B locus, and that risk is likely mediated via altered HNF1B gene expression

NACHOS, a CubeSat-Based High-Resolution UV-Visible Hyperspectral Imager for Remote Sensing of Trace Gases: System Overview, Science Objectives, and Preliminary Results

The Nano-satellite Atmospheric Chemistry Hyperspectral Observation System (NACHOS) is a high-throughput (f/2.9), high spectral resolution (1.3 nm optical, 0.57 nm sampling) hyperspectral imager covering the 300-500 nm spectral region with 350 spectral bands. The combined 1.5U instrument payload and 1.5U spacecraft bus comprise a 3U CubeSat. Spectroscopically similar to NASA’s Ozone Monitoring Instrument (OMI), which provides wide-field coverage at ~20 km spatial resolution, NACHOS offers complementary targeted measurements at far higher spatial resolution of ~0.4 km/pixel from 500 km altitude over its 15 ̊ across-track field of view. NACHOS incorporates highly streamlined onboard gas-retrieval algorithms, alleviating the need to routinely downlink massive hyperspectral data cubes. This paper discusses the instrument design, requirements leading to it, preliminary results, and science goals, including monitoring NO2 as a proxy for anthropogenic greenhouse gases, low-level degassing of SO2 and halogen oxides at pre-eruptive volcanoes, and formaldehyde from wildfires. Aiming for an eventual many-satellite constellation providing both high spatial resolution and frequent target revisits, the current NACHOS project is launching two CubeSats, the first already launched to the International Space Station aboard the NG-17 Cygnus vehicle on February 19, 2022 and awaiting deployment to its final orbit in June, and the second launching June 29, 2022

Autistic Adult Services Availability, Preferences, and User Experiences : Results From the Autism Spectrum Disorder in the European Union Survey

There is very little knowledge regarding autistic adult services, practices, and delivery. The study objective was to improve understanding of current services and practices for autistic adults and opportunities for improvement as part of the Autism Spectrum Disorder in the European Union (ASDEU) project. Separate survey versions were created for autistic adults, carers of autistic adults, and professionals in adult services. 2,009 persons responded to the survey and 1,085 (54%) of them completed at least one of the services sections: 469 autistic adults (65% female; 55% 50% responded "don't know"). Five of seven residential services features recommended for autistic adults were experienced byPeer reviewe

Snacktivity™ to promote physical activity and reduce future risk of disease in the population: protocol for a feasibility randomised controlled trial and nested qualitative study

Background: Many people do not regularly participate in physical activity, which may negatively impact their health. Current physical activity guidelines are focused on promoting weekly accumulation of at least 150 min of moderate to vigorous intensity physical activity (MVPA). Whilst revised guidance now recognises the importance of making small changes to physical activity behaviour, guidance still focuses on adults needing to achieve at least 150 min of MVPA per week. An alternative ‘whole day’ approach that could motivate the public to be more physically active, is a concept called Snacktivity™. Instead of focusing on achieving 150 min per week of physical activity, for example 30 min of MVPA over 5 days, Snacktivity™ encourages the public to achieve this through small, but frequent, 2–5 min ‘snacks’ of MVPA throughout the whole day. Methods: The primary aim is to undertake a feasibility trial with nested qualitative interviews to assess the feasibility and acceptability of the Snacktivity™ intervention to inform the design of a subsequent phase III randomised trial. A two-arm randomised controlled feasibility trial aiming to recruit 80 inactive adults will be conducted. Recruitment will be from health and community settings and social media. Participants will be individually randomised (1:1 ratio) to receive either the Snacktivity™ intervention or usual care. The intervention will last 12 weeks with assessment of outcomes completed before and after the intervention in all participants. We are interested in whether the Snacktivity™ trial is appealing to participants (assessed by the recruitment rate) and if the Snacktivity™ intervention and trial methods are acceptable to participants (assessed by Snacktivity™/physical activity adherence and retention rates). The intervention will be delivered by health care providers within health care consultations or by researchers. Participants’ experiences of the trial and intervention, and health care providers’ views of delivering the intervention within health consultations will be explored. Discussion: The development of physical activity interventions that can be delivered at scale are needed. The findings from this study will inform the viability and design of a phase III trial to assess the effectiveness and cost-effectiveness of Snacktivity™ to increase physical activity. Trial registration: ISRCTN: 64851242

Genomic analyses identify hundreds of variants associated with age at menarche and support a role for puberty timing in cancer risk

The timing of puberty is a highly polygenic childhood trait that is epidemiologically associated with various adult diseases. Using 1000 Genomes Project-imputed genotype data in up to similar to 370,000 women, we identify 389 independent signals (P <5 x 10(-8)) for age at menarche, a milestone in female pubertal development. In Icelandic data, these signals explain similar to 7.4% of the population variance in age at menarche, corresponding to similar to 25% of the estimated heritability. We implicate similar to 250 genes via coding variation or associated expression, demonstrating significant enrichment in neural tissues. Rare variants near the imprinted genes MKRN3 and DLK1 were identified, exhibiting large effects when paternally inherited. Mendelian randomization analyses suggest causal inverse associations, independent of body mass index (BMI), between puberty timing and risks for breast and endometrial cancers in women and prostate cancer in men. In aggregate, our findings highlight the complexity of the genetic regulation of puberty timing and support causal links with cancer susceptibility

Autistic Adult Health and Professional Perceptions of It: Evidence From the ASDEU Project

The Autism Spectrum Disorders in the European Union (ASDEU) survey investigated the knowledge and health service experiences of users and providers to generate new hypotheses and scientific investigations that would contribute to improvement in health care for autistic adults. An online survey designed for autistic adults, carers of autistic adults, and professionals in adult services was translated into 11 languages and distributed electronically by organizations and in-country adult service facilities in 2017; 522 autistic adults, 442 carers, and 113 professionals provided answers to the health questions. Professionals, the majority in non-medical services, appeared to be poorly informed about whether certain co-occurring conditions were more frequent in autistic adults than typical adults-especially some medical conditions, suicide attempts, accidents, and pain. A minority of autistic adults reported preventive health behaviors such as routine health check-ups. The majority of users and providers expressed the desire to make health care services more user-friendly for autistic adults. Among the three groups, <20% of responders knew an organization or clinician which has developed a way to monitor health, and prevent poor health, that works well for adults on the autism spectrum. The results point to means for better management of co-occurring conditions associated with autism in adulthood in order to reduce hospital admissions and potential areas of improvement in health and social services for autistic adults. Specifically, efforts should be focused on (1) professionals' education on risks for co-occurring conditions in autistic adults; (2) promoting preventive health behaviors; (3) making services user-friendly for autistic adults and their families; and (4) encouraging knowledge of good local services

New genetic loci link adipose and insulin biology to body fat distribution.

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms