Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Eco-bio-social determinants for house infestation by non-domiciliated Triatoma dimidiata in the Yucatan peninsula, Mexico

Background Chagas disease is a vector-borne disease of major importance in the Americas. Disease prevention is mostly limited to vector control. Integrated interventions targeting ecological, biological and social determinants of vector-borne diseases are increasingly used for improved control. Methodology/principal findings We investigated key factors associated with transient house infestation by T. dimidiata in rural villages in Yucatan, Mexico, using a mixed modeling approach based on initial null-hypothesis testing followed by multimodel inference and averaging on data from 308 houses from three villages. We found that the presence of dogs, chickens and potential refuges, such as rock piles, in the peridomicile as well as the proximity of houses to vegetation at the periphery of the village and to public light sources are major risk factors for infestation. These factors explain most of the intra-village variations in infestation. Conclusions/significance These results underline a process of infestation distinct from that of domiciliated triatomines and may be used for risk stratification of houses for both vector surveillance and control. Combined integrated vector interventions, informed by an Ecohealth perspective, should aim at targeting several of these factors to effectively reduce infestation and provide sustainable vector control

Association between footwear use and neglected tropical diseases: a systematic review and meta-analysis

BACKGROUND The control of neglected tropical diseases (NTDs) has primarily focused on preventive chemotherapy and case management. Less attention has been placed on the role of ensuring access to adequate water, sanitation, and hygiene and personal preventive measures in reducing exposure to infection. Our aim was to assess whether footwear use was associated with a lower risk of selected NTDs. METHODOLOGY We conducted a systematic review and meta-analysis to assess the association between footwear use and infection or disease for those NTDs for which the route of transmission or occurrence may be through the feet. We included Buruli ulcer, cutaneous larva migrans (CLM), leptospirosis, mycetoma, myiasis, podoconiosis, snakebite, tungiasis, and soil-transmitted helminth (STH) infections, particularly hookworm infection and strongyloidiasis. We searched Medline, Embase, Cochrane, Web of Science, CINAHL Plus, and Popline databases, contacted experts, and hand-searched reference lists for eligible studies. The search was conducted in English without language, publication status, or date restrictions up to January 2014. Studies were eligible for inclusion if they reported a measure of the association between footwear use and the risk of each NTD. Publication bias was assessed using funnel plots. Descriptive study characteristics and methodological quality of the included studies were summarized. For each study outcome, both outcome and exposure data were abstracted and crude and adjusted effect estimates presented. Individual and summary odds ratio (OR) estimates and corresponding 95% confidence intervals (CIs) were calculated as a measure of intervention effect, using random effects meta-analyses. PRINCIPAL FINDINGS Among the 427 studies screened, 53 met our inclusion criteria. Footwear use was significantly associated with a lower odds of infection of Buruli ulcer (OR=0.15; 95% CI: 0.08-0.29), CLM (OR=0.24; 95% CI: 0.06-0.96), tungiasis (OR=0.42; 95% CI: 0.26-0.70), hookworm infection (OR=0.48; 95% CI: 0.37-0.61), any STH infection (OR=0.57; 95% CI: 0.39-0.84), strongyloidiasis (OR=0.56; 95% CI: 0.38-0.83), and leptospirosis (OR=0.59; 95% CI: 0.37-0.94). No significant association between footwear use and podoconiosis (OR=0.63; 95% CI: 0.38-1.05) was found and no data were available for mycetoma, myiasis, and snakebite. The main limitations were evidence of heterogeneity and poor study quality inherent to the observational studies included. CONCLUSIONS/SIGNIFICANCE Our results show that footwear use was associated with a lower odds of several different NTDs. Access to footwear should be prioritized alongside existing NTD interventions to ensure a lasting reduction of multiple NTDs and to accelerate their control and elimination. PROTOCOL REGISTRATION PROSPERO International prospective register of systematic reviews CRD42012003338

Nonlinear Supersymmetry as a Hidden Symmetry

Ver abstrac

On supersymmetric quantum mechanics

This paper constitutes a review on N=2 fractional supersymmetric Quantum Mechanics of order k. The presentation is based on the introduction of a generalized Weyl-Heisenberg algebra W_k. It is shown how a general Hamiltonian can be associated with the algebra W_k. This general Hamiltonian covers various supersymmetrical versions of dynamical systems (Morse system, Poschl-Teller system, fractional supersymmetric oscillator of order k, etc.). The case of ordinary supersymmetric Quantum Mechanics corresponds to k=2. A connection between fractional supersymmetric Quantum Mechanics and ordinary supersymmetric Quantum Mechanics is briefly described. A realization of the algebra W_k, of the N=2 supercharges and of the corresponding Hamiltonian is given in terms of deformed-bosons and k-fermions as well as in terms of differential operators.Comment: Review paper (31 pages) to be published in: Fundamental World of Quantum Chemistry, A Tribute to the Memory of Per-Olov Lowdin, Volume 3, E. Brandas and E.S. Kryachko (Eds.), Springer-Verlag, Berlin, 200

Multilocus genotyping reveals high heterogeneity and strong local population structure of the Plasmodium vivax population in the Peruvian Amazon

<p>Abstract</p> <p>Background</p> <p>Peru is one of the Latin American countries with the highest malaria burden, mainly due to <it>Plasmodium vivax </it>infections. However, little is known about <it>P. vivax </it>transmission dynamics in the Peruvian Amazon, where most malaria cases occur. The genetic diversity and population structure of <it>P. vivax </it>isolates collected in different communities around Iquitos city, the capital of the Peruvian Amazon, was determined.</p> <p>Methods</p> <p><it>Plasmodium vivax </it>population structure was determined by multilocus genotyping with 16 microsatellites on 159 <it>P. vivax </it>infected blood samples (mono-infections) collected in four sites around Iquitos city. The population characteristics were assessed only in samples with monoclonal infections (n = 94), and the genetic diversity was determined by calculating the expected heterozygosity and allelic richness. Both linkage disequilibrium and the genetic differentiation (<it>θ</it>) were estimated.</p> <p>Results</p> <p>The proportion of polyclonal infections varied substantially by site (11% - 70%), with the expected heterozygosity ranging between 0.44 and 0.69; no haplotypes were shared between the different populations. Linkage disequilibrium was present in all populations (<it>I</it>_A^S0.14 - 0.61) but was higher in those with fewer polyclonal infections, suggesting inbreeding and a clonal population structure. Strong population differentiation (<it>θ </it>= 0.45) was found and the Bayesian inference cluster analysis identified six clusters based on distinctive allele frequencies.</p> <p>Conclusion</p> <p>The <it>P. vivax </it>populations circulating in the Peruvian Amazon basin are genetically diverse, strongly differentiated and they have a low effective recombination rate. These results are in line with the low and clustered pattern of malaria transmission observed in the region around Iquitos city.</p

Perturbative computation of string one-loop corrections to Wilson loop minimal surfaces in AdS(5) x S-5

We revisit the computation of the 1-loop string correction to the “latitude” minimal surface in AdS 5 × S 5 representing 1/4 BPS Wilson loop in planar N=4 SYM theory previously addressed in arXiv:1512.00841 and arXiv:1601.04708. We resolve the problem of matching with the subleading term in the strong coupling expansion of the exact gauge theory result (derived previously from localization) using a different method to compute determinants of 2d string fluctuation operators. We apply perturbation theory in a small parameter (angle of the latitude) corresponding to an expansion near the AdS 2 minimal surface representing 1/2 BPS circular Wilson loop. This allows us to compute the corrections to the heat kernels and zeta-functions of the operators in terms of the known heat kernels on AdS 2. We apply the same method also to two other examples of Wilson loop surfaces: generalized cusp and k-wound circle