Generating reversible circuits from higher-order functional programs

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function is a difficult problem. In 1973, Bennett proposed to generate reversible circuits from traces of execution of Turing machines. In this paper, we propose a novel presentation of this approach, adapted to higher-order programs. Starting with a PCF-like language, we use a monadic representation of the trace of execution to turn a regular boolean program into a circuit-generating code. We show that a circuit traced out of a program computes the same boolean function as the original program. This technique has been successfully applied to generate large oracles with the quantum programming language Quipper.Comment: 21 pages. A shorter preprint has been accepted for publication in the Proceedings of Reversible Computation 2016. The final publication is available at http://link.springer.co

When local poverty is more important than your income: Mental health in minorities in inner cities

Volkswagen Foundation and the German Federal Ministry for Education and Research . Grant Number: BMBF 01 EL080

Persistent elevation of urine aquaporin-2 during water loading in a child with nephrogenic syndrome of inappropriate antidiuresis (NSIAD) caused by a R137L mutation in the V2 vasopressin receptor

Nephrogenic Syndrome of Inappropriate Antidiuresis (NSIAD) is a novel disease caused by a gain-of-function mutation in the V2 vasopressin receptor (V2R), which results in water overload and hyponatremia. We report the effect of water loading in a 3-year old boy with NSIAD, diagnosed in infancy, to assess urine aquaporin-2 (AQP2) excretion as a marker for V2R activation, and to evaluate the progression of the disease since diagnosis. The patient is one of the first known NSIAD patients and the only patient with a R137L mutation. Patient underwent a standard water loading test in which serum and urine sodium and osmolality, serum AVP, and urine AQP2 excretion were measured. The patient was also evaluated for ad lib fluid intake before and after the test. This patient demonstrated persistent inability to excrete free water. Only 39% of the water load (20 ml/kg) was excreted during a 4-hour period (normal ≥ 80-90%). Concurrently, the patient developed hyponatremia and serum hypoosmolality. Serum AVP levels were detectable at baseline and decreased one hour after water loading; however, urine AQP2 levels were elevated and did not suppress normally during the water load. The patient remained eunatremic but relatively hypodipsic during ad lib intake. In conclusion, this is the first demonstration in a patient with NSIAD caused by a R137L mutation in the V2R that urine AQP2 excretion is inappropriately elevated and does not suppress normally with water loading. In addition, this is the first longitudinal report of a pediatric patient with NSIAD diagnosed in infancy who demonstrates the ability to maintain eunatremia during ad lib dietary intake

Exercise therapy in adults with serious mental illness: a systematic review and meta-analysis

Background: Individuals with serious mental illness are at a higher risk of physical ill health. Mortality rates are at least twice those of the general population with higher levels of cardiovascular disease, metabolic disease, diabetes, and respiratory illness. Although genetics may have a role in the physical health problems of these patients, lifestyle and environmental factors such as levels of smoking, obesity, poor diet, and low levels of physical activity also play a prominent part.<p></p> Objective: To conduct a systematic review and meta-analysis of randomised controlled trials comparing the effect of exercise interventions on individuals with serious mental illness.<p></p> Methods: Searches were made in Ovid MEDLINE, Embase, CINAHL, PsycINFO, Biological Abstracts on Ovid, and The Cochrane Library (January 2009, repeated January 2013) through to February 2013.<p></p> Results: Eight RCTs were identified in the systematic search. Six compared exercise versus usual care. One study assessed the effect of a cycling programme versus muscle strengthening and toning exercises. The final study compared the effect of adding specific exercise advice and motivational skills to a simple walking programme. Exercise programmes were noted by their heterogeneity in terms of the type of exercise intervention, setting, and outcome measures. The review found that exercise improved levels of exercise activity (n=13, standard mean difference [SMD] 1.81, CI 0.44 to 3.18, p = 0.01). No beneficial effect was found on negative (n = 84, SMD = -0.54, CI -1.79 to 0.71, p = 0.40) or positive symptoms of schizophrenia (n = 84, SMD = -1.66, CI -3.78 to 0.45, p = 0.12). No change was found on body mass index compared with usual care (n= 151, SMD = -0.24, CI -0.56 to 0.08, p = 0.14), or body weight (n = 77, SMD = 0.13, CI -0.32 to 0.58, p = 0.57). No beneficial effect was found on anxiety and depressive symptoms (n = 94, SMD = -0.26, CI -0.91 to 0.39, p = 0.43), or quality of life in respect of physical and mental domains. One RCT measured the effect of exercise on exercise intensity, attendance, and persistence at a programme. No significant effect was found on these measures.<p></p> Conclusions: This systematic review showed that exercise therapies can lead to a modest increase in levels of exercise activity but overall there was no noticeable change for symptoms of mental health, body mass index, and body weight.<p></p&gt

Mental health care for irregular migrants in Europe: Barriers and how they are overcome

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited

The complex multiscale structure in simulated and observed emission maps of the proto-cluster cloud G0.253+0.016 ('the Brick')

The Central Molecular Zone (the central ∼500 pc of the Milky Way) hosts molecular clouds in an extreme environment of strong shear, high gas pressure and density, and complex chemistry. G0.253+0.016, also known as 'the Brick', is the densest, most compact, and quiescent of these clouds. High-resolution observations with the Atacama Large Millimetre/submillimetre Array (ALMA) have revealed its complex, hierarchical structure. In this paper we compare the properties of recent hydrodynamical simulations of the Brick to those of the ALMA observations. To facilitate the comparison, we post-process the simulations and create synthetic ALMA maps of molecular line emission from eight molecules. We correlate the line emission maps to each other and to the mass column density and find that HNCO is the best mass tracer of the eight emission lines within the simulations. Additionally, we characterize the spatial structure of the observed and simulated cloud using the density probability distribution function (PDF), spatial power spectrum, fractal dimension, and moments of inertia. While we find good agreement between the observed and simulated data in terms of power spectra and fractal dimensions, there are key differences in the density PDFs and moments of inertia, which we attribute to the omission of magnetic fields in the simulations. This demonstrates that the presence of the Galactic potential can reproduce many cloud properties, but additional physical processes are needed to fully explain the gas structure

The potential role of appetite in predicting weight changes during treatment with olanzapine

Background Clinically significant weight gain has been reported during treatment with atypical antipsychotics. It has been suggested that weight changes in patients treated with olanzapine may be associated with increased appetite. Methods Data were used from adult patients for whom both appetite and weight data were available from 4 prospective, 12- to 24-week clinical trials. Patients' appetites were assessed with Eating Behavior Assessment (EBA, Study 1), Platypus Appetite Rating Scale (PARS, Study 2), Eating Inventory (EI, Study 3), Food Craving Inventory (FCI, Study 3), and Eating Attitude Scale (EAS, Study 4). Results In Studies 1 (EBA) and 4 (EAS), patients who reported overall score increases on appetite scales, indicating an increase in appetite, experienced the greatest overall weight gains. However, in Studies 2 (PARS) and 3 (EI, FCI), patients who reported overall score increases on appetite scales did not experience greater weight changes than patients not reporting score increases. Early weight changes (2-4 weeks) were more positively correlated with overall weight changes than early or overall score changes on any utilized appetite assessment scale. No additional information was gained by adding early appetite change to early weight change in correlation to overall weight change. Conclusions Early weight changes may be a more useful predictor for long-term weight changes than early score changes on appetite assessment scales

Search for Branons at LEP

We search, in the context of extra-dimension scenarios, for the possible existence of brane fluctuations, called branons. Events with a single photon or a single Z-boson and missing energy and momentum collected with the L3 detector in e^+ e^- collisions at centre-of-mass energies sqrt{s}=189-209$ GeV are analysed. No excess over the Standard Model expectations is found and a lower limit at 95% confidence level of 103 GeV is derived for the mass of branons, for a scenario with small brane tensions. Alternatively, under the assumption of a light branon, brane tensions below 180 GeV are excluded

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Search for Charginos with a Small Mass Difference with the Lightest Supersymmetric Particle at \sqrt{s} = 189 GeV

A search for charginos nearly mass-degenerate with the lightest supersymmetric particle is performed using the 176 pb^-1 of data collected at 189 GeV in 1998 with the L3 detector. Mass differences between the chargino and the lightest supersymmetric particle below 4 GeV are considered. The presence of a high transverse momentum photon is required to single out the signal from the photon-photon interaction background. No evidence for charginos is found and upper limits on the cross section for chargino pair production are set. For the first time, in the case of heavy scalar leptons, chargino mass limits are obtained for any \tilde{\chi}^{+-}_1 - \tilde{\chi}^0_1 mass difference