Introducing a Calculus of Effects and Handlers for Natural Language Semantics

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad. In this paper, we present an extension of the simply-typed lambda calculus that exploits this uniformity using the recently discovered technique of effect handlers. We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic phenomena

Investigation of inter-slice magnetization transfer effects as a new method for MTR imaging of the human brain

We present a new method for magnetization transfer (MT) ratio imaging in the brain that requires no separate saturation pulse. Interslice MT effects that are inherent to multi-slice balanced steady-state free precession (bSSFP) imaging were controlled via an interslice delay time to generate MT-weighted (0 s delay) and reference images (5-8 s delay) for MT ratio (MTR) imaging of the brain. The effects of varying flip angle and phase encoding (PE) order were investigated experimentally in normal, healthy subjects. Values of up to ∼ 50% and ∼ 40% were observed for white and gray matter MTR. Centric PE showed larger MTR, higher SNR, and better contrast between white and gray matter than linear PE. Simulations of a two-pool model of MT agreed well with in vivo MTR values. Simulations were also used to investigate the effects of varying acquisition parameters, and the effects of varying flip angle, PE steps, and interslice delay are discussed. Lastly, we demonstrated reduced banding with a non-balanced SSFP-FID sequence and showed preliminary results of interslice MTR imaging of meningioma

Nonperiodic inspections to guarantee a prescribed level of reliability

A cost-optimal nonperiodic inspection policy is derived for complex multicomponent systems. The model takes into consideration the degradation of all the components in the system with the use of a Bessel process with drift. The inspection times are determined by a deterministic function and depend on the system’s performance measure. The nonperiodic policy is developed by evaluating the expected lifetime costs and the optimal policy by an optimal choice of inspection function. The model thus gives a guaranteed level of reliability throughout the life of the project

Guidelines for the management of glucocorticoids during the peri-operative period for patients with adrenal insufficiency: Guidelines from the Association of Anaesthetists, the Royal College of Physicians and the Society for Endocrinology UK

These guidelines aim to ensure that patients with adrenal insufficiency are identified and adequately supplemented with glucocorticoids during the peri-operative period. There are two major categories of adrenal insufficiency. Primary adrenal insufficiency is due to diseases of the adrenal gland (failure of the hormone-producing gland), and secondary adrenal insufficiency is due to deficient adrenocorticotropin hormone secretion by the pituitary gland, or deficient corticotropin-releasing hormone secretion by the hypothalamus (failure of the regulatory centres). Patients taking physiological replacement doses of corticosteroids for either primary or secondary adrenal insufficiency are at significant risk of adrenal crisis and must be given stress doses of hydrocortisone during the peri-operative period. Many more patients other than those with adrenal and hypothalamic-pituitary causes of adrenal failure are receiving glucocorticoids as treatment for other medical conditions. Daily doses of prednisolone of 5 mg or greater in adults and 10-15 mg.m-2 hydrocortisone equivalent or greater in children may result in hypothalamo-pituitary-adrenal axis suppression if administered for 1 month or more by oral, inhaled, intranasal, intra-articular or topical routes; this chronic administration of glucocorticoids is the most common cause of secondary adrenal suppression, sometimes referred to as tertiary adrenal insufficiency. A pragmatic approach to adrenal replacement during major stress is required; considering the evidence available, blanket recommendations would not be appropriate, and it is essential for the clinician to remember that adrenal replacement dosing following surgical stress or illness is in addition to usual steroid treatment. Patients with previously undiagnosed adrenal insufficiency sometimes present for the first time following the stress of surgery. Anaesthetists must be familiar with the symptoms and signs of acute adrenal insufficiency so that inadequate supplementation or undiagnosed adrenal insufficiency can be detected and treated promptly. Delays may prove fatal

The comparative landscape of duplications in Heliconius melpomene and Heliconius cydno

Gene duplications can facilitate adaptation and may lead to interpopulation divergence, causing reproductive isolation. We used whole-genome resequencing data from 34 butterflies to detect duplications in two Heliconius species, Heliconius cydno and Heliconius melpomene. Taking advantage of three distinctive signals of duplication in short-read sequencing data, we identified 744 duplicated loci in H. cydno and H. melpomene and evaluated the accuracy of our approach using single-molecule sequencing. We have found that duplications overlap genes significantly less than expected at random in H. melpomene, consistent with the action of background selection against duplicates in functional regions of the genome. Duplicate loci that are highly differentiated between H. melpomene and H. cydno map to four different chromosomes. Four duplications were identified with a strong signal of divergent selection, including an odorant binding protein and another in close proximity with a known wing colour pattern locus that differs between the two species.AP is funded by a NERC studentship (PFZE/063). CDJ, SLB, JWD and SHM are funded by ERC grant SpeciationGenetics (Grant Number 339873). Pacific Biosciences sequencing was carried out by Karen Oliver in collaboration with Richard Durbin at the Sanger Institute, supported by European Research Council (ERC) Grant Number 339873, Wellcome Trust Grant Number 098051. We thank Jenny Barna and Stuart Rankin for computing support. Analyses were carried out using the Darwin Supercomputer of the University of Cambridge High Performance Computing Service (http://www.hpc.cam.ac.uk/), provided by Dell Inc. using Strategic Research Infrastructure Funding from the Higher Education Funding Council for England, and funding from the Science and Technology Facilities Council. We thank the editor and three anonymous reviewers for their comments that helped us to improve this manuscript

Dutch women with a low birth weight have an increased risk of myocardial infarction later in life: a case control study

BACKGROUND: To investigate whether low birth weight increases the risk of myocardial infarction later in life in women. METHODS: Nationwide population-based case-control study. Patients and controls: 152 patients with a first myocardial infarction before the age of 50 years in the Netherlands. 568 control women who had not had a myocardial infarction stratified for age, calendar year of the index event, and area of residence. RESULTS: Birth weight in the patient group was significantly lower than in control women (3214 vs. 3370 gram, mean difference -156.3 gram (95%CI -9.5 to -303.1). The odds ratio for myocardial infarction, associated with a birth weight lower than 3000 gram (20(th )percentile in controls) compared to higher than 3000 gram was 1.7 (95%CI 1.1–2.7), while the odds ratio for myocardial infarction for children with a low birth weight (< 2000 g) compared to a birth weight ≥ 2000 g was 2.4 (95%CI 1.0 – 5.8). Both figures did not change after adjustment for putative confounders (age, education level, body mass index, waist-hip ratio, hypertension, diabetes, hypercholesterolemia, smoking, and family history of cardiovascular disease). CONCLUSIONS: Low birth weight is associated with an increased risk of myocardial infarction before age of 50 in Dutch women

Inter-slice blood flow and magnetization transfer effects as a new simultaneous imaging strategy

The recent blood flow and magnetization transfer (MT) technique termed alternate ascending/ descending directional navigation (ALADDIN) achieves the contrast using interslice blood flow and MT effects with no separate preparation RF pulse, thereby potentially overcoming limitations of conventional methods. In this study, we examined the signal characteristics of ALADDIN as a simultaneous blood flow and MT imaging strategy, by comparing it with pseudo-continuous ASL (pCASL) and conventional MT asymmetry (MTA) methods, all of which had the same bSSFP readout. Bloch-equation simulations and experiments showed ALADDIN perfusion signals increased with flip angle, whereas MTA signals peaked at flip angle around 45°-60°. ALADDIN provided signals comparable to those of pCASL and conventional MTA methods emulating the first, second, and third prior slices of ALADDIN under the same scan conditions, suggesting ALADDIN signals to be superposition of signals from multiple labeling planes. The quantitative cerebral blood flow signals from a modified continuous ASL model overestimated the perfusion signals compared to those measured with a pulsed ASL method. Simultaneous mapping of blood flow, MTA, and MT ratio in the whole brain is feasible with ALADDIN within a clinically reasonable time, which can potentially help diagnosis of various diseases

Simpson's Paradox, Lord's Paradox, and Suppression Effects are the same phenomenon – the reversal paradox

This article discusses three statistical paradoxes that pervade epidemiological research: Simpson's paradox, Lord's paradox, and suppression. These paradoxes have important implications for the interpretation of evidence from observational studies. This article uses hypothetical scenarios to illustrate how the three paradoxes are different manifestations of one phenomenon – the reversal paradox – depending on whether the outcome and explanatory variables are categorical, continuous or a combination of both; this renders the issues and remedies for any one to be similar for all three. Although the three statistical paradoxes occur in different types of variables, they share the same characteristic: the association between two variables can be reversed, diminished, or enhanced when another variable is statistically controlled for. Understanding the concepts and theory behind these paradoxes provides insights into some controversial or contradictory research findings. These paradoxes show that prior knowledge and underlying causal theory play an important role in the statistical modelling of epidemiological data, where incorrect use of statistical models might produce consistent, replicable, yet erroneous results

Assessing connectivity between an overlying aquifer and a coal seam gas resource using methane isotopes, dissolved organic carbon and tritium

Coal seam gas (CSG) production can have an impact on groundwater quality and quantity in adjacent or overlying aquifers. To assess this impact we need to determine the background groundwater chemistry and to map geological pathways of hydraulic connectivity between aquifers. In south-east Queensland (Qld), Australia, a globally important CSG exploration and production province, we mapped hydraulic connectivity between the Walloon Coal Measures (WCM, the target formation for gas production) and the overlying Condamine River Alluvial Aquifer (CRAA), using groundwater methane (CH4) concentration and isotopic composition (δ13C-CH4), groundwater tritium (3H) and dissolved organic carbon (DOC) concentration. A continuous mobile CH4 survey adjacent to CSG developments was used to determine the source signature of CH4 derived from the WCM. Trends in groundwater δ13C-CH4 versus CH4 concentration, in association with DOC concentration and 3H analysis, identify locations where CH4 in the groundwater of the CRAA most likely originates from the WCM. The methodology is widely applicable in unconventional gas development regions worldwide for providing an early indicator of geological pathways of hydraulic connectivity