370 research outputs found
The Complexity of Reasoning for Fragments of Default Logic
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified
the complexity of the extension existence problem for propositional default
logic as \SigmaPtwo-complete, and the complexity of the credulous and
skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete.
Additionally, he investigated restrictions on the default rules, i.e.,
semi-normal default rules. Selman made in 1992 a similar approach with
disjunction-free and unary default rules. In this paper we systematically
restrict the set of allowed propositional connectives. We give a complete
complexity classification for all sets of Boolean functions in the meaning of
Post's lattice for all three common decision problems for propositional default
logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-,
P-, NL-complete, trivial) for the extension existence problem, while for the
credulous and skeptical reasoning problem we obtain similar classifications
without trivial cases.Comment: Corrected versio
High-resolution microwave frequency dissemination on an 86-km urban optical link
We report the first demonstration of a long-distance ultra stable frequency
dissemination in the microwave range. A 9.15 GHz signal is transferred through
a 86-km urban optical link with a fractional frequency stability of 1.3x10-15
at 1 s integration time and below 10-18 at one day. The optical link phase
noise compensation is performed with a round-trip method. To achieve such a
result we implement light polarisation scrambling and dispersion compensation.
This link outperforms all the previous radiofrequency links and compares well
with recently demonstrated full optical links.Comment: 11 pages, 5 figure
Observation of phase noise reduction in photonically synthesized sub-THz signals using a passively mode-locked laser diode and highly selective optical filtering
A Continuous Wave (CW) sub-THz photonic synthesis setup based on a single Passively Mode-Locked Laser Diode (PMLLD) acting as a monolithic Optical Frequency Comb Generator (OFCG) and highly selective optical filtering has been implemented to evaluate the phase noise performance of the generated sub-THz signals. The analysis of the synthesized sub-THz signals up to 120 GHz gives as a result an effective reduction of the electrical linewidth when compared to direct harmonic generation that begins at 50 GHz and becomes greater as the frequency increases. The phase noise reduction offered by the setup, along with its integration potential, cost and bandwidth, make it a promising candidate to the development of an integrated and high performance low phase noise local oscillator in the sub-THz range.Work supported by the Spanish Ministry of Science and Technology through the project TEC2009-14525-C02-02 and by the European Commission FP7 iPHOS Project. The work by A.R. Criado has been supported by the Spanish Ministry of Science and Technology under the FPI Program, Grant# BES2010-030290.Publicad
The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the
state-of-the-art implementation of disjunctive logic programming, and addresses
several aspects. As for problem solving, we provide a formal definition of its
kernel language, function-free disjunctive logic programs (also known as
disjunctive datalog), extended by weak constraints, which are a powerful tool
to express optimization problems. We then illustrate the usage of DLV as a tool
for knowledge representation and reasoning, describing a new declarative
programming methodology which allows one to encode complex problems (up to
-complete problems) in a declarative fashion. On the foundational
side, we provide a detailed analysis of the computational complexity of the
language of DLV, and by deriving new complexity results we chart a complete
picture of the complexity of this language and important fragments thereof.
Furthermore, we illustrate the general architecture of the DLV system which
has been influenced by these results. As for applications, we overview
application front-ends which have been developed on top of DLV to solve
specific knowledge representation tasks, and we briefly describe the main
international projects investigating the potential of the system for industrial
exploitation. Finally, we report about thorough experimentation and
benchmarking, which has been carried out to assess the efficiency of the
system. The experimental results confirm the solidity of DLV and highlight its
potential for emerging application areas like knowledge management and
information integration.Comment: 56 pages, 9 figures, 6 table
Do Stress Responses Promote Leukemia Progression? An Animal Study Suggesting a Role for Epinephrine and Prostaglandin-E2 through Reduced NK Activity
In leukemia patients, stress and anxiety were suggested to predict poorer prognosis. Oncological patients experience ample physiological and psychological stress, potentially leading to increased secretion of stress factors, including epinephrine, corticosteroids, and prostaglandins. Here we tested whether environmental stress and these stress factors impact survival of leukemia-challenged rats, and studied mediating mechanisms. F344 rats were administered with a miniscule dose of 60 CRNK-16 leukemia cells, and were subjected to intermittent forced swim stress or to administration of physiologically relevant doses of epinephrine, prostaglandin-E2 or corticosterone. Stress and each stress factor, and/or their combinations, doubled mortality rates when acutely applied simultaneously with, or two or six days after tumor challenge. Acute administration of the β-adrenergic blocker nadolol diminished the effects of environmental stress, without affecting baseline survival rates. Prolonged β-adrenergic blockade or COX inhibition (using etodolac) also increased baseline survival rates, possibly by blocking tumor-related or normal levels of catecholamines and prostaglandins. Searching for mediating mechanisms, we found that each of the stress factors transiently suppressed NK activity against CRNK-16 and YAC-1 lines on a per NK basis. In contrast, the direct effects of stress factors on CRNK-16 proliferation, vitality, and VEGF secretion could not explain or even contradicted the in vivo survival findings. Overall, it seems that environmental stress, epinephrine, and prostaglandins promote leukemia progression in rats, potentially through suppressing cell mediated immunity. Thus, patients with hematological malignancies, which often exhibit diminished NK activity, may benefit from extended β-blockade and COX inhibition
- …