From Nonstandard Analysis to various flavours of Computability Theory

As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, the aforementioned discipline divides into classical and higher-order computability theory, where the former (resp. the latter) sub-discipline deals with objects of type zero and one (resp. of all types). The aforementioned results regarding NSA deal exclusively with the higher-order case; we show in this paper that theorems of NSA also give rise to theorems in classical computability theory by considering so-called textbook proofs.Comment: To appear in the proceedings of TAMC2017 (http://tamc2017.unibe.ch/

Drivers of menstrual material disposal and washing practices: A systematic review

Background Disposal and washing facilities and services for menstrual materials are often designed based upon technical specifications rather than an in-depth understanding of what drives peoples’ choices of practices. Objectives and data sources This systematic review identified and summarised the main behavioural drivers pertaining to the choice of disposal and washing practices of menstrual materials through the thematic content analysis and study appraisal of 82 publications (80 studies) on menstrual health and hygiene published since 1999, reporting the outcomes of primary research across 26 countries. Results Disposal and washing behaviours are primarily driven by the physical state of sanitation facilities; however, this is intrinsically linked to taboos surrounding and knowledge of menstruation. Implications Using reasons given for disposal and washing practices by menstruators or those who know them well, or inferred by authors of the reviewed studies, we identify the key considerations needed to design facilities and services which best suit the desired behaviours of both planners and those who menstruate. Inclusivity The term menstruators is used throughout to encompass all those mentioned in the studies reviewed (girls and women); although no studies explicitly stated including non-binary or transgender participants, this review uses inclusive language that represents the spectrum of genders that may experience menstruation. Registration The review protocol is registered on PROSPERO: 42019140029

Habitat-use influences severe disease-mediated population declines in two of the most common garden bird species in Great Britain

The influence of supplementary feeding of wildlife on disease transmission and its consequent impacts on population dynamics are underappreciated. In Great Britain, supplementary feeding is hypothesised to have enabled the spread of the protozoan parasite, Trichomonas gallinae, from columbids to finches, leading to epidemic finch trichomonosis and a rapid population decline of greenfinch (Chloris chloris). More recently, chaffinch (Fringilla coelebs), has also declined markedly from the second to fifth commonest bird in Britain. Using citizen science data, we show that both declines were driven primarily by reduced adult survival, with the greatest reductions occurring in peri-domestic habitats, where supplementary food provision is common. Post-mortem examinations showed a proportional increase in chaffinch trichomonosis cases, near-contemporaneous with its population decline. Like greenfinches, chaffinches often use supplementary food, but are less associated with human habitation. Our results support the hypothesis that supplementary feeding can increase parasite transmission frequency within and between common species. However, the dynamics behind resultant population change can vary markedly, highlighting the need for integrating disease surveillance with demographic monitoring. Other species susceptible to T. gallinae infection may also be at risk. Supplementary feeding guidelines for wildlife should include disease mitigation strategies to ensure that benefits to target species outweigh risks

The length-tension diagrams of human oblique muscles in trochlear palsy and strabismus sursoadductorius

We determined the relation between length and tension in detached oblique muscles of 16 strabismus patients that underwent surgery, before and during contraction evoked by intravenous administration of succinylcholine. We frequently found a nonlinear relation between length and tension, unlike our previous findings in recti. In superior oblique palsies, the superior oblique was found, before injection of succinylcholine, to be stiff after elongation, and did not contract after injection of succinylcholine, while the ipsilateral inferior oblique contract after injection of succinylcholine, but with a higher spring constant than did usual. In 3 cases the superior oblique contracted vividly after administration of succinylcholine despite the presence of excyclotropia, stereopsis, torticollis (2 cases) and a hypertropia that increased in adduction, in downgaze, in adduction-and-downgaze and on ipsilateral head-tilt. The finding of a vividly contracting superior oblique is incompatible with the diagnosis of a complete superior oblique palsy. We conclude that some of the cases diagnosed as congenital superior oblique palsy, having a hypertropia increasing in adduction, in downgaze, in adduction-and-downgaze and on ipsilateral head-tilt, are in fact cases of unilateral strabismus sursoadductorius (upshoot in adduction), a non-paretic motility disorder

Experiences of menstruation in high income countries: A systematic review, qualitative evidence synthesis and comparison to low- and middle-income countries

Background There is growing recognition of the importance of menstruation in achieving health, education, and gender equality for all. New policies in high income countries (HICs) have responded to anecdotal evidence that many struggle to meet their menstrual health needs. Qualitative research has explored lived experiences of menstruating in HICs and can contribute to designing intervention approaches. To inform the growing policy attention to support people who menstruate, here we review and synthesise the existing research. Methods and findings Primary, qualitative studies capturing experiences of menstruation in HICs were eligible for inclusion. Systematic database and hand searching identified 11485 records. Following screening and quality appraisal using the EPPI-Centre checklist, 104 studies (120 publications) detailing the menstrual experiences of over 3800 individuals across sixteen countries were included. We used the integrated model of menstrual experiences developed from studies in low- and middle-income countries (LMICs) as a starting framework and deductively and inductively identified antecedents contributing to menstrual experiences; menstrual experiences themselves and impacts of menstrual experiences. Included studies described consistent themes and relationships that fit well with the LMIC integrated model, with modifications to themes and model pathways identified through our analysis. The socio-cultural context heavily shaped menstrual experiences, manifesting in strict behavioural expectations to conceal menstruation and limiting the provision of menstrual materials. Resource limitations contributed to negative experiences, where dissatisfaction with menstrual practices and management environments were expressed along with feelings of disgust if participants felt they failed to manage their menstruation in a discrete, hygienic way. Physical menstrual factors such as pain were commonly associated with negative experiences, with mixed experiences of healthcare reported. Across studies participants described negative impacts of their menstrual experience including increased mental burden and detrimental impacts on participation and personal relationships. Positive experiences were more rarely reported, although relationships between cis-women were sometimes strengthened by shared experiences of menstrual bleeding. Included studies reflected a broad range of disciplines and epistemologies. Many aimed to understand the constructed meanings of menstruation, but few were explicitly designed to inform policy or practice. Few studies focused on socioeconomically disadvantaged groups relevant to new policy efforts. Conclusions We developed an integrated model of menstrual experience in HICs which can be used to inform research, policy and practice decisions by emphasising the pathways through which positive and negative menstrual experiences manifest

Optimal siting, sizing, and enforcement of marine protected areas

The design of protected areas, whether marine or terrestrial, rarely considers how people respond to the imposition of no-take sites with complete or incomplete enforcement. Consequently, these protected areas may fail to achieve their intended goal. We present and solve a spatial bio-economic model in which a manager chooses the optimal location, size, and enforcement level of a marine protected area (MPA). This manager acts as a Stackelberg leader, and her choices consider villagers’ best response to the MPA in a spatial Nash equilibrium of fishing site and effort decisions. Relevant to lower income country settings but general to other settings, we incorporate limited enforcement budgets, distance costs of traveling to fishing sites, and labor allocation to onshore wage opportunities. The optimal MPA varies markedly across alternative manager goals and budget sizes, but always induce changes in villagers’ decisions as a function of distance, dispersal, and wage. We consider MPA managers with ecological conservation goals and with economic goals, and identify the shortcomings of several common manager decision rules, including those focused on: (1) fishery outcomes rather than broader economic goals, (2) fish stocks at MPA sites rather than across the full marinescape, (3) absolute levels rather than additional values, and (4) costless enforcement. Our results demonstrate that such naïve or overly narrow decision rules can lead to inefficient MPA designs that miss economic and conservation opportunities

The PRISM4 (mid-Piacenzian) paleoenvironmental reconstruction

The mid-Piacenzian is known as a period of relative warmth when compared to the present day. A comprehensive understanding of conditions during the Piacenzian serves as both a conceptual model and a source for boundary conditions and means of verification of global climate model experiments. In this paper we present the PRISM4 reconstruction, a palaeoenvironmental reconstruction of the mid-Piacenzian (~3 Ma) containing data for palaeogeography, land and sea-ice, sea-surface temperature, vegetation, soils and lakes. Our retrodicted palaeogeography takes into account glacial isostatic adjustments and changes in dynamic topography. Soils and lakes, both significant as land surface features, are introduced to the PRISM reconstruction for the first time. Sea-surface temperature and vegetation reconstructions are unchanged but now have confidence assessments. The PRISM4 reconstruction is being used as boundary condition data for the Pliocene Model Intercomparison Project, Phase 2 (PlioMIP2) experiments

Recurrent delirium over 12 months predicts dementia: results of the Delirium and Cognitive Impact in Dementia (DECIDE) study.

BACKGROUND: Delirium is common, distressing and associated with poor outcomes. Previous studies investigating the impact of delirium on cognitive outcomes have been limited by incomplete ascertainment of baseline cognition or lack of prospective delirium assessments. This study quantified the association between delirium and cognitive function over time by prospectively ascertaining delirium in a cohort aged ≥ 65 years in whom baseline cognition had previously been established. METHODS: For 12 months, we assessed participants from the Cognitive Function and Ageing Study II-Newcastle for delirium daily during hospital admissions. At 1-year, we assessed cognitive decline and dementia in those with and without delirium. We evaluated the effect of delirium (including its duration and number of episodes) on cognitive function over time, independently of baseline cognition and illness severity. RESULTS: Eighty two of 205 participants recruited developed delirium in hospital (40%). One-year outcome data were available for 173 participants: 18 had a new dementia diagnosis, 38 had died. Delirium was associated with cognitive decline (-1.8 Mini-Mental State Examination points [95% CI -3.5 to -0.2]) and an increased risk of new dementia diagnosis at follow up (OR 8.8 [95% CI 1.9-41.4]). More than one episode and more days with delirium (>5 days) were associated with worse cognitive outcomes. CONCLUSIONS: Delirium increases risk of future cognitive decline and dementia, independent of illness severity and baseline cognition, with more episodes associated with worse cognitive outcomes. Given that delirium has been shown to be preventable in some cases, we propose that delirium is a potentially modifiable risk factor for dementia