Swimming in curved space or The Baron and the cat

We study the swimming of non-relativistic deformable bodies in (empty) static curved spaces. We focus on the case where the ambient geometry allows for rigid body motions. In this case the swimming equations turn out to be geometric. For a small swimmer, the swimming distance in one stroke is determined by the Riemann curvature times certain moments of the swimmer.Comment: 19 pages 6 figure

Distributed Parametric and Statistical Model Checking

Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture by introducing a series of algorithms that scale almost linearly with respect to the number of slave computers. Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies.Comment: In Proceedings PDMC 2011, arXiv:1111.006

Characteristics of HIV-1 Discordant Couples Enrolled in a Trial of HSV-2 Suppression to Reduce HIV-1 Transmission: The Partners Study

Background: The Partners HSV-2/HIV-1 Transmission Study (Partners Study) is a phase III, placebo-controlled trial of daily acyclovir for genital herpes (HSV-2) suppression among HIV-1/HSV-2 co-infected persons to reduce HIV-1 transmission to their HIV-1 susceptible partners, which requires recruitment of HIV-1 serodiscordant heterosexual couples. We describe the baseline characteristics of this cohort. Methods: HIV-1 serodiscordant heterosexual couples, in which the HIV-1 infected partner was HSV-2 seropositive, had a CD4 count ≥250 cells/mcL and was not on antiretroviral therapy, were enrolled at 14 sites in East and Southern Africa. Demographic, behavioral, clinical and laboratory characteristics were assessed. Results: Of the 3408 HIV-1 serodiscordant couples enrolled, 67% of the HIV-1 infected partners were women. Couples had cohabitated for a median of 5 years (range 2–9) with 28% reporting unprotected sex in the month prior to enrollment. Among HIV-1 susceptible participants, 86% of women and 59% of men were HSV-2 seropositive. Other laboratory-diagnosed sexually transmitted infections were uncommon (500 relative to <350, respectively, p<0.001). Conclusions: The Partners Study successfully enrolled a cohort of 3408 heterosexual HIV-1 serodiscordant couples in Africa at high risk for HIV-1 transmission. Follow-up of this cohort will evaluate the efficacy of acyclovir for HSV-2 suppression in preventing HIV-1 transmission and provide insights into biological and behavioral factors determining heterosexual HIV-1 transmission. Trial Registration ClinicalTrials.gov NCT0019451

A Thermophilic Ionic Liquid-Tolerant Cellulase Cocktail for the Production of Cellulosic Biofuels

Generation of biofuels from sugars in lignocellulosic biomass is a promising alternative to liquid fossil fuels, but efficient and inexpensive bioprocessing configurations must be developed to make this technology commercially viable. One of the major barriers to commercialization is the recalcitrance of plant cell wall polysaccharides to enzymatic hydrolysis. Biomass pretreatment with ionic liquids (ILs) enables efficient saccharification of biomass, but residual ILs inhibit both saccharification and microbial fuel production, requiring extensive washing after IL pretreatment. Pretreatment itself can also produce biomass-derived inhibitory compounds that reduce microbial fuel production. Therefore, there are multiple points in the process from biomass to biofuel production that must be interrogated and optimized to maximize fuel production. Here, we report the development of an IL-tolerant cellulase cocktail by combining thermophilic bacterial glycoside hydrolases produced by a mixed consortia with recombinant glycoside hydrolases. This enzymatic cocktail saccharifies IL-pretreated biomass at higher temperatures and in the presence of much higher IL concentrations than commercial fungal cocktails. Sugars obtained from saccharification of IL-pretreated switchgrass using this cocktail can be converted into biodiesel (fatty acid ethyl-esters or FAEEs) by a metabolically engineered strain of E. coli. During these studies, we found that this biodiesel-producing E. coli strain was sensitive to ILs and inhibitors released by saccharification. This cocktail will enable the development of novel biomass to biofuel bioprocessing configurations that may overcome some of the barriers to production of inexpensive cellulosic biofuels

Making Different Differences: Representation and Rights in Sexuality Activism

This paper argues that current iterations of lesbian, gay, bisexual, transgender and intersex (LGBTI) rights are limited by an overreliance on particular representations of sexuality, in which homosexuality is defined negatively through a binary of homosexual/heterosexual. The limits of these representations are explored in order to unpick the possibility of engaging in a form of sexuality politics that is grounded in difference rather than in sameness or opposition. The paper seeks to respond to Braidotti’s call for an “affirmative politics” that is open to forms of creative, future-oriented action and that might serve to answer some of the more common criticisms of current LGBTI rights activism