1,182 research outputs found

    A SAT-based System for Consistent Query Answering

    Full text link
    An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent databases. The consistent answers to a query on an inconsistent database is the intersection of the answers to the query on every repair, i.e., on every consistent database that differs from the given inconsistent one in a minimal way. Computing the consistent answers of a fixed conjunctive query on a given inconsistent database can be a coNP-hard problem, even though every fixed conjunctive query is efficiently computable on a given consistent database. We designed, implemented, and evaluated CAvSAT, a SAT-based system for consistent query answering. CAvSAT leverages a set of natural reductions from the complement of consistent query answering to SAT and to Weighted MaxSAT. The system is capable of handling unions of conjunctive queries and arbitrary denial constraints, which include functional dependencies as a special case. We report results from experiments evaluating CAvSAT on both synthetic and real-world databases. These results provide evidence that a SAT-based approach can give rise to a comprehensive and scalable system for consistent query answering.Comment: 25 pages including appendix, to appear in the 22nd International Conference on Theory and Applications of Satisfiability Testin

    Asynchronous food-web pathways could buffer the response of Serengeti predators to El NiĂąo southern oscillation

    Get PDF
    Understanding how entire ecosystems maintain stability in the face of climatic and human disturbance is one of the most fundamental challenges in ecology. Theory suggests that a crucial factor determining the degree of ecosystem stability is simply the degree of synchrony with which different species in ecological food webs respond to environmental stochasticity. Ecosystems in which all food-web pathways are affected similarly by external disturbance should amplify variability in top carnivore abundance over time due to population interactions, whereas ecosystems in which a large fraction of pathways are nonresponsive or even inversely responsive to external disturbance will have more constant levels of abundance at upper trophic levels. To test the mechanism underlying this hypothesis, we used over half a century of demographic data for multiple species in the Serengeti (Tanzania) ecosystem to measure the degree of synchrony to variation imposed by an external environmental driver, the El NiĂąo Southern Oscillation (ENSO). ENSO effects were mediated largely via changes in dry-season vs. wet-season rainfall and consequent changes in vegetation availability, propagating via bottom-up effects to higher levels of the Serengeti food web to influence herbivores, predators and parasites. Some species in the Serengeti food web responded to the influence of ENSO in opposite ways, whereas other species were insensitive to variation in ENSO. Although far from conclusive, our results suggest that a diffuse mixture of herbivore responses could help buffer top carnivores, such as Serengeti lions, from variability in climate. Future global climate changes that favor some pathways over others, however, could alter the effectiveness of such processes in the future

    Evaluation of two lyophilized molecular assays to rapidly detect foot-and-mouth disease virus directly from clinical samples in field settings

    Get PDF
    Accurate, timely diagnosis is essential for the control, monitoring and eradication of foot‐and‐mouth disease (FMD). Clinical samples from suspect cases are normally tested at reference laboratories. However, transport of samples to these centralized facilities can be a lengthy process that can impose delays on critical decision making. These concerns have motivated work to evaluate simple‐to‐use technologies, including molecular‐based diagnostic platforms, that can be deployed closer to suspect cases of FMD. In this context, FMD virus (FMDV)‐specific reverse transcription loop‐mediated isothermal amplification (RT‐LAMP) and real‐time RT‐PCR (rRT‐PCR) assays, compatible with simple sample preparation methods and in situ visualization, have been developed which share equivalent analytical sensitivity with laboratory‐based rRT‐PCR. However, the lack of robust ‘ready‐to‐use kits’ that utilize stabilized reagents limits the deployment of these tests into field settings. To address this gap, this study describes the performance of lyophilized rRT‐PCR and RT‐LAMP assays to detect FMDV. Both of these assays are compatible with the use of fluorescence to monitor amplification in real‐time, and for the RT‐LAMP assays end point detection could also be achieved using molecular lateral flow devices. Lyophilization of reagents did not adversely affect the performance of the assays. Importantly, when these assays were deployed into challenging laboratory and field settings within East Africa they proved to be reliable in their ability to detect FMDV in a range of clinical samples from acutely infected as well as convalescent cattle. These data support the use of highly sensitive molecular assays into field settings for simple and rapid detection of FMDV

    Elucidating the phylodynamics of endemic rabies virus in eastern Africa using whole-genome sequencing

    Get PDF
    Many of the pathogens perceived to pose the greatest risk to humans are viral zoonoses, responsible for a range of emerging and endemic infectious diseases. Phylogeography is a useful tool to understand the processes that give rise to spatial patterns and drive dynamics in virus populations. Increasingly, whole-genome information is being used to uncover these patterns, but the limits of phylogenetic resolution that can be achieved with this are unclear. Here, whole-genome variation was used to uncover fine-scale population structure in endemic canine rabies virus circulating in Tanzania. This is the first whole-genome population study of rabies virus and the first comprehensive phylogenetic analysis of rabies virus in East Africa, providing important insights into rabies transmission in an endemic system. In addition, sub-continental scale patterns of population structure were identified using partial gene data and used to determine population structure at larger spatial scales in Africa. While rabies virus has a defined spatial structure at large scales, increasingly frequent levels of admixture were observed at regional and local levels. Discrete phylogeographic analysis revealed long-distance dispersal within Tanzania, which could be attributed to human-mediated movement, and we found evidence of multiple persistent, co-circulating lineages at a very local scale in a single district, despite on-going mass dog vaccination campaigns. This may reflect the wider endemic circulation of these lineages over several decades alongside increased admixture due to human-mediated introductions. These data indicate that successful rabies control in Tanzania could be established at a national level, since most dispersal appears to be restricted within the confines of country borders but some coordination with neighbouring countries may be required to limit transboundary movements. Evidence of complex patterns of rabies circulation within Tanzania necessitates the use of whole-genome sequencing to delineate finer scale population structure that can that can guide interventions, such as the spatial scale and design of dog vaccination campaigns and dog movement controls to achieve and maintain freedom from disease

    The feasibility of canine rabies elimination in Africa: dispelling doubts with data

    Get PDF
    <p><b>Background:</b> Canine rabies causes many thousands of human deaths every year in Africa, and continues to increase throughout much of the continent.</p> <p><b>Methodology/Principal Findings:</b> This paper identifies four common reasons given for the lack of effective canine rabies control in Africa: (a) a low priority given for disease control as a result of lack of awareness of the rabies burden; (b) epidemiological constraints such as uncertainties about the required levels of vaccination coverage and the possibility of sustained cycles of infection in wildlife; (c) operational constraints including accessibility of dogs for vaccination and insufficient knowledge of dog population sizes for planning of vaccination campaigns; and (d) limited resources for implementation of rabies surveillance and control. We address each of these issues in turn, presenting data from field studies and modelling approaches used in Tanzania, including burden of disease evaluations, detailed epidemiological studies, operational data from vaccination campaigns in different demographic and ecological settings, and economic analyses of the cost-effectiveness of dog vaccination for human rabies prevention.</p> <p><b>Conclusions/Significance:</b> We conclude that there are no insurmountable problems to canine rabies control in most of Africa; that elimination of canine rabies is epidemiologically and practically feasible through mass vaccination of domestic dogs; and that domestic dog vaccination provides a cost-effective approach to the prevention and elimination of human rabies deaths.</p&gt

    GoPrime: development of an in silico framework to predict the performance of real-time PCR primers and probes using foot-and-mouth disease virus as a model

    Get PDF
    Real-time PCR (rPCR) is a widely accepted diagnostic tool for the detection and quantification of nucleic acid targets. In order for these assays to achieve high sensitivity and specificity, primer and probe-template complementarity is essential; however, mismatches are often unavoidable and can result in false-negative results and errors in quantifying target sequences. Primer and probe sequences therefore require continual evaluation to ensure they remain fit for purpose. This paper describes the development of a linear model and associated computational tool (GoPrime) designed to predict the performance of rPCR primers and probes across multiple sequence data. Empirical data were generated using DNA oligonucleotides (n = 90) that systematically introduced variation in the primer and probe target regions of a diagnostic assay routinely used to detect foot-and-mouth disease virus (FMDV); an animal virus that exhibits a high degree of sequence variability. These assays revealed consistent impacts of patterns of substitutions in primer and probe-sites on rPCR cycle threshold (CT) and limit of detection (LOD). These data were used to populate GoPrime, which was subsequently used to predict rPCR results for DNA templates (n = 7) representing the natural sequence variability within FMDV. GoPrime was also applicable to other areas of the FMDV genome, with predictions for the likely targets of a FMDV-typing assay consistent with published experimental data. Although further work is required to improve these tools, including assessing the impact of primer-template mismatches in the reverse transcription step and the broader impact of mismatches for other assays, these data support the use of mathematical models for rapidly predicting the performance of rPCR primers and probes in silico
    • …
    corecore