A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Dissimilar responses of fungal and bacterial communities to soil transplantation simulating abrupt climate changes.

Both fungi and bacteria play essential roles in regulating soil carbon cycling. To predict future carbon stability, it is imperative to understand their responses to environmental changes, which is subject to large uncertainty. As current global warming is causing range shifts toward higher latitudes, we conducted three reciprocal soil transplantation experiments over large transects in 2005 to simulate abrupt climate changes. Six years after soil transplantation, fungal biomass of transplanted soils showed a general pattern of changes from donor sites to destination, which were more obvious in bare fallow soils than in maize cropped soils. Strikingly, fungal community compositions were clustered by sites, demonstrating that fungi of transplanted soils acclimatized to the destination environment. Several fungal taxa displayed sharp changes in relative abundance, including Podospora, Chaetomium, Mortierella and Phialemonium. In contrast, bacterial communities remained largely unchanged. Consistent with the important role of fungi in affecting soil carbon cycling, 8.1%-10.0% of fungal genes encoding carbon-decomposing enzymes were significantly (p < 0.01) increased as compared with those from bacteria (5.7%-8.4%). To explain these observations, we found that fungal occupancy across samples was mainly determined by annual average air temperature and rainfall, whereas bacterial occupancy was more closely related to soil conditions, which remained stable 6 years after soil transplantation. Together, these results demonstrate dissimilar response patterns and resource partitioning between fungi and bacteria, which may have considerable consequences for ecosystem-scale carbon cycling

Report from the fourth international consensus meeting to harmonize core outcome measures for atopic eczema/dermatitis clinical trials (HOME initiative)

This article is a report of the fourth meeting of the Harmonising Outcome Measures for Eczema (HOME) initiative held in Malmö, Sweden on 23–24 April 2015 (HOME IV). The aim of the meeting was to achieve consensus over the preferred outcome instruments for measuring patient-reported symptoms and quality of life for the HOME core outcome set for atopic eczema (AE). Following presentations, which included data from systematic reviews, consensus discussions were held in a mixture of whole group and small group discussions. Small groups were allocated a priori to ensure representation of different stakeholders and countries. Decisions were voted on using electronic keypads. For the patient-reported symptoms, the group agreed by vote that itch, sleep loss, dryness, redness/inflamed skin and irritated skin were all considered essential aspects of AE symptoms. Many instruments for capturing patient-reported symptoms were discussed [including the Patient-Oriented SCOring Atopic Dermatitis index, Patient-Oriented Eczema Measure (POEM), Self-Administered Eczema Area and Severity Index, Itch Severity Scale, Atopic Dermatitis Quickscore and the Nottingham Eczema Severity Score] and, by consensus, POEM was selected as the preferred instrument to measure patient-reported symptoms. Further work is needed to determine the reliability and measurement error of POEM. Further work is also required to establish the importance of pain/soreness and the importance of collecting information regarding the intensity of symptoms in addition to their frequency. Much of the discussion on quality of life concerned the Dermatology Life Quality Index and Quality of Life Index for Atopic Dermatitis; however, consensus on a preferred instrument for measuring this domain could not be reached. In summary, POEM is recommended as the HOME core outcome instrument for measuring AE symptoms

Tree diversity and species identity effects on soil fungi, protists and animals are context dependent

Plant species richness and the presence of certain influential species (sampling effect) drive the stability and functionality of ecosystems as well as primary production and biomass of consumers. However, little is known about these floristic effects on richness and community composition of soil biota in forest habitats owing to methodological constraints. We developed a DNA metabarcoding approach to identify the major eukaryote groups directly from soil with roughly species-level resolution. Using this method, we examined the effects of tree diversity and individual tree species on soil microbial biomass and taxonomic richness of soil biota in two experimental study systems in Finland and Estonia and accounted for edaphic variables and spatial autocorrelation. Our analyses revealed that the effects of tree diversity and individual species on soil biota are largely context dependent. Multiple regression and structural equation modelling suggested that biomass, soil pH, nutrients and tree species directly affect richness of different taxonomic groups. The community composition of most soil organisms was strongly correlated due to similar response to environmental predictors rather than causal relationships. On a local scale, soil resources and tree species have stronger effect on diversity of soil biota than tree species richness per se

Contrasting distribution patterns between aquatic and terrestrial Phytophthora species along a climatic gradient are linked to functional traits

Diversity of microbial organisms is linked to global climatic gradients. The genus Phytophthora includes both aquatic and terrestrial plant pathogenic species that display a large variation of functional traits. The extent to which the physical environment (water or soil) modulates the interaction of microorganisms with climate is unknown. Here, we explored the main environmental drivers of diversity and functional trait composition of Phytophthora communities. Communities were obtained by a novel metabarcoding setup based on PacBio sequencing of river filtrates in 96 river sites along a geographical gradient. Species were classified as terrestrial or aquatic based on their phylogenetic clade. Overall, terrestrial and aquatic species showed contrasting patterns of diversity. For terrestrial species, precipitation was a stronger driver than temperature, and diversity and functional diversity decreased with decreasing temperature and precipitation. In cold and dry areas, the dominant species formed resistant structures and had a low optimum temperature. By contrast, for aquatic species, temperature and water chemistry were the strongest drivers, and diversity increased with decreasing temperature and precipitation. Within the same area, environmental filtering affected terrestrial species more strongly than aquatic species (20% versus 3% of the studied communities, respectively). Our results highlight the importance of functional traits and the physical environment in which microorganisms develop their life cycle when predicting their distribution under changing climatic conditions. Temperature and rainfall may be buffered differently by water and soil, and thus pose contrasting constrains to microbial assemblies.This research was funded by the European BiodivERsA project RESIPATH and the Swedish FORMAS project 215- 2012-1255. We acknowledge SciLifeLab in Uppsala for the sequencing, and the kind help of Ines Prieto Ruiz during the field work, and Silvia Giménez Santamarina during the laboratory work. We acknowledge the input of three anonymous referees who made valuable comments on an earlier version of this manuscript

Holocene sea level fluctuations and coastal evolution in the central Algarve (southern Portugal)

In Armação de Pêra Bay, southern Portugal, environmental changes during the Holocene can be interpreted based on the morphological and sedimentological similarities between older geomorphic features (cemented beach and dune rocks) and present coastal features. Using knowledge of the present beach and dune processes, we propose a two-step model for the evolution of Armação de Pêra Bay. First, during the rapid sea level rise between about 8800 and 6600 yr cal BP, the bay changed from a positive to a negative budget littoral cell and transgressive dunes formed, favoured by drought conditions. At about 5000 yr cal BP, during a sea level maximum, beach width was less than the critical fetch and dunes stabilized and underwent cementation during the wetter Atlantic climatic event. The second phase of dune accumulation started at about 3200 yr cal BP, due to a regression of sea level during which the bay changed back to a positive budget littoral cell in which beach width was greater than the critical fetch. Currently, the beach width is less than the critical fetch, dunes are inactive, and the sedimentary budget is negative due to sediment storage in local river systems.Fundação para a Ciência e a Tecnologia. FEDER, and OE (Project POCTI/CTA/34162/2000

Prasugrel versus Clopidogrel for Acute Coronary Syndromes without Revascularization

peer reviewedBACKGROUND: The effect of intensified platelet inhibition for patients with unstable angina or myocardial infarction without ST-segment elevation who do not undergo revascularization has not been delineated. METHODS: In this double-blind, randomized trial, in a primary analysis involving 7243 patients under the age of 75 years receiving aspirin, we evaluated up to 30 months of treatment with prasugrel (10 mg daily) versus clopidogrel (75 mg daily). In a secondary analysis involving 2083 patients 75 years of age or older, we evaluated 5 mg of prasugrel versus 75 mg of clopidogrel. RESULTS: At a median follow-up of 17 months, the primary end point of death from cardiovascular causes, myocardial infarction, or stroke among patients under the age of 75 years occurred in 13.9% of the prasugrel group and 16.0% of the clopidogrel group (hazard ratio in the prasugre

Hypofibrinolysis in diabetes: a therapeutic target for the reduction of cardiovascular risk

An enhanced thrombotic environment and premature atherosclerosis are key factors for the increased cardiovascular risk in diabetes. The occlusive vascular thrombus, formed secondary to interactions between platelets and coagulation proteins, is composed of a skeleton of fibrin fibres with cellular elements embedded in this network. Diabetes is characterised by quantitative and qualitative changes in coagulation proteins, which collectively increase resistance to fibrinolysis, consequently augmenting thrombosis risk. Current long-term therapies to prevent arterial occlusion in diabetes are focussed on anti-platelet agents, a strategy that fails to address the contribution of coagulation proteins to the enhanced thrombotic milieu. Moreover, antiplatelet treatment is associated with bleeding complications, particularly with newer agents and more aggressive combination therapies, questioning the safety of this approach. Therefore, to safely control thrombosis risk in diabetes, an alternative approach is required with the fibrin network representing a credible therapeutic target. In the current review, we address diabetes-specific mechanistic pathways responsible for hypofibrinolysis including the role of clot structure, defects in the fibrinolytic system and increased incorporation of anti-fibrinolytic proteins into the clot. Future anti-thrombotic therapeutic options are discussed with special emphasis on the potential advantages of modulating incorporation of the anti-fibrinolytic proteins into fibrin networks. This latter approach carries theoretical advantages, including specificity for diabetes, ability to target a particular protein with a possible favourable risk of bleeding. The development of alternative treatment strategies to better control residual thrombosis risk in diabetes will help to reduce vascular events, which remain the main cause of mortality in this condition