Algebras for parameterised monads

Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and prove a generalisation of Beck’s theorem characterising this category. We demonstrate an application of this theory to the semantics of type and effect systems

Mechanical ventilation alters airway nucleotides and purinoceptors in lung and extrapulmonary organs

Extracellular nucleotides are stress-responsive ligands that mediate a variety of cellular processes via purinoceptors. We hypothesized that mechanical ventilation (MV) would alter the extracellular adenyl-nucleotide profile and purinoceptor expression in lung and extrapulmonary tissues. Twenty-eight rats were randomized to: (i) unventilated control animals; (ii) tidal volume (V T; 6 ml/kg); (iii) VT (6 ml/kg) and positive end-expiratory pressure (PEEP; 5 cm H2O); (iv) VT (12 ml/kg); or (v) VT (12 ml/kg) and PEEP (5 cm H2O). Bronchoalveolar lavage (BAL) was analyzed for adenyl-nucleotides. Pulmonary, hepatic, and renal tissues were assessed for P2Y4, P 2Y6, P2X7, A3, and A 2b receptor expression by real-time reverse transcriptase-polymerase chain reaction and Fas/Fas ligand mRNA was quantified in the lung. MV produced volume-dependent changes in BAL nucleotides; AMP and adenosine increased, whereas ATP and ADP proportions decreased. Large-volume MV increased A 2b mRNA and decreased P2X7 in the lung; mRNA changes in lung Fas ligand paralleled P2X7. PEEP normalized BAL nucleotide profiles and A2b expression. Injurious MV reduced hepatic and renal P2X7 mRNA; PEEP normalized these levels in both tissues. Large-volume MV also decreased renal A2b mRNA. MV alters the BAL adenyl-nucleotide profile and purinoceptor patterns in lung, liver, and kidney. PEEP normalizes the BAL nucleotide profile and receptor patterns in lung and extrapulmonary tissues

Onset of Superfluidity in 4He Films Adsorbed on Disordered Substrates

We have studied 4He films adsorbed in two porous glasses, aerogel and Vycor, using high precision torsional oscillator and DC calorimetry techniques. Our investigation focused on the onset of superfluidity at low temperatures as the 4He coverage is increased. Torsional oscillator measurements of the 4He-aerogel system were used to determine the superfluid density of films with transition temperatures as low as 20 mK. Heat capacity measurements of the 4He-Vycor system probed the excitation spectrum of both non-superfluid and superfluid films for temperatures down to 10 mK. Both sets of measurements suggest that the critical coverage for the onset of superfluidity corresponds to a mobility edge in the chemical potential, so that the onset transition is the bosonic analog of a superconductor-insulator transition. The superfluid density measurements, however, are not in agreement with the scaling theory of an onset transition from a gapless, Bose glass phase to a superfluid. The heat capacity measurements show that the non-superfluid phase is better characterized as an insulator with a gap.Comment: 15 pages (RevTex), 21 figures (postscript

Early sustained recovery following first episode psychosis:Evidence from the AESOP10 follow-up study

Objective: To describe the characteristics of individuals with early sustained recovery following first episode psychosis. Methods: Individuals with a first episode psychosis were followed-up for ten years. Comparisons were made between those with Early Sustained Recovery and those with Other Course types. Results: Of 345 individuals, n=43 (12.5%) had Early Sustained Recovery. They were more likely than those with Other Course types to be female (OR=2.45; 95% CI: 1.25-4.81); employed (OR=2.39; 95% CI: 1.22-4.69); in a relationship (OR=2.68; 95% CI: 1.35-5.32); have a short DUP (OR=2.86; 95% CI: 1.37-5.88); and have a diagnosis other than schizophrenia, particularly mania (OR=6.39; 95% CI: 2.52-16.18) or brief psychosis (OR=3.64; 95% CI: 1.10-12.10). Conclusions: Sustained recovery from first episode psychosis occurs in a minority. (c) 2018 Elsevier B.V. All rights reserved

A Conformally Invariant Holographic Two-Point Function on the Berger Sphere

We apply our previous work on Green's functions for the four-dimensional quaternionic Taub-NUT manifold to obtain a scalar two-point function on the homogeneously squashed three-sphere (otherwise known as the Berger sphere), which lies at its conformal infinity. Using basic notions from conformal geometry and the theory of boundary value problems, in particular the Dirichlet-to-Robin operator, we establish that our two-point correlation function is conformally invariant and corresponds to a boundary operator of conformal dimension one. It is plausible that the methods we use could have more general applications in an AdS/CFT context.Comment: 1+49 pages, no figures. v2: Several typos correcte

Naming Proofs in Classical Propositional Logic

Rapport interne.We present a theory of proof denotations in classical propositional logic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. With the Boolean semiring we get a theory of classical proof nets, with a geometric correctness criterion, a sequentialization theorem, and a strongly normalizing cut-elimination procedure. With the semiring of natural numbers, we obtain a sound semantics for classical logic, in which fewer proofs are identified. Though a "real'' sequentialization theorem is missing, these proof nets have a grip on complexity issues. In both cases the cut elimination procedure is closely related to its equivalent in the calculus of structures, and we get "Boolean'' categories which are not posets

Photoproduction of D∗±D^{*\pm} mesons associated with a leading neutron

The photoproduction of $D^{*\pm} (2010)$ mesons associated with a leading neutron has been observed with the ZEUS detector in $ep$ collisions at HERA using an integrated luminosity of 80 pb$^{-1}$. The neutron carries a large fraction, {$x_L>0.2$}, of the incoming proton beam energy and is detected at very small production angles, {$\theta_n<0.8$ mrad}, an indication of peripheral scattering. The $D^*$ meson is centrally produced with pseudorapidity {$|\eta| 1.9$ GeV}, which is large compared to the average transverse momentum of the neutron of 0.22 GeV. The ratio of neutron-tagged to inclusive $D^*$ production is $8.85\pm 0.93({\rm stat.})^{+0.48}_{-0.61}({\rm syst.})\%$ in the photon-proton center-of-mass energy range {$130 <W<280$ GeV}. The data suggest that the presence of a hard scale enhances the fraction of events with a leading neutron in the final state.Comment: 28 pages, 4 figures, 2 table

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters