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

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Quantum enhanced positioning and clock synchronization

A wide variety of positioning and ranging procedures are based on repeatedly sending electromagnetic pulses through space and measuring their time of arrival. This paper shows that quantum entanglement and squeezing can be employed to overcome the classical power/bandwidth limits on these procedures, enhancing their accuracy. Frequency entangled pulses could be used to construct quantum positioning systems (QPS), to perform clock synchronization, or to do ranging (quantum radar): all of these techniques exhibit a similar enhancement compared with analogous protocols that use classical light. Quantum entanglement and squeezing have been exploited in the context of interferometry, frequency measurements, lithography, and algorithms. Here, the problem of positioning a party (say Alice) with respect to a fixed array of reference points will be analyzed.Comment: 4 pages, 2 figures. Accepted for publication by Natur

Opportunities for topical antimicrobial therapy: permeation of canine skin by fusidic acid

BACKGROUND: Staphylococcal infection of the canine epidermis and hair follicle is amongst the commonest reasons for antimicrobial prescribing in small animal veterinary practice. Topical therapy with fusidic acid (FA) is an attractive alternative to systemic therapy based on low minimum inhibitory concentrations (MICs, commonly <0.03 mg/l) documented in canine pathogenic staphylococci, including strains of MRSA and MRSP (methicillin-resistant Staphylococcus aureus and S. pseudintermedius). However, permeation of canine skin by FA has not been evaluated in detail. This study aimed to define the degree and extent of FA permeation in canine skin in vitro from two sites with different hair follicle density following application of a licensed ophthalmic formulation that shares the same vehicle as an FA-betamethasone combination product approved for dermal application in dogs. Topical FA application was modelled using skin held in Franz-type diffusion cells. Concentrations of FA in surface swabs, receptor fluid, and transverse skin sections of defined anatomical depth were determined using high-performance liquid chromatography and ultraviolet (HPLC-UV) analysis. RESULTS: The majority of FA was recovered by surface swabs after 24 h, as expected (mean ± SEM: 76.0 ± 17.0%). FA was detected within 424/470 (90%) groups of serial sections of transversely cryotomed skin containing follicular infundibula, but never in 48/48 (100%) groups of sections containing only deeper follicular structures, nor in receptor fluid, suggesting that FA does not permeate beyond the infundibulum. The FA concentration (mean ± SEM) in the most superficial 240 μm of skin was 2000 ± 815 μg/g. CONCLUSIONS: Topically applied FA can greatly exceed MICs for canine pathogenic staphylococci at the most common sites of infection. Topical FA therapy should now be evaluated using available formulations in vivo as an alternative to systemic therapy for canine superficial bacterial folliculitis.Peer reviewedFinal Published versio

Nanomedicine - nanoparticles, molecular biosensors and targeted gene/drug delivery for combined single-cell diagnostics and therapeutics

Next generation nanomedicine technologies are being developed to provide for continuous and linked molecular diagnostics and therapeutics. Research is being performed to develop "sentinel nanoparticles" which will seek out diseased (e.g. cancerous) cells, enter those living cells, and either perform repairs or induce those cells to die through apoptosis. These nanoparticles are envisioned as multifunctional "smart drug delivery systems"

Detailed statistical analysis plan for a cluster randomised controlled trial of the Healthy Lifestyles Programme (HeLP), a novel school-based intervention to prevent obesity in school children

This is the final version of the article. Available from the publisher via the DOI in this record.BACKGROUND: The Healthy Lifestyles Programme (HeLP) trial is being conducted to determine whether a novel school-based intervention is effective and cost-effective in preventing obesity in 9-10 year-old children. This article describes the detailed statistical analysis plan for the HeLP trial, including an amendment (and rationale for amendment) made to originally planned sensitivity analyses. METHODS AND DESIGN: The HeLP trial is a definitive, pragmatic, superiority, cluster randomised controlled trial with two parallel groups and blinded outcome assessment. This update article describes in detail (1) the primary and secondary outcomes, (2) the statistical analysis principles (including which children will be included in each analysis, how the clustered nature of the study design will be accounted for, which covariates will be included in each analysis, how the results will be presented), (3) planned sensitivity analyses, planned subgroup analyses and planned adherence-adjusted analyses for the primary outcome, (4) planned analyses for the secondary outcomes and (e) planned longitudinal analyses. TRIAL REGISTRATION: International Standard Randomised Controlled Trial Number (ISRCTN) register: ISRCTN15811706 . Registered on 1 May 2012.The definitive trial of HeLP is funded by the UK National Institute for Health Research (NIHR) Public Health Research Programme (10/3010/01) and a full report will be published on the NIHR website. KW and JL are partially supported by PenCLAHRC, the National Institute for Health Research (NIHR) CLAHRC for the Southwest Peninsul

IACT observations of gamma-ray bursts: prospects for the Cherenkov Telescope Array

Gamma rays at rest frame energies as high as 90 GeV have been reported from gamma-ray bursts (GRBs) by the Fermi Large Area Telescope (LAT). There is considerable hope that a confirmed GRB detection will be possible with the upcoming Cherenkov Telescope Array (CTA), which will have a larger effective area and better low-energy sensitivity than current-generation imaging atmospheric Cherenkov telescopes (IACTs). To estimate the likelihood of such a detection, we have developed a phenomenological model for GRB emission between 1 GeV and 1 TeV that is motivated by the high-energy GRB detections of Fermi-LAT, and allows us to extrapolate the statistics of GRBs seen by lower energy instruments such as the Swift-BAT and BATSE on the Compton Gamma-ray Observatory. We show a number of statistics for detected GRBs, and describe how the detectability of GRBs with CTA could vary based on a number of parameters, such as the typical observation delay between the burst onset and the start of ground observations. We also consider the possibility of using GBM on Fermi as a finder of GRBs for rapid ground follow-up. While the uncertainty of GBM localization is problematic, the small field-of-view for IACTs can potentially be overcome by scanning over the GBM error region. Overall, our results indicate that CTA should be able to detect one GRB every 20 to 30 months with our baseline instrument model, assuming consistently rapid pursuit of GRB alerts, and provided that spectral breaks below 100 GeV are not a common feature of the bright GRB population. With a more optimistic instrument model, the detection rate can be as high as 1 to 2 GRBs per year.Comment: 28 pages, 24 figures, 4 tables, submitted to Experimental Astronom

The epidemiology of injuries across the weight-training sports

Background: Weight-training sports, including weightlifting, powerlifting, bodybuilding, strongman, Highland Games, and CrossFit, are weight-training sports that have separate divisions for males and females of a variety of ages, competitive standards, and bodyweight classes. These sports may be considered dangerous because of the heavy loads commonly used in training and competition. Objectives: Our objective was to systematically review the injury epidemiology of these weight-training sports, and, where possible, gain some insight into whether this may be affected by age, sex, competitive standard, and bodyweight class. Methods: We performed an electronic search using PubMed, SPORTDiscus, CINAHL, and Embase for injury epidemiology studies involving competitive athletes in these weight-training sports. Eligible studies included peer-reviewed journal articles only, with no limit placed on date or language of publication. We assessed the risk of bias in all studies using an adaption of the musculoskeletal injury review method. Results: Only five of the 20 eligible studies had a risk of bias score ≥75 %, meaning the risk of bias in these five studies was considered low. While 14 of the studies had sample sizes >100 participants, only four studies utilized a prospective design. Bodybuilding had the lowest injury rates (0.12–0.7 injuries per lifter per year; 0.24–1 injury per 1000 h), with strongman (4.5–6.1 injuries per 1000 h) and Highland Games (7.5 injuries per 1000 h) reporting the highest rates. The shoulder, lower back, knee, elbow, and wrist/hand were generally the most commonly injured anatomical locations; strains, tendinitis, and sprains were the most common injury type. Very few significant differences in any of the injury outcomes were observed as a function of age, sex, competitive standard, or bodyweight class. Conclusion: While the majority of the research we reviewed utilized retrospective designs, the weight-training sports appear to have relatively low rates of injury compared with common team sports. Future weight-training sport injury epidemiology research needs to be improved, particularly in terms of the use of prospective designs, diagnosis of injury, and changes in risk exposure

Using honey to heal diabetic foot ulcers

Diabetic ulcers seem to be arrested in the inflammatory/proliferative stage of the healing process, allowing infection and inflammation to preclude healing. Antibiotic-resistant bacteria have become a major cause of infections, including diabetic foot infections. It is proposed here that the modern developments of an ancient and traditional treatment for wounds, dressing them with honey, provide the solution to the problem of getting diabetic ulcers to move on from the arrested state of healing. Honeys selected to have a high level of antibacterial activity have been shown to be very effective against antibiotic-resistant strains of bacteria in laboratory and clinical studies. The potent anti-inflammatory action of honey is also likely to play an important part in overcoming the impediment to healing that inflammation causes in diabetic ulcers, as is the antioxidant activity of honey. The action of honey in promotion of tissue regeneration through stimulation of angiogenesis and the growth of fibroblasts and epithelial cells, and its insulin-mimetic effect, would also be of benefit in stimulating the healing of diabetic ulcers. The availability of honey-impregnated dressings which conveniently hold honey in place on ulcers has provided a means of rapidly debriding ulcers and removing the bacterial burden so that good healing rates can be achieved with neuropathic ulcers. With ischemic ulcers, where healing cannot occur because of lack of tissue viability, these honey dressings keep the ulcers clean and prevent infection occurring

Fungal iron availability during deep seated candidiasis is defined by a complex interplay involving systemic and local events

Peer reviewedPublisher PD