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

Observed communication semantics for classical processes

Classical Linear Logic (CLL) has long inspired readings of its proofs as communicating processes. Wadler's CP calculus is one of these readings. Wadler gave CP an operational semantics by selecting a subset of the cut-elimination rules of CLL to use as reduction rules. This semantics has an appealing close connection to the logic, but does not resolve the status of the other cut-elimination rules, and does not admit an obvious notion of observational equivalence. We propose a new operational semantics for CP based on the idea of observing communication, and use this semantics to define an intuitively reasonable notion of observational equivalence. To reason about observational equivalence, we use the standard relational denotational semantics of CLL. We show that this denotational semantics is adequate for our operational semantics. This allows us to deduce that, for instance, all the cut-elimination rules of CLL are observational equivalences

Exploring the views of young women and their healthcare professionals on dietary habits and supplementation practices in adolescent pregnancy: a qualitative study

Background: Nutrition is a modifiable factor affecting foetal growth and pregnancy outcomes. Inadequate nutrition is of particular concern in adolescent pregnancies with poor quality diet and competing demands for nutrients. The aim of this study was to explore knowledge and understanding of nutrition advice during adolescent pregnancy,and identify barriers and facilitators to dietary change and supplementation use in this vulnerable population. Methods: Semi-structured interviews were conducted with young women and key antenatal healthcare providers: midwives, family nurses and obstetricians. Doncaster, Manchester and London were chosen as sites offering different models of midwifery care alongside referral to the Family Nurse Partnership programme. Results: A total of 34 young women (adolescents aged 16–19 years) and 20 health professionals were interviewed. Young women made small changes to their dietary intake despite limited knowledge and social constraints. Supplementation use varied; the tablet format was identified by few participants as a barrier but forgetting to take them was the main reason for poor adherence. Health professionals provided nutrition information but often lack the time and resources to tailor this appropriately. Young women’s prime motivator was a desire to have a healthy baby; they wanted to understand the benefits of supplementation and dietary change in those terms. Conclusion: Pregnancy is a window of opportunity for improving nutrition but often constrained by social circumstances. Health professionals should be supported in their role to access education, training and resources which build their self-efficacy to facilitate change in this vulnerable population group beyond the routine care they provide

Effect of Quinoa Seeds (Chenopodium quinoa) in Diet on some Biochemical Parameters and Essential Elements in Blood of High Fructose-Fed Rats

The effect of Chenopodium quinoa seeds on lipid profile, glucose level, protein metabolism and selected essential elements (Na, K, Ca, Mg) level was determined in high—fructose fed male Wistar rats. Fructose decreased significantly LDL [42%, p < 0.01] and activity of alkaline phosphatase [20%, p < 0.05], and increased triglycerides level [86%, p < 0.01]. The analysis of blood of rats fed quinoa indicated, that these seeds effectively reduced serum total cholesterol [26%, p < 0.05], LDL [57%, p < 0.008] and triglycerides [11%, p < 0.05] when compared to the control group. Quinoa seeds also significantly reduced the level of glucose [10%, p < 0.01] and plasma total protein level [16%, p < 0.001]. Fructose significantly decreased HDL [15%, p < 0.05] level in control group but when the quinoa seeds were added into the diet the decrease of HDL level was inhibited. Quinoa seeds did not prevent any adverse effect of increasing triglyceride level caused by fructose. It was shown in this study that quinoa seeds can reduce most of the adverse effects exerted by fructose on lipid profile and glucose level

Two-pion Bose-Einstein correlations in central Pb-Pb collisions at sNN\sqrt{s_{\rm NN}} = 2.76 TeV

The first measurement of two-pion Bose-Einstein correlations in central Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV at the Large Hadron Collider is presented. We observe a growing trend with energy now not only for the longitudinal and the outward but also for the sideward pion source radius. The pion homogeneity volume and the decoupling time are significantly larger than those measured at RHIC.Comment: 17 pages, 5 captioned figures, 1 table, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/388

Suppression of charged particle production at large transverse momentum in central Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}} = 2.76 TeV

Inclusive transverse momentum spectra of primary charged particles in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}}$ = 2.76 TeV have been measured by the ALICE Collaboration at the LHC. The data are presented for central and peripheral collisions, corresponding to 0-5% and 70-80% of the hadronic Pb-Pb cross section. The measured charged particle spectra in $|\eta|<0.8$ and $0.3 < p_T < 20$ GeV/$c$ are compared to the expectation in pp collisions at the same $\sqrt{s_{\rm NN}}$, scaled by the number of underlying nucleon-nucleon collisions. The comparison is expressed in terms of the nuclear modification factor $R_{\rm AA}$. The result indicates only weak medium effects ($R_{\rm AA} \approx$ 0.7) in peripheral collisions. In central collisions, $R_{\rm AA}$ reaches a minimum of about 0.14 at $p_{\rm T}=6$-7GeV/$c$ and increases significantly at larger $p_{\rm T}$. The measured suppression of high-$p_{\rm T}$ particles is stronger than that observed at lower collision energies, indicating that a very dense medium is formed in central Pb-Pb collisions at the LHC.Comment: 15 pages, 5 captioned figures, 3 tables, authors from page 10, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/98

JNK2 Promotes Endothelial Cell Alignment under Flow

Endothelial cells in straight, unbranched segments of arteries elongate and align in the direction of flow, a feature which is highly correlated with reduced atherosclerosis in these regions. The mitogen-activated protein kinase c-Jun N-terminal kinase (JNK) is activated by flow and is linked to inflammatory gene expression and apoptosis. We previously showed that JNK activation by flow is mediated by integrins and is observed in cells plated on fibronectin but not on collagen or basement membrane proteins. We now show thatJNK2 activation in response to laminar shear stress is biphasic, with an early peak and a later peak. Activated JNK localizes to focal adhesions at the ends of actin stress fibers, correlates with integrin activation and requires integrin binding to the extracellular matrix. Reducing JNK2 activation by siRNA inhibits alignment in response to shear stress. Cells on collagen, where JNK activity is low, align slowly. These data show that an inflammatory pathway facilitates adaptation to laminar flow, thereby revealing an unexpected connection between adaptation and inflammatory pathways

Phase 1 Study of a Combination AMA1 Blood Stage Malaria Vaccine in Malian Children

Apical Membrane Antigen-1 (AMA1) is one of the leading blood stage malaria vaccine candidates. AMA1-C1/Alhydrogel consists of an equal mixture of recombinant AMA1 from FVO and 3D7 clones of P. falciparum, adsorbed onto Alhydrogel. A Phase 1 study in semi-immune adults in Mali showed that the vaccine was safe and immunogenic, with higher antibody responses in those who received the 80 microg dose. The aim of this study was to assess the safety and immunogenicity of this vaccine in young children in a malaria endemic area.This was a Phase 1 dose escalating study in 36 healthy children aged 2-3 years started in March 2006 in Donéguébougou, Mali. Eighteen children in the first cohort were randomized 2 ratio 1 to receive either 20 microg AMA1-C1/Alhydrogel or Haemophilus influenzae type b Hiberix vaccine. Two weeks later 18 children in the second cohort were randomized 2 ratio 1 to receive either 80 microg AMA1-C1/Alhydrogel or Haemophilus influenzae type b Hiberix vaccine. Vaccinations were administered on Days 0 and 28 and participants were examined on Days 1, 2, 3, 7, and 14 after vaccination and then about every two months. Results to Day 154 are reported in this manuscript.Of 36 volunteers enrolled, 33 received both vaccinations. There were 9 adverse events related to the vaccination in subjects who received AMA1-C1 vaccine and 7 in those who received Hiberix. All were mild to moderate. No vaccine-related serious or grade 3 adverse events were observed. There was no increase in adverse events with increasing dose of vaccine or number of immunizations. In subjects who received the test vaccine, antibodies to AMA1 increased on Day 14 and peaked at Day 42, with changes from baseline significantly different from subjects who received control vaccine.AMA-C1 vaccine is well tolerated and immunogenic in children in this endemic area although the antibody response was short lived.Clinicaltrials.gov NCT00341250