Long-term production of greenhouse gases from exposed continental shelves and oceanic islands during Quaternary glacial periods

The EPICA Dome C ice core in Antarctica has yielded an 800,000-year record of atmospheric carbon dioxide and methane composition from the Middle Pleistocene climatic transition to the present. In this record, there is a sharp increase in both carbon dioxide and methane immediately following the glacial maxima during the glacial periods which to date remains difficult to explain. We will present evidence to show that the exposed continental shelves and ...published_or_final_versio

Invariant Synthesis for Incomplete Verification Engines

We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs

Core components for effective infection prevention and control programmes: new WHO evidence-based recommendations

Abstract Health care-associated infections (HAI) are a major public health problem with a significant impact on morbidity, mortality and quality of life. They represent also an important economic burden to health systems worldwide. However, a large proportion of HAI are preventable through effective infection prevention and control (IPC) measures. Improvements in IPC at the national and facility level are critical for the successful containment of antimicrobial resistance and the prevention of HAI, including outbreaks of highly transmissible diseases through high quality care within the context of universal health coverage. Given the limited availability of IPC evidence-based guidance and standards, the World Health Organization (WHO) decided to prioritize the development of global recommendations on the core components of effective IPC programmes both at the national and acute health care facility level, based on systematic literature reviews and expert consensus. The aim of the guideline development process was to identify the evidence and evaluate its quality, consider patient values and preferences, resource implications, and the feasibility and acceptability of the recommendations. As a result, 11 recommendations and three good practice statements are presented here, including a summary of the supporting evidence, and form the substance of a new WHO IPC guideline

Challenges of Loss to Follow-up in Tuberculosis Research.

In studies evaluating methods for diagnosing tuberculosis (TB), follow-up to verify the presence or absence of active TB is crucial and high dropout rates may significantly affect the validity of the results. In a study assessing the diagnostic performance of the QuantiFERON®-TB Gold In-Tube test in TB suspect children in Tanzania, factors influencing patient adherence to attend follow-up examinations and reasons for not attending were examined. In 160 children who attended and 102 children who did not attend scheduled 2-month follow-up baseline health characteristics, demographic data and risk factors for not attending follow-up were determined. Qualitative interviews were used to understand patient and caretakers reasons for not returning for scheduled follow-up. Being treated for active tb in the dots program (OR: 4.14; 95% CI:1.99-8.62;p-value<0.001) and receiving money for the bus fare (OR:129; 95% CI 16->100;P-value<0.001) were positive predictors for attending follow-up at 2 months, and 21/85(25%) of children not attending scheduled follow-up had died. Interviews revealed that limited financial resources, i.e. lack of money for transportation and poor communication, were related to non-adherence. Patients lost to follow-up is a potential problem for TB research. Receiving money for transportation to the hospital and communication is crucial for adherence to follow-up conducted at a study facility. Strategies to ensure follow-up should be part of any study protocol

Camels and Climate Resilience: Adaptation in Northern Kenya

In the drylands of Africa, pastoralists have been facing new challenges, including those related to environmental shocks and stresses. In northern Kenya, under conditions of reduced rainfall and more frequent droughts, one response has been for pastoralists to focus increasingly on camel herding. Camels have started to be kept at higher altitudes and by people who rarely kept camels before. The development has been understood as a climate change adaptation strategy and as a means to improve climate resilience. Since 2003, development organizations have started to further the trend by distributing camels in the region. Up to now, little has been known about the nature of, reasons for, or ramifications of the increased reliance on camels. The paper addresses these questions and concludes that camels improve resilience in this dryland region, but only under certain climate change scenarios, and only for some groups.This study was funded by The Royal Geographical Society with Institute of British Geographers Thesiger-Oman Fellowship

Future therapeutic targets in rheumatoid arthritis?

Rheumatoid arthritis (RA) is a chronic inflammatory disease characterized by persistent joint inflammation. Without adequate treatment, patients with RA will develop joint deformity and progressive functional impairment. With the implementation of treat-to-target strategies and availability of biologic therapies, the outcomes for patients with RA have significantly improved. However, the unmet need in the treatment of RA remains high as some patients do not respond sufficiently to the currently available agents, remission is not always achieved and refractory disease is not uncommon. With better understanding of the pathophysiology of RA, new therapeutic approaches are emerging. Apart from more selective Janus kinase inhibition, there is a great interest in the granulocyte macrophage-colony stimulating factor pathway, Bruton's tyrosine kinase pathway, phosphoinositide-3-kinase pathway, neural stimulation and dendritic cell-based therapeutics. In this review, we will discuss the therapeutic potential of these novel approaches

Dynamic circadian protein-protein interaction networks predict temporal organization of cellular functions.

Essentially all biological processes depend on protein-protein interactions (PPIs). Timing of such interactions is crucial for regulatory function. Although circadian (~24-hour) clocks constitute fundamental cellular timing mechanisms regulating important physiological processes, PPI dynamics on this timescale are largely unknown. Here, we identified 109 novel PPIs among circadian clock proteins via a yeast-two-hybrid approach. Among them, the interaction of protein phosphatase 1 and CLOCK/BMAL1 was found to result in BMAL1 destabilization. We constructed a dynamic circadian PPI network predicting the PPI timing using circadian expression data. Systematic circadian phenotyping (RNAi and overexpression) suggests a crucial role for components involved in dynamic interactions. Systems analysis of a global dynamic network in liver revealed that interacting proteins are expressed at similar times likely to restrict regulatory interactions to specific phases. Moreover, we predict that circadian PPIs dynamically connect many important cellular processes (signal transduction, cell cycle, etc.) contributing to temporal organization of cellular physiology in an unprecedented manner

The First New Zealanders? An Alternative Interpretation of Stable Isotope Data from Wairau Bar, New Zealand.

PLOS ONE Volume 8 includes an article “The First New Zealanders: Patterns of Diet and Mobility Revealed through Isotope Analysis”. The paper proposes that burial groups within the settlement phase site of Wairau Bar differ in terms of dietary stable isotopes and 87Sr/86Sr. The authors argue this difference is probably due to one group being a founding population while the other burials are later. Here we review the work of Kinaston et al. and present an alternative analysis and interpretation of the isotopic data. Treating the isotope data independently from cultural and biological factors we find that sex best explains dietary variation. Our reassessment of 87Sr/86Sr confirms the authors original finding of high mobility of early New Zealanders but suggests a larger range of individuals should be considered ‘non-local’ on current evidence