Focalisation and Classical Realisability (version with appendices)

The original publication is avalaible at : www.springerlink.comInternational audienceWe develop a polarised variant of Curien and Herbelin's lambda-bar-mu-mu-tilde calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised when cut-free), such as Girard's classical logic LC or linear logic. This gives a setting in which Krivine's classical realisability extends naturally (in particular to call-by-value), with a presentation in terms of orthogonality. We give examples of applications to the theory of programming languages

Electromagnetic field correlations near a surface with a nonlocal optical response

The coherence length of the thermal electromagnetic field near a planar surface has a minimum value related to the nonlocal dielectric response of the material. We perform two model calculations of the electric energy density and the field's degree of spatial coherence. Above a polar crystal, the lattice constant gives the minimum coherence length. It also gives the upper limit to the near field energy density, cutting off its $1/z^3$ divergence. Near an electron plasma described by the semiclassical Lindhard dielectric function, the corresponding length scale is fixed by plasma screening to the Thomas-Fermi length. The electron mean free path, however, sets a larger scale where significant deviations from the local description are visible.Comment: 15 pages, 7 figure files (.eps), \documentclass[global]{svjour}, accepted in special issue "Optics on the Nanoscale" (Applied Physics B, eds. V. Shalaev and F. Tr\"ager

Temperate Prophages Increase Bacterial Adhesin Expression and Virulence in an Experimental Model of Endocarditis Due to Staphylococcus aureus From the CC398 Lineage.

Until 2007, Staphylococcus aureus from clonal complex 398 (CC398) was exclusively associated with livestock species and companion animals. Recently, several studies described the emergence of S. aureus CC398 as etiologies of severe infections in humans living in an animal-free environment. Recent sequencing efforts showed that the mobile genetic elements found in CC398 isolates were specific for each population and enabled differentiation of strains responsible for asymptomatic colonization from strains involved in bloodstream infections. We mobilized prophages from a human CC398 isolate and introduced them into two naïve ancestral isolates devoid of prophages that exclusively colonize animals. These lysogenized ancestral CC398 isolates acquired features related to virulence, such as an increased capacity to adhere to human extracellular matrix proteins and the ability to invade and survive within non-phagocytic cells. Pathogenicity of several clinical isolates from the CC398 lineage as well as ancestral and in vitro lysogenized ancestral counterparts was assessed in a model of infectious endocarditis in rats. Natural and artificial lysogens were not only more invasive than their prophage-free parent but also showed an increased capacity to multiply within aortic vegetations. This study identified prophages as mediators of bacterial virulence in a model of infectious endocarditis, probably through promotion of interaction with extracellular matrix components. Further studies are needed to identify mechanisms leading to promotion of intrinsic virulence

Observation of exclusive DVCS in polarized electron beam asymmetry measurements

We report the first results of the beam spin asymmetry measured in the reaction e + p -> e + p + gamma at a beam energy of 4.25 GeV. A large asymmetry with a sin(phi) modulation is observed, as predicted for the interference term of Deeply Virtual Compton Scattering and the Bethe-Heitler process. The amplitude of this modulation is alpha = 0.202 +/- 0.028. In leading-order and leading-twist pQCD, the alpha is directly proportional to the imaginary part of the DVCS amplitude.Comment: 6 pages, 5 figure

A Kinematically Complete Measurement of the Proton Structure Function F2 in the Resonance Region and Evaluation of Its Moments

We measured the inclusive electron-proton cross section in the nucleon resonance region (W < 2.5 GeV) at momentum transfers Q**2 below 4.5 (GeV/c)**2 with the CLAS detector. The large acceptance of CLAS allowed for the first time the measurement of the cross section in a large, contiguous two-dimensional range of Q**2 and x, making it possible to perform an integration of the data at fixed Q**2 over the whole significant x-interval. From these data we extracted the structure function F2 and, by including other world data, we studied the Q**2 evolution of its moments, Mn(Q**2), in order to estimate higher twist contributions. The small statistical and systematic uncertainties of the CLAS data allow a precise extraction of the higher twists and demand significant improvements in theoretical predictions for a meaningful comparison with new experimental results.Comment: revtex4 18 pp., 12 figure

Low Complexity Regularization of Linear Inverse Problems

Inverse problems and regularization theory is a central theme in contemporary signal processing, where the goal is to reconstruct an unknown signal from partial indirect, and possibly noisy, measurements of it. A now standard method for recovering the unknown signal is to solve a convex optimization problem that enforces some prior knowledge about its structure. This has proved efficient in many problems routinely encountered in imaging sciences, statistics and machine learning. This chapter delivers a review of recent advances in the field where the regularization prior promotes solutions conforming to some notion of simplicity/low-complexity. These priors encompass as popular examples sparsity and group sparsity (to capture the compressibility of natural signals and images), total variation and analysis sparsity (to promote piecewise regularity), and low-rank (as natural extension of sparsity to matrix-valued data). Our aim is to provide a unified treatment of all these regularizations under a single umbrella, namely the theory of partial smoothness. This framework is very general and accommodates all low-complexity regularizers just mentioned, as well as many others. Partial smoothness turns out to be the canonical way to encode low-dimensional models that can be linear spaces or more general smooth manifolds. This review is intended to serve as a one stop shop toward the understanding of the theoretical properties of the so-regularized solutions. It covers a large spectrum including: (i) recovery guarantees and stability to noise, both in terms of $\ell^2$-stability and model (manifold) identification; (ii) sensitivity analysis to perturbations of the parameters involved (in particular the observations), with applications to unbiased risk estimation ; (iii) convergence properties of the forward-backward proximal splitting scheme, that is particularly well suited to solve the corresponding large-scale regularized optimization problem

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

Study of the production of Λb0\Lambda_b^0 and B‾0\overline{B}^0 hadrons in pppp collisions and first measurement of the Λb0→J/ψpK−\Lambda_b^0\rightarrow J/\psi pK^- branching fraction

The product of the $\Lambda_b^0$ ($\overline{B}^0$) differential production cross-section and the branching fraction of the decay $\Lambda_b^0\rightarrow J/\psi pK^-$ ($\overline{B}^0\rightarrow J/\psi\overline{K}^*(892)^0$) is measured as a function of the beauty hadron transverse momentum, $p_{\rm T}$, and rapidity, $y$. The kinematic region of the measurements is $p_{\rm T}<20~{\rm GeV}/c$ and $2.0<y<4.5$. The measurements use a data sample corresponding to an integrated luminosity of $3~{\rm fb}^{-1}$ collected by the LHCb detector in $pp$ collisions at centre-of-mass energies $\sqrt{s}=7~{\rm TeV}$ in 2011 and $\sqrt{s}=8~{\rm TeV}$ in 2012. Based on previous LHCb results of the fragmentation fraction ratio, $f_{\Lambda_B^0}/f_d$, the branching fraction of the decay $\Lambda_b^0\rightarrow J/\psi pK^-$ is measured to be \begin{equation*} \mathcal{B}(\Lambda_b^0\rightarrow J/\psi pK^-)= (3.17\pm0.04\pm0.07\pm0.34^{+0.45}_{-0.28})\times10^{-4}, \end{equation*} where the first uncertainty is statistical, the second is systematic, the third is due to the uncertainty on the branching fraction of the decay $\overline{B}^0\rightarrow J/\psi\overline{K}^*(892)^0$, and the fourth is due to the knowledge of $f_{\Lambda_b^0}/f_d$. The sum of the asymmetries in the production and decay between $\Lambda_b^0$ and $\overline{\Lambda}_b^0$ is also measured as a function of $p_{\rm T}$ and $y$. The previously published branching fraction of $\Lambda_b^0\rightarrow J/\psi p\pi^-$, relative to that of $\Lambda_b^0\rightarrow J/\psi pK^-$, is updated. The branching fractions of $\Lambda_b^0\rightarrow P_c^+(\rightarrow J/\psi p)K^-$ are determined.Comment: 29 pages, 19figures. All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-032.htm