Sonet Network Design Problems

This paper presents a new method and a constraint-based objective function to solve two problems related to the design of optical telecommunication networks, namely the Synchronous Optical Network Ring Assignment Problem (SRAP) and the Intra-ring Synchronous Optical Network Design Problem (IDP). These network topology problems can be represented as a graph partitioning with capacity constraints as shown in previous works. We present here a new objective function and a new local search algorithm to solve these problems. Experiments conducted in Comet allow us to compare our method to previous ones and show that we obtain better results

Octagonal Domains for Continuous Constraints

International audienceDomains in Continuous Constraint Programming (CP) are generally represented with intervals whose $n$-ary Cartesian product (box) approximates the solution space. This paper proposes a new representation for continuous variable domains based on octagons. We generalize local consistency and split to this octagon representation, and we propose an octagonal-based branch and prune algorithm. Preliminary experimental results show promising performance improvements on several classical benchmarks

Codage Source-Canal conjoint : Etude qualitative du codage BCH sur R

Cet article a pour objectif de montrer l'intérêt d'un codage Source-Canal conjoint utilisant un codage BCH sur les réels face à des codages Source-Canal séparés classiques. Des résultats qualitatifs obtenus par simulation de plusieurs chaînes de transmission d'images satellitales sont présentés. Nous détaillons également dans cet article la constitution de chacune des chaînes utilisées. Les conditions de simulation sont choisies afin de fournir des éléments comparables d'un point de vue puissance de transmission

Un solveur de contraintes basé sur les domaines abstraits

International audienceDans cet article, nous utilisons des techniques de l'interpréation abstraite (une théorie d'approximation des sémantiques) dans le cadre de la programmation par contraintes (basée sur la logique du premier ordre qui permet de résoudre des problèmes combinatoires). Nous mettons en évidence certains liens et différences entre ces domaines de recherches : tous deux calculent itérativement des points fixes mais emploient des extrapolations et stratégies de raffinement différentes. De plus, nous pouvons mettre en correspondance les consistances en programmation par contraintes et les domaines abstraits non relationnels. Nous utilisons ensuite ces correspondances pour construire un solveur de contraintes abstrait qui s'appuie sur des techniques d'interprétation abstraite (comme les domaines relationnels) pour aller au-delà des solveurs classiques. Les résultats expérimentaux obtenus avec notre prototype sont encourageants

In vitro susceptibility to quinine and microsatellite variations of the Plasmodium falciparum Na+/H+ exchanger (Pfnhe-1) gene: the absence of association in clinical isolates from the Republic of Congo

<p>Abstract</p> <p>Background</p> <p>Quinine is still recommended as an effective therapy for severe cases of <it>Plasmodium falciparum </it>malaria, but the parasite has developed resistance to the drug in some cases. Investigations into the genetic basis for quinine resistance (QNR) suggest that QNR is complex and involves several genes, with either an additive or a pairwise effect. The results obtained when assessing one of these genes, the plasmodial Na⁺/H⁺exchanger, <it>Pfnhe-1</it>, were found to depend upon the geographic origin of the parasite strain. Most of the associations identified have been made in Asian strains; in contrast, in African strains, the influence of <it>Pfnhe </it>on QNR is not apparent. However, a recent study carried out in Kenya did show a significant association between a <it>Pfnhe </it>polymorphism and QNR. As genetic differences may exist across the African continent, more field data are needed to determine if this association exists in other African regions. In the present study, association between <it>Pfnhe </it>and QNR is investigated in a series of isolates from central Africa.</p> <p>Methods</p> <p>The sequence analysis of the polymorphisms at the <it>Pfnhe-1 </it>ms4760 microsatellite and the evaluation of <it>in vitro </it>quinine susceptibility (by isotopic assay) were conducted in 74 <it>P. falciparum </it>isolates from the Republic of Congo.</p> <p>Results</p> <p>Polymorphisms in the number of DNNND or NHNDNHNNDDD repeats in the <it>Pfnhe-1 </it>ms4760 microsatellite were not associated with quinine susceptibility.</p> <p>Conclusions</p> <p>The polymorphism in the microsatellite ms4760 in <it>Pfnhe-1 </it>that cannot be used to monitor quinine response in the regions of the Republic of Congo, where the isolates came from. This finding suggests that there exists a genetic background associated with geographic area for the association that will prevent the use of <it>Pfnhe </it>as a molecular marker for QNR. The contribution of <it>Pfnhe </it>to the <it>in vitro </it>response to quinine remains to be assessed in other regions, including in countries with different levels of drug pressure.</p

Use of Plasmodium falciparum culture-adapted field isolates for in vitro exflagellation-blocking assay

International audienceA major requirement for malaria elimination is the development of transmission-blocking interventions. In vitro transmission-blocking bioassays currently mostly rely on the use of very few Plasmodium falciparum reference laboratory strains isolated decades ago. To fill a piece of the gap between laboratory experimental models and natural systems, the purpose of this work was to determine if culture-adapted field isolates of P. falciparum are suitable for in vitro transmission-blocking bioassays targeting functional maturity of male gametocytes: exflagellation. Plasmodium falciparum isolates were adapted to in vitro culture before being used for in vitro gametocyte production. Maturation was assessed by microscopic observation of gametocyte morphology over time of culture and the functional viability of male gametocytes was assessed by microscopic counting of exflagellating gametocytes. Suitability for in vitro exflagellation-blocking bioassays was determined using dihydroartemisinin and methylene blue. In vitro gametocyte production was achieved using two isolates from French Guiana and two isolates from Cambodia. Functional maturity of male gametocytes was assessed by exflagellation observations and all four isolates could be used in exflagellation-blocking bioassays with adequate response to methylene blue and dihydroartemisinin. This work shows that in vitro culture-adapted P. falciparum field isolates of different genetic background, from South America and Southeast Asia, can successfully be used for bioassays targeting the male gametocyte to gamete transition, exflagellation

Polymorphism of Plasmodium falciparum Na+/H+ exchanger is indicative of a low in vitro quinine susceptibility in isolates from Viet Nam

<p>Abstract</p> <p>Background</p> <p>The <it>Plasmodium falciparum </it>NA+/H+ exchanger (<it>pfnhe1</it>, gene PF13_0019) has recently been proposed to influence quinine (QN) susceptibility. However, its contribution to QN resistance seems to vary geographically depending on the genetic background of the parasites. Here, the role of this gene was investigated in <it>in vitro </it>QN susceptibility of isolates from Viet Nam.</p> <p>Method</p> <p>Ninety-eight isolates were obtained from three different regions of the Binh Phuoc and Dak Nong bordering Cambodia provinces during 2006-2008. Among these, 79 were identified as monoclonal infection and were genotyped at the microsatellite <it>pfnhe1 </it>ms4760 locus and <it>in vitro </it>QN sensitivity data were obtained for 51 isolates. Parasite growth was assessed in the field using the HRP2 immunodetection assay.</p> <p>Results</p> <p>Significant associations were found between polymorphisms at <it>pfnhe1 </it>microsatellite ms4760 and susceptibility to QN. Isolates with two or more DNNND exhibited much lower susceptibility to QN than those harbouring zero or one DNNND repeats (median IC₅₀of 682 nM <it>versus </it>median IC₅₀of 300 nM; <it>p </it>= 0.0146) while isolates with one NHNDNHNNDDD repeat presented significantly reduced QN susceptibility than those who had two (median IC₅₀of 704 nM <it>versus </it>median IC₅₀of 375 nM; p < 0.01). These QNR associated genotype features were mainly due to the over representation of profile 7 among isolates (76.5%). The majority of parasites had <it>pfcrt76T </it>and wild-type <it>pfmdr1 </it>(> 95%) thus preventing analysis of associations with these mutations. Interestingly, area with the highest median QN IC₅₀showed also the highest percentage of isolates carrying the <it>pfnhe1 </it>haplotype 7.</p> <p>Conclusions</p> <p>The haplotype 7 which is the typical Asian profile is likely well-adapted to high drug pressure in this area and may constitute a good genetic marker to evaluate the dissemination of QNR in this part of the world.</p

A Constraint Solver based on Abstract Domains

International audienceIn this article, we apply techniques from Abstract Interpretation (a general theory of semantic abstractions) to Constraint Programming (which aims at solving hard combinatorial problems with a generic framework based on first-order logics). We highlight some links and differences between these fields: both compute fixpoints by iteration but employ different extrapolation and refinement strategies; moreover, consistencies in Constraint Programming can be mapped to non-relational abstract domains. We then use these correspondences to build an abstract constraint solver that leverages abstract interpretation techniques (such as relational domains) to go beyond classic solvers. We present encouraging experimental results obtained with our prototype implementation