Health Diplomacy the Adaptation of Global Health Interventions to Local Needs in sub-Saharan Africa and Thailand: Evaluating Findings from Project Accept (HPTN 043).

Study-based global health interventions, especially those that are conducted on an international or multi-site basis, frequently require site-specific adaptations in order to (1) respond to socio-cultural differences in risk determinants, (2) to make interventions more relevant to target population needs, and (3) in recognition of 'global health diplomacy' issues. We report on the adaptations development, approval and implementation process from the Project Accept voluntary counseling and testing, community mobilization and post-test support services intervention. We reviewed all relevant documentation collected during the study intervention period (e.g. monthly progress reports; bi-annual steering committee presentations) and conducted a series of semi-structured interviews with project directors and between 12 and 23 field staff at each study site in South Africa, Zimbabwe, Thailand and Tanzania during 2009. Respondents were asked to describe (1) the adaptations development and approval process and (2) the most successful site-specific adaptations from the perspective of facilitating intervention implementation. Across sites, proposed adaptations were identified by field staff and submitted to project directors for review on a formally planned basis. The cross-site intervention sub-committee then ensured fidelity to the study protocol before approval. Successfully-implemented adaptations included: intervention delivery adaptations (e.g. development of tailored counseling messages for immigrant labour groups in South Africa) political, environmental and infrastructural adaptations (e.g. use of local community centers as VCT venues in Zimbabwe); religious adaptations (e.g. dividing clients by gender in Muslim areas of Tanzania); economic adaptations (e.g. co-provision of income generating skills classes in Zimbabwe); epidemiological adaptations (e.g. provision of 'youth-friendly' services in South Africa, Zimbabwe and Tanzania), and social adaptations (e.g. modification of terminology to local dialects in Thailand: and adjustment of service delivery schedules to suit seasonal and daily work schedules across sites). Adaptation selection, development and approval during multi-site global health research studies should be a planned process that maintains fidelity to the study protocol. The successful implementation of appropriate site-specific adaptations may have important implications for intervention implementation, from both a service uptake and a global health diplomacy perspective

Need for Improved Methods to Collect and Present Spatial Epidemiologic Data for Vectorborne Diseases

These methods will improve capability for development of spatial risk models for vectorborne diseases in the United States

A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification

Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018International audienceWe present a framework for simultaneously verifying the functional correctness and the worst-case asymptotic time complexity of higher-order imperative programs. We build on top of Separation Logic with Time Credits, embedded in an interactive proof assistant. We formalize the O notation, which is key to enabling modular specifications and proofs. We cover the subtleties of the multivariate case, where the complexity of a program fragment depends on multiple parameters. We propose a way of integrating complexity bounds into specifications, present lemmas and tactics that support a natural reasoning style, and illustrate their use with a collection of examples

Reproductive Phase Locking of Mosquito Populations in Response to Rainfall Frequency

The frequency of moderate to heavy rainfall events is projected to change in response to global warming. Here we show that these hydrologic changes may have a profound effect on mosquito population dynamics and rates of mosquito-borne disease transmission. We develop a simple model, which treats the mosquito reproductive cycle as a phase oscillator that responds to rainfall frequency forcing. This model reproduces observed mosquito population dynamics and indicates that mosquito-borne disease transmission can be sensitive to rainfall frequency. These findings indicate that changes to the hydrologic cycle, in particular the frequency of moderate to heavy rainfall events, could have a profound effect on the transmission rates of some mosquito-borne diseases

Potential Impact of Antiretroviral Chemoprophylaxis on HIV-1 Transmission in Resource-Limited Settings

Background. The potential impact of pre-exposure chemoprophylaxis (PrEP) an heterosexual transmission of HIV-1 infection in resource-limited settings is uncertain. Methodology/Principle Findings. A deterministic mathematical model was used to simulate the effects of antiretroval PreP on an HIV-1 epidemic in sub-Saharan Africa under different scenarios (optimistic neutral and pessimistic) both with and without sexual disinhibition. Sensitivity analyses were used to evaluate the effect of uncertainty in input parameters on model output and included calculation of partial rank correlations and standardized rank regressions. In the scenario without sexual disinhibition after PrEP initiation, key parameters influencing infections prevented were effectiveness of PrEP (partial rank correlation coefficient (PRCC) = 0.94), PrEP discontinuation rate (PRCC=-0.94), level of coverage (PRCC=0.92), and time to achieve target coverage (PRCC=-082). In the scenario with sexual disinhibition, PrEP effectiveness and the extent of sexual disinhibition had the greatest impact on prevention. An optimistic scenario of PrEP with 90% effectiveness and 75% coverage of the general population predicted a 74% decline in cumulative HIV-1 infections after 10 years, and a 28.8% decline with PrEP targeted to the highest risk groups (16% of the population). Even With a 100% increase in at-risk behavior from sexual disinhibition, a beneficial effect (23.4%-62.7% decrease in infections) was seen with 90% effective PrEP across a broad range of coverage (25%-75%). Similar disinhibition led to a rise in infections with lower effectiveness of PrEP (≤50%). Conclusions/Significance. Mathematical modeling supports the potential public health benefit of PrEP. Approximately 2.7 to 3.2 million new HIV-1 infections could be averaged in southern sub-Saharan Africa over 10 years by targeting PrEP (having 90% effectiveness) to those at highest behavioral risk and by preventing sexual disinhibition. This benefit could be lost, however, by sexual disinhibition and by high PrEP discontinuation, especially with lower PrEP effectiveness (≤:50%). © 2007 Abbas et al

Tight polynomial bounds for Loop programs in polynomial space

We consider the following problem: given a program, find tight asymptotic bounds on the values of some variables at the end of the computation (or at any given program point) in terms of its input values. We focus on the case of polynomially-bounded variables, and on a weak programming language for which we have recently shown that tight bounds for polynomially-bounded variables are computable. These bounds are sets of multivariate polynomials. While their computability has been settled, the complexity of this program-analysis problem remained open. In this paper, we show the problem to be PSPACE-complete. The main contribution is a new, space-efficient analysis algorithm. This algorithm is obtained in a few steps. First, we develop an algorithm for univariate bounds, a sub-problem which is already PSPACE-hard. Then, a decision procedure for multivariate bounds is achieved by reducing this problem to the univariate case; this reduction is orthogonal to the solution of the univariate problem and uses observations on the geometry of a set of vectors that represent multivariate bounds. Finally, we transform the univariate-bound algorithm to produce multivariate bounds