Characterising strongly normalising intuitionistic sequent terms

This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the typing system is reduced to that of a well known typing system with intersection types for the ordinary lambda-calculus. The completeness of the typing system is obtained from subject expansion at root position. This paper's sequent term calculus integrates smoothly the lambda-terms with generalised application or explicit substitution. Strong normalisability of these terms as sequent terms characterises their typeability in certain "natural'' typing systems with intersection types. The latter are in the natural deduction format, like systems previously studied by Matthes and Lengrand et al., except that they do not contain any extra, exceptional rules for typing generalised applications or substitution

The influence of sex, parasitism, and ontogeny on the physiological response of European eels (Anguilla anguilla) to an abiotic stressor

Migration of adult European eels (Anguilla anguilla) from freshwater feeding grounds to oceanic spawning grounds is an energetically demanding process and is accompanied by dramatic physiological and behavioral changes. Humans have altered the aquatic environment (e.g., dams) and made an inherently challenging migration even more difficult; human activity is regarded as the primary driver of the collapse in eel populations. The neuroendocrine stress response is central in coping with these challenging conditions, yet little is known about how various biotic factors such as sex, parasites, and ontogeny influence (singly and via interactions) the stress response of eels. In this study, mixed-effects and linear models were used to quantify the influence of sex, parasitism (Anguillicola crassus), life stage (yellow and silver eels), and silvering stage on the stress response of eels when exposed to a standardized handling stressor. The physiological response of eels to a standardized abiotic stressor (netting confinement in air) was quantified through measurements of blood glucose and plasma cortisol. The relationships between biotic factors and the activity of gill Na+/K+-ATPase was also examined. Analyses revealed that in some instances a biotic factor acted alone while in other cases several factors interacted to influence the stress response. Blood glucose concentrations increased after exposure to the standardized stressor and remained elevated after 4 h. Variation in plasma cortisol concentrations after exposure to the stressor were found to be time dependent, which was exacerbated by life stage and parasitism condition. Males and nonparasitized silver eels had the highest Na+/K+-ATPase activity. Silvering stage was strongly positively correlated with Na+/K+-ATPase activity in female eels. Collectively, these findings confirm that the factors mediating stress responsiveness in fish are complicated and that aspects of inherent biotic variation cannot be ignored

Secular Trends in Nosocomial Bloodstream Infections: Antibiotic-Resistant Bacteria Increase the Total Burden of Infection

In this international study, we demonstrate that increasing rates of nosocomial bloodstream infections caused by antibiotic-resistant bacteria do not replace infections caused by antibiotic-susceptible bacteria, but occur in addition to these infections, thereby increasing the total burden of diseas

VIS: the visible imager for Euclid

Euclid-VIS is the large format visible imager for the ESA Euclid space mission in their Cosmic Vision program, scheduled for launch in 2020. Together with the near infrared imaging within the NISP instrument, it forms the basis of the weak lensing measurements of Euclid. VIS will image in a single r+i+z band from 550-900 nm over a field of view of ~0.5 deg2. By combining 4 exposures with a total of 2260 sec, VIS will reach to V=24.5 (10σ) for sources with extent ~0.3 arcsec. The image sampling is 0.1 arcsec. VIS will provide deep imaging with a tightly controlled and stable point spread function (PSF) over a wide survey area of 15000 deg2 to measure the cosmic shear from nearly 1.5 billion galaxies to high levels of accuracy, from which the cosmological parameters will be measured. In addition, VIS will also provide a legacy dataset with an unprecedented combination of spatial resolution, depth and area covering most of the extra-Galactic sky. Here we will present the results of the study carried out by the Euclid Consortium during the period up to the Preliminary Design Review. © (2014) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only

Doing Gender Online : Digital Spaces for Identity Politics

Peer reviewe

Influence of experimental set-up and methodology for measurements of metabolic rates and critical swimming speed in Atlantic salmon Salmo salar

In this study, swim‐tunnel respirometry was performed on Atlantic salmon Salmo salar post‐smolts in a 90 l respirometer on individuals and compared with groups or individuals of similar sizes tested in a 1905 l respirometer, to determine if differences between set‐ups and protocols exist. Standard metabolic rate (SMR) derived from the lowest oxygen uptake rate cycles over a 20 h period was statistically similar to SMR derived from back extrapolating to zero swim speed. However, maximum metabolic rate (MMR) estimates varied significantly between swimming at maximum speed, following an exhaustive chase protocol and during confinement stress. Most notably, the mean (±SE) MMR was 511 ± 15 mg O2 kg−1 h−1 in the swim test which was 52% higher compared with 337 ± 9 mg O2 kg−1 in the chase protocol, showing that the latter approach causes a substantial underestimation. Performing group respirometry in the larger swim tunnel provided statistically similar estimates of SMR and MMR as for individual fish tested in the smaller tunnel. While we hypothesised a larger swim section and swimming in groups would improve swimming performance, Ucrit was statistically similar between both set‐ups and statistically similar between swimming alone v. swimming in groups in the larger set‐up, suggesting that this species does not benefit hydrodynamically from swimming in a school in these conditions. Different methods and set‐ups have their own respective limitations and advantages depending on the questions being addressed, the time available, the number of replicates required and if supplementary samplings such as blood or gill tissues are needed. Hence, method choice should be carefully considered when planning experiments and when comparing previous studies.publishedVersio

Risk perception and vulnerability of value: a study in the context of commercial property sector

© 2016 The Author(s). Published by Vilnius Gediminas Technical University (VGTU) Press, and Taylor & Francis. The research was developed linking the impact of flood risk on utility, desirability and marketability related to vulnerability of commercial property value. Likert style questionnaire survey was conducted to obtain data from flood affected and un-affected respondents across different designated flood risk zones on key business and perception variables among two groups of business property holders in England. The responses were analysed through a spatial vulnerability model to illustrate the distribution of the vulnerability of value of properties among flood plain business holders on a GIS platform. Majority of respondents perceived that utility of properties may be hampered by flooding and subsequently have an impact on value for property at risk. Those with flood experience gave greater weight to their specific business needs such as the prime location and expected income level than those without flood experience. The implication of the study lies in understanding that flood risk perceptions can shape actions of people at risk towards future increase in resilience having strategic impact on value of property saleability in the future