714 research outputs found
Zoonotic diseases: sharing insights from interdisciplinary research
Researchers and others involved with the Zoonoses and Emerging Livestock Systems (ZELS) initiative gathered in Tanzania earlier this year to discuss progress with projects being carried out as part of the five- year programme. Mary Ryan and Sarah Cleaveland report
Domestic dog demographic structure and dynamics relevant to rabies control planning in urban areas in Africa: the case of Iringa, Tanzania
<p>Background
Mass vaccinations of domestic dogs have been shown to effectively control canine rabies and hence human exposure to rabies. Knowledge of dog population demography is essential for planning effective rabies vaccination programmes; however, such information is still rare for African domestic dog populations, particularly so in urban areas. This study describes the demographic structure and population dynamics of a domestic dog population in an urban sub-Saharan African setting. In July to November 2005, we conducted a full household-level census and a cross-sectional dog demography survey in four urban wards of Iringa Municipality, Tanzania. The achievable vaccination coverage was assessed by a two-stage vaccination campaign, and the proportion of feral dogs was estimated by a mark-recapture transect study.</p>
<p>Results
The estimated size of the domestic dog population in Iringa was six times larger than official town records assumed, however, the proportion of feral dogs was estimated to account for less than 1% of the whole population. An average of 13% of all households owned dogs which equalled a dog:human ratio of 1:14, or 0.31 dogs per household or 334 dogs km-2. Dog female:male ratio was 1:1.4. The average age of the population was 2.2 years, 52% of all individuals were less than one year old. But mortality within the first year was high (72%). Females became fertile at the age of 10 months and reportedly remained fertile up to the age of 11 years. The average number of litters whelped per fertile female per year was 0.6 with an average of 5.5 pups born per litter. The population growth was estimated at 10% y-1.</p>
<p>Conclusions
Such high birth and death rates result in a rapid replacement of anti-rabies immunised individuals with susceptible ones. This loss in herd immunity needs to be taken into account in the design of rabies control programmes. The very small proportion of truly feral dogs in the population implies that vaccination campaigns aimed at the owned dog population are sufficient to control rabies in urban Iringa, and the same may be valid in other, comparable urban settings.</p>
Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation
The timed behavior of distributed real-time systems can be specified using a formalism called Communicating Shared Resources, or CSR. The underlying computation model of CSR is resource-based in which multiple resources execute synchronously, while processes assigned to the same resource are interleaved according to their priorities. CSR bridges the gap between an abstract computation model and implementation environments, but is too complex to be treated as a process algebra. We therefore give a calculus for CSR (CCSR), that provides the ability to perform equivalence proofs by syntactic manipulation. We illustrate how a CSR specification can be translated into the CCSR formalism using a periodic timed producer-consumer example, and how a translated CSR specification can be shown correct using syntactic manipulations
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix)
This paper presents the first model-checking algorithm for an expressive
modal mu-calculus over timed automata, , and reports performance results for an implementation.
This mu-calculus contains extended time-modality operators and can express all
of TCTL. Our algorithmic approach uses an "on-the-fly" strategy based on proof
search as a means of ensuring high performance for both positive and negative
answers to model-checking questions. In particular, a set of proof rules for
solving model-checking problems are given and proved sound and complete; we
encode our algorithm in these proof rules and model-check a property by
constructing a proof (or showing none exists) using these rules. One noteworthy
aspect of our technique is that we show that verification performance can be
improved with \emph{derived rules}, whose correctness can be inferred from the
more primitive rules on which they are based. In this paper, we give the basic
proof rules underlying our method, describe derived proof rules to improve
performance, and compare our implementation of this model checker to the UPPAAL
tool.Comment: This is the preprint of the FORMATS 2014 paper, but this is the full
version, containing the Appendix. The final publication is published from
Springer, and is available at
http://link.springer.com/chapter/10.1007%2F978-3-319-10512-3_9 on the
Springer webpag
Automated Analysis of MUTEX Algorithms with FASE
In this paper we study the liveness of several MUTEX solutions by
representing them as processes in PAFAS s, a CCS-like process algebra with a
specific operator for modelling non-blocking reading behaviours. Verification
is carried out using the tool FASE, exploiting a correspondence between
violations of the liveness property and a special kind of cycles (called
catastrophic cycles) in some transition system. We also compare our approach
with others in the literature. The aim of this paper is twofold: on the one
hand, we want to demonstrate the applicability of FASE to some concrete,
meaningful examples; on the other hand, we want to study the impact of
introducing non-blocking behaviours in modelling concurrent systems.Comment: In Proceedings GandALF 2011, arXiv:1106.081
Integrating serological and genetic data to quantify cross-species transmission: brucellosis as a case study
Epidemiological data are often fragmented, partial, and/or ambiguous and unable to yield the desired level of understanding
of infectious disease dynamics to adequately inform control measures. Here, we show how the information contained in
widely available serology data can be enhanced by integration with less common type-specific data, to improve the understanding
of the transmission dynamics of complex multi-species pathogens and host communities. Using brucellosis in
Northern Tanzania as a case-study, we developed a latent process model based on serology data obtained from the
field, to reconstruct Brucella transmission dynamics. We were able to identify sheep and goats as a more likely source
of human and animal infection than cattle; however, the highly cross-reactive nature of Brucella spp. meant that it was
not possible to determine which Brucella species (B. abortus or B. melitensis) is responsible for human infection. We
extended our model to integrate simulated serology and typing data, and show that although serology alone can identify
the host source of human infection under certain restrictive conditions, the integration of even small amounts (5%) of
typing data can improve understanding of complex epidemiological dynamics. We show that data integration will often
be essential when more than one pathogen is present and when the distinction between exposed and infectious individuals
is not clear from serology data. With increasing epidemiological complexity, serology data become less informative.
However, we show how this weakness can be mitigated by integrating such data with typing data, thereby enhancing
the inference from these data and improving understanding of the underlying dynamics
The demography of free-roaming dog populations and applications to disease and population control
Understanding the demography of domestic dog populations is essential for effective disease control, particularly of canine-mediated rabies. Demographic data are also needed to plan effective population management. However, no study has comprehensively evaluated the contribution of demographic processes (i.e. births, deaths and movement) to variations in dog population size or density, or determined the factors that regulate these processes, including human factors.
We report the results of a 3-year cohort study of domestic dogs, which is the first to generate detailed data on the temporal variation of these demographic characteristics. The study was undertaken in two communities in each of Bali, Indonesia and Johannesburg, South Africa, in rabies-endemic areas and where the majority of dogs were free-roaming. None of the four communities had been engaged in any dog population management interventions by local authorities or animal welfare organizations. All identified dogs in the four communities were monitored individually throughout the study.
We observed either no population growth or a progressive decline in population size during the study period. There was no clear evidence that population size was regulated through environmental resource constraints. Rather, almost all of the identified dogs were owned and fed regularly by their owners, consistent with population size regulated by human demand. Finally, a substantial fraction of the dogs originated from outside the population, entirely through the translocation of dogs by people, rather than from local births. These findings demonstrate that previously reported growth of dog populations is not a general phenomenon and challenge the widely held view that free-roaming dogs are unowned and form closed populations.
Synthesis and applications. These observations have broad implications for disease and population control. The accessibility of dogs for vaccination and evaluation through owners and the movement of dogs (some of them infected) by people will determine the viable options for disease control strategies. The impact of human factors on population dynamics will also influence the feasibility of annual vaccination campaigns to control rabies and population control through culling or sterilization. The complex relationship between dogs and people is critically important in the transmission and control of canine-mediated rabies. For effective management, human factors must be considered in the development of disease and population control programmes
Rabies elimination research: juxtaposing optimism, pragmatism and realism
More than 100 years of research has now been conducted into the prevention, control and elimination of rabies with safe and highly efficacious vaccines developed for use in human and animal populations. Domestic dogs are a major reservoir for rabies, and although considerable advances have been made towards the elimination and control of canine rabies in many parts of the world, the disease continues to kill tens of thousands of people every year in Africa and Asia. Policy efforts are now being directed towards a global target of zero human deaths from dog-mediated rabies by 2030 and the global elimination of canine rabies. Here we demonstrate how research provides a cause for optimism as to the feasibility of these goals through strategies based around mass dog vaccination. We summarize some of the pragmatic insights generated from rabies epidemiology and dog ecology research that can improve the design of dog vaccination strategies in low- and middle-income countries and which should encourage implementation without further delay. We also highlight the need for realism in reaching the feasible, although technically more difficult and longer-term goal of global elimination of canine rabies. Finally, we discuss how research on rabies has broader relevance to the control and elimination of a suite of diseases of current concern to human and animal health, providing an exemplar of the value of a ‘One Health’ approach
Where Rabies Is Not a Disease. Bridging Healthworlds to Improve Mutual Understanding and Prevention of Rabies
Deeply embedded in local social, cultural, and religious settings, traditional healing is part of dog bite and rabies management in many rabies endemic countries. Faith healing, which usually encompasses a more holistic approach to health including physical, mental and social dimensions, is rare in the context of rabies. In Gujarat, Western India, the Hindu goddess Hadkai Mata is worshiped by low-caste communities as the Mother of Rabies in the event of a dog bite to a person or their livestock. This belief might influence people's attitudes and behaviors toward rabies prevention but has never been investigated. Through 31 in-depth interviews with healers and staff of Hadkai Mata temples, this paper explores the system of knowledge around dog and human rabies that is built and shared in these places of worship and healing. Qualitative and quantitative data were analyzed looking for convergences and divergences with the recently launched National Action Plan for dog-mediated Rabies Elimination. Results suggest that while the etiology of human rabies as a social illness is usually explained as the goddess's wish to correct misbehaving people and restore positive interpersonal relations, there is some appreciation for the biological processes of infection that lead to rabies as a physical disease. Hadkai Mata is believed to cure rabies if her patients undergo the necessary process of moral growth. Although conventional post-exposure prophylaxis is not opposed per se, it is often delayed by patients who seek traditional treatment first. Some reluctance was expressed toward mass dog vaccination because it is seen as an interference in how the goddess controls dogs, by enraging them—hence infecting them with rabies—and sending them to bite wrongdoers. Addressing these cultural perceptions is likely to be critical in achieving effective control of dog rabies in this region. The study highlights the value of multidisciplinary approaches in the control and elimination of rabies, as well as other zoonoses. This includes the importance of understanding different culturally- and religiously- mediated ways in which humans relate to animals; and looking for points of convergence and mutual understanding, upon which context-tailored, linguistically-accurate, locally acceptable, feasible and effective strategies can be designed
- …