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

A search for resonant production of ttˉt\bar{t} pairs in $4.8\ \rm{fb}^{-1}ofintegratedluminosityof of integrated luminosity of p\bar{p}collisionsat collisions at \sqrt{s}=1.96\ \rm{TeV}$

We search for resonant production of tt pairs in 4.8 fb^{-1} integrated luminosity of ppbar collision data at sqrt{s}=1.96 TeV in the lepton+jets decay channel, where one top quark decays leptonically and the other hadronically. A matrix element reconstruction technique is used; for each event a probability density function (pdf) of the ttbar candidate invariant mass is sampled. These pdfs are used to construct a likelihood function, whereby the cross section for resonant ttbar production is estimated, given a hypothetical resonance mass and width. The data indicate no evidence of resonant production of ttbar pairs. A benchmark model of leptophobic Z \rightarrow ttbar is excluded with m_{Z'} < 900 GeV at 95% confidence level.Comment: accepted for publication in Physical Review D Sep 21, 201

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

Precision Top-Quark Mass Measurements at CDF

We present a precision measurement of the top-quark mass using the full sample of Tevatron $\sqrt{s}=1.96$ TeV proton-antiproton collisions collected by the CDF II detector, corresponding to an integrated luminosity of 8.7 $fb^{-1}$. Using a sample of $t\bar{t}$ candidate events decaying into the lepton+jets channel, we obtain distributions of the top-quark masses and the invariant mass of two jets from the $W$ boson decays from data. We then compare these distributions to templates derived from signal and background samples to extract the top-quark mass and the energy scale of the calorimeter jets with {\it in situ} calibration. The likelihood fit of the templates from signal and background events to the data yields the single most-precise measurement of the top-quark mass, \mtop = 172.85 \pm$0.71 (stat)$\pm$0.85 (syst) GeV/c^{2}.$Comment: submitted to Phys. Rev. Let

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