372 research outputs found
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 TeV 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 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, , and relative
azimuthal angle, , 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, , is observed in the pseudorapidity range . This
measurement of long-range correlations on the near side in proton-lead
collisions extends previous observations into the forward region up to
. 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
Study of the production of and hadrons in collisions and first measurement of the branching fraction
The product of the () differential production
cross-section and the branching fraction of the decay () is
measured as a function of the beauty hadron transverse momentum, ,
and rapidity, . The kinematic region of the measurements is and . The measurements use a data sample
corresponding to an integrated luminosity of collected by the
LHCb detector in collisions at centre-of-mass energies in 2011 and in 2012. Based on previous LHCb
results of the fragmentation fraction ratio, , the
branching fraction of the decay 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 , and the
fourth is due to the knowledge of . The sum of the
asymmetries in the production and decay between and
is also measured as a function of and .
The previously published branching fraction of , relative to that of , is updated.
The branching fractions of 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
flavour tagging using charm decays at the LHCb experiment
An algorithm is described for tagging the flavour content at production of
neutral mesons in the LHCb experiment. The algorithm exploits the
correlation of the flavour of a meson with the charge of a reconstructed
secondary charm hadron from the decay of the other hadron produced in the
proton-proton collision. Charm hadron candidates are identified in a number of
fully or partially reconstructed Cabibbo-favoured decay modes. The algorithm is
calibrated on the self-tagged decay modes and using of data collected by the LHCb
experiment at centre-of-mass energies of and
. Its tagging power on these samples of
decays is .Comment: All figures and tables, along with any supplementary material and
additional information, are available at
http://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-027.htm
- …