Formal Derivation of Concurrent Garbage Collectors

Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specification, emphasizing the application of domain-independent design theories and transformations. A key contribution is an extension to the classical lattice-theoretic fixpoint theorems to account for the dynamics of concurrent mutation and collection.Comment: 38 pages, 21 figures. The short version of this paper appeared in the Proceedings of MPC 201

Phylogeny and expression analysis of C-reactive protein (CRP) and serum amyloid-P (SAP) like genes reveal two distinct groups in fish

This work was funded by British Society of Animal Science/Genesis Faraday to both SAM and SB Immune control of energy reallocation in fish and a BBSRC Research Experience Placements (2010).Peer reviewedPublisher PD

Developing adaptation packages for West African agriculture while ensuring congruence with climate and RAPs

In the semi-arid region of the Sahel, climate change is already affecting the farming systems and these impacts are expected to heighten in the near to mid-century. Given the complexities and conflicting drivers at play and the foreseeable negative consequences on the livelihoods of the majority of farmers, it is worthwhile designing relevant adaptation packages that will alleviate these effects. In this study, we envision to assess the implications of implementing two adaptation packages within the context of three West African farming systems specifically located in Ghana (Navrongo), Mali (Koutiala) and Senegal (Nioro). The first adaptation package is composed of heat and drought tolerant species along with an economic and policy level intervention through the delivery of subsidies to acquire improved varieties. The second pack builds on the first but adds a fertilizer component (splitting and timing to account for extreme events) and a policy variable in the form of index-based insurance adoption. The design process included interactions with a diverse set of stakeholders. The outcomes of these adaptation options on current and future agricultural systems will shed light on the projected adoption rates of climate adapted-systems and show how these various adaptations affect the impacts of climate change, keeping congruence with the relevant representative agricultural pathways. (Texte intégral

Psychology Bridging the Tasman: Science, Culture and Practice 2006

In the past decade, researchers in New Zealand, the United States, and the United Kingdom have devoted considerable effort to monitoring financial literacy among adolescents and adults and concluded that almost half the population of those countries exhibit serious deficiencies in their understanding of everyday financial matters. Two recent surveys by Australian financial institutions indicate that the situation is no different in Australia, prompting the federal government to call for a concerted effort from all sections of the professional community to address this growing societal problem. To explore the psychological predictors of financial literacy, the present study administered tests of numeracy, general fluid (Gf), and general crystallised (Gc) intelligence to a sample of 126 adults. Despite the fact that the test was not intended to be difficult, 39% of the participants failed to achieve a pass mark. The demographic variables, level of education and annual income, explained 26% of the variance in scores with the cognitive ability measures contributing a further 15%. We conclude by outlining directions for future research and some possible ways in which the discipline of psychology can contribute to this emerging societal challenge

Fractional flow reserve versus angiography for guidance of PCI in patients with multivessel coronary artery disease (FAME): 5-year follow-up of a randomised controlled trial

In the Fractional Flow Reserve Versus Angiography for Multivessel Evaluation (FAME) study, fractional flow reserve (FFR)-guided percutaneous coronary intervention (PCI) improved outcome compared with angiography-guided PCI for up to 2 years of follow-up. The aim in this study was to investigate whether the favourable clinical outcome with the FFR-guided PCI in the FAME study persisted over a 5-year follow-up

How are gender equality and human rights interventions included in sexual and reproductive health programmes and policies: A systematic review of existing research foci and gaps

The importance of promoting gender equality and human rights in sexual and reproductive health (SRH) programmes and policies has been affirmed in numerous international and regional agreements, most recently the 2030 Agenda for Sustainable Development. Given the critical role of research to determine what works, we aimed to identify research gaps as part of a broader priority setting exercise on integrating gender equality and human rights approaches in SRH programmes and policies. A systematic literature review of reviews was conducted to examine the question: what do we know about how research in the context of SRH programmes and policies has addressed gender equality and human rights and what are the current gaps in research. We searched three databases for reviews that addressed the research question, were published between 1994-2014, and met methodological standards for systematic reviews, qualitative meta-syntheses and other reviews of relevance to the research question. Additional grey literature was identified based on expert input. Articles were appraised by the primary author and examined by an expert panel. An abstraction and thematic analysis process was used to synthesize findings. Of the 3,073 abstracts identified, 56 articles were reviewed in full and 23 were included along with 10 from the grey literature. The majority focused on interventions addressing gender inequalities; very few reviews explicitly included human rights based interventions. Across both topics, weak study designs and use of intermediate outcome measures limited evidence quality. Further, there was limited evidence on interventions that addressed marginalized groups. Better quality studies, longer-term indicators, and measurement of unintended consequences are needed to better understand the impact of these types of interventions on SRH outcomes. Further efforts are needed to cover research on gender equality and human rights issues as they pertain to a broader set of SRH topics and populations.Scopu

The polycystic kidney disease 1 gene encodes a 14 kb transcript and lies within a duplicated region on chromosome 16

Autosomal dominant polycystic kidney disease (ADPKD) is a common genetic disorder that frequently results in renal fallure due to progressive cyst development. The major locus, PKD1, maps to 16p13.3. We identified a chromosome translocation associated with ADPKD that disrupts a gene (PBP) encoding a 14 kb transcript in the PKD1 candidate region. Further mutations of the PBP gene were found in PKD1 patients, two deletions (one a de novo event) and a splicing defect, confirming that PBP is the PKD1 gene. This gene is located adjacent to the TSC2 locus in a genomic region that is reiterated more proximally on 16p. The duplicate area encodes three transcripts substantially homologous to the PKD1 transcript. Partial sequence analysis of the PKD1 transcript shows that it encodes a novel protein whose function is at present unknown