Multi-objective improvement of software using co-evolution and smart seeding

Optimising non-functional properties of software is an important part of the implementation process. One such property is execution time, and compilers target a reduction in execution time using a variety of optimisation techniques. Compiler optimisation is not always able to produce semantically equivalent alternatives that improve execution times, even if such alternatives are known to exist. Often, this is due to the local nature of such optimisations. In this paper we present a novel framework for optimising existing software using a hybrid of evolutionary optimisation techniques. Given as input the implementation of a program or function, we use Genetic Programming to evolve a new semantically equivalent version, optimised to reduce execution time subject to a given probability distribution of inputs. We employ a co-evolved population of test cases to encourage the preservation of the program’s semantics, and exploit the original program through seeding of the population in order to focus the search. We carry out experiments to identify the important factors in maximising efficiency gains. Although in this work we have optimised execution time, other non-functional criteria could be optimised in a similar manner

A Systematic Review of Mosquito Coils and Passive Emanators: Defining Recommendations for Spatial Repellency Testing Methodologies.

Mosquito coils, vaporizer mats and emanators confer protection against mosquito bites through the spatial action of emanated vapor or airborne pyrethroid particles. These products dominate the pest control market; therefore, it is vital to characterize mosquito responses elicited by the chemical actives and their potential for disease prevention. The aim of this review was to determine effects of mosquito coils and emanators on mosquito responses that reduce human-vector contact and to propose scientific consensus on terminologies and methodologies used for evaluation of product formats that could contain spatial chemical actives, including indoor residual spraying (IRS), long lasting insecticide treated nets (LLINs) and insecticide treated materials (ITMs). PubMed, (National Centre for Biotechnology Information (NCBI), U.S. National Library of Medicine, NIH), MEDLINE, LILAC, Cochrane library, IBECS and Armed Forces Pest Management Board Literature Retrieval System search engines were used to identify studies of pyrethroid based coils and emanators with key-words "Mosquito coils" "Mosquito emanators" and "Spatial repellents". It was concluded that there is need to improve statistical reporting of studies, and reach consensus in the methodologies and terminologies used through standardized testing guidelines. Despite differing evaluation methodologies, data showed that coils and emanators induce mortality, deterrence, repellency as well as reduce the ability of mosquitoes to feed on humans. Available data on efficacy outdoors, dose-response relationships and effective distance of coils and emanators is inadequate for developing a target product profile (TPP), which will be required for such chemicals before optimized implementation can occur for maximum benefits in disease control

Challenges of Profile Likelihood Evaluation in Multi-Dimensional SUSY Scans

Statistical inference of the fundamental parameters of supersymmetric theories is a challenging and active endeavor. Several sophisticated algorithms have been employed to this end. While Markov-Chain Monte Carlo (MCMC) and nested sampling techniques are geared towards Bayesian inference, they have also been used to estimate frequentist confidence intervals based on the profile likelihood ratio. We investigate the performance and appropriate configuration of MultiNest, a nested sampling based algorithm, when used for profile likelihood-based analyses both on toy models and on the parameter space of the Constrained MSSM. We find that while the standard configuration is appropriate for an accurate reconstruction of the Bayesian posterior, the profile likelihood is poorly approximated. We identify a more appropriate MultiNest configuration for profile likelihood analyses, which gives an excellent exploration of the profile likelihood (albeit at a larger computational cost), including the identification of the global maximum likelihood value. We conclude that with the appropriate configuration MultiNest is a suitable tool for profile likelihood studies, indicating previous claims to the contrary are not well founded.Comment: 21 pages, 9 figures, 1 table; minor changes following referee report. Matches version accepted by JHE

Interpersonal and affective dimensions of psychopathic traits in adolescents : development and validation of a self-report instrument

We report the development and psychometric evaluations of a self-report instrument designed to screen for psychopathic traits among mainstream community adolescents. Tests of item functioning were initially conducted with 26 adolescents. In a second study the new instrument was administered to 150 high school adolescents, 73 of who had school records of suspension for antisocial behavior. Exploratory factor analysis yielded a 4-factor structure (Impulsivity α = .73, Self-Centredness α = .70, Callous-Unemotional α = .69, and Manipulativeness α = .83). In a third study involving 328 high school adolescents, 130 with records of suspension for antisocial behaviour, competing measurement models were evaluated using confirmatory factor analysis. The superiority of a first-order model represented by four correlated factors that was invariant across gender and age was confirmed. The findings provide researchers and clinicians with a psychometrically strong, self-report instrument and a greater understanding of psychopathic traits in mainstream adolescents

CloVR: A virtual machine for automated and portable sequence analysis from the desktop using cloud computing

Next-generation sequencing technologies have decentralized sequence acquisition, increasing the demand for new bioinformatics tools that are easy to use, portable across multiple platforms, and scalable for high-throughput applications. Cloud computing platforms provide on-demand access to computing infrastructure over the Internet and can be used in combination with custom built virtual machines to distribute pre-packaged with pre-configured software. We describe the Cloud Virtual Resource, CloVR, a new desktop application for push-button automated sequence analysis that can utilize cloud computing resources. CloVR is implemented as a single portable virtual machine (VM) that provides several automated analysis pipelines for microbial genomics, including 16S, whole genome and metagenome sequence analysis. The CloVR VM runs on a personal computer, utilizes local computer resources and requires minimal installation, addressing key challenges in deploying bioinformatics workflows. In addition CloVR supports use of remote cloud computing resources to improve performance for large-scale sequence processing. In a case study, we demonstrate the use of CloVR to automatically process next-generation sequencing data on multiple cloud computing platforms. The CloVR VM and associated architecture lowers the barrier of entry for utilizing complex analysis protocols on both local single- and multi-core computers and cloud systems for high throughput data processing.https://doi.org/10.1186/1471-2105-12-35

GPML: an XML-based standard for the interchange of genetic programming trees

We propose a Genetic Programming Markup Language (GPML), an XML based standard for the interchange of genetic programming trees, and outline the benefits such a format would bring in allowing the deployment of trained genetic programming (GP) models in applications as well as the subsidiary benefit of allowing GP researchers to directly share trained trees. We present a formal definition of this standard and describe details of an implementation. In addition, we present a case study where GPML is used to implement a model predictive controller for the control of a building heating plant

Reliability of Rapid Diagnostic Tests in Diagnosing Pregnancy-Associated Malaria in North-Eastern Tanzania.

Accurate diagnosis and prompt treatment of pregnancy-associated malaria (PAM) are key aspects in averting adverse pregnancy outcomes. Microscopy is the gold standard in malaria diagnosis, but it has limited detection and availability. When used appropriately, rapid diagnostic tests (RDTs) could be an ideal diagnostic complement to microscopy, due to their ease of use and adequate sensitivity in detecting even sub-microscopic infections. Polymerase chain reaction (PCR) is even more sensitive, but it is mainly used for research purposes. The accuracy and reliability of RDTs in diagnosing PAM was evaluated using microscopy and PCR. A cohort of pregnant women in north-eastern Tanzania was followed throughout pregnancy for detection of plasmodial infection using venous and placental blood samples evaluated by histidine rich protein 2 (HRP-2) and parasite lactate dehydrogenase (pLDH) based RDTs (Parascreen™) or HRP-2 only (Paracheck Pf® and ParaHIT®f), microscopy and nested Plasmodium species diagnostic PCR. From a cohort of 924 pregnant women who completed the follow up, complete RDT and microscopy data was available for 5,555 blood samples and of these 442 samples were analysed by PCR. Of the 5,555 blood samples, 49 ((proportion and 95% confidence interval) 0.9% [0.7 -1.1]) samples were positive by microscopy and 91 (1.6% [1.3-2.0]) by RDT. Forty-six (50.5% [40.5 - 60.6]) and 45 (49.5% [39.4 - 59.5]) of the RDT positive samples were positive and negative by microscopy, respectively, whereas nineteen (42.2% [29.0 - 56.7]) of the microscopy negative, but RDT positive, samples were positive by PCR. Three (0.05% [0.02 - 0.2]) samples were positive by microscopy but negative by RDT. 351 of the 5,461 samples negative by both RDT and microscopy were tested by PCR and found negative. There was no statistically significant difference between the performances of the different RDTs. Microscopy underestimated the real burden of malaria during pregnancy and RDTs performed better than microscopy in diagnosing PAM. In areas where intermittent preventive treatment during pregnancy may be abandoned due to low and decreasing malaria risk and instead replaced with active case management, screening with RDT is likely to identify most infections in pregnant women and out-performs microscopy as a diagnostic tool

RoB 2: a revised tool for assessing risk of bias in randomised trials

Assessment of risk of bias is regarded as an essential component of a systematic review on the effects of an intervention. The most commonly used tool for randomised trials is the Cochrane risk-of-bias tool. We updated the tool to respond to developments in understanding how bias arises in randomised trials, and to address user feedback on and limitations of the original tool