634 research outputs found
Phénomènes Diffusionnels et Recristallisation Accompagnant l'Assemblage de Superalliages Base Nickel par Compression à Chaud
Pas de Résumé disponibl
First order-rewritability and containment of conjunctive queries in horn description logics
International audienceWe study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from EXPTIME via NEXPTIME to 2EXPTIME, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise
Assemblage par soudage diffusion de deux superalliages. Aspects diffusionnels et microstructuraux au niveau du joint
Pas de Résumé disponibl
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
A prominent approach to implementing ontology-mediated queries (OMQs) is to
rewrite into a first-order query, which is then executed using a conventional
SQL database system. We consider the case where the ontology is formulated in
the description logic EL and the actual query is a conjunctive query and show
that rewritings of such OMQs can be efficiently computed in practice, in a
sound and complete way. Our approach combines a reduction with a decomposed
backwards chaining algorithm for OMQs that are based on the simpler atomic
queries, also illuminating the relationship between first-order rewritings of
OMQs based on conjunctive and on atomic queries. Experiments with real-world
ontologies show promising results
Functional interaction of STAT3 transcription factor with the coactivator NcoA/SRC1a.
Signal transducer and activator of transcription 3 (STAT3) transcription factors are cytoplasmic proteins that induce gene activation in response to cytokine receptor stimulation. Following tyrosine phosphorylation, STAT3 proteins dimerize, translocate to the nucleus, and activate specific target genes. This transcriptional activation by STAT3 proteins has been shown to require the recruitment of coactivators such as CREB-binding protein (CBP)/p300. In the present study, we show that steroid receptor coactivator 1, NcoA/SRC1a, originally identified as a nuclear receptor coactivator, also functions as a coactivator of STAT3 proteins. In coimmunoprecipitations, NcoA/SRC1a was found to associate with STAT3 following IL-6 stimulation of HepG2 hepatoma cells. Pull-down experiments indicated that the N-terminal part of NcoA/SRC1a associates with the activation domain of STAT3. Overexpression of NcoA/SRC1a or its SRC1e isoform enhanced transcriptional activation by STAT3 proteins in transient transfection experiments. This ability of NcoA/SRC1a to enhance STAT3 activity is dependent upon the presence of the CBP-interacting domain, activation domain 1. Using chromatin immunoprecipitation assays, we found that STAT3, NcoA/SRC1a, and CBP/p300 are simultaneously recruited to the p21(waf1) promoter following interleukin-6 stimulation. Taken together, these data suggest that CBP/p300 and NcoA/SRC1a may function in a common pathway to regulate STAT3 transcriptional activity
Constructive Dimension and Turing Degrees
This paper examines the constructive Hausdorff and packing dimensions of
Turing degrees. The main result is that every infinite sequence S with
constructive Hausdorff dimension dim_H(S) and constructive packing dimension
dim_P(S) is Turing equivalent to a sequence R with dim_H(R) <= (dim_H(S) /
dim_P(S)) - epsilon, for arbitrary epsilon > 0. Furthermore, if dim_P(S) > 0,
then dim_P(R) >= 1 - epsilon. The reduction thus serves as a *randomness
extractor* that increases the algorithmic randomness of S, as measured by
constructive dimension.
A number of applications of this result shed new light on the constructive
dimensions of Turing degrees. A lower bound of dim_H(S) / dim_P(S) is shown to
hold for the Turing degree of any sequence S. A new proof is given of a
previously-known zero-one law for the constructive packing dimension of Turing
degrees. It is also shown that, for any regular sequence S (that is, dim_H(S) =
dim_P(S)) such that dim_H(S) > 0, the Turing degree of S has constructive
Hausdorff and packing dimension equal to 1.
Finally, it is shown that no single Turing reduction can be a universal
constructive Hausdorff dimension extractor, and that bounded Turing reductions
cannot extract constructive Hausdorff dimension. We also exhibit sequences on
which weak truth-table and bounded Turing reductions differ in their ability to
extract dimension.Comment: The version of this paper appearing in Theory of Computing Systems,
45(4):740-755, 2009, had an error in the proof of Theorem 2.4, due to
insufficient care with the choice of delta. This version modifies that proof
to fix the error
Algorithmic statistics: forty years later
Algorithmic statistics has two different (and almost orthogonal) motivations.
From the philosophical point of view, it tries to formalize how the statistics
works and why some statistical models are better than others. After this notion
of a "good model" is introduced, a natural question arises: it is possible that
for some piece of data there is no good model? If yes, how often these bad
("non-stochastic") data appear "in real life"?
Another, more technical motivation comes from algorithmic information theory.
In this theory a notion of complexity of a finite object (=amount of
information in this object) is introduced; it assigns to every object some
number, called its algorithmic complexity (or Kolmogorov complexity).
Algorithmic statistic provides a more fine-grained classification: for each
finite object some curve is defined that characterizes its behavior. It turns
out that several different definitions give (approximately) the same curve.
In this survey we try to provide an exposition of the main results in the
field (including full proofs for the most important ones), as well as some
historical comments. We assume that the reader is familiar with the main
notions of algorithmic information (Kolmogorov complexity) theory.Comment: Missing proofs adde
On the succinctness of query rewriting over shallow ontologies
We investigate the succinctness problem for conjunctive query rewritings over OWL2QL ontologies of depth 1 and 2 by means of hypergraph programs computing Boolean functions. Both positive and negative results are obtained. We show that, over ontologies of depth 1, conjunctive queries have polynomial-size nonrecursive datalog rewritings; tree-shaped queries have polynomial positive existential rewritings; however, in the worst case, positive existential rewritings can be superpolynomial. Over ontologies of depth 2, positive existential and nonrecursive datalog rewritings of conjunctive queries can suffer an exponential blowup, while first-order rewritings can be superpolynomial unless NP �is included in P/poly. We also analyse rewritings of tree-shaped queries over arbitrary ontologies and note that query entailment for such queries is fixed-parameter tractable
- …