TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Excess Mortality Rate During Adulthood Among Danish Adoptees

BACKGROUND AND OBJECTIVE: Adoption studies have been used to disentangle the influence of genes from shared familial environment on various traits and disease risks. However, both the factors leading to adoption and living as an adoptee may bias the studies with regard to the relative influence of genes and environment compared to the general population. The aim was to investigate whether the cohort of domestic adoptees used for these studies in Denmark is similar to the general population with respect to all-cause mortality and cause-specific mortality rates. METHODS: 13,111 adoptees born in Denmark in 1917, or later, and adopted in 1924 to 1947 were compared to all Danes from the same birth cohorts using standardized mortality ratios (SMR). The 12,729 adoptees alive in 1970 were similarly compared to all Danes using SMR as well as cause-specific SMR. RESULTS: The excess in all-cause mortality before age 65 years in adoptees was estimated to be 1.30 (95% CI 1.26-1.35). Significant excess mortality before age 65 years was also observed for infections, vascular deaths, cancer, alcohol-related deaths and suicide. Analyses including deaths after age 65 generally showed slightly less excess in mortality, but the excess was significant for all-cause mortality, cancer, alcohol-related deaths and suicides. CONCLUSION: Adoptees have an increased all-cause mortality compared to the general population. All major specific causes of death contributed, and the highest excess is seen for alcohol-related deaths

Quantum Simulation of Antiferromagnetic Spin Chains in an Optical Lattice

Understanding exotic forms of magnetism in quantum mechanical systems is a central goal of modern condensed matter physics, with implications from high temperature superconductors to spintronic devices. Simulating magnetic materials in the vicinity of a quantum phase transition is computationally intractable on classical computers due to the extreme complexity arising from quantum entanglement between the constituent magnetic spins. Here we employ a degenerate Bose gas confined in an optical lattice to simulate a chain of interacting quantum Ising spins as they undergo a phase transition. Strong spin interactions are achieved through a site-occupation to pseudo-spin mapping. As we vary an applied field, quantum fluctuations drive a phase transition from a paramagnetic phase into an antiferromagnetic phase. In the paramagnetic phase the interaction between the spins is overwhelmed by the applied field which aligns the spins. In the antiferromagnetic phase the interaction dominates and produces staggered magnetic ordering. Magnetic domain formation is observed through both in-situ site-resolved imaging and noise correlation measurements. By demonstrating a route to quantum magnetism in an optical lattice, this work should facilitate further investigations of magnetic models using ultracold atoms, improving our understanding of real magnetic materials.Comment: 12 pages, 9 figure

Design and Synthesis of a Quintessential Self-Transmissible IncX1 Plasmid, pX1.0

DNA exchange in bacteria via conjugative plasmids is believed to be among the most important contributing factors to the rapid evolution- and diversification rates observed in bacterial species. The IncX1 plasmids are particularly interesting in relation to enteric bacteria, and typically carry genetic loads like antibiotic resistance genes and virulence factors. So far, however, a “pure” version of these molecular parasites, without genetic loads, has yet to be isolated from the environment. Here we report the construction of pX1.0, a fully synthesized IncX1 plasmid capable of horizontal transfer between different enteric bacteria. The designed pX1.0 sequence was derived from the consensus gene content of five IncX1 plasmids and three other, more divergent, members of the same phylogenetic group. The pX1.0 plasmid was shown to replicate stably in E. coli with a plasmid DNA per total DNA ratio corresponding to approximately 3–9 plasmids per chromosome depending on the growth phase of the host. Through conjugation, pX1.0 was able to self-transfer horizontally into an isogenic strain of E. coli as well as into two additional species belonging to the family Enterobacteriaceae. Our results demonstrate the immediate applicability of recent advances made within the field of synthetic biology for designing and constructing DNA systems, previously existing only in silica

Use of NSAIDs, smoking and lung cancer risk

We investigated the risk of lung cancer in relation to non-steroidal anti-inflammatory drugs (NSAIDs) among 573 cases and 857 sex- and age-matched controls for whom we had information on use of NSAIDs, from a prescription database covering all pharmacies in Denmark since 1995, and self-reported NSAID use, smoking habits and other potential confounders. Associations were expressed as odds ratios, assessed by logistic regression in unmatched analyses. After controlling for smoking habits, length of education and concomitant use of acetaminophen, we found a slightly decreased relative risk of 0.86 (95% confidence intervals, 0.65–1.14) for lung cancer associated with any use of NSAIDs. The risk decreased significantly (P=0.02) with increasing numbers of dispensed prescriptions per year during the 1–3 years before the index date with a relative risk of 0.49 (0.28–0.84) among those with four or more prescriptions per year during this period. Our findings suggest that regular use of NSAIDs is associated with a slightly or moderately reduced risk for lung cancer

Alendronate and atrial fibrillation: a meta-analysis of randomized placebo-controlled clinical trials

Bone and mineral researc

Mephedrone pharmacokinetics after intravenous and oral administration in rats: relation to pharmacodynamics

Fe d'errates disponible a: http://​dx.​doi.​org/​10.​1007/​s00213-013-3283-6Rationale Mephedrone (4-methylmethcathinone) is a still poorly known drug of abuse, alternative to ecstasy or cocaine. Objective The major aims were to investigate the pharmacokineticsa and locomotor activity of mephedrone in rats and provide a pharmacokinetic/pharmacodynamic model. Methods Mephedrone was administered to male Sprague-Dawley rats intravenously (10 mg/kg) and orally (30 and 60 mg/kg). Plasma concentrations and metabolites were characterized using LC/MS and LC-MS/MS fragmentation patterns. Locomotor activity was monitored for 180-240 min. Results Mephedrone plasma concentrations after i.v. administration fit a two-compartment model (α=10.23 h−1, β=1.86 h−1). After oral administration, peak mephedrone concentrations were achieved between 0.5 and 1 h and declined to undetectable levels at 9 h. The absolute bioavailability of mephedrone was about 10 % and the percentage of mephedrone protein binding was 21.59±3.67%. We have identified five phase I metabolites in rat blood after oral administration. The relationship between brain levels and free plasma concentration was 1.85±0.08. Mephedrone induced a dose-dependent increase in locomotor activity, which lasted up to 2 h. The pharmacokinetic-pharmacodynamic model successfully describes the relationship between mephedrone plasma concentrations and its psychostimulant effect. Conclusions We suggest a very important first-pass effect for mephedrone after oral administration and an easy access to the central nervous system. The model described might be useful in the estimation and prediction of the onset, magnitude,and time course of mephedrone pharmacodynamics as well as to design new animal models of mephedrone addiction and toxicity

Expression of chemokine receptors on peripheral blood lymphocytes in multiple sclerosis and neuromyelitis optica

<p>Abstract</p> <p>Background</p> <p>The role of different chemokine receptors in the pathogenesis of multiple sclerosis (MS) has been extensively investigated; however, little is known about the difference in the role of chemokine receptors between the pathogenesis of neuromyelitis optica (NMO) and MS. Therefore, we examined the expression of chemokine receptors on peripheral blood lymphocytes (PBL) in MS and NMO.</p> <p>Methods</p> <p>We used flow cytometry to analyse lymphocyte subsets in 12 patients with relapsing NMO, 24 with relapsing-remitting MS during relapse, 3 with NMO and 5 with MS during remission.</p> <p>Results</p> <p>Compared with healthy controls (HC), the percentage of lymphocytes in white blood cells was significantly lower in NMO and MS patients. The percentage of T cells expressing CD4⁺CD25⁺and CD4⁺CD45RO⁺was higher, while that of CD4⁺CC chemokine receptor (CCR)3⁺(T helper 2, Th2) was significantly lower in MS patients than in HC. The ratios of CD4⁺CXC chemokine receptors (CXCR)3⁺/CD4⁺CCR3⁺(Th1/Th2) and CD8⁺CXCR3⁺/CD8⁺CCR4⁺(T cytotoxic 1, Tc1/Tc2) were higher in MS patients than in HC. The percentage of CD8⁺CXCR3⁺T cell (Tc1) and CD4⁺CXCR3⁺T cell (Th1) decreased significantly during remission in MS patients (<it>P <</it>0.05). No significant differences were identified in the expression of the chemokine receptors on PBL in NMO patients compared with MS patients and HC.</p> <p>Conclusions</p> <p>Th1 dominance of chemokine receptors on blood T cells and the correlation between CXCR3⁺T cell (Th1 and Tc1) and disease activity in MS patients were confirmed by analysing chemokines receptors on PBL. In contrast, deviation in the Th1/Th2 balance was not observed in NMO patients.</p

Immunological analysis of a Lactococcus lactis-based DNA vaccine expressing HIV gp120

For reasons of efficiency Escherichia coli is used today as the microbial factory for production of plasmid DNA vaccines. To avoid hazardous antibiotic resistance genes and endotoxins from plasmid systems used nowadays, we have developed a system based on the food-grade Lactococcus lactis and a plasmid without antibiotic resistance genes. We compared the L. lactis system to a traditional one in E. coli using identical vaccine constructs encoding the gp120 of HIV-1. Transfection studies showed comparable gp120 expression levels using both vector systems. Intramuscular immunization of mice with L. lactis vectors developed comparable gp120 antibody titers as mice receiving E. coli vectors. In contrast, the induction of the cytolytic response was lower using the L. lactis vector. Inclusion of CpG motifs in the plasmids increased T-cell activation more when the E. coli rather than the L. lactis vector was used. This could be due to the different DNA content of the vector backbones. Interestingly, stimulation of splenocytes showed higher adjuvant effect of the L. lactis plasmid. The study suggests the developed L. lactis plasmid system as new alternative DNA vaccine system with improved safety features. The different immune inducing properties using similar gene expression units, but different vector backbones and production hosts give information of the adjuvant role of the silent plasmid backbone. The results also show that correlation between the in vitro adjuvanticity of plasmid DNA and its capacity to induce cellular and humoral immune responses in mice is not straight forward