A Fully Abstract Model for the π-calculus

n/

Nets, relations and linking diagrams

In recent work, the author and others have studied compositional algebras of Petri nets. Here we consider mathematical aspects of the pure linking algebras that underly them. We characterise composition of nets without places as the composition of spans over appropriate categories of relations, and study the underlying algebraic structures.Comment: 15 pages, Proceedings of 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), Warsaw, Poland, 3-6 September 201

Initiality for Typed Syntax and Semantics

We give an algebraic characterization of the syntax and semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed binding syntax equipped with reduction rules via a universal property, namely as the initial object of some category. For this purpose, we employ techniques developed in two previous works: in [2], we model syntactic translations between languages over different sets of types as initial morphisms in a category of models. In [1], we characterize untyped syntax with reduction rules as initial object in a category of models. In the present work, we show that those techniques are modular enough to be combined: we thus characterize simply-typed syntax with reduction rules as initial object in a category. The universal property yields an operator which allows to specify translations - that are semantically faithful by construction - between languages over possibly different sets of types. We specify a language by a 2-signature, that is, a signature on two levels: the syntactic level specifies the types and terms of the language, and associates a type to each term. The semantic level specifies, through inequations, reduction rules on the terms of the language. To any given 2-signature we associate a category of models. We prove that this category has an initial object, which integrates the types and terms freely generated by the 2-signature, and the reduction relation on those terms generated by the given inequations. We call this object the (programming) language generated by the 2-signature. [1] Ahrens, B.: Modules over relative monads for syntax and semantics (2011), arXiv:1107.5252, to be published in Math. Struct. in Comp. Science [2] Ahrens, B.: Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science 8(2), 1-35 (2012)Comment: presented at WoLLIC 2012, 15 page

Pre-operative management of Pleomorphic and florid lobular carcinoma in situ of the breast: Report of a large multi-institutional series and review of the literature

Background: Pleomorphic and Florid Lobular carcinoma in situ (P/F LCIS) are rare variants of LCIS, the exact nature of which is still debated. Aim: To collect a large series of P/F LCIS diagnosed on preoperative biopsies and evaluate their association with invasive carcinoma and high grade duct carcinoma in situ (DCIS). Data obtained were compared with those reported in the literature. Methods: A multi-institutional series of P/F LCIS was retrieved. All cases were diagnosed on pre-operative biopsies, which was followed by an open surgical excision. Data on post-operative histopathology were available. A literature review was performed. Results: A total of 117 cases were collected; invasive carcinoma and/or DCIS was present in 78/117 cases (66.7%). Seventy cases of P/F LCIS were pure on biopsy and 31 of these showed pathological upgrade in post-surgical specimens. Pre-operative biopsy accuracy was 47/78 (60.3%); pre-operative biopsy underestimation of cancer was 31/78 (39,7.%). In the literature review papers, invasive carcinoma or DCIS was associated with 274 of 418 (65.5%) cases of P/F LCIS. Pre-operative biopsy accuracy was 66% (181/274) whereas pre-operative biopsy underestimation of cancer was 33.9% (93/274). Conclusions: The data presented here indicate that P/F LCIS is frequently associated with invasive carcinoma or high grade DCIS and that pre-operative biopsy is associated with an underestimation of malignancy. Open surgery is indicated when P/F LCIS is diagnosed pre-operatively

Experimental investigation of the detection mechanism in WSi nanowire superconducting single photon detectors

Quantum Matter and Optic

Model-independent search for CP violation in D0→K−K+π−π+ and D0→π−π+π+π− decays

A search for CP violation in the phase-space structures of D0 and View the MathML source decays to the final states K−K+π−π+ and π−π+π+π− is presented. The search is carried out with a data set corresponding to an integrated luminosity of 1.0 fb−1 collected in 2011 by the LHCb experiment in pp collisions at a centre-of-mass energy of 7 TeV. For the K−K+π−π+ final state, the four-body phase space is divided into 32 bins, each bin with approximately 1800 decays. The p-value under the hypothesis of no CP violation is 9.1%, and in no bin is a CP asymmetry greater than 6.5% observed. The phase space of the π−π+π+π− final state is partitioned into 128 bins, each bin with approximately 2500 decays. The p-value under the hypothesis of no CP violation is 41%, and in no bin is a CP asymmetry greater than 5.5% observed. All results are consistent with the hypothesis of no CP violation at the current sensitivity

Search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓

A search for the lepton-flavor-violating decays Bs0→e±μ∓ and B0→e±μ∓ is performed with a data sample, corresponding to an integrated luminosity of 1.0  fb-1 of pp collisions at √s=7  TeV, collected by the LHCb experiment. The observed number of Bs0→e±μ∓ and B0→e±μ∓ candidates is consistent with background expectations. Upper limits on the branching fractions of both decays are determined to be B(Bs0→e±μ∓)101  TeV/c2 and MLQ(B0→e±μ∓)>126  TeV/c2 at 95% C.L., and are a factor of 2 higher than the previous bounds

Measurements of long-range near-side angular correlations in sNN=5\sqrt{s_{\text{NN}}}=5TeV proton-lead collisions in the forward region

Two-particle angular correlations are studied in proton-lead collisions at a nucleon-nucleon centre-of-mass energy of $\sqrt{s_{\text{NN}}}=5$TeV, collected with the LHCb detector at the LHC. The analysis is based on data recorded in two beam configurations, in which either the direction of the proton or that of the lead ion is analysed. The correlations are measured in the laboratory system as a function of relative pseudorapidity, $\Delta\eta$, and relative azimuthal angle, $\Delta\phi$, for events in different classes of event activity and for different bins of particle transverse momentum. In high-activity events a long-range correlation on the near side, $\Delta\phi \approx 0$, is observed in the pseudorapidity range $2.0<\eta<4.9$. This measurement of long-range correlations on the near side in proton-lead collisions extends previous observations into the forward region up to $\eta=4.9$. The correlation increases with growing event activity and is found to be more pronounced in the direction of the lead beam. However, the correlation in the direction of the lead and proton beams are found to be compatible when comparing events with similar absolute activity in the direction analysed.Comment: 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-040.htm

Evidence for the strangeness-changing weak decay Ξb−→Λb0π−\Xi_b^-\to\Lambda_b^0\pi^-

Using a $pp$ collision data sample corresponding to an integrated luminosity of 3.0~fb$^{-1}$, collected by the LHCb detector, we present the first search for the strangeness-changing weak decay $\Xi_b^-\to\Lambda_b^0\pi^-$. No $b$ hadron decay of this type has been seen before. A signal for this decay, corresponding to a significance of 3.2 standard deviations, is reported. The relative rate is measured to be ${{f_{\Xi_b^-}}\over{f_{\Lambda_b^0}}}{\cal{B}}(\Xi_b^-\to\Lambda_b^0\pi^-) = (5.7\pm1.8^{+0.8}_{-0.9})\times10^{-4}$, where $f_{\Xi_b^-}$ and $f_{\Lambda_b^0}$ are the $b\to\Xi_b^-$ and $b\to\Lambda_b^0$ fragmentation fractions, and ${\cal{B}}(\Xi_b^-\to\Lambda_b^0\pi^-)$ is the branching fraction. Assuming $f_{\Xi_b^-}/f_{\Lambda_b^0}$ is bounded between 0.1 and 0.3, the branching fraction ${\cal{B}}(\Xi_b^-\to\Lambda_b^0\pi^-)$ would lie in the range from $(0.57\pm0.21)\%$ to $(0.19\pm0.07)\%$.Comment: 7 pages, 2 figures, 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-047.htm