Antibody acquisition models: a new tool for serological surveillance of malaria transmission intensity

Serology has become an increasingly important tool for the surveillance of a wide range of infectious diseases. It has been particularly useful to monitor malaria transmission in elimination settings where existing metrics such as parasite prevalence and incidence of clinical cases are less sensitive. Seroconversion rates, based on antibody prevalence to Plasmodium falciparum asexual blood-stage antigens, provide estimates of transmission intensity that correlate with entomological inoculation rates but lack precision in settings where seroprevalence is still high. Here we present a new and widely applicable method, based on cross-sectional data on individual antibody levels. We evaluate its use as a sero-surveillance tool in a Tanzanian setting with declining malaria prevalence. We find that the newly developed mathematical models produce more precise estimates of transmission patterns, are robust in high transmission settings and when sample sizes are small, and provide a powerful tool for serological evaluation of malaria transmission intensity

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other

Direct optical probe of magnon topology in two-dimensional quantum magnets

Controlling edge states of topological magnon insulators is a promising route to stable spintronics devices. However, to experimentally ascertain the topology of magnon bands is a challenging task. Here we derive a fundamental relation between the light-matter coupling and the quantum geometry of magnon states. This allows to establish the two-magnon Raman circular dichroism as an optical probe of magnon topology in honeycomb magnets, in particular of the Chern number and the topological gap. Our results pave the way for interfacing light and topological magnons in functional quantum devices

All-optical generation of antiferromagnetic magnon currents via the magnon circular photogalvanic effect

We introduce the magnon circular photogalvanic effect enabled by two-magnon Raman scattering. This provides an all-optical pathway to the generation of directed magnon currents with circularly polarized light in honeycomb antiferromagnetic insulators. The effect is the leading order contribution to magnon photocurrent generation via optical fields. Control of the magnon current by the polarization and angle of incidence of the laser is demonstrated. Experimental detection by sizable inverse spin Hall voltages in platinum contacts is proposed

Duplex Scanning as the Sole Preoperative Imaging Method for Infrainguinal Arterial Surgery

AbstractObjective: to evaluate preoperative duplex as the sole investigation prior to lower limb reconstruction. Design retrospective analysis. Material and methods: between January 1995 and December 1999, 157 of 329 surgical interventions for chronic infrainguinal arterial or aneurysmal disease were performed without preoperative angiography.Results : in patients undergoing femoral artery endarterectomy, the extent of the stenosis and the status of the distal deep femoral artery were correctly diagnosed with duplex scanning in all but one patient. Duplex scan findings in patients undergoing infrainguinal bypass procedures were in agreement with the findings obtained from on-table angiography in regard to the selection of optimal outflow anastomotic sites in 123 (98%). Duplex scanning correctly evaluated the status of runoff in 113 (90%). There were no significant differences in 30-day occlusion rate and patency at 12 months between reconstructions performed with and without preoperative angiography. Conclusion: in patients with conclusive duplex scan findings there is no need to perform angiography prior to lower limb reconstruction

A computational model unifies apparently contradictory findings concerning phantom pain

Amputation often leads to painful phantom sensations, whose pathogenesis is still unclear. Supported by experimental findings, an explanatory model has been proposed that identifies maladaptive reorganization of the primary somatosensory cortex (S1) as a cause of phantom pain. However, it was recently found that BOLD activity during voluntary movements of the phantom positively correlates with phantom pain rating, giving rise to a model of persistent representation. In the present study, we develop a physiologically realistic, computational model to resolve the conflicting findings. Simulations yielded that both the amount of reorganization and the level of cortical activity during phantom movements were enhanced in a scenario with strong phantom pain as compared to a scenario with weak phantom pain. These results suggest that phantom pain, maladaptive reorganization, and persistent representation may all be caused by the same underlying mechanism, which is driven by an abnormally enhanced spontaneous activity of deafferented nociceptive channels

A left-handed simplicial action for euclidean general relativity

An action for simplicial euclidean general relativity involving only left-handed fields is presented. The simplicial theory is shown to converge to continuum general relativity in the Plebanski formulation as the simplicial complex is refined. This contrasts with the Regge model for which Miller and Brewin have shown that the full field equations are much more restrictive than Einstein's in the continuum limit. The action and field equations of the proposed model are also significantly simpler then those of the Regge model when written directly in terms of their fundamental variables. An entirely analogous hypercubic lattice theory, which approximates Plebanski's form of general relativity is also presented.Comment: Version 3. Adds current home address + slight corrections to references of version 2. Version 2 = substantially clarified form of version 1. 29 pages, 4 figures, Latex, uses psfig.sty to insert postscript figures. psfig.sty included in mailing, also available from this archiv