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

A laboratory competency examination in microbiology

© FEMS 2018. All rights reserved. The American Society for Microbiology's curricular guidelines for Introductory Microbiology highlighted key laboratory skills in the isolation, visualization and identification of microorganisms as core learning objectives in the discipline. Since the publication of these guidelines in 2012, there has been a paucity of diagnostic assessment tools in the literature that can be used to assess competencies in the microbiology laboratory. This project aimed to establish a laboratory competency examination for introductory microbiology, with tasks specifically aligned to laboratory skills and learning outcomes outlined in curricular guidelines for microbiology. A Laboratory Competency Examination assessing student skills in light microscopy, Gram-staining, pure culture, aseptic technique, serial dilution, dilution calculations and pipetting was developed at The University of Queensland, Australia. The Laboratory Competency Examination was field-tested in a large introductory microbiology subject (~400 students), and student performance and learning gains data were collected from 2016 to 2017 to evaluate the validity of the assessment. The resulting laboratory assessment is presented as an endpoint diagnostic tool for assessing laboratory competency that can be readily adapted towards different educational contexts

Emergence of Sensory Representations Using Prediction in Partially Observable Environments

n order to explore and act autonomously in an environment,an agent can learn from the sensorimotor information that is capturedwhile acting. By extracting the regularities in this sensorimotor stream,it can build a model of the world, which in turn can be used as a basis foraction and exploration. It requires the acquisition of compact representa-tions from possibly high dimensional raw observations. In this paper, wepropose a model which integrates sensorimotor information over time,and project it in a sensory representation. It is trained by preformingsensorimotor prediction. We emphasize on a simple example the role ofmotor and memory for learning sensory representations

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

Dissimilatory Fe(III) reduction controls on arsenic mobilisation: a combined biogeochemical and NanoSIMS imaging approach

This is the final version. Available on open access from Frontiers Media via the DOI in this recordMicrobial metabolism plays a key role in controlling the fate of toxic groundwater contaminants such as arsenic. Dissimilatory metal reduction catalysed by subsurface bacteria can facilitate the mobilisation of arsenic via the reductive dissolution of As(V)-bearing Fe(III) mineral assemblages. The mobility of liberated As(V) can then be amplified via reduction to the more soluble As(III) by As(V)-respiring bacteria. This investigation focused on the reductive dissolution of As(V) sorbed onto Fe(III)-(oxyhydr)oxide by model Fe(III)- and As(V)-reducing bacteria, to elucidate the mechanisms underpinning these processes at the single cell scale. Axenic cultures of Shewanella sp. ANA-3 wild-type cells (able to respire both Fe(III) and As(V)) were grown using C-labelled lactate on an arsenical Fe(III)- (oxyhydr)oxide thin film, and after colonisation, the distribution of Fe and As in the solid phase was assessed using nanoscale secondary ion mass spectrometry (NanoSIMS), complemented with aqueous geochemistry analyses. Parallel experiments were conducted using an arrA mutant, able to respire Fe(III) but not As(V). NanoSIMS imaging showed that most metabolically active cells were not in direct contact with the Fe(III) mineral. Flavins were released by both strains, suggesting that these cell-secreted electron shuttles mediated extracellular Fe(III)-(oxyhydr)oxide reduction, but did not facilitate extracellular As(V) reduction, demonstrated by the presence of flavins yet lack of As(III) in the supernatants of the arrA deletion mutant strain. 3D reconstructions of NanoSIMS depth-profiled single cells revealed that As and Fe were associated with the cell surface in the wild-type cells, whereas for the arrA mutant only Fe was associated with the biomass. These data were consistent with Shewanella sp. ANA-3 respiring As(V) in a multistep process; first the reductive dissolution of the Fe(III) mineral released As(V), and once in solution, As(V) was respired by the cells to As(III). As well as highlighting Fe(III) reduction as the primary release mechanism for arsenic, our data also identified unexpected cellular As(III) retention mechanisms that require further investigation.Mexican National Council for Science and Technology (CONACyT)Natural Environment Research Council (NERC

After the Ice Age: The Impact of Post-Glacial Dispersal on the Phylogeography of a Small Mammal, Muscardinus avellanarius

We used genetic tools to assess phylogeographic structure of the common dormouse (Muscardinus avellenarius) since the end of the last glacial maximum, to identify post-glacial dispersal routes and to describe population units for conservation. Comparative analysis of mitochondrial genes (Cytochrome b, 704 bp, D-loop, 506 bp) and one nuclear gene (Beta-Fibrinogen, 550 bp) was conducted to reconstruct the recent demographic history within and between UK and continental European populations. Our analysis indicated phylogeographic variation in the UK is similar in magnitude to that found in other regions of continental Europe and suggests a recent population expansion. We present evidence which supports a single post-glacial colonization into the UK. Dispersal time calculations, calibrated with geophysical events, are coincident with the start of the Holocene period, 7.5–11 kya, a time when geological evidence suggests temperatures were stable, woodland habitat was prevalent and a land bridge was present to allow the dispersal of small mammals into the UK. We discuss our findings in the context of the extant geographical genetic structure described here and in relation to conservation management of this threatened species

Intervention fidelity in the definitive cluster randomised controlled trial of the Healthy Lifestyles Programme (HeLP) trial: findings from the process evaluation.

BACKGROUND: The Healthy Lifestyles Programme (HeLP) was a novel school-located intervention for 9-10 year olds, designed to prevent obesity by changing patterns of child behaviour through the creation of supportive school and home environments using dynamic and creative delivery methods. This paper reports on both the quantitative and qualitative data regarding the implementation of the HeLP intervention in the definitive cluster randomised controlled trial, which was part of the wider process evaluation. METHODS: Mixed methods were used to collect data on intervention uptake, fidelity of delivery in terms of content and quality of delivery of the intervention, as well as school and child engagement with the programme. Data were collected using registers of attendance, observations and checklists, field notes, focus groups with children and semi-structured interviews with teachers. Qualitative data were analysed thematically and quantitative data were summarized using descriptive statistics. RESULTS: All 16 intervention schools received a complete or near complete programme (94-100%), which was delivered in the spirit in which it had been designed. Of the 676 children in the intervention schools, over 90% of children participated in each phase of HeLP; 92% of children across the socio-economic spectrum were deemed to be engaged with HeLP and qualitative data revealed a high level of enjoyment by all children, particularly to the interactive drama workshops. Further evidence of child engagment with the programme was demonstrated by children's clear understanding of programme messages around marketing, moderation and food labelling. Thirteen of the intervention schools were deemed to be fully engaged with HeLP and qualitative data revealed a high level of teacher 'buy in', due to the programme's compatability with the National Curriculum, level of teacher support and use of innovative and creative delivery methods by external drama practitioners. CONCLUSION: Our trial shows that it is possible to successfully scale up complex school-based interventions, engage schools and children across the socio-economic spectrum and deliver an intervention as designed. As programme integrity was maintained throughout the HeLP trial, across all intervention schools, we can be confident that the trial findings are a true reflection of the effectiveness of the intervention, enabling policy recommendations to be made. TRIAL REGISTRATION: ISRCTN15811706

Speech rhythm: a metaphor?

Is speech rhythmic? In the absence of evidence for a traditional view that languages strive to coordinate either syllables or stress-feet with regular time intervals, we consider the alternative that languages exhibit contrastive rhythm subsisting merely in the alternation of stronger and weaker elements. This is initially plausible, particularly for languages with a steep ‘prominence gradient’, i.e. a large disparity between stronger and weaker elements; but we point out that alternation is poorly achieved even by a ‘stress-timed’ language such as English, and, historically, languages have conspicuously failed to adopt simple phonological remedies that would ensure alternation. Languages seem more concerned to allow ‘syntagmatic contrast’ between successive units and to use durational effects to support linguistic functions than to facilitate rhythm. Furthermore, some languages (e.g. Tamil, Korean) lack the lexical prominence which would most straightforwardly underpin prominence alternation. We conclude that speech is not incontestibly rhythmic, and may even be antirhythmic. However, its linguistic structure and patterning allow the metaphorical extension of rhythm in varying degrees and in different ways depending on the language, and that it is this analogical process which allows speech to be matched to external rhythms

Measuring organisational readiness for patient engagement (MORE) : an international online Delphi consensus study

Date of Acceptance: 28/01/2015. © 2015 Oostendorp et al.; licensee BioMed Central. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise statedWidespread implementation of patient engagement by organisations and clinical teams is not a reality yet. The aim of this study is to develop a measure of organisational readiness for patient engagement designed to monitor and facilitate a healthcare organisation’s willingness and ability to effectively implement patient engagement in healthcarePeer reviewedFinal Published versio

Quantum Simulation of Tunneling in Small Systems

A number of quantum algorithms have been performed on small quantum computers; these include Shor's prime factorization algorithm, error correction, Grover's search algorithm and a number of analog and digital quantum simulations. Because of the number of gates and qubits necessary, however, digital quantum particle simulations remain untested. A contributing factor to the system size required is the number of ancillary qubits needed to implement matrix exponentials of the potential operator. Here, we show that a set of tunneling problems may be investigated with no ancillary qubits and a cost of one single-qubit operator per time step for the potential evolution. We show that physically interesting simulations of tunneling using 2 qubits (i.e. on 4 lattice point grids) may be performed with 40 single and two-qubit gates. Approximately 70 to 140 gates are needed to see interesting tunneling dynamics in three-qubit (8 lattice point) simulations.Comment: 4 pages, 2 figure