Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

A novel oncogenic BTK isoform is overexpressed in colon cancers and required for RAS-mediated transformation

20siBruton's tyrosine kinase (BTK) is essential for B-cell proliferation/differentiation and it is generally believed that its expression and function are limited to bone marrow-derived cells. Here, we report the identification and characterization of p65BTK, a novel isoform abundantly expressed in colon carcinoma cell lines and tumour tissue samples. p65BTK protein is expressed, through heterogeneous nuclear ribonucleoprotein K (hnRNPK)-dependent and internal ribosome entry site-driven translation, from a transcript containing an alternative first exon in the 5'-untranslated region, and is post-transcriptionally regulated, via hnRNPK, by the mitogen-activated protein kinase (MAPK) pathway. p65BTK is endowed with strong transforming activity that depends on active signal-regulated protein kinases-1/2 (ERK1/2) and its inhibition abolishes RAS transforming activity. Accordingly, p65BTK overexpression in colon cancer tissues correlates with ERK1/2 activation. Moreover, p65BTK inhibition affects growth and survival of colon cancer cells. Our data reveal that BTK, via p65BTK expression, is a novel and powerful oncogene acting downstream of the RAS/MAPK pathway and suggest that its targeting may be a promising therapeutic approach.openopenGrassilli, Emanuela; Pisano, Fabio; Cialdella, Annamaria; Bonomo, Sara; Missaglia, Carola; Cerrito, Maria Grazia; Masiero, Laura; Ianzano, Leonarda; Giordano, Federica; Cicirelli, Vittoria; Narloch, Robert; D'Amato, Filomena; Noli, Barbara; Ferri, Gian Luca; Leone, Biagio; Stanta, Giorgio; Bonin, Serena; Helin, Kristian; Giovannoni, Roberto; Lavitrano, MarialuisaGrassilli, Emanuela; Pisano, Fabio; Cialdella, Annamaria; Bonomo, Sara; Missaglia, Carola; Cerrito, Maria Grazia; Masiero, Laura; Ianzano, Leonarda; Giordano, Federica; Cicirelli, Vittoria; Narloch, Robert; D'Amato, Filomena; Noli, Barbara; Ferri, Gian Luca; Leone, Biagio; Stanta, Giorgio; Bonin, Serena; Helin, Kristian; Giovannoni, Roberto; Lavitrano, Marialuis

A novel oncogenic BTK isoform is overexpressed in colon cancers and required for RAS-mediated transformation

Bruton’s tyrosine kinase (BTK) is essential for B-cell proliferation/differentiation and it is generally believed that its expression and function are limited to bone marrow-derived cells. Here, we report the identification and characterization of p65BTK, a novel isoform abundantly expressed in colon carcinoma cell lines and tumor tissue samples. p65BTK protein is expressed, through hnRNPK-dependent and IRES-driven translation, from a transcript containing an alternative first exon in the 5’UTR, and is post-transcriptionally regulated, via hnRNPK, by the MAPK pathway. p65BTK is endowed with strong transforming activity that depends on active ERK1/2 and its inhibition abolishes RAS transforming activity. Accordingly, p65BTK overexpression in colon cancer tissues correlates with ERK1/2 activation. Moreover, p65BTK inhibition affects growth and survival of colon cancer cells. Our data reveal that BTK, via p65BTK expression, is a novel and powerful oncogene acting downstream of the RAS/MAPK pathway and suggest that its targeting may be a promising therapeutic approac

Inclusive Search for Anomalous Production of High-pT Like-Sign Lepton Pairs in Proton-Antiproton Collisions at sqrt{s}=1.8 TeV

We report on a search for anomalous production of events with at least two charged, isolated, like-sign leptons with pT > 11 GeV/c using a 107 pb^-1 sample of 1.8 TeV ppbar collisions collected by the CDF detector. We define a signal region containing low background from Standard Model processes. To avoid bias, we fix the final cuts before examining the event yield in the signal region using control regions to test the Monte Carlo predictions. We observe no events in the signal region, consistent with an expectation of 0.63^(+0.84)_(-0.07) events. We present 95% confidence level limits on new physics processes in both a signature-based context as well as within a representative minimal supergravity (tanbeta = 3) model.Comment: 15 pages, 4 figures. Minor textual changes, cosmetic improvements to figures and updated and expanded reference

Evidence for t\bar{t}\gamma Production and Measurement of \sigma_t\bar{t}\gamma / \sigma_t\bar{t}

Using data corresponding to 6.0/fb of ppbar collisions at sqrt(s) = 1.96 TeV collected by the CDF II detector, we present a cross section measurement of top-quark pair production with an additional radiated photon. The events are selected by looking for a lepton, a photon, significant transverse momentum imbalance, large total transverse energy, and three or more jets, with at least one identified as containing a b quark. The ttbar+photon sample requires the photon to have 10 GeV or more of transverse energy, and to be in the central region. Using an event selection optimized for the ttbar+photon candidate sample we measure the production cross section of, and the ratio of cross sections of the two samples. Control samples in the dilepton+photon and lepton+photon+\met, channels are constructed to aid in decay product identification and background measurements. We observe 30 ttbar+photon candidate events compared to the standard model expectation of 26.9 +/- 3.4 events. We measure the ttbar+photon cross section to be 0.18+0.08 pb, and the ratio of the cross section of ttbar+photon to ttbar to be 0.024 +/- 0.009. Assuming no ttbar+photon production, we observe a probability of 0.0015 of the background events alone producing 30 events or more, corresponding to 3.0 standard deviations.Comment: 9 pages, 3 figure

Combined search for the standard model Higgs boson decaying to a bb pair using the full CDF data set

We combine the results of searches for the standard model Higgs boson based on the full CDF Run II data set obtained from sqrt(s) = 1.96 TeV p-pbar collisions at the Fermilab Tevatron corresponding to an integrated luminosity of 9.45/fb. The searches are conducted for Higgs bosons that are produced in association with a W or Z boson, have masses in the range 90-150 GeV/c^2, and decay into bb pairs. An excess of data is present that is inconsistent with the background prediction at the level of 2.5 standard deviations (the most significant local excess is 2.7 standard deviations).Comment: To be published in Phys. Rev. Lett (v2 contains minor updates based on comments from PRL

Observation of Exclusive Gamma Gamma Production in p pbar Collisions at sqrt{s}=1.96 TeV

We have observed exclusive \gamma\gamma production in proton-antiproton collisions at \sqrt{s}=1.96 TeV, using data from 1.11 \pm 0.07 fb^{-1} integrated luminosity taken by the Run II Collider Detector at Fermilab. We selected events with two electromagnetic showers, each with transverse energy E_T > 2.5 GeV and pseudorapidity |\eta| < 1.0, with no other particles detected in -7.4 < \eta < +7.4. The two showers have similar E_T and azimuthal angle separation \Delta\phi \sim \pi; 34 events have two charged particle tracks, consistent with the QED process p \bar{p} to p + e^+e^- + \bar{p} by two-photon exchange, while 43 events have no charged tracks. The number of these events that are exclusive \pi^0\pi^0 is consistent with zero and is < 15 at 95% C.L. The cross section for p\bar{p} to p+\gamma\gamma+\bar{p} with |\eta(\gamma)| < 1.0 and E_T(\gamma) > 2.5$ GeV is 2.48^{+0.40}_{-0.35}(stat)^{+0.40}_{-0.51}(syst) pb.Comment: 7 pages, 4 figure

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Measurement of branching ratio and Bs0 lifetime in the decay Bs0 -> J/psi f0(980) at CDF

We present a study of Bs0 decays to the CP-odd final state J/psi f0(980) with J/psi -> mu+ mu- and f0(980) -> pi+ pi-. Using ppbar collision data with an integrated luminosity of 3.8/fb collected by the CDF II detector at the Tevatron we measure a Bs0 lifetime of tau(Bs0 -> J/psi f0(980)) = 1.70 -0.11+0.12(stat) +-0.03(syst) ps. This is the first measurement of the Bs0 lifetime in a decay to a CP eigenstate and corresponds in the standard model to the lifetime of the heavy Bs0 eigenstate. We also measure the product of branching fractions of Bs0 -> J/psi f0(980) and f0(980) -> pi+ pi- relative to the product of branching fractions of Bs0 -> J/psi phi and phi -> K+ K- to be R_f0/phi = 0.257 +_0.020(stat) +-0.014(syst), which is the most precise determination of this quantity to date.Comment: accepted by Phys. Rev.