Software fault-freeness and reliability predictions

Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning - about evidence of correctness and about probabilities of certain failures -are rarely brought together explicitly. The desirability of using claims of correctness has been argued by many authors, but not been taken up in practice. We address how to combine evidence concerning probability of failure together with evidence pertaining to likelihood of fault-freeness, in a Bayesian framework. We present novel results to make this approach practical, by guaranteeing reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems

General practitioners' knowledge, attitudes and views of providing preconception care: a qualitative investigation

Background: Preconception health and care aims to reduce parental risk factors before pregnancy through health promotion and intervention. Little is known about the preconception interventions that general practitioners (GPs) provide. The aim of this study was to examine GPs’ knowledge, attitudes, and views towards preconception health and care in the general practice setting. Methods: As part of a large mixed-methods study to explore preconception care in England, we surveyed 1,173 women attending maternity units and GP services in London and interviewed women and health professionals. Seven GPs were interviewed, and the framework analysis method was used to analyse the data. Findings: Seven themes emerged from the data: Knowledge of preconception guidelines; Content of preconception advice; Who should deliver preconception care?; Targeting provision of preconception care; Preconception health for men; Barriers to providing preconception care; and Ways of improving preconception care. A lack of knowledge and demand for preconception care was found, and although reaching women before they are pregnant was seen as important it was not a responsibility that could be adequately met by GPs. Specialist preconception services were not provided within GP surgeries, and care was mainly targeted at women with medical conditions. GPs described diverse patient groups with very different health needs. Conclusion: Implementation of preconception policy and guidelines is required to engage women and men and to develop proactive delivery of care with the potential to improve pregnancy and neonatal outcomes. The role of education and of nurses in improving preconception health was acknowledged but remains under-developed

Quantifying landscape-level methane fluxes in subarctic Finland using a multiscale approach

Journal ArticleQuantifying landscape-scale methane (CH4) fluxes from boreal and arctic regions, and determining how they are controlled, is critical for predicting the magnitude of any CH4 emission feedback to climate change. Furthermore, there remains uncertainty regarding the relative importance of small areas of strong methanogenic activity, vs. larger areas with net CH4 uptake, in controlling landscape-level fluxes. We measured CH4 fluxes from multiple microtopographical subunits (sedge-dominated lawns, interhummocks and hummocks) within an aapa mire in subarctic Finland, as well as in drier ecosystems present in the wider landscape, lichen heath and mountain birch forest. An intercomparison was carried out between fluxes measured using static chambers, up-scaled using a high-resolution landcover map derived from aerial photography and eddy covariance. Strong agreement was observed between the two methodologies, with emission rates greatest in lawns. CH4 fluxes from lawns were strongly related to seasonal fluctuations in temperature, but their floating nature meant that water-table depth was not a key factor in controlling CH4 release. In contrast, chamber measurements identified net CH4 uptake in birch forest soils. An intercomparison between the aerial photography and satellite remote sensing demonstrated that quantifying the distribution of the key CH4 emitting and consuming plant communities was possible from satellite, allowing fluxes to be scaled up to a 100 km2 area. For the full growing season (May to October), ~ 1.1-1.4 g CH4 m-2 was released across the 100 km2 area. This was based on up-scaled lawn emissions of 1.2-1.5 g CH4 m-2, vs. an up-scaled uptake of 0.07-0.15 g CH4 m-2 by the wider landscape. Given the strong temperature sensitivity of the dominant lawn fluxes, and the fact that lawns are unlikely to dry out, climate warming may substantially increase CH4 emissions in northern Finland, and in aapa mire regions in general.This work was carried out within the Natural Environment Research Council (NERC) funded Arctic Biosphere Atmosphere Coupling at Multiple Scales (ABACUS) project (a contribution to International Polar Year 2007_2008) plus NERC small grant NE/F010222/1 awarded to RB and BH. We are grateful for the support of the staff at the Kevo Subarctic Research Institute, to David Sayer for operation and maintenance of the eddy covariance apparatus, and to Lorna English for helping with the analysis of the CH4 samples. We also thank the NERC Field Spectroscopy Facility for support in ground data collection for the remote sensing analysis. Finally, we wish to express our gratitude to two anonymous reviewers whose comments and suggestions substantially improved the manuscript

Mapping interactions between the sustainable development goals: lessons learned and ways forward

Pursuing integrated research and decision-making to advance action on the sustainable development goals (SDGs) fundamentally depends on understanding interactions between the SDGs, both negative ones (“trade-offs”) and positive ones (“co-benefits”). This quest, triggered by the 2030 Agenda, has however pointed to a gap in current research and policy analysis regarding how to think systematically about interactions across the SDGs. This paper synthesizes experiences and insights from the application of a new conceptual framework for mapping and assessing SDG interactions using a defined typology and characterization approach. Drawing on results from a major international research study applied to the SDGs on health, energy and the ocean, it analyses how interactions depend on key factors such as geographical context, resource endowments, time horizon and governance. The paper discusses the future potential, barriers and opportunities for applying the approach in scientific research, in policy making and in bridging the two through a global SDG Interactions Knowledge Platform as a key mechanism for assembling, systematizing and aggregating knowledge on interactions

DNA-binding protein prediction using plant specific support vector machines:validation and application of a new genome annotation tool

There are currently 151 plants with draft genomes available but levels of functional annotation for putative protein products are low. Therefore, accurate computational predictions are essential to annotate genomes in the first instance, and to provide focus for the more costly and time consuming functional assays that follow. DNA-binding proteins are an important class of proteins that require annotation, but current computational methods are not applicable for genome wide predictions in plant species. Here, we explore the use of species and lineage specific models for the prediction of DNA-binding proteins in plants. We show that a species specific support vector machine model based on Arabidopsis sequence data is more accurate (accuracy 81%) than a generic model (74%), and based on this we develop a plant specific model for predicting DNA-binding proteins. We apply this model to the tomato proteome and demonstrate its ability to perform accurate high-throughput prediction of DNA-binding proteins. In doing so, we have annotated 36 currently uncharacterised proteins by assigning a putative DNA-binding function. Our model is publically available and we propose it be used in combination with existing tools to help increase annotation levels of DNA-binding proteins encoded in plant genomes

Fourier transform for quantum DD-modules via the punctured torus mapping class group

We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid group extending the well-known representations of the planar braid group attached to $H$. We show that the elliptic double is the universal source of such representations. We recover the representations of the punctured torus braid group obtained in arXiv:0805.2766, and hence construct a homomorphism to the Heisenberg double $D_H$, which is an isomorphism if $H$ is factorizable. The universal property of $E_H$ endows it with an action by algebra automorphisms of the mapping class group $\widetilde{SL_2(\mathbb{Z})}$ of the punctured torus. One such automorphism we call the quantum Fourier transform; we show that when $H=U_q(\mathfrak{g})$, the quantum Fourier transform degenerates to the classical Fourier transform on $D(\mathfrak{g})$ as $q\to 1$.Comment: 12 pages, 1 figure. Final version, to appear in Quantum Topolog

Transformational capacity and the influence of place and identity

Climate change is altering the productivity of natural resources with far-reaching implications for those who depend on them. Resource-dependent industries and communities need the capacity to adapt to a range of climate risks if they are to remain viable. In some instances, the scale and nature of the likely impacts means that transformations of function or structure will be required. Transformations represent a switch to a distinct new system where a different suite of factors become important in the design and implementation of response strategies. There is a critical gap in knowledge on understanding transformational capacity and its influences. On the basis of current knowledge on adaptive capacity we propose four foundations for measuring transformational capacity: (1)how risks and uncertainty are managed, (2)the extent of skills in planning, learning and reorganizing, (3)the level of financial and psychological flexibility to undertake change and (4)the willingness to undertake change. We test the influence of place attachment and occupational identity on transformational capacity using the Australian peanut industry, which is presently assessing significant structural change in response to predicted climatic changes. Survey data from 88% of peanut farmers in Queensland show a strong negative correlation between transformational capacity and both place attachment and occupational attachment, suggesting that whilst these factors may be important positive influences on the capacity to adapt to incremental change, they act as barriers to transformational change

The Rationale and Design of the Reducing Pathology in Alzheimer's Disease through Angiotensin TaRgeting (RADAR) Trial

BACKGROUND: Anti-hypertensives that modify the renin angiotensin system may reduce Alzheimer's disease (AD) pathology and reduce the rate of disease progression. OBJECTIVE: To conduct a phase II, two arm, double-blind, placebo-controlled, randomized trial of losartan to test the efficacy of Reducing pathology in Alzheimer's Disease through Angiotensin TaRgeting (RADAR). METHODS: Men and women aged at least 55 years with mild-to-moderate AD will be randomly allocated 100 mg encapsulated generic losartan or placebo once daily for 12 months after successful completion of a 2-week open-label phase and 2-week placebo washout to establish drug tolerability. 228 participants will provide at least 182 subjects with final assessments to provide 84% power to detect a 25% difference in atrophy rate (therapeutic benefit) change over 12 months at an alpha level of 0.05. We will use intention-to-treat analysis, estimating between-group differences in outcomes derived from appropriate (linear or logistic) multivariable regression models adjusting for minimization variables. RESULTS: The primary outcome will be rate of whole brain atrophy as a surrogate measure of disease progression. Secondary outcomes will include changes to 1) white matter hyperintensity volume and cerebral blood flow; 2) performance on a standard series of assessments of memory, cognitive function, activities of daily living, and quality of life. Major assessments (for all outcomes) and relevant safety monitoring of blood pressure and bloods will be at baseline and 12 months. Additional cognitive assessment will also be conducted at 6 months along with safety blood pressure and blood monitoring. Monitoring of blood pressure, bloods, and self-reported side effects will occur during the open-label phase and during the majority of the post-randomization dispensing visits. CONCLUSION: This study will identify whether losartan is efficacious in the treatment of AD and whether definitive Phase III trials are warranted

Landholder Typologies Used in the Development of Natural Resource Management Programs in Australia - A Review

This article reviews the literature on the identification of landholder typologies that can be used to assist the design and delivery of natural resource management (NRM) programs. Australian researchers have developed typologies of landholders based on a variety of criteria. The rationale for developing landholder typologies is first discussed before reviewing the various approaches that have been used by Australian researchers and comparing their findings. The methods employed have differed according to the theories used to guide the research and the 'clients' or 'sponsors' of the research. The landholder types they describe, however, have a number of similarities. These similarities suggest that the studies have identified the same fundamental divisions in the rural community, and that it may be possible to integrate landholder typologies for a variety of NRM and non-NRM applications. It is concluded that further research could usefully investigate whether concepts of social class or sub-cultures may be appropriate to define and describe the variations in landholder types