Logic Program Synthesis via Proof Planning

We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof. The approach is a two-level one: At the object level, we prove program verification conjectures in a sorted, first-order theory. The conjectures are of the form $\forall \vec{args}. \; prog(\vec{args}) \leftrightarrow spec(\vec{args})$. At the meta-level, we plan the object-level verification with an unspecified program definition. The definition is represented with a (second-order) meta-level variable, which becomes instantiated in the course of the planning. This technique is an application of the Clam proof planning system. Clam is currently powerful enough to plan verification proofs for given programs. We show that, if Clam's use of middle-out reasoning is extended, it will also be able to synthesize programs

Patent Human Infections with the Whipworm, Trichuris trichiura, Are Not Associated with Alterations in the Faecal Microbiota

Background: The soil-transmitted helminth (STH), Trichuris trichiura colonises the human large intestine where it may modify inflammatory responses, an effect possibly mediated through alterations in the intestinal microbiota. We hypothesised that patent T. trichiura infections would be associated with altered faecal microbiota and that anthelmintic treatment would induce a microbiota resembling more closely that observed in uninfected individuals. Materials and Methods: School children in Ecuador were screened for STH infections and allocated to 3 groups: uninfected, T. trichiura only, and mixed infections with T. trichiura and Ascaris lumbricoides. A sample of uninfected children and those with T. trichiura infections only were given anthelmintic treatment. Bacterial community profiles in faecal samples were studied by 454 pyrosequencing of 16 S rRNA genes. Results: Microbiota analyses of faeces were done for 97 children: 30 were uninfected, 17 were infected with T. trichiura, and 50 with T. trichiura and A. lumbricoides. Post-treatment samples were analyzed for 14 children initially infected with T. trichiura alone and for 21 uninfected children. Treatment resulted in 100% cure of STH infections. Comparisons of the microbiota at different taxonomic levels showed no statistically significant differences in composition between uninfected children and those with T. trichiura infections. We observed a decreased proportional abundance of a few bacterial genera from the Clostridia class of Firmicutes and a reduced bacterial diversity among children with mixed infections compared to the other two groups, indicating a possible specific effect of A. lumbricoides infection. Anthelmintic treatment of children with T. trichiura did not alter faecal microbiota composition. Discussion: Our data indicate that patent human infections with T. trichiura may have no effect on faecal microbiota but that A. lumbricoides colonisation might be associated with a disturbed microbiota. Our results also catalogue the microbiota of rural Ecuadorians and indicate differences with individuals from more urban industrialised societies

Mapping an atlas of tissue-specific drosophila melanogaster metabolomes by high resolution mass spectrometry

Metabolomics can provide exciting insights into organismal function, but most work on simple models has focussed on the whole organism metabolome, so missing the contributions of individual tissues. Comprehensive metabolite profiles for ten tissues from adult Drosophila melanogaster were obtained here by two chromatographic methods, a hydrophilic interaction (HILIC) method for polar metabolites and a lipid profiling method also based on HILIC, in combination with an Orbitrap Exactive instrument. Two hundred and forty two polar metabolites were putatively identified in the various tissues, and 251 lipids were observed in positive ion mode and 61 in negative ion mode. Although many metabolites were detected in all tissues, every tissue showed characteristically abundant metabolites which could be rationalised against specific tissue functions. For example, the cuticle contained high levels of glutathione, reflecting a role in oxidative defence; the alimentary canal (like vertebrate gut) had high levels of acylcarnitines for fatty acid metabolism, and the head contained high levels of ether lipids. The male accessory gland uniquely contained decarboxylated S-adenosylmethionine. These data thus both provide valuable insights into tissue function, and a reference baseline, compatible with the FlyAtlas.org transcriptomic resource, for further metabolomic analysis of this important model organism, for example in the modelling of human inborn errors of metabolism, aging or metabolic imbalances such as diabetes

Metabolomic Profiling of Drug Responses in Acute Myeloid Leukaemia Cell Lines

Combined bezafibrate (BEZ) and medroxyprogesterone acetate (MPA) exert unexpected antileukaemic activities against acute myeloid leukaemia (AML) and these activities are associated with the generation of reactive oxygen species (ROS) within the tumor cells. Although the generation of ROS by these drugs is supported by preceding studies including our own, the interrelationship between the cellular effects of the drugs and ROS generation is not well understood. Here we report the use of NMR metabolomic profiling to further study the effect of BEZ and MPA on three AML cell lines and to shed light on the underlying mechanism of action. For this we focused on drug effects induced during the initial 24 hours of treatment prior to the onset of overt cellular responses and examined these in the context of basal differences in metabolic profiles between the cell lines. Despite their ultimately profound cellular effects, the early changes in metabolic profiles engendered by these drugs were less pronounced than the constitutive metabolic differences between cell types. Nonetheless, drug treatments engendered common metabolic changes, most markedly in the response to the combination of BEZ and MPA. These responses included changes to TCA cycle intermediates consistent with recently identified chemical actions of ROS. Notable amongst these was the conversion of α-ketoglutarate to succinate which was recapitulated by the treatment of cell extracts with exogenous hydrogen peroxide. These findings indicate that the actions of combined BEZ and MPA against AML cells are indeed mediated downstream of the generation of ROS rather than some hitherto unsuspected mechanism. Moreover, our findings demonstrate that metabolite profiles represent highly sensitive markers for genomic differences between cells and their responses to external stimuli. This opens new perspectives to use metabolic profiling as a tool to study the rational redeployment of drugs in new disease settings

Strong fisheries management and governance positively impact ecosystem status

Bundy, Alida ... et al.-- 28 pages, 6 figures, 8 tables, supporting information https://dx.doi.org/10.1111/faf.12184Fisheries have had major negative impacts on marine ecosystems, and effective fisheries management and governance are needed to achieve sustainable fisheries, biodiversity conservation goals and thus good ecosystem status. To date, the IndiSeas programme (Indicators for the Seas) has focussed on assessing the ecological impacts of fishing at the ecosystem scale using ecological indicators. Here, we explore fisheries ‘Management Effectiveness’ and ‘Governance Quality’ and relate this to ecosystem health and status. We developed a dedicated expert survey, focused at the ecosystem level, with a series of questions addressing aspects of management and governance, from an ecosystem-based perspective, using objective and evidence-based criteria. The survey was completed by ecosystem experts (managers and scientists) and results analysed using ranking and multivariate methods. Results were further examined for selected ecosystems, using expert knowledge, to explore the overall findings in greater depth. Higher scores for ‘Management Effectiveness’ and ‘Governance Quality’ were significantly and positively related to ecosystems with better ecological status. Key factors that point to success in delivering fisheries and conservation objectives were as follows: the use of reference points for management, frequent review of stock assessments, whether Illegal, Unreported and Unregulated (IUU) catches were being accounted for and addressed, and the inclusion of stakeholders. Additionally, we found that the implementation of a long-term management plan, including economic and social dimensions of fisheries in exploited ecosystems, was a key factor in successful, sustainable fisheries management. Our results support the thesis that good ecosystem-based management and governance, sustainable fisheries and healthy ecosystems go togetherThis is a contribution to the IndiSeas Working Group, which, by the time of the study, was cofunded by IOC-UNESCO (www.ioc-unesco.org), EuroMarine (http://www.euromarinenetwork.eu), the European FP7 MEECE research project, the European Network of Excellence Eur-Oceans and the FRB EMIBIOS project (contract n°212085)Peer Reviewe

Identification of Zoonotic Genotypes of Giardia duodenalis

Giardia duodenalis, originally regarded as a commensal organism, is the etiologic agent of giardiasis, a gastrointestinal disease of humans and animals. Giardiasis causes major public and veterinary health concerns worldwide. Transmission is either direct, through the faecal-oral route, or indirect, through ingestion of contaminated water or food. Genetic characterization of G. duodenalis isolates has revealed the existence of seven groups (assemblages A to G) which differ in their host distribution. Assemblages A and B are found in humans and in many other mammals, but the role of animals in the epidemiology of human infection is still unclear, despite the fact that the zoonotic potential of Giardia was recognised by the WHO some 30 years ago. Here, we performed an extensive genetic characterization of 978 human and 1440 animal isolates, which together comprise 3886 sequences from 4 genetic loci. The data were assembled into a molecular epidemiological database developed by a European network of public and veterinary health Institutions. Genotyping was performed at different levels of resolution (single and multiple loci on the same dataset). The zoonotic potential of both assemblages A and B is evident when studied at the level of assemblages, sub-assemblages, and even at each single locus. However, when genotypes are defined using a multi-locus sequence typing scheme, only 2 multi-locus genotypes (MLG) of assemblage A and none of assemblage B appear to have a zoonotic potential. Surprisingly, mixtures of genotypes in individual isolates were repeatedly observed. Possible explanations are the uptake of genetically different Giardia cysts by a host, or subsequent infection of an already infected host, likely without overt symptoms, with a different Giardia species, which may cause disease. Other explanations for mixed genotypes, particularly for assemblage B, are substantial allelic sequence heterogeneity and/or genetic recombination. Although the zoonotic potential of G. duodenalis is evident, evidence on the contribution and frequency is (still) lacking. This newly developed molecular database has the potential to tackle intricate epidemiological questions concerning protozoan diseases

Metabolic Profiling of an Echinostoma caproni Infection in the Mouse for Biomarker Discovery

Consumption of raw fish and other freshwater products can lead to unpleasant worm infections. Indeed, such worm infections are of growing public health and veterinary concern, but they are often neglected, partially explained by the difficulty of accurate diagnosis. In the present study we infected 12 mice with an intestinal worm (i.e., Echinostoma caproni) and collected blood, stool, and urine samples 7 times between 1 and 33 days after the infection. At the same time points, blood, stool, and urine were also sampled from 12 uninfected mice. These biofluid samples were examined with a spectrometer and data were analyzed with a multivariate approach. We observed important differences between the infected and the uninfected control animals. For example, we found an increased level of branched chain amino acids in the stool of infected mice and subsequent depletion in blood plasma. Additionally, we observed changes related to a disturbed intestinal bacterial composition, particularly in urine and stool. The combination of results from the three types of biofluids gave the most comprehensive characterization of an E. caproni infection in the mouse. Urine would be the biofluid of choice for diagnosis of an infection because the ease of sample collection and the high number and extent of changed metabolites

Identification strategy for unknown pollutants using high-resolution mass spectrometry: Androgen-disrupting compounds identified through effect-directed analysis

Effect-directed analysis has been applied to a river sediment sample of concern to identify the compounds responsible for the observed effects in an in vitro (anti-)androgenicity assay. For identification after non-target analysis performed on a high-resolution LTQ-Orbitrap, we developed a de novo identification strategy including physico-chemical parameters derived from the effect-directed analysis approach. With this identification strategy, we were able to handle the immense amount of data produced by non-target accurate mass analysis. The effect-directed analysis approach, together with the identification strategy, led to the successful identification of eight androgen-disrupting compounds belonging to very diverse compound classes: an oxygenated polyaromatic hydrocarbon, organophosphates, musks, and steroids. This is one of the first studies in the field of environmental analysis dealing with the difficult task of handling the large amount of data produced from non-target analysis. The combination of bioassay activity assessment, accurate mass measurement, and the identification and confirmation strategy is a promising approach for future identification of environmental key toxicants that are not included as priority pollutants in monitoring programs

Metabolic profiling detects early effects of environmental and lifestyle exposure to cadmium in a human population

Background: The ‘exposome’ represents the accumulation of all environmental exposures across a lifetime. Topdown strategies are required to assess something this comprehensive, and could transform our understanding of how environmental factors affect human health. Metabolic profiling (metabonomics/metabolomics) defines an individual’s metabolic phenotype, which is influenced by genotype, diet, lifestyle, health and xenobiotic exposure, and could also reveal intermediate biomarkers for disease risk that reflect adaptive response to exposure. We investigated changes in metabolism in volunteers living near a point source of environmental pollution: a closed zinc smelter with associated elevated levels of environmental cadmium. Methods: High-resolution 1H NMR spectroscopy (metabonomics) was used to acquire urinary metabolic profiles from 178 human volunteers. The spectral data were subjected to multivariate and univariate analysis to identify metabolites that were correlated with lifestyle or biological factors. Urinary levels of 8-oxo-deoxyguanosine were also measured, using mass spectrometry, as a marker of systemic oxidative stress. Results: Six urinary metabolites, either associated with mitochondrial metabolism (citrate, 3-hydroxyisovalerate, 4- deoxy-erythronic acid) or one-carbon metabolism (dimethylglycine, creatinine, creatine), were associated with cadmium exposure. In particular, citrate levels retained a significant correlation to urinary cadmium and smoking status after controlling for age and sex. Oxidative stress (as determined by urinary 8-oxo-deoxyguanosine levels) was elevated in individuals with high cadmium exposure, supporting the hypothesis that heavy metal accumulation was causing mitochondrial dysfunction. Conclusions: This study shows evidence that an NMR-based metabolic profiling study in an uncontrolled human population is capable of identifying intermediate biomarkers of response to toxicants at true environmental concentrations, paving the way for exposome research. Keywords: metabonomics, cadmium, environmental health, exposome, metabolomics, molecular epidemiolog

Land Cover and Rainfall Interact to Shape Waterbird Community Composition

Human land cover can degrade estuaries directly through habitat loss and fragmentation or indirectly through nutrient inputs that reduce water quality. Strong precipitation events are occurring more frequently, causing greater hydrological connectivity between watersheds and estuaries. Nutrient enrichment and dissolved oxygen depletion that occur following these events are known to limit populations of benthic macroinvertebrates and commercially harvested species, but the consequences for top consumers such as birds remain largely unknown. We used non-metric multidimensional scaling (MDS) and structural equation modeling (SEM) to understand how land cover and annual variation in rainfall interact to shape waterbird community composition in Chesapeake Bay, USA. The MDS ordination indicated that urban subestuaries shifted from a mixed generalist-specialist community in 2002, a year of severe drought, to generalist-dominated community in 2003, of year of high rainfall. The SEM revealed that this change was concurrent with a sixfold increase in nitrate-N concentration in subestuaries. In the drought year of 2002, waterbird community composition depended only on the direct effect of urban development in watersheds. In the wet year of 2003, community composition depended both on this direct effect and on indirect effects associated with high nitrate-N inputs to northern parts of the Bay, particularly in urban subestuaries. Our findings suggest that increased runoff during periods of high rainfall can depress water quality enough to alter the composition of estuarine waterbird communities, and that this effect is compounded in subestuaries dominated by urban development. Estuarine restoration programs often chart progress by monitoring stressors and indicators, but rarely assess multivariate relationships among them. Estuarine management planning could be improved by tracking the structure of relationships among land cover, water quality, and waterbirds. Unraveling these complex relationships may help managers identify and mitigate ecological thresholds that occur with increasing human land cover