722 research outputs found
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
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
Computable randomness is about more than probabilities
We introduce a notion of computable randomness for infinite sequences that
generalises the classical version in two important ways. First, our definition
of computable randomness is associated with imprecise probability models, in
the sense that we consider lower expectations (or sets of probabilities)
instead of classical 'precise' probabilities. Secondly, instead of binary
sequences, we consider sequences whose elements take values in some finite
sample space. Interestingly, we find that every sequence is computably random
with respect to at least one lower expectation, and that lower expectations
that are more informative have fewer computably random sequences. This leads to
the intriguing question whether every sequence is computably random with
respect to a unique most informative lower expectation. We study this question
in some detail and provide a partial answer
Idiopathic hypertrophic pachymeningitis presenting with occipital neuralgia
Background: Although occipital neuralgia is usually caused by degenerative arthropathy, nearly 20 other aetiologies may lead to this condition.Methods: We present the first case report of hypertrophic pachymeningitis revealed by isolated occipital neuralgia.Results and conclusions: Idiopathic hypertrophic pachymeningitis is a plausible cause of occipital neuralgia and may present without cranial-nerve palsy. There is no consensus on the treatment for idiopathic hypertrophic pachymeningitis, but the usual approach is to start corticotherapy and then to add immunosuppressants. When occipital neuralgia is not clinically isolated or when a first-line treatment fails, another disease diagnosis should be considered. However, the cost effectiveness of extended investigations needs to be considered.Keywords: neuralgia/pathology, meningitis, neck pain/aetiology, revie
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
A complementary approach to estimate the internal pressure of fission gas bubbles by SEM-SIMS-EPMA in irradiated nuclear fuels
International audienceThe behaviour of gases produced by fission is of great importance for nuclear fuel in operation. Within this context, a decade ago, a general method for the characterisation of the fission gas including gas bubbles in an irradiated UO nuclear fuel was developed and applied to determine the bubbles internal pressure. The method consists in the determination of the pressure, over a large population of bubbles, using three techniques: SEM, EPMA and SIMS. In this paper, a complementary approach using the information given by the same techniques is performed on an isolated bubble under the surface and is aiming for a better accuracy compared to the more general measurement of gas content. SEM and EPMA enable the detection of a bubble filled with xenon under the surface. SIMS enables the detection of the gas filling the bubble. The quantification is achieved using the EPMA data as reference at positions where no or nearly no bubbles are detected
- …