Partiality, revisited: the partiality monad as a quotient inductive-inductive type

Capretta's delay monad can be used to model partial computations, but it has the "wrong" notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the "right" notion of equality, weak bisimilarity. However, recent work by Chapman et al. suggests that it is impossible to define a monad structure on the resulting construction in common forms of type theory without assuming (instances of) the axiom of countable choice. Using an idea from homotopy type theory - a higher inductive-inductive type - we construct a partiality monad without relying on countable choice. We prove that, in the presence of countable choice, our partiality monad is equivalent to the delay monad quotiented by weak bisimilarity. Furthermore we outline several applications

A directly comparative two-gate case-control diagnostic accuracy study of the pure tone screen and HearCheck Screener tests for identifying hearing impairment in school children

This is the final version. Available on open access from BMJ Publishing Group via the DOI in this recordObjectives This study directly compared the accuracy of two audiometry-based tests for screening school children for hearing impairment: the currently used test, pure tone screen and a device newly applied to children, HearCheck Screener. Design Two-gate case–control diagnostic test accuracy study. Setting and participants Hearing impaired children (‘intended cases’) aged 4–6 years were recruited between February 2013 and August 2014 from collaborating audiology services. Children with no previously identified impairment (‘intended controls’) were recruited from Foundation and Year 1 of schools between February 2013 and June 2014 in central England. The reference standard was pure tone audiometry. Tests were administered at Nottingham Hearing Biomedical Research Unit or, for some intended cases only, in the participant’s home. Main outcome measures Sensitivity and specificity of the pure tone screen and HearCheck tests based on pure tone audiometry result as reference standard. Results 315 children (630 ears) were recruited; 75 from audiology services and 240 from schools. Full test and reference standard data were obtained for 600 ears; 155 ears were classified as truly impaired and 445 as truly hearing based on the pure tone audiometry assessment. Sensitivity was estimated to be 94.2% (95% CI 89.0% to 97.0%) for pure tone screen and 89.0% (95% CI 82.9% to 93.1%) for HearCheck (difference=5.2% favouring pure tone screen; 95% CI 0.2% to 10.1%; p=0.02). Estimates for specificity were 82.2% (95% CI 77.7% to 86.0%) for pure tone screen and 86.5% (95% CI 82.5% to 89.8%) for HearCheck (difference=4.3% favouring HearCheck; 95% CI0.4% to 8.2%; p=0.02). Conclusion Pure tone screen was better than HearCheck with respect to sensitivity but inferior with respect to specificity. As avoiding missed cases is arguably of greater importance for school entry screening, pure tone screen is probably preferable in this context.National Institute for Health Research (NIHR)University of ExeterNottingham University Hospitals National Health Service (NHS) TrustCCS NHS TrustAddenbrookes Hospital, Cambridge University Hospitals Foundation TrustUniversity of Nottingha

Syntactic processing as a marker for cognitive impairment in amyotrophic lateral sclerosis

Despite recent interest in cognitive changes in patients with amyotrophic lateral sclerosis (ALS), investigations of language function looking at the level of word, sentence and discourse processing are relatively scarce. Data were obtained from 26 patients with sporadic ALS and 26 healthy controls matched for age, education, gender, anxiety, depression and executive function performance. Standardized language tasks included confrontation naming, semantic access, and syntactic comprehension. Quantitative production analysis (QPA) was used to analyse connected speech samples of the Cookie Theft picture description task. Results showed that the ALS patients were impaired on standardized measures of grammatical comprehension and action/verb semantics. At the level of discourse, ALS patients were impaired on measures of syntactic complexity and fluency; however, the latter could be better explained by disease related factors. Discriminant analysis revealed that syntactic measures differentiated ALS patients from controls. In conclusion, patients with ALS exhibit deficits in receptive and expressive language on tasks of comprehension and connected speech production, respectively. Our findings suggest that syntactic processing deficits seem to be the predominant feature of language impairment in ALS and that these deficits can be detected by relatively simple language tests

Narrative Review: Impairing Emotional Outbursts: What They Are and What We Should Do About Them

Objective: Impairing emotional outbursts, defined by extreme anger or distress in response to relatively ordinary frustrations and disappointments, impact all mental health care systems, emergency departments, schools, and juvenile justice programs. However, the prevalence, outcome, and impact of outbursts are difficult to quantify because they are transdiagnostic and not explicitly defined by current diagnostic nosology. Research variably addresses outbursts under the rubrics of tantrums, anger, irritability, aggression, rage attacks, or emotional and behavioral dysregulation. Consistent methods for identifying and assessing impairing emotional outbursts across development or systems of care are lacking. Method: The American Academy of Child and Adolescent Psychiatry Presidential Task Force (2019-2021) conducted a narrative review addressing impairing emotional outbursts within the limitations of the existing literature and independent of diagnosis. Results: Extrapolating from the existing literature, best estimates suggest that outbursts occur in 4%-10% of community children (preschoolers through adolescents). Impairing emotional outbursts may respond to successful treatment of the primary disorder, especially for some children with attention-deficit/hyperactivity disorder whose medications have been optimized. However, outbursts are generally multi-determined and often represent maladaptive or deficient coping strategies and responses. Conclusion: Evidence-based strategies are necessary to address factors that trigger, reinforce, or excuse the behaviors and to enhance problem-solving skills. Currently available interventions yield only modest effect sizes for treatment effect. More specific definitions and measures are needed to track and quantify outbursts and to design and assess the effectiveness of interventions. Better treatments are clearly needed

The Thermal Design, Characterization, and Performance of the SPIDER Long-Duration Balloon Cryostat

We describe the SPIDER flight cryostat, which is designed to cool six millimeter-wavelength telescopes during an Antarctic long-duration balloon flight. The cryostat, one of the largest to have flown on a stratospheric payload, uses liquid helium-4 to deliver cooling power to stages at 4.2 and 1.6 K. Stainless steel capillaries facilitate a high flow impedance connection between the main liquid helium tank and a smaller superfluid tank, allowing the latter to operate at 1.6 K as long as there is liquid in the 4.2 K main tank. Each telescope houses a closed cycle helium-3 adsorption refrigerator that further cools the focal planes down to 300 mK. Liquid helium vapor from the main tank is routed through heat exchangers that cool radiation shields, providing negative thermal feedback. The system performed successfully during a 17 day flight in the 2014-2015 Antarctic summer. The cryostat had a total hold time of 16.8 days, with 15.9 days occurring during flight.Comment: 15 pgs, 17 fig

Zinc intake, status and indices of cognitive function in adults and children: a systematic review and meta-analysis

In developing countries, deficiencies of micronutrients are thought to have a major impact on child development; however, a consensus on the specific relationship between dietary zinc intake and cognitive function remains elusive. The aim of this systematic review was to examine the relationship between zinc intake, status and indices of cognitive function in children and adults. A systematic literature search was conducted using EMBASE, MEDLINE and Cochrane Library databases from inception to March 2014. Included studies were those that supplied zinc as supplements or measured dietary zinc intake. A meta-analysis of the extracted data was performed where sufficient data were available. Of all of the potentially relevant papers, 18 studies met the inclusion criteria, 12 of which were randomised controlled trials (RCTs; 11 in children and 1 in adults) and 6 were observational studies (2 in children and 4 in adults). Nine of the 18 studies reported a positive association between zinc intake or status with one or more measure of cognitive function. Meta-analysis of data from the adult’s studies was not possible because of limited number of studies. A meta-analysis of data from the six RCTs conducted in children revealed that there was no significant overall effect of zinc intake on any indices of cognitive function: intelligence, standard mean difference of <0.001 (95% confidence interval (CI) –0.12, 0.13) P=0.95; executive function, standard mean difference of 0.08 (95% CI, –0.06, 022) P=0.26; and motor skills standard mean difference of 0.11 (95% CI –0.17, 0.39) P=0.43. Heterogeneity in the study designs was a major limitation, hence only a small number (n=6) of studies could be included in the meta-analyses. Meta-analysis failed to show a significant effect of zinc supplementation on cognitive functioning in children though, taken as a whole, there were some small indicators of improvement on aspects of executive function and motor development following supplementation but high-quality RCTs are necessary to investigate this further

Impact of Genetic Variation in SORCS1 on Memory Retention

We previously reported that genetic variants in SORCS1 increase the risk of AD, that over-expression of SorCS1 reduces γ-secretase activity and Aβ levels, and that SorCS1 suppression increases γ-secretase processing of APP and Aβ levels. We now explored the effect of variation in SORCS1 on memory.We explored associations between SORCS1-SNPs and memory retention in the NIA-LOAD case control dataset (162 cases,670 controls) and a cohort of Caribbean Hispanics (549 cases,544 controls) using single marker and haplotype analyses.Three SNPs in intron 1, were associated with memory retention in the NIA-LOAD dataset or the Caribbean Hispanic dataset (rs10884402(A allele:β = -0.15,p = 0.008), rs7078098(C allele:β = 0.18,p = 0.007) and rs950809(C allele:β = 0.17,p = 0.008)) and all three SNPs were significant in a meta-analysis of both datasets (0.002<p<0.03). The corresponding A-T-T haplotype for these SNPs was associated with lower scores in both datasets (p = 0.02,p = 0.0009), and the complementary G-C-C haplotype was associated with higher scores in NIA-LOAD (p = 0.02). These associations were restricted to cases.Variation in intron 1 in SORCS1 is associated with memory changes in AD

Maximal aerobic and anaerobic power generation in large crocodiles versus mammals: implications for dinosaur gigantothermy

Inertial homeothermy, the maintenance of a relatively constant body temperature that occurs simply because of large size, is often applied to large dinosaurs. Moreover, biophysical modelling and actual measurements show that large crocodiles can behaviourally achieve body temperatures above 30°C. Therefore it is possible that some dinosaurs could achieve high and stable body temperatures without the high energy cost of typical endotherms. However it is not known whether an ectothermic dinosaur could produce the equivalent amount of muscular power as an endothermic one. To address this question, this study analyses maximal power output from measured aerobic and anaerobic metabolism in burst exercising estuarine crocodiles, Crocodylus porosus, weighing up to 200 kg. These results are compared with similar data from endothermic mammals. A 1 kg crocodile at 30°C produces about 16 watts from aerobic and anaerobic energy sources during the first 10% of exhaustive activity, which is 57% of that expected for a similarly sized mammal. A 200 kg crocodile produces about 400 watts, or only 14% of that for a mammal. Phosphocreatine is a minor energy source, used only in the first seconds of exercise and of similar concentrations in reptiles and mammals. Ectothermic crocodiles lack not only the absolute power for exercise, but also the endurance, that are evident in endothermic mammals. Despite the ability to achieve high and fairly constant body temperatures, therefore, large, ectothermic, crocodile-like dinosaurs would have been competitively inferior to endothermic, mammal-like dinosaurs with high aerobic power. Endothermy in dinosaurs is likely to explain their dominance over mammals in terrestrial ecosystems throughout the Mesozoic.Roger S. Seymou

Research priorities for managing the impacts and dependencies of business upon food, energy, water and the environment

Delivering access to sufficient food, energy and water resources to ensure human wellbeing is a major concern for governments worldwide. However, it is crucial to account for the ‘nexus’ of interactions between these natural resources and the consequent implications for human wellbeing. The private sector has a critical role in driving positive change towards more sustainable nexus management and could reap considerable benefits from collaboration with researchers to devise solutions to some of the foremost sustainability challenges of today. Yet opportunities are missed because the private sector is rarely involved in the formulation of deliverable research priorities. We convened senior research scientists and influential business leaders to collaboratively identify the top forty questions that, if answered, would best help companies understand and manage their food-energy-water-environment nexus dependencies and impacts. Codification of the top order nexus themes highlighted research priorities around development of pragmatic yet credible tools that allow businesses to incorporate nexus interactions into their decision-making; demonstration of the business case for more sustainable nexus management; identification of the most effective levers for behaviour change; and understanding incentives or circumstances that allow individuals and businesses to take a leadership stance. Greater investment in the complex but productive relations between the private sector and research community will create deeper and more meaningful collaboration and cooperation.This work was supportedby the Economic and Social Research Council [Grant Number ES/L01632X/1] and is part of the Nexus Network Initiative. WJS is funded by Arcadia

Validation of the Cognitive Assessment of Later Life Status (CALLS) instrument: a computerized telephonic measure

<p>Abstract</p> <p>Background</p> <p>Brief screening tests have been developed to measure cognitive performance and dementia, yet they measure limited cognitive domains and often lack construct validity. Neuropsychological assessments, while comprehensive, are too costly and time-consuming for epidemiological studies. This study's aim was to develop a psychometrically valid telephone administered test of cognitive function in aging.</p> <p>Methods</p> <p>Using a sequential hierarchical strategy, each stage of test development did not proceed until specified criteria were met. The 30 minute Cognitive Assessment of Later Life Status (CALLS) measure and a 2.5 hour in-person neuropsychological assessment were conducted with a randomly selected sample of 211 participants 65 years and older that included equivalent distributions of men and women from ethnically diverse populations.</p> <p>Results</p> <p>Overall Cronbach's coefficient alpha for the CALLS test was 0.81. A principal component analysis of the CALLS tests yielded five components. The CALLS total score was significantly correlated with four neuropsychological assessment components. Older age and having a high school education or less was significantly correlated with lower CALLS total scores. Females scored better overall than males. There were no score differences based on race.</p> <p>Conclusion</p> <p>The CALLS test is a valid measure that provides a unique opportunity to reliably and efficiently study cognitive function in large populations.</p