Helminthic infections

This article does not have an abstract

An Editor for Helping Novices to Learn Standard ML

This paper describes a novel editor intended as an aid in the learning of the functional programming language Standard ML. A common technique used by novices is programming by analogy whereby students refer to similar programs that they have written before or have seen in the course literature and use these programs as a basis to write a new program. We present a novel editor for ML which supports programming by analogy by providing a collection of editing commands that transform old programs into new ones. Each command makes changes to an isolated part of the program. These changes are propagated to the rest of the program using analogical techniques. We observed a group of novice ML students to determine the most common programming errors in learning ML and restrict our editor such that it is impossible to commit these errors. In this way, students encounter fewer bugs and so their rate of learning increases. Our editor, C Y NTHIA, has been implemented and is due to be tested on st..

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL

We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines various tactics to explore a large search space with low memory usage. Upon success, PSL generates an efficient proof script, which bypasses a large part of the proof search. We also present PSL's monadic interpreter to show that the underlying idea of PSL is transferable to other ITPs.Comment: This paper has been submitted to CADE2

The development and validation of an age-structured model for the evaluation of disease control strategies for intestinal helminths

Epidemiological modelling can be a useful tool for the evaluation of parasite control strategies. An age-structured epidemiological model of intestinal helminth dynamics is developed. This model includes the explicit representation of changing worm distributions between hosts as a result of treatment, and estimates the morbidity due to heavy infections. The model is used to evaluate the effectiveness of different programmes of age-targeted community chemotherapy in reducing the amount of morbidity due to helminth infection. The magnitude of age-related heterogeneities is found to be very important in determining the results of age-targeted treatment programmes. The model was verified using field data from control programmes for Ascaris lumbricoides and Trichuris trichiura, and was found to provide accurate predictions of prevalence and mean intensities of infection during and following different control regime

Bioinformatics tools in predictive ecology: Applications to fisheries

This article is made available throught the Brunel Open Access Publishing Fund - Copygith @ 2012 Tucker et al.There has been a huge effort in the advancement of analytical techniques for molecular biological data over the past decade. This has led to many novel algorithms that are specialized to deal with data associated with biological phenomena, such as gene expression and protein interactions. In contrast, ecological data analysis has remained focused to some degree on off-the-shelf statistical techniques though this is starting to change with the adoption of state-of-the-art methods, where few assumptions can be made about the data and a more explorative approach is required, for example, through the use of Bayesian networks. In this paper, some novel bioinformatics tools for microarray data are discussed along with their ‘crossover potential’ with an application to fisheries data. In particular, a focus is made on the development of models that identify functionally equivalent species in different fish communities with the aim of predicting functional collapse

Some Empirical Criteria for Attributing Creativity to a Computer Program

Peer reviewedPostprin

The development of an age structured model for schistosomiasis transmission dynamics and control and its validation for Schistosoma mansoni

Mathematical models are potentially useful tools to aid in the design of control programmes for parasitic diseases. In this paper, a fully age structured epidemiological model of human schistosomiasis is developed and parameterized, and used to predict trends in infection prevalence, intensity and prevalence of heavy infections over age and time during several rounds of mass and age targeted treatment. The model is validated against data from a Schistosoma mansoni control programme in Keny

The role of AGN in the colour transformation of galaxies at redshifts z~1

We explore the role of AGN in establishing and/or maintaining the bimodal colour distribution of galaxies by quenching their star-formation and hence, causing their transition from the blue to the red cloud. Important tests for this scenario include (i) the X-ray properties of galaxies in the transition zone between the two clouds and (ii) the incidence of AGN in post-starbursts, i.e. systems observed shortly after (<1Gyr) the termination of their star-formation. We perform these tests by combining deep Chandra observations with multiwavelength data from the AEGIS survey. Stacking the X-ray photons at the positions of galaxies (0.4<z<0.9) not individually detected at X-ray wavelengths suggests a population of obscured AGN among sources in the transition zone and in the red cloud. Their mean X-ray and mid-IR properties are consistent with moderately obscured low-luminosity AGN, Compton thick sources or a mix of both. Morphologies show that major mergers are unlikely to drive the evolution of this population but minor interactions may play a role. The incidence of obscured AGN in the red cloud (both direct detections and stacking results) suggests that BH accretion outlives the termination of the star-formation. This is also supported by our finding that post-starburst galaxies at z~0.8 and AGN are associated, in agreement with recent results at low-z. A large fraction of post-starbursts and red cloud galaxies show evidence for at least moderate levels of AGN obscuration. This implies that if AGN outflows cause the colour transformation of galaxies, then some nuclear gas and dust clouds either remain unaffected or relax to the central galaxy regions after the quenching their star-formation.Comment: Accepted for publication in MNRA

The Bimodal Galaxy Stellar Mass Function in the COSMOS Survey to z~1: A Steep Faint End and a New Galaxy Dichotomy

We present a new analysis of stellar mass functions (MF) in the COSMOS field to fainter limits than has been previously probed to z~1. Neither the total nor the passive or star-forming MF can be well fit with a single Schechter function once one probes below 3e9 Msun. We observe a dip or plateau at masses ~1e10 Msun, and an upturn towards a steep faint-end slope of -1.7 at lower mass at any z<1. This bimodal nature of the MF is not solely a result of the blue/red dichotomy. The blue MF is by itself bimodal at z~1. This suggests a new dichotomy in galaxy formation that predates the appearance of the red sequence. We propose two interpretations for this bimodality. If the gas fraction increases towards lower mass, galaxies with M_baryon~1e10 Msun would shift to lower stellar masses, creating the observed dip. This would indicate a change in star formation efficiency, perhaps linked to supernovae feedback becoming much more efficient. Therefore, we investigate whether the dip is present in the baryonic (stars+gas) MF. Alternatively, the dip could be created by an enhancement of the galaxy assembly rate at ~1e11 Msun, a phenomenon that naturally arises if the baryon fraction peaks at M_halo ~1e12 Msun. In this scenario, galaxies occupying the bump around M* would be identified with central galaxies and the second fainter component having a steep faint-end slope with satellites. While the dip is apparent in the total MF at any z, it appears to shift from the blue to red population, likely as a result of transforming high-mass blue galaxies into red ones. At the same time, we detect a drastic upturn in the number of low-mass red galaxies. Their increase with time reflects a decrease in the number of blue systems and so we tentatively associate them with satellite dwarf galaxies that have undergone quenching.Comment: 16 pages, 10 figures, accepted for publication in Ap