Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

International audienceWe study Abramsky's applicative bisimilarity abstractly , in the context of call-by-value λ-calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic operational semantics. We then show how the theory of relators provides precisely what is needed to generalise applicative bisimilarity to such a calculus, and to single out those monads and relators for which applicative bisimilarity is a congruence, thus a sound methodology for program equivalence. This is done by studying Howe's method in the abstract

Guiding the global evolution of cytogenetic testing for hematologic malignancies

Cytogenetics has long represented a critical component in the clinical evaluation of hematologic malignancies. Chromosome banding studies provide a simultaneous snapshot of genome-wide copy number and structural variation, which have been shown to drive tumorigenesis, define diseases, and guide treatment. Technological innovations in sequencing have ushered in our present-day clinical genomics era. With recent publications highlighting novel sequencing technologies as alternatives to conventional cytogenetic approaches, we, an international consortium of laboratory geneticists, pathologists, and oncologists, describe herein the advantages and limitations of both conventional chromosome banding and novel sequencing technologies and share our considerations on crucial next steps to implement these novel technologies in the global clinical setting for a more accurate cytogenetic evaluation, which may provide improved diagnosis and treatment management. Considering the clinical, logistic, technical, and financial implications, we provide points to consider for the global evolution of cytogenetic testing.Fil: Akkari, Yassmine M.N.. Legacy Health; Estados UnidosFil: Baughn, Linda B.. Mayo Clinic Cancer Center; Estados UnidosFil: Dubuc, Adrian M.. Harvard Medical School; Estados UnidosFil: Smith, Adam C.. University of Toronto; CanadáFil: Mallo, Mar. Institut D`investigació Biomedica de Girona Dr. Josep Trueta (idib`gi);Fil: Dal Cin, Paola. Harvard Medical School; Estados UnidosFil: Diez Campelo, Maria. Universidad de Salamanca; EspañaFil: Gallego, Marta S.. Hospital Italiano; ArgentinaFil: Granada Font, Isabel. Institut D`investigació Biomedica de Girona Dr. Josep Trueta (idib`gi);Fil: Haase, Detlef T.. Universität Göttingen; AlemaniaFil: Schlegelberger, Brigitte. Leibniz Universitat Hannover; AlemaniaFil: Slavutsky, Irma Rosa. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Medicina Experimental. Academia Nacional de Medicina de Buenos Aires. Instituto de Medicina Experimental; ArgentinaFil: Mecucci, Cristina. Università di Perugia; ItaliaFil: Levine, Ross L.. Memorial Sloan-kettering Cancer Center; Estados UnidosFil: Hasserjian, Robert P.. Massachusetts General Hospital ; Department Of Medicine ; Harvard Medical School;Fil: Solé, Francesc. Institut D`investigació Biomedica de Girona Dr. Josep Trueta (idib`gi);Fil: Levy, Brynn. Columbia University; Estados UnidosFil: Xu, Xinjie. Mayo Clinic Cancer Center; Estados Unido

Search for lepton-flavor violation at HERA

A search for lepton-flavor-violating interactions $e p \to \mu X$ and $e p\to \tau X$ has been performed with the ZEUS detector using the entire HERA I data sample, corresponding to an integrated luminosity of 130 pb^{-1}. The data were taken at center-of-mass energies, $\sqrt{s}$, of 300 and 318 GeV. No evidence of lepton-flavor violation was found, and constraints were derived on leptoquarks (LQs) that could mediate such interactions. For LQ masses below $\sqrt{s}$, limits were set on $\lambda_{eq_1} \sqrt{\beta_{\ell q}}$, where $\lambda_{eq_1}$ is the coupling of the LQ to an electron and a first-generation quark $q_1$, and $\beta_{\ell q}$ is the branching ratio of the LQ to the final-state lepton $\ell$ ($\mu$ or $\tau$) and a quark $q$. For LQ masses much larger than $\sqrt{s}$, limits were set on the four-fermion interaction term $\lambda_{e q_\alpha} \lambda_{\ell q_\beta} / M_{\mathrm{LQ}}^2$ for LQs that couple to an electron and a quark $q_\alpha$ and to a lepton $\ell$ and a quark $q_\beta$, where $\alpha$ and $\beta$ are quark generation indices. Some of the limits are also applicable to lepton-flavor-violating processes mediated by squarks in $R$-Parity-violating supersymmetric models. In some cases, especially when a higher-generation quark is involved and for the process $e p\to \tau X$, the ZEUS limits are the most stringent to date.Comment: 37 pages, 10 figures, Accepted by EPJC. References and 1 figure (Fig. 6) adde

The dependence of dijet production on photon virtuality in ep collisions at HERA

The dependence of dijet production on the virtuality of the exchanged photon, Q^2, has been studied by measuring dijet cross sections in the range 0 < Q^2 < 2000 GeV^2 with the ZEUS detector at HERA using an integrated luminosity of 38.6 pb^-1. Dijet cross sections were measured for jets with transverse energy E_T^jet > 7.5 and 6.5 GeV and pseudorapidities in the photon-proton centre-of-mass frame in the range -3 < eta^jet <0. The variable xg^obs, a measure of the photon momentum entering the hard process, was used to enhance the sensitivity of the measurement to the photon structure. The Q^2 dependence of the ratio of low- to high-xg^obs events was measured. Next-to-leading-order QCD predictions were found to generally underestimate the low-xg^obs contribution relative to that at high xg^obs. Monte Carlo models based on leading-logarithmic parton-showers, using a partonic structure for the photon which falls smoothly with increasing Q^2, provide a qualitative description of the data.Comment: 35 pages, 6 eps figures, submitted to Eur.Phys.J.

Multijet production in neutral current deep inelastic scattering at HERA and determination of alpha_s

Multijet production rates in neutral current deep inelastic scattering have been measured in the range of exchanged boson virtualities 10 < Q2 < 5000 GeV2. The data were taken at the ep collider HERA with centre-of-mass energy sqrt(s) = 318 GeV using the ZEUS detector and correspond to an integrated luminosity of 82.2 pb-1. Jets were identified in the Breit frame using the k_T cluster algorithm in the longitudinally invariant inclusive mode. Measurements of differential dijet and trijet cross sections are presented as functions of jet transverse energy E_{T,B}{jet}, pseudorapidity eta_{LAB}{jet} and Q2 with E_{T,B}{jet} > 5 GeV and -1 < eta_{LAB}{jet} < 2.5. Next-to-leading-order QCD calculations describe the data well. The value of the strong coupling constant alpha_s(M_Z), determined from the ratio of the trijet to dijet cross sections, is alpha_s(M_Z) = 0.1179 pm 0.0013(stat.) {+0.0028}_{-0.0046}(exp.) {+0.0064}_{-0.0046}(th.)Comment: 22 pages, 5 figure