Polymorphic Subtyping for Effect Analysis: The Semantics

We study an annotated type and effect system that integrates let-polymorphism, effects, and subtyping into an annotated type and effect system for a fragment of Concurrent ML. First a small step operational semantics is defined for concurrent ML and next the annotated type and effect system is proved semantically sound. This provides insights into the rule for generalisation in the annotated type and effect system

Evaluated kinetic and photochemical data for atmospheric chemistry: Volume VII-Criegee intermediates

This article, the seventh in the series, presents kinetic and photochemical data sheets evaluated by the IUPAC Task Group on Atmospheric Chemical Kinetic Data Evaluation. It covers an extension of the gas-phase and photochemical reactions related to Criegee intermediates previously published in Atmospheric Chemistry and Physics (ACP) in 2006 and implemented on the IUPAC website up to 2020. The article consists of an introduction, description of laboratory measurements, a discussion of rate coefficients for reactions of O3 with alkenes producing Criegee intermediates, rate coefficients of unimolecular and bimolecular reactions and photochemical data for reactions of Criegee intermediates, and an overview of the atmospheric chemistry of Criegee intermediates. Summary tables of the recommended kinetic and mechanistic parameters for the evaluated reactions are provided. Data sheets summarizing information upon which the recommendations are based are given in two files, provided as a Supplement to this article. © Author(s) 2020

Healthcare-associated infections in pediatric cancer patients: results of a prospective surveillance study from university hospitals in Germany and Switzerland

<p>Abstract</p> <p>Background</p> <p>Pediatric cancer patients face an increased risk of healthcare-associated infection (HAI). To date, no prospective multicenter studies have been published on this topic.</p> <p>Methods</p> <p>Prospective multicenter surveillance for HAI and nosocomial fever of unknown origin (nFUO) with specific case definitions and standardized surveillance methods.</p> <p>Results</p> <p>7 pediatric oncology centers (university facilities) participated from April 01, 2001 to August 31, 2005. During 54,824 days of inpatient surveillance, 727 HAIs and nFUOs were registered in 411 patients. Of these, 263 (36%) were HAIs in 181 patients, for an incidence density (ID) (number of events per 1,000 inpatient days) of 4.8 (95% CI 4.2 to 5.4; range 2.4 to 11.7; P < 0.001), and 464 (64%) were nFUO in 230 patients. Neutropenia at diagnosis correlated significantly with clinical severity of HAI. Of the 263 HAIs, 153 (58%) were bloodstream infections (BSI). Of the 138 laboratory-confirmed BSIs, 123 (89%) were associated with use of a long-term central venous catheter (CVAD), resulting in an overall ID of 2.8 per 1,000 utilization days (95% CI 2.3 to 3.3). The ID was significantly lower in Port-type than in Hickman-type CVADs. The death of 8 children was related to HAI, including six cases of aspergillosis. The attributable mortality was 3.0% without a significant association to neutropenia at time of NI diagnosis.</p> <p>Conclusion</p> <p>Our study confirmed that pediatric cancer patients are at an increased risk for specific HAIs. The prospective surveillance of HAI and comparison with cumulative multicenter results are indispensable for targeted prevention of these adverse events of anticancer treatment.</p

Global maps of soil temperature

Research in global change ecology relies heavily on global climatic grids derived from estimates of air temperature in open areas at around 2 m above the ground. These climatic grids do not reflect conditions below vegetation canopies and near the ground surface, where critical ecosystem functions occur and most terrestrial species reside. Here, we provide global maps of soil temperature and bioclimatic variables at a 1-km2 resolution for 0–5 and 5–15 cm soil depth. These maps were created by calculating the difference (i.e. offset) between in situ soil temperature measurements, based on time series from over 1200 1-km2 pixels (summarized from 8519 unique temperature sensors) across all the world\u27s major terrestrial biomes, and coarse-grained air temperature estimates from ERA5-Land (an atmospheric reanalysis by the European Centre for Medium-Range Weather Forecasts). We show that mean annual soil temperature differs markedly from the corresponding gridded air temperature, by up to 10°C (mean = 3.0 ± 2.1°C), with substantial variation across biomes and seasons. Over the year, soils in cold and/or dry biomes are substantially warmer (+3.6 ± 2.3°C) than gridded air temperature, whereas soils in warm and humid environments are on average slightly cooler (−0.7 ± 2.3°C). The observed substantial and biome-specific offsets emphasize that the projected impacts of climate and climate change on near-surface biodiversity and ecosystem functioning are inaccurately assessed when air rather than soil temperature is used, especially in cold environments. The global soil-related bioclimatic variables provided here are an important step forward for any application in ecology and related disciplines. Nevertheless, we highlight the need to fill remaining geographic gaps by collecting more in situ measurements of microclimate conditions to further enhance the spatiotemporal resolution of global soil temperature products for ecological applications

Long-term follow-up of orally administered diacetylmorphine substitution treatment

To assess the long-term course of the feasibility and safety of orally administered heroin [diacetylmorphine (DAM)] tablets in substitution treatment of severely addicted opioid users

Polymorphic subtyping for effect analysis: The dynamic semantics

We study an annotated type and effect system that integrates let-polymorphism, effects, and subtyping into an annotated type and effect system for a fragment of Concurrent ML. First a small-step operational semantics is defined and next the annotated type and effect system is proved semantically sound. This provides insights into the rule for generalisation in the annotated type and effect system

Polymorphic Subtyping for Effect Analysis: The Semantics

We study an annotated type and effect system that integrates let-polymorphism, effects, and subtyping into an annotated type and effect system for a fragment of Concurrent ML. First a small step operational semantics is defined for concurrent ML and next the annotated type and effect system is proved semantically sound. This provides insights into the rule for generalisation in the annotated type and effect system