4,828 research outputs found
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 pairs in $4.8\ \rm{fb}^{-1}p\bar{p}\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 TeV proton-antiproton collisions collected
by the CDF II detector, corresponding to an integrated luminosity of 8.7
. Using a sample of 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 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\pmComment: 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
- …