Measuring Coverage of Prolog Programs Using Mutation Testing

Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on the completeness of a test suite, many approaches to assert test coverage have been suggested. Yet, frameworks for logic programs remain scarce. In this paper, we introduce a framework for Prolog programs measuring test coverage using mutations. We elaborate the main ideas of mutation testing and transfer them to logic programs. To do so, we discuss the usefulness of different mutations in the context of Prolog and empirically evaluate them in a new mutation testing framework on different examples.Comment: 16 pages, Accepted for presentation in WFLP 201

The influence of the atmospheric boundary layer on nocturnal layers of noctuids and other moths migrating over southern Britain

Insects migrating at high altitude over southern Britain have been continuously monitored by automatically-operating, vertical-looking radars over a period of several years. During some occasions in the summer months, the migrants were observed to form well-defined layer concentrations, typically at heights of 200-400 m, in the stable night-time atmosphere. Under these conditions, insects are likely to have control over their vertical movements and are selecting flight heights which are favourable for long-range migration. We therefore investigated the factors influencing the formation of these insect layers by comparing radar measurements of the vertical distribution of insect density with meteorological profiles generated by the UK Met. Office’s Unified Model (UM). Radar-derived measurements of mass and displacement speed, along with data from Rothamsted Insect Survey light traps provided information on the identity of the migrants. We present here three case studies where noctuid and pyralid moths contributed substantially to the observed layers. The major meteorological factors influencing the layer concentrations appeared to be: (a) the altitude of the warmest air, (b) heights corresponding to temperature preferences or thresholds for sustained migration and (c), on nights when air temperatures are relatively high, wind-speed maxima associated with the nocturnal jet. Back-trajectories indicated that layer duration may have been determined by the distance to the coast. Overall, the unique combination of meteorological data from the UM and insect data from entomological radar described here show considerable promise for systematic studies of high-altitude insect layering

Systems chemistry: all in a spin

The authors thank the Leverhulme Trust for an award (RPG-2013-343) to support LC.A fundamental challenge in supramolecular systems chemistry is to engineer the emergence of complex behaviour. The collective structures of metal cyanide chains have now been interpreted in the same manner as the myriad of magnetic phases displayed by frustrated spin systems, highlighting a symbiotic approach between systems chemistry and magnetism.PostprintPeer reviewe

The impact of predation by marine mammals on Patagonian toothfish longline fisheries

Predatory interaction of marine mammals with longline fisheries is observed globally, leading to partial or complete loss of the catch and in some parts of the world to considerable financial loss. Depredation can also create additional unrecorded fishing mortality of a stock and has the potential to introduce bias to stock assessments. Here we aim to characterise depredation in the Patagonian toothfish (Dissostichus eleginoides) fishery around South Georgia focusing on the spatio-temporal component of these interactions. Antarctic fur seals (Arctocephalus gazella), sperm whales (Physeter macrocephalus), and orcas (Orcinus orca) frequently feed on fish hooked on longlines around South Georgia. A third of longlines encounter sperm whales, but loss of catch due to sperm whales is insignificant when compared to that due to orcas, which interact with only 5% of longlines but can take more than half of the catch in some cases. Orca depredation around South Georgia is spatially limited and focused in areas of putative migration routes, and the impact is compounded as a result of the fishery also concentrating in those areas at those times. Understanding the seasonal behaviour of orcas and the spatial and temporal distribution of “depredation hot spots” can reduce marine mammal interactions, will improve assessment and management of the stock and contribute to increased operational efficiency of the fishery. Such information is valuable in the effort to resolve the human-mammal conflict for resources

Metabolic Rift or Metabolic Shift? Dialectics, Nature, and the World-Historical Method

Abstract In the flowering of Red-Green Thought over the past two decades, metabolic rift thinking is surely one of its most colorful varieties. The metabolic rift has captured the imagination of critical environmental scholars, becoming a shorthand for capitalism’s troubled relations in the web of life. This article pursues an entwined critique and reconstruction: of metabolic rift thinking and the possibilities for a post-Cartesian perspective on historical change, the world-ecology conversation. Far from dismissing metabolic rift thinking, my intention is to affirm its dialectical core. At stake is not merely the mode of explanation within environmental sociology. The impasse of metabolic rift thinking is suggestive of wider problems across the environmental social sciences, now confronted by a double challenge. One of course is the widespread—and reasonable—sense of urgency to evolve modes of thought appropriate to an era of deepening biospheric instability. The second is the widely recognized—but inadequately internalized—understanding that humans are part of nature

Trends in the burden of HIV mortality after roll-out of antiretroviral therapy in KwaZulu-Natal, South Africa: an observational community cohort study.

Antiretroviral therapy (ART) substantially decreases morbidity and mortality in people living with HIV. In this study, we describe population-level trends in the adult life expectancy and trends in the residual burden of HIV mortality after the roll-out of a public sector ART programme in KwaZulu-Natal, South Africa, one of the populations with the most severe HIV epidemics in the world. Data come from the Africa Centre Demographic Information System (ACDIS), an observational community cohort study in the uMkhanyakude district in northern KwaZulu-Natal, South Africa. We used non-parametric survival analysis methods to estimate gains in the population-wide life expectancy at age 15 years since the introduction of ART, and the shortfall of the population-wide adult life expectancy compared with that of the HIV-negative population (ie, the life expectancy deficit). Life expectancy gains and deficits were further disaggregated by age and cause of death with demographic decomposition methods. Covering the calendar years 2001 through to 2014, we obtained information on 93 903 adults who jointly contribute 535 42 8 person-years of observation to the analyses and 9992 deaths. Since the roll-out of ART in 2004, adult life expectancy increased by 15·2 years for men (95% CI 12·4-17·8) and 17·2 years for women (14·5-20·2). Reductions in pulmonary tuberculosis and HIV-related mortality account for 79·7% of the total life expectancy gains in men (8·4 adult life-years), and 90·7% in women (12·8 adult life-years). For men, 9·5% is the result of a decline in external injuries. By 2014, the life expectancy deficit had decreased to 1·2 years for men (-2·9 to 5·8) and to 5·3 years for women (2·6-7·8). In 2011-14, pulmonary tuberculosis and HIV were responsible for 84·9% of the life expectancy deficit in men and 80·8% in women. The burden of HIV on adult mortality in this population is rapidly shrinking, but remains large for women, despite their better engagement with HIV-care services. Gains in adult life-years lived as well as the present life expectancy deficit are almost exclusively due to differences in mortality attributed to HIV and pulmonary tuberculosis. Wellcome Trust, the Bill & Melinda Gates Foundation, and the National Institutes of Health

Paradoxical effects of Worrisome Thoughts Suppression: the influence of depressive mood

Thought suppression increases the persistence of unwanted idiosyncratic worries thoughts when individuals try to suppress them. The failure of suppression may contribute to the development and maintenance of emotional disorders. Depressive people seem particulary prone to engage in unsuccessful mental control strategies such as thought suppression. Worry has been reported to be elevated in depressed individuals and a dysphoric mood may also contribute for the failure of suppression. No studies examine, however, the suppression of worisome thoughts in individuals with depressive symptoms. To investigate the suppression effects of worrisome thoughts, 46 participants were selected according to the cut-off score of a depressive symptomatology scale and they were divided in two groups (subclinical and nonclinical group). All the individuals took part in an experimental paradigm of thought suppression. The results of the mixed factorial analysis of variance revealed an increased frequency of worrisome thoughts during the suppression phase on depending of the depressive symptoms. These findings confirm that depressive mood can reduce the success of suppression.info:eu-repo/semantics/publishedVersio

Use of mixed methods designs in substance research: a methodological necessity in Nigeria

The utility of mixed methods (qualitative and quantitative) is becoming increasingly accepted in health sciences, but substance studies are yet to substantially benefit from such utilities. While there is a growing number of mixed methods alcohol articles concerning developed countries, developing nations are yet to embrace this method. In the Nigerian context, the importance of mixed methods research is yet to be acknowledged. This article therefore, draws on alcohol studies to argue that mixed methods designs will better equip scholars to understand, explore, describe and explain why alcohol consumption and its related problems are increasing in Nigeria. It argues that as motives for consuming alcohol in contemporary Nigeria are multiple, complex and evolving, mixed method approaches that provide multiple pathways for proffering solutions to problems should be embraced

Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Live to cheat another day: bacterial dormancy facilitates the social exploitation of beta-lactamases

The breakdown of antibiotics by β-lactamases may be cooperative, since resistant cells can detoxify their environment and facilitate the growth of susceptible neighbours. However, previous studies of this phenomenon have used artificial bacterial vectors or engineered bacteria to increase the secretion of β-lactamases from cells. Here, we investigated whether a broad-spectrum β-lactamase gene carried by a naturally occurring plasmid (pCT) is cooperative under a range of conditions. In ordinary batch culture on solid media, there was little or no evidence that resistant bacteria could protect susceptible cells from ampicillin, although resistant colonies could locally detoxify this growth medium. However, when susceptible cells were inoculated at high densities, late-appearing phenotypically susceptible bacteria grew in the vicinity of resistant colonies. We infer that persisters, cells that have survived antibiotics by undergoing a period of dormancy, founded these satellite colonies. The number of persister colonies was positively correlated with the density of resistant colonies and increased as antibiotic concentrations decreased. We argue that detoxification can be cooperative under a limited range of conditions: if the toxins are bacteriostatic rather than bacteridical; or if susceptible cells invade communities after resistant bacteria; or if dormancy allows susceptible cells to avoid bactericides. Resistance and tolerance were previously thought to be independent solutions for surviving antibiotics. Here, we show that these are interacting strategies: the presence of bacteria adopting one solution can have substantial effects on the fitness of their neighbours