Branch-coverage testability transformation for unstructured programs

Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation of test data, but all of these are hindered by the presence of unstructured control flow. This paper addresses the problem using testability transformation. Testability transformation does not preserve the traditional meaning of the program, rather it deals with preserving test-adequate sets of input data. This requires new equivalence relations which, in turn, entail novel proof obligations. The paper illustrates this using the branch coverage adequacy criterion and develops a branch adequacy equivalence relation and a testability transformation for restructuring. It then presents a proof that the transformation preserves branch adequacy

ConSUS: A light-weight program conditioner

Program conditioning consists of identifying and removing a set of statements which cannot be executed when a condition of interest holds at some point in a program. It has been applied to problems in maintenance, testing, re-use and re-engineering. All current approaches to program conditioning rely upon both symbolic execution and reasoning about symbolic predicates. The reasoning can be performed by a ‘heavy duty’ theorem prover but this may impose unrealistic performance constraints. This paper reports on a lightweight approach to theorem proving using the FermaT Simplify decision procedure. This is used as a component to ConSUS, a program conditioning system for the Wide Spectrum Language WSL. The paper describes the symbolic execution algorithm used by ConSUS, which prunes as it conditions. The paper also provides empirical evidence that conditioning produces a significant reduction in program size and, although exponential in the worst case, the conditioning system has low degree polynomial behaviour in many cases, thereby making it scalable to unit level applications of program conditioning

Developing predictive insight into changing water systems: use-inspired hydrologic science for the Anthropocene

Globally, many different kinds of water resources management issues call for policy- and infrastructure-based responses. Yet responsible decision-making about water resources management raises a fundamental challenge for hydrologists: making predictions about water resources on decadal - to century-long timescales. Obtaining insight into hydrologic futures over 100 yr timescales forces researchers to address internal and exogenous changes in the properties of hydrologic systems. To do this, new hydrologic research must identify, describe and model feedbacks between water and other changing, coupled environmental subsystems. These models must be constrained to yield useful insights, despite the many likely sources of uncertainty in their predictions. Chief among these uncertainties are the impacts of the increasing role of human intervention in the global water cycle – a defining challenge for hydrology in the Anthropocene. Here we present a research agenda that proposes a suite of strategies to address these challenges from the perspectives of hydrologic science research. The research agenda focuses on the development of co-evolutionary hydrologic modeling to explore coupling across systems, and to address the implications of this coupling on the long-time behavior of the coupled systems. Three research directions supportthe development of these models: hydrologic reconstruction, comparative hydrology and model-data learning. These strategies focus on understanding hydrologic processes and feedbacks over long timescales, across many locations, and through strategic coupling of observational and model data in specific systems. We highlight the value of use-inspired and team-based science that is motivated by real-world hydrologic problems but targets improvements in fundamental understanding to support decision-making and management. Fully realizing the potential of this approach will ultimately require detailed integration of social science and physical science understanding of water systems, and is a priority for the developing field of sociohydrology

PageRank without hyperlinks: Reranking with PubMed related article networks for biomedical text retrieval

Graph analysis algorithms such as PageRank and HITS have been successful in Web environments because they are able to extract important inter-document relationships from manually-created hyperlinks. We consider the application of these algorithms to related document networks comprised of automatically-generated content-similarity links. Specifically, this work tackles the problem of document retrieval in the biomedical domain, in the context of the PubMed search engine. A series of reranking experiments demonstrate that incorporating evidence extracted from link structure yields significant improvements in terms of standard ranked retrieval metrics. These results extend the applicability of link analysis algorithms to different environments

Surface and Temporal Biosignatures

Recent discoveries of potentially habitable exoplanets have ignited the prospect of spectroscopic investigations of exoplanet surfaces and atmospheres for signs of life. This chapter provides an overview of potential surface and temporal exoplanet biosignatures, reviewing Earth analogues and proposed applications based on observations and models. The vegetation red-edge (VRE) remains the most well-studied surface biosignature. Extensions of the VRE, spectral "edges" produced in part by photosynthetic or nonphotosynthetic pigments, may likewise present potential evidence of life. Polarization signatures have the capacity to discriminate between biotic and abiotic "edge" features in the face of false positives from band-gap generating material. Temporal biosignatures -- modulations in measurable quantities such as gas abundances (e.g., CO2), surface features, or emission of light (e.g., fluorescence, bioluminescence) that can be directly linked to the actions of a biosphere -- are in general less well studied than surface or gaseous biosignatures. However, remote observations of Earth's biosphere nonetheless provide proofs of concept for these techniques and are reviewed here. Surface and temporal biosignatures provide complementary information to gaseous biosignatures, and while likely more challenging to observe, would contribute information inaccessible from study of the time-averaged atmospheric composition alone.Comment: 26 pages, 9 figures, review to appear in Handbook of Exoplanets. Fixed figure conversion error

Cytogerontology since 1881: A reappraisal of August Weismann and a review of modern progress

Cytogerontology, the science of cellular ageing, originated in 1881 with the prediction by August Weismann that the somatic cells of higher animals have limited division potential. Weismann's prediction was derived by considering the role of natural selection in regulating the duration of an organism's life. For various reasons, Weismann's ideas on ageing fell into neglect following his death in 1914, and cytogerontology has only reappeared as a major research area following the demonstration by Hayflick and Moorhead in the early 1960s that diploid human fibroblasts are restricted to a finite number of divisions in vitro. In this review we give a detailed account of Weismann's theory, and we reveal that his ideas were both more extensive in their scope and more pertinent to current research than is generally recognised. We also appraise the progress which has been made over the past hundred years in investigating the causes of ageing, with particular emphasis being given to (i) the evolution of ageing, and (ii) ageing at the cellular level. We critically assess the current state of knowledge in these areas and recommend a series of points as primary targets for future research

Learning to live with Parkinson’s disease in the family unit:an interpretative phenomenological analysis of well-being

We investigated family members’ lived experience of Parkinson’s disease (PD) aiming to investigate opportunities for well-being. A lifeworld-led approach to healthcare was adopted. Interpretative phenomenological analysis was used to explore in-depth interviews with people living with PD and their partners. The analysis generated four themes: It’s more than just an illness revealed the existential challenge of diagnosis; Like a bird with a broken wing emphasizing the need to adapt to increasing immobility through embodied agency; Being together with PD exploring the kinship within couples and belonging experienced through support groups; and Carpe diem! illuminated the significance of time and fractured future orientation created by diagnosis. Findings were interpreted using an existential-phenomenological theory of well-being. We highlighted how partners shared the impact of PD in their own ontological challenges. Further research with different types of families and in different situations is required to identify services required to facilitate the process of learning to live with PD. Care and support for the family unit needs to provide emotional support to manage threats to identity and agency alongside problem-solving for bodily changes. Adopting a lifeworld-led healthcare approach would increase opportunities for well-being within the PD illness journey

Molecular design and control of fullerene-based bi-thermoelectric materials

Molecular junctions are a versatile test bed for investigating nanoscale thermoelectricity and contribute to the design of new cost-effective environmentally friendly organic thermoelectric materials. It was suggested that transport resonances associated with discrete molecular levels could play a key role in thermoelectric performance, but no direct experimental evidence has been reported. Here we study single-molecule junctions of the endohedral fullerene Sc3N@C8 connected to gold electrodes using a scanning tunnelling microscope. We find that the magnitude and sign of the thermopower depend strongly on the orientation of the molecule and on applied pressure. Our calculations show that Sc3N inside the fullerene cage creates a sharp resonance near the Fermi level, whose energetic location, and hence the thermopower, can be tuned by applying pressure. These results reveal that Sc3N@C80 is a bi-thermoelectric material, exhibiting both positive and negative thermopower, and provide an unambiguous demonstration of the importance of transport resonances in molecular junctions

Ventilatory muscle strength, diaphragm thickness and pulmonary function in world-class powerlifters.

Resistance training activates the ventilatory muscles providing a stimulus similar to ventilatory muscle training. We examined the effects of elite powerlifting training upon ventilatory muscle strength, pulmonary function and diaphragm thickness in world-class powerlifters (POWER) and a control group (CON) with no history of endurance or resistance training, matched for age, height and body mass