New mean field theories for the liquid-vapor transition of charged hard spheres

The phase behavior of the primitive model of electrolytes is studied in the framework of various mean field approximations obtained recently by means of methods pertaining to statistical field theory (CAILLOL, J.-M., 2004, \textit{J. Stat. Phys.}, \textbf{115}, 1461). The role of the regularization of the Coulomb potential at short distances is discussed in details and the link with more traditional approximations of the theory of liquids is discussed. The values computed for the critical temperatures, chemical potentials, and densities are compared with available Monte Carlo data and other theoretical predictions.Comment: 17 pages, 4 figures, 3 table

Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression

In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties

Social networks and labour productivity in Europe: An empirical investigation

This paper uses firm-level data recorded in the AMADEUS database to investigate the distribution of labour productivity in different European countries. We find that the upper tail of the empirical productivity distributions follows a decaying power-law, whose exponent $\alpha$ is obtained by a semi-parametric estimation technique recently developed by Clementi et al. (2006). The emergence of "fat tails" in productivity distribution has already been detected in Di Matteo et al. (2005) and explained by means of a model of social network. Here we show that this model is tested on a broader sample of countries having different patterns of social network structure. These different social attitudes, measured using a social capital indicator, reflect in the power-law exponent estimates, verifying in this way the existence of linkages among firms' productivity performance and social network.Comment: LaTeX2e; 18 pages with 3 figures; Journal of Economic Interaction and Coordination, in pres

Misaligned spin and orbital axes cause the anomalous precession of DI Herculis

The orbits of binary stars precess as a result of general relativistic effects, forces arising from the asphericity of the stars, and forces from additional stars or planets in the system. For most binaries, the theoretical and observed precession rates are in agreement. One system, however -- DI Herculis -- has resisted explanation for 30 years. The observed precession rate is a factor of four slower than the theoretical rate, a disagreement that once was interpreted as evidence for a failure of general relativity. Among the contemporary explanations are the existence of a circumbinary planet and a large tilt of the stellar spin axes with respect to the orbit. Here we report that both stars of DI Herculis rotate with their spin axes nearly perpendicular to the orbital axis (contrary to the usual assumption for close binary stars). The rotationally induced stellar oblateness causes precession in the direction opposite to that of relativistic precession, thereby reconciling the theoretical and observed rates.Comment: Nature, in press [11 pg

Low pH immobilizes and kills human leukocytes and prevents transmission of cell-associated HIV in a mouse model

BACKGROUND: Both cell-associated and cell-free HIV virions are present in semen and cervical secretions of HIV-infected individuals. Thus, topical microbicides may need to inactivate both cell-associated and cell-free HIV to prevent sexual transmission of HIV/AIDS. To determine if the mild acidity of the healthy vagina and acid buffering microbicides would prevent transmission by HIV-infected leukocytes, we measured the effect of pH on leukocyte motility, viability and intracellular pH and tested the ability of an acidic buffering microbicide (BufferGel(®)) to prevent the transmission of cell-associated HIV in a HuPBL-SCID mouse model. METHODS: Human lymphocyte, monocyte, and macrophage motilities were measured as a function of time and pH using various acidifying agents. Lymphocyte and macrophage motilities were measured using video microscopy. Monocyte motility was measured using video microscopy and chemotactic chambers. Peripheral blood mononuclear cell (PBMC) viability and intracellular pH were determined as a function of time and pH using fluorescent dyes. HuPBL-SCID mice were pretreated with BufferGel, saline, or a control gel and challenged with HIV-1-infected human PBMCs. RESULTS: Progressive motility was completely abolished in all cell types between pH 5.5 and 6.0. Concomitantly, at and below pH 5.5, the intracellular pH of PBMCs dropped precipitously to match the extracellular medium and did not recover. After acidification with hydrochloric acid to pH 4.5 for 60 min, although completely immotile, 58% of PBMCs excluded ethidium homodimer-1 (dead-cell dye). In contrast, when acidified to this pH with BufferGel, a microbicide designed to maintain vaginal acidity in the presence of semen, only 4% excluded dye at 10 min and none excluded dye after 30 min. BufferGel significantly reduced transmission of HIV-1 in HuPBL-SCID mice (1 of 12 infected) compared to saline (12 of 12 infected) and a control gel (5 of 7 infected). CONCLUSION: These results suggest that physiologic or microbicide-induced acid immobilization and killing of infected white blood cells may be effective in preventing sexual transmission of cell-associated HIV

Potential of a cyclone prototype spacer to improve in vitro dry powder delivery

Copyright The Author(s) 2013. This article is published with open access at Springerlink.com. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are creditedPurpose: Low inspiratory force in patients with lung disease is associated with poor deagglomeration and high throat deposition when using dry powder inhalers (DPIs). The potential of two reverse flow cyclone prototypes as spacers for commercial carrierbased DPIs was investigated. Methods: Cyclohaler®, Accuhaler® and Easyhaler® were tested with and without the spacers between 30-60 Lmin-1. Deposition of particles in the next generation impactor and within the devices was determined by high performance liquid chromatography. Results: Reduced induction port deposition of the emitted particles from the cyclones was observed due to the high retention of the drug within the spacers (e.g. salbutamol sulphate (SS): 67.89 ± 6.51 % at 30 Lmin-1 in Cheng 1). Fine particle fractions of aerosol as emitted from the cyclones were substantially higher than the DPIs alone. Moreover, the aerodynamic diameters of particles emitted from the cyclones were halved compared to the DPIs alone (e.g. SS from the Cyclohaler® at 4 kPa: 1.08 ± 0.05 μm vs. 3.00 ± 0.12 μm, with and without Cheng 2, respectively) and unaltered with increased flow rates. Conclusion: This work has shown the potential of employing a cyclone spacer for commercial carrier-based DPIs to improve inhaled drug delivery.Peer reviewe

The Diabetes Manual trial protocol – a cluster randomized controlled trial of a self-management intervention for type 2 diabetes [ISRCTN06315411]

Background The Diabetes Manual is a type 2 diabetes self-management programme based upon the clinically effective 'Heart Manual'. The 12 week programme is a complex intervention theoretically underpinned by self-efficacy theory. It is a one to one intervention meeting United Kingdom requirements for structured diabetes-education and is delivered within routine primary care. Methods/design In a two-group cluster randomized controlled trial, GP practices are allocated by computer minimisation to an intervention group or a six-month deferred intervention group. We aim to recruit 250 participants from 50 practices across central England. Eligibility criteria are adults able to undertake the programme with type 2 diabetes, not taking insulin, with HbA1c over 8% (first 12 months) and following an agreed protocol change over 7% (months 13 to 18). Following randomisation, intervention nurses receive two-day training and delivered the Diabetes Manual programme to participants. Deferred intervention nurses receive the training following six-month follow-up. Primary outcome is HbA1c with total and HDL cholesterol; blood pressure, body mass index; self-efficacy and quality of life as additional outcomes. Primary analysis is between-group HbA1c differences at 6 months powered to give 80% power to detect a difference in HbA1c of 0.6%. A 12 month cohort analysis will assess maintenance of effect and assess relationship between self-efficacy and outcomes, and a qualitative study is running alongside. Discussion This trial incorporates educational and psychological diabetes interventions into a single programme and assesses both clinical and psychosocial outcomes. The trial will increase our understanding of intervention transferability between conditions, those diabetes related health behaviours that are more or less susceptible to change through efficacy enhancing mechanisms and how this impacts on clinical outcomes

A Semi-Lagrangian scheme for a modified version of the Hughes model for pedestrian flow

In this paper we present a Semi-Lagrangian scheme for a regularized version of the Hughes model for pedestrian flow. Hughes originally proposed a coupled nonlinear PDE system describing the evolution of a large pedestrian group trying to exit a domain as fast as possible. The original model corresponds to a system of a conservation law for the pedestrian density and an Eikonal equation to determine the weighted distance to the exit. We consider this model in presence of small diffusion and discuss the numerical analysis of the proposed Semi-Lagrangian scheme. Furthermore we illustrate the effect of small diffusion on the exit time with various numerical experiments

Traumatic fracture of central venous catheter resulting in potential migration of distal fragment: a case report

We report a surgical retrieval of an indwelling portion of a traumatic rupture of the Central venous catheter following hair cutting by a confused patient secondary to Postoperative cognitive dysfunction. He had a dynamic compression screw for fixation of fractured neck of femur after previously failed surgical procedure. The second procedure was complicated with major blood loss, which required central venous and arterial line insertion for intra-operative and post-operative management. The patient was discharged to the ward following an uneventful stay on intensive care. While on the ward, he decided to trim his hair and in the process he inadvertently cut through the right internal jugular catheter. Complications and management resulting from embolisation of central line are reviewed