Artemisinin-based combination therapy does not measurably reduce human infectiousness to vectors in a setting of intense malaria transmission

<p>Background: Artemisinin-based combination therapy (ACT) for treating malaria has activity against immature gametocytes. In theory, this property may complement the effect of terminating otherwise lengthy malaria infections and reducing the parasite reservoir in the human population that can infect vector mosquitoes. However, this has never been verified at a population level in a setting with intense transmission, where chronically infectious asymptomatic carriers are common and cured patients are rapidly and repeatedly re-infected.</p> <p>Methods: From 2001 to 2004, malaria vector densities were monitored using light traps in three Tanzanian districts. Mosquitoes were dissected to determine parous and oocyst rates. Plasmodium falciparum sporozoite rates were determined by ELISA. Sulphadoxinepyrimethamine(SP) monotherapy was used for treatment of uncomplicated malaria in the contiguous districts of Kilombero and Ulanga throughout this period. In Rufiji district, the standard drug was changed to artesunate co-administered with SP (AS + SP) in March 2003. The effects of this change in case management on malaria parasite infection in the vectors were analysed.</p> <p>Results: Plasmodium falciparum entomological inoculation rates exceeded 300 infective bites per person per year at both sites over the whole period. The introduction of AS + SP in Rufiji was associated with increased oocyst prevalence (OR [95%CI] = 3.9 [2.9-5.3], p < 0.001), but had no consistent effect on sporozoite prevalence (OR [95%CI] = 0.9 [0.7-1.2], p = 0.5). The estimated infectiousness of the human population in Rufiji was very low prior to the change in drug policy. Emergence rates and parous rates of the vectors varied substantially throughout the study period, which affected estimates of infectiousness. The latter consequently cannot be explained by the change in drug policy.</p> <p>Conclusions: In high perennial transmission settings, only a small proportion of infections in humans are symptomatic or treated, so case management with ACT may have little impact on overall infectiousness of the human population. Variations in infection levels in vectors largely depend on the age distribution of the mosquito population. Benefits of ACT in suppressingtransmission are more likely to be evident where transmission is already low or effective vector control is widely implemented.</p&gt

Model Analysis of Time Reversal Symmetry Test in the Caltech Fe-57 Gamma-Transition Experiment

The CALTECH gamma-transition experiment testing time reversal symmetry via the E2/M1 mulipole mixing ratio of the 122 keV gamma-line in Fe-57 has already been performed in 1977. Extending an earlier analysis in terms of an effective one-body potential, this experiment is now analyzed in terms of effective one boson exchange T-odd P-even nucleon nucleon potentials. Within the model space considered for the Fe-57 nucleus no contribution from isovector rho-type exchange is possible. The bound on the coupling strength phi_A from effective short range axial-vector type exchange induced by the experimental bound on sin(eta) leads to phi_A < 10^{-2}.Comment: 5 pages, RevTex 3.

Automatic verification of parametric specifications with complex topologies

The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple verification tasks concerning data from those concerning durations. At the verification level, we exploit modularity in theorem proving for rich data structures and use this for invariant checking. At the structural level, we analyze possibilities for modular verification of systems consisting of various components which interact. We illustrate these ideas by automatically verifying safety properties of a case study from the European Train Control System standard, which extends previous examples by comprising a complex track topology with lists of track segments and trains with different routes