Alternating Tree Automata with Qualitative Semantics

We study alternating automata with qualitative semantics over infinite binary trees: Alternation means that two opposing players construct a decoration of the input tree called a run, and the qualitative semantics says that a run of the automaton is accepting if almost all branches of the run are accepting. In this article, we prove a positive and a negative result for the emptiness problem of alternating automata with qualitative semantics. The positive result is the decidability of the emptiness problem for the case of Büchi acceptance condition. An interesting aspect of our approach is that we do not extend the classical solution for solving the emptiness problem of alternating automata, which first constructs an equivalent non-deterministic automaton. Instead, we directly construct an emptiness game making use of imperfect information. The negative result is the undecidability of the emptiness problem for the case of co-Büchi acceptance condition. This result has two direct consequences: The undecidability of monadic second-order logic extended with the qualitative path-measure quantifier and the undecidability of the emptiness problem for alternating tree automata with non-zero semantics, a recently introduced probabilistic model of alternating tree automata

Cellular immune response to Plasmodium falciparum after pregnancy is related to previous placental infection and parity

BACKGROUND: Malaria in pregnancy is characterised by the sequestration of Plasmodium falciparum-infected erythrocytes in placental intervillous spaces. Placental parasites express a specific phenotype, which allows them to cytoadhere to chondroitin sulfate A expressed by syncytiotrophoblasts. Malaria infection during pregnancy allows the acquisition of antibodies against placental parasites, these antibodies are thought to be involved in protection during subsequent pregnancies. METHODS: To investigate the development of a cellular response to placental parasites during pregnancy, peripheral blood mononuclear cells were collected from women at the time of their confinement. The study was performed in Cameroon where malaria transmission is perennial. In vitro cell proliferation and cytokine production were measured in response to non-malarial activators (concanavalin A and PPD), a recombinant protein from P. falciparum MSP-1, and erythrocytes infected by two P. falciparum lines, RP5 and W2. Like placental parasites, the RP5 line, but not W2, adheres to chondroitin sulfate A and to syncytiotrophoblasts. RESULTS: The proliferative response to all antigens was lower for cells obtained at delivery than 3 months later. Most interestingly, the cellular response to the RP5 line of P. falciparum was closely related to parity. The prevalence rate and the levels of response gradually increased with the number of previous pregnancies. No such relationship was observed with W2 line, or MSP-1 antigen. CONCLUSIONS: This suggests the occurrence of an immune response more specific for the RP5 line in women having had multiple pregnancies, and who are likely to develop immunity to pregnancy-associated parasites. Both humoral and cellular mechanisms may account for the lower susceptibility of multigravidae to malaria

Opacity Issues in Games with Imperfect Information

We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and where the winning condition relies on the information he has along the play. Those games are relevant for security aspects of computing systems: a play is opaque whenever the player who has imperfect information never "knows" for sure that the current position is one of the distinguished "secret" positions. We study the problems of deciding the existence of a winning strategy for each player, and we call them the opacity-violate problem and the opacity-guarantee problem. Focusing on the player with perfect information is new in the field of games with imperfect-information because when considering classical winning conditions it amounts to solving the underlying perfect-information game. We establish the EXPTIME-completeness of both above-mentioned problems, showing that our winning condition brings a gap of complexity for the player with perfect information, and we exhibit the relevant opacity-verify problem, which noticeably generalizes approaches considered in the literature for opacity analysis in discrete-event systems. In the case of blindfold games, this problem relates to the two initial ones, yielding the determinacy of blindfold games with opacity condition and the PSPACE-completeness of the three problems.Comment: In Proceedings GandALF 2011, arXiv:1106.081

ABO blood group system and placental malaria in an area of unstable malaria transmission in eastern Sudan

<p>Abstract</p> <p>Background</p> <p>Understanding the pathogenesis of malaria in pregnancy and its consequences for both the mother and the baby is fundamental for improving malaria control in pregnant women.</p> <p>Aim</p> <p>The study aimed to investigate the role of ABO blood groups on pregnancy outcomes in an area of unstable malaria transmission in eastern Sudan.</p> <p>Methods</p> <p>A total of 293 women delivering in New Half teaching hospital, eastern Sudan during the period October 2006–March 2007 have been analyzed. ABO blood groups were determined and placental histopathology examinations for malaria were performed. Birth and placental weight were recorded and maternal haemoglobin was measured.</p> <p>Results</p> <p>114 (39.7%), 61 (22.1%) and 118 (38.2%) women were primiparae, secundiparae and multiparae, respectively. The ABO blood group distribution was 82(A), 59 (B), 24 (AB) and 128 (O). Placental histopathology showed acute placental malaria infections in 6 (2%), chronic infections in 6 (2%), 82 (28.0%) of the placentae showed past infection and 199 (68.0%) showed no infection. There was no association between the age (OR = 1.02, 95% CI = 0.45–2.2; <it>P </it>= 0.9), parity (OR = 0.6, 95% CI = 0.3–1.2; <it>P </it>= 0.1) and placental malaria infections. In all parity blood group O was associated with a higher risk of past (OR = 1.9, 95% CI = 1.1–3.2; <it>P </it>= 0.01) placental malaria infection. This was also true when primiparae were considered separately (OR = 2.6, 95% CI = 1.05–6.5, <it>P </it>= 0.03).</p> <p>Among women with all placental infections/past placental infection, the mean haemoglobin was higher in women with the blood group O, but the mean birth weight, foeto-placental weight ratio was not different between these groups and the non-O group.</p> <p>Conclusion</p> <p>These results indicate that women of eastern Sudan are at risk for placental malaria infection irrespective to their age or parity. Those women with blood group O were at higher risk of past placental malaria infection.</p

ABO phenotypes and malaria related outcomes in mothers and babies in The Gambia: a role for histo-blood groups in placental malaria?

BACKGROUND: Host susceptibility to P.falciparum is critical for understanding malaria in pregnancy, its consequences for the mother and baby, and for improving malaria control in pregnant women. Yet host genetic factors which could influence placental malaria risk are little studied and there are no reports of the role of blood group polymorphisms on pregnancy outcomes in malaria endemic areas. This study analyses the association between ABO blood group phenotypes in relation to placental malaria pathology. METHODS: A total of 198 mother/child pairs delivering in Banjul and the Kombo-St Mary District (The Gambia) were analysed. ABO blood group was measured by agglutination. Placental malaria parasites wee enumerated and the presence of malaria pigment noted. Birth anthropometry was recorded and placental weight. Maternal and infant haemoglobin was measured. RESULTS: 89 (45%) subjects were primiparae and 110 (55%)multiparae. The ABO phenotype distribution was 38(A), 52(B), 6(AB) and 102(O). Placental histo-pathology showed active placental malaria in 74 (37%), past infection in 42 (21%) and no infection in 82 cases (41%). In primiparae blood group O was associated with a higher risk of active infection (OR = 2.99; 95% CI = 1.24–7.25), and a lower risk of past infection (OR = 0.31, 0.10–1.01, p < 0.05). In multiparae the O phenotype was associated with reduced prevalence of active or past placental infection (OR = 0.45; 95% CI 0.21–0.98). The mean feto-placental weight ratio was significantly higher in multiparae with group O women compared to non-O phenotypes (5.74 vs 5.36; p = 0.04). Among primiparae with active placental infection, mean birth weight was higher in children of mothers with the O phenotype (p = 0.04). CONCLUSION: These results indicate that blood group O was significantly associated with increased placental malaria infection in primiparae and reduced risk of infection in multiparae. This parity related susceptibility was not present with other ABO phenotypes. Cell surface glycans, such as ABO and related antigens have special relevance in reproductive biology and could modulate specific cell interactions as those associated with the pathogenesis of placental malaria

Plasmodium falciparum Transcriptome Analysis Reveals Pregnancy Malaria Associated Gene Expression

gene.-exposed women than from men.These findings suggest that other parasite proteins, such as PFI1785w, may contribute beside VAR2CSA to the pathogenesis of PAM. These data may be very valuable for future vaccine development

An Upstream Open Reading Frame Controls Translation of var2csa, a Gene Implicated in Placental Malaria

Malaria, caused by the parasite Plasmodium falciparum, is responsible for substantial morbidity, mortality and economic losses in tropical regions of the world. Pregnant women are exceptionally vulnerable to severe consequences of the infection, due to the specific adhesion of parasite-infected erythrocytes in the placenta. This adhesion is mediated by a unique variant of PfEMP1, a parasite encoded, hyper-variable antigen placed on the surface of infected cells. This variant, called VAR2CSA, binds to chondroitin sulfate A on syncytiotrophoblasts in the intervillous space of placentas. VAR2CSA appears to only be expressed in the presence of a placenta, suggesting that its expression is actively repressed in men, children or non-pregnant women; however, the mechanism of repression is not understood. Using cultured parasite lines and reporter gene constructs, we show that the gene encoding VAR2CSA contains a small upstream open reading frame that acts to repress translation of the resulting mRNA, revealing a novel form of gene regulation in malaria parasites. The mechanism underlying this translational repression is reversible, allowing high levels of protein translation upon selection, thus potentially enabling parasites to upregulate expression of this variant antigen in the presence of the appropriate host tissue

Specific Receptor Usage in Plasmodium falciparum Cytoadherence Is Associated with Disease Outcome

Our understanding of the basis of severe disease in malaria is incomplete. It is clear that pathology is in part related to the pro-inflammatory nature of the host response but a number of other factors are also thought to be involved, including the interaction between infected erythrocytes and endothelium. This is a complex system involving several host receptors and a major parasite-derived variant antigen (PfEMP1) expressed on the surface of the infected erythrocyte membrane. Previous studies have suggested a role for ICAM-1 in the pathology of cerebral malaria, although these have been inconclusive. In this study we have examined the cytoadherence patterns of 101 patient isolates from varying clinical syndromes to CD36 and ICAM-1, and have used variant ICAM-1 proteins to further characterise this adhesive phenotype. Our results show that increased binding to CD36 is associated with uncomplicated malaria while ICAM-1 adhesion is raised in parasites from cerebral malaria cases