61 research outputs found

    A comparative study of two formal semantics of the SIGNAL language

    Get PDF
    International audienceSIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. There exist several semantics for SIGNAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by synchronous transition systems (STS), etc. However, there is little research about the equivalence between these semantics.In this work, we would like to prove the equivalence between the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different definitions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The distance between these two semantics discourages a direct proof of equivalence. Instead, we transformthem to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL

    Heligmosomoides bakeri: a model for exploring the biology and genetics of resistance to chronic gastrointestinal nematode infections

    Get PDF
    The intestinal nematode Heligmosomoides bakeri has undergone 2 name changes during the last 4 decades. Originally, the name conferred on the organism in the early 20th century was Nematospiroides dubius, but this was dropped in favour of Heligmosomoides polygyrus, and then more recently H. bakeri, to distinguish it from a closely related parasite commonly found in wood mice in Europe. H. bakeri typically causes long-lasting infections in mice and in this respect it has been an invaluable laboratory model of chronic intestinal nematode infections. Resistance to H. bakeri is a dominant trait and is controlled by genes both within and outside the MHC. More recently, a significant QTL has been identified on chromosome 1, although the identity of the underlying genes is not yet known. Other QTL for resistance traits and for the accompanying immune responses were also defined, indicating that resistance to H. bakeri is a highly polygenic phenomenon. Hence marker-assisted breeding programmes aiming to improve resistance to GI nematodes in breeds of domestic livestock will need to be highly selective, focussing on genes that confer the greatest proportion of overall genetic resistance, whilst leaving livestock well-equipped genetically to cope with other types of pathogens and preserving important production traits

    Genetic polymorphisms in MDR1, CYP3A4 and CYP3A5 genes in a Ghanaian population: a plausible explanation for altered metabolism of ivermectin in humans?

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Ivermectin, a substrate of multidrug resistance (MDR1) gene and cytochrome P450 (CYP) 3A4, has been used successfully in the treatment of onchocerciasis in Ghana. However, there have been reports of suboptimal response in some patients after repeated treatment. Polymorphisms in host MDR1 and CYP3A genes may explain the observed suboptimal response to ivermectin. We genotyped relevant functional polymorphisms of MDR1 and CYP3A in a random sample of healthy Ghanaians and compared the data with that of ivermectin-treated patients with a view to exploring the relationship between suboptimal response to ivermectin and MDR1 and CYP3A allelic frequencies.</p> <p>Methods</p> <p>Using PCR-RFLP, relevant polymorphic alleles of MDR1 and CYP3A4 genes were analysed in 204 randomly selected individuals and in 42 ivermectin treated patients.</p> <p>Results</p> <p>We recorded significantly higher MDR1 (3435T) variant allele frequency in suboptimal responders (21%) than in patients who responded to treatment (12%) or the random population sample (11%). <it>CYP3A4*1B</it>, <it>CYP3A5*3 </it>and <it>CYP3A5*6 </it>alleles were detected at varied frequencies for the sampled Ghanaian population, responders and suboptimal responders to ivermectin. <it>CYP3A5*1/CYP3A5*1 </it>and <it>CYP3A5*1/CYP3A5*3 </it>genotypes were also found to be significantly different for responders and suboptimal responders. Haplotype (*1/*1/*3/*1) was determined to be significantly different between responders and suboptimal responders indicating a possible role of these haplotypes in treatment response with ivermectin.</p> <p>Conclusion</p> <p>A profile of pharmacogenetically relevant variants for MDR1, CYP3A4 and CYP3A5 genes has been generated for a random population of 204 Ghanaians to address the scarcity of data within indigenous African populations. In 42 patients treated with ivermectin, difference in MDR1 variant allele frequency was observed between suboptimal responders and responders.</p

    A Research Agenda for Helminth Diseases of Humans: Intervention for Control and Elimination

    Get PDF
    Recognising the burden helminth infections impose on human populations, and particularly the poor, major intervention programmes have been launched to control onchocerciasis, lymphatic filariasis, soil-transmitted helminthiases, schistosomiasis, and cysticercosis. The Disease Reference Group on Helminth Infections (DRG4), established in 2009 by the Special Programme for Research and Training in Tropical Diseases (TDR), was given the mandate to review helminthiases research and identify research priorities and gaps. A summary of current helminth control initiatives is presented and available tools are described. Most of these programmes are highly dependent on mass drug administration (MDA) of anthelmintic drugs (donated or available at low cost) and require annual or biannual treatment of large numbers of at-risk populations, over prolonged periods of time. The continuation of prolonged MDA with a limited number of anthelmintics greatly increases the probability that drug resistance will develop, which would raise serious problems for continuation of control and the achievement of elimination. Most initiatives have focussed on a single type of helminth infection, but recognition of co-endemicity and polyparasitism is leading to more integration of control. An understanding of the implications of control integration for implementation, treatment coverage, combination of pharmaceuticals, and monitoring is needed. To achieve the goals of morbidity reduction or elimination of infection, novel tools need to be developed, including more efficacious drugs, vaccines, and/or antivectorial agents, new diagnostics for infection and assessment of drug efficacy, and markers for possible anthelmintic resistance. In addition, there is a need for the development of new formulations of some existing anthelmintics (e.g., paediatric formulations). To achieve ultimate elimination of helminth parasites, treatments for the above mentioned helminthiases, and for taeniasis and food-borne trematodiases, will need to be integrated with monitoring, education, sanitation, access to health services, and where appropriate, vector control or reduction of the parasite reservoir in alternative hosts. Based on an analysis of current knowledge gaps and identification of priorities, a research and development agenda for intervention tools considered necessary for control and elimination of human helminthiases is presented, and the challenges to be confronted are discussed

    Weak phenotypic reversion of ivermectin resistance in a field resistant isolate of Haemonchus contortus by verapamil

    Full text link
    Recent advances in anthelmintic resistant phenotype reversion by Pgp modulating drugs in ruminant nematodes indicate that this can be a useful tool to helminth control. The aim of the present study was to evaluate the efficacy of ivermectin (IVM) in combination with verapamil (VRP), in oil or water-based vehicle, against an IVM-resistant field isolate of Haemonchus contortus through a larval migration assay and experimental infection trial. In the in vitro assay was observed a phenotypic reversion of H. contortus resistance to ivermectin at a high concentration of VRP, increasing IVM efficacy from 53.1% to 94.3. In the in vivo trial, IVM + VRP demonstrated 36.02% efficacy compared to the 7.75% of IVM alone. The vehicle formulation showed no influence in efficacy. These are the first results demonstrating the effect of VRP as a partial IVM-resistance phenotype reverser in a field isolate of IVM-resistant H. contortus experimentally inoculated in sheep

    Resistência anti-helmíntica em nematoides gastrintestinais de pequenos ruminantes: avanços e limitações para seu diagnóstico

    Full text link
    A seleção e a crescente disseminação de nematoides resistentes aos anti-helmínticos mais comumente utilizados, benzimidazóis (BZs), imidazotiazóis e lactonas macrocíclicas (LMs), constituem um sério entrave na produção de pequenos ruminantes em todo o mundo. O uso de métodos eficientes e sensíveis para a detecção e o monitoramento da resistência anti-helmíntica no campo torna-se urgente, especialmente para os grupos de BZs e LMs, devido aos constantes relatos de resistência. A obtenção de um diagnóstico preciso e precoce da resistência é extremamente importante para auxiliar a tomada de decisão em programas de controle parasitário, com o objetivo de preservar a vida útil dos produtos e limitar o desenvolvimento da resistência nas populações de nematoides. Os testes in vivo e, mais recentemente, os testes in vitro têm sido desenvolvidos para a detecção de nematoides resistentes aos principais grupos de anti-helmínticos. No entanto, a disponibilidade de testes in vitro validados e o seu uso prático ainda são muito limitados. Embora o teste de redução na contagem de ovos nas fezes (TRCOF, in vivo - indireto) seja o principal método de escolha para a detecção de resistência no campo, vem recebendo críticas quanto à validade dos resultados, e passa por significativas modificações. Além disso, o desenvolvimento de técnicas moleculares a partir de alterações genômicas gerou avanços consideráveis nessa área de investigação, com o uso de mutações nos códons 167, 198 e 200 do gene da β-tubulina como principais SNPs (polimorfismos de nucleotídeo único; do inglês Single Nucleotide Polymorphisms) associados à resistência aos BZs. A presente revisão tem o objetivo de discutir os métodos de diagnóstico disponíveis para a detecção de resistência anti-helmíntica em nematoides de pequenos ruminantes, destacando progressos e obstáculos para seu uso na rotina laboratorial e no campo
    • …
    corecore