Learn More
This paper studies a general methodology and an associated tool for translating AADL (Architecture Analysis and Design Language) and annex behavior specification into the BIP (Behavior Interaction Priority) language. This allows simulation of systems specified in AADL and application to these systems of formal verification techniques developed for BIP, e.g.(More)
After malaria, schistosomiasis (or bilharzia) is the second most prevalent disease in Africa, and is occurring in over 70 countries in tropical and subtropical regions. It is estimated that 600 million people are at risk of infection, 200 million people are infected, and at least 200,000 deaths per year are associated with the disease. All schistosome(More)
Malaria is the third most significant cause of infectious disease in the world. The search for new antimalarial chemotherapy has become increasingly urgent due to parasite resistance to classical drugs. Trioxaquines are synthetic hybrid molecules containing a trioxane motif (which is responsible for the antimalarial activity of artemisinin) linked to an(More)
In the first part of this account, the antimalarial drug artemisinin is presented, and the current hypotheses on the mechanism of action of this endoperoxide-based drug are reviewed. The alkylating ability of artemisinin and synthetic analogues toward heme related to their antimalarial efficacy are underlined. Some possible ways for discovery of new drugs,(More)
With the increase of life expectancy of humans in more than two-thirds of the countries in the World, aging diseases are becoming the frontline health problems. Alzheimer's disease (AD) is now one of the major challenges in drug discovery, since, with the exception of memantine in 2003, all clinical trials with drug candidates failed over the past decade.(More)
Heme alkylation by the antimalarial drug artemisinin is reported in vivo, within infected mice that have been treated at pharmacologically relevant doses. Adducts resulting from the alkylation of heme by the drug were characterized in the spleen of treated mice, and their glucuroconjugated derivatives were present in the urine. Because these(More)
Trioxaquines are dual molecules that contain a trioxane motif linked to an aminoquinoline entity. Among the different compounds of this series, trioxaquine cis-15 (DU1302 c), prepared from alpha-terpinene, a cheap natural product, showed efficient antimalarial activity in vitro on both sensitive and resistant strains of Plasmodium falciparum (IC(50)=5-19(More)
This paper presents the project STARMATE, funded by the EU (IST1999-10202), which aims at specifying, designing, developing, and demonstrating a prototype allowing computer guided maintenance of complex mechanical elements using Augmented Reality techniques. The system will provide two main functionalities: User assistance for achieving assembly/de-assembly(More)
The non-controlled redox-active metal ions, especially copper, in the brain of patients with Alzheimer disease (AD) should be considered at the origin of the intense oxidative damage in the AD brain. Several bis(8-aminoquinoline) ligands, such as 1 and PA1637, are able to chelate Cu(2+) with high affinity, and are specific chelators of copper with respect(More)
The interaction of heme or heme-artemisinin adducts (heme-art) with different peptides mimicking repeat sequences of the Histidine-Rich-Protein-II of Plasmodium falciparum (PfHRP-II) was investigated. The pseudo-first order rate constants of the coordination of heme or heme-art onto a histidine rich peptide, used as a mimic of PfHRP-II putative heme binding(More)