448 research outputs found
On the k-Boundedness for Existential Rules
The chase is a fundamental tool for existential rules. Several chase variants
are known, which differ on how they handle redundancies possibly caused by the
introduction of nulls. Given a chase variant, the halting problem takes as
input a set of existential rules and asks if this set of rules ensures the
termination of the chase for any factbase. It is well-known that this problem
is undecidable for all known chase variants. The related problem of boundedness
asks if a given set of existential rules is bounded, i.e., whether there is a
predefined upper bound on the number of (breadth-first) steps of the chase,
independently from any factbase. This problem is already undecidable in the
specific case of datalog rules. However, knowing that a set of rules is bounded
for some chase variant does not help much in practice if the bound is unknown.
Hence, in this paper, we investigate the decidability of the k-boundedness
problem, which asks whether a given set of rules is bounded by an integer k. We
prove that k-boundedness is decidable for three chase variants, namely the
oblivious, semi-oblivious and restricted chase.Comment: 20 pages, revised version of the paper published at RuleML+RR 201
Prioritized Repairing and Consistent Query Answering in Relational Databases
A consistent query answer in an inconsistent database is an answer obtained
in every (minimal) repair. The repairs are obtained by resolving all conflicts
in all possible ways. Often, however, the user is able to provide a preference
on how conflicts should be resolved. We investigate here the framework of
preferred consistent query answers, in which user preferences are used to
narrow down the set of repairs to a set of preferred repairs. We axiomatize
desirable properties of preferred repairs. We present three different families
of preferred repairs and study their mutual relationships. Finally, we
investigate the complexity of preferred repairing and computing preferred
consistent query answers.Comment: Accepted to the special SUM'08 issue of AMA
Relation between composition, microstructure and oxidation in iron aluminides
The relation between chemical composition, microstructure and oxidation properties has been investigated on various FeAl based alloys, the aim being to induce changes in the microstructure of the compound by selective oxidation of aluminium. Oxidation kinetics that was evaluated on bulk specimens showed that, due to fast diffusion in the alloys, no composition gradient is formed during the aluminium selective oxidation. Accordingly, significant aluminium depletion in the compound could be observed in the thinnest part of oxidised wedge-shape specimens. Another way to obtain samples of variable aluminium content was to prepare diffusion couples with one aluminide and pure iron as end members. These latter specimens have been characterised using electron microscopy and first results of oxidation experiments are presented
A method to localize gamma-ray bursts using POLAR
The hard X-ray polarimeter POLAR aims to measure the linear polarization of
the 50-500 keV photons arriving from the prompt emission of gamma-ray bursts
(GRBs). The position in the sky of the detected GRBs is needed to determine
their level of polarization. We present here a method by which, despite of the
polarimeter incapability of taking images, GRBs can be roughly localized using
POLAR alone. For this purpose scalers are attached to the output of the 25
multi-anode photomultipliers (MAPMs) that collect the light from the POLAR
scintillator target. Each scaler measures how many GRB photons produce at least
one energy deposition above 50 keV in the corresponding MAPM. Simulations show
that the relative outputs of the 25 scalers depend on the GRB position. A
database of very strong GRBs simulated at 10201 positions has been produced.
When a GRB is detected, its location is calculated searching the minimum of the
chi2 obtained in the comparison between the measured scaler pattern and the
database. This GRB localization technique brings enough accuracy so that the
error transmitted to the 100% modulation factor is kept below 10% for GRBs with
fluence Ftot \geq 10^(-5) erg cm^(-2) . The POLAR localization capability will
be useful for those cases where no other instruments are simultaneously
observing the same field of view.Comment: 13 pages, 10 figure
RAGE mediates S100A4-induced cell motility via MAPK/ERK and hypoxia signaling and is a prognostic biomarker for human colorectal cancer metastasis
Survival of colorectal cancer patients is strongly dependent on development of distant metastases. S100A4 is a prognostic biomarker and inducer for colorectal cancer metastasis. Besides exerting intracellular functions, S100A4 is secreted extracellularly. The receptor for advanced glycation end products (RAGE) is one of its interaction partners. The impact of the S100A4-RAGE interaction for cell motility and metastasis formation in colorectal cancer has not been elucidated so far. Here we demonstrate the RAGE-dependent increase in migratory and invasive capabilities of colorectal cancer cells via binding to extracellular S100A4. We show the direct interaction of S100A4 and RAGE, leading to hyperactivated MAPK/ERK and hypoxia signaling. The S100A4-RAGE axis increased cell migration (P<0.005) and invasion (P<0.005), which was counteracted with recombinant soluble RAGE and RAGE-specific antibodies. In colorectal cancer patients, not distantly metastasized at surgery, high RAGE expression in primary tumors correlated with metachronous metastasis, reduced overall (P=0.022) and metastasis-free survival (P=0.021). In summary, interaction of S100A4-RAGE mediates S100A4-induced colorectal cancer cell motility. RAGE by itself represents a biomarker for prognosis of colorectal cancer. Thus, therapeutic approaches targeting RAGE or intervening in S100A4-RAGE-dependent signaling early in tumor progression might represent alternative strategies restricting S100A4-induced colorectal cancer metastasis
Disclination vortices in elastic media
The vortex-like solutions are studied in the framework of the gauge model of
disclinations in elastic continuum. A complete set of model equations with
disclination driven dislocations taken into account is considered. Within the
linear approximation an exact solution for a low-angle wedge disclination is
found to be independent from the coupling constants of the theory. As a result,
no additional dimensional characteristics (like the core radius of the defect)
are involved. The situation changes drastically for 2\pi vortices where two
characteristic lengths, l_\phi and l_W, become of importance. The asymptotical
behaviour of the solutions for both singular and nonsingular 2\pi vortices is
studied. Forces between pairs of vortices are calculated.Comment: 13 pages, published versio
- …