DLP (Digital Light Processing) is in the process of dramatically changing the performance expectations with respect to stereo applications, one of the last bastions of CRT projection technology. This paper discusses stereo and the application of DLP projectors. In addition to currently available high brightness DLP projectors, we present new results with using small economical single chip DLP p...

We examined the reasons bears are reported killed in defense of life or property (DLP) in Alaska as an index to causes and frequency of conflicts between humans and bears, and compared the sex and age composition of DLP kills with that of sport-killed bears. Data came from standardized questionnaires filled out by persons shooting the bears. Numbers of sport-killed brown bears (Ursus arctos) an...

We argue for a semantical modification of the language DLP. We show by examples that the current DLP representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP that yields the expected answers in some examples that we consider significant

Disjunctive logic programming under answer set semantics (DLP, ASP) is a powerful formalism for knowledge representation and reasoning. The language of DLP is very expressive, and allows for modelling complex combinatorial problems. However, despite the high expressiveness of this language, the success of DLP systems is still dimmed when the applications of interest become data intensive (curre...

Background Leg-press machines are widely employed for musculoskeletal conditioning of the lower-limbs and they provide cardiovascular benefits for resistance training in cardiac patients. The aim of this study was to assess the feasibility of a dynamic leg press (DLP) for incremental cardiopulmonary exercise testing (CPET) and to compare the results with those obtained using a cycle ergometer (...

In this paper, we study the expressive power of firstorder disjunctive logic programming (DLP) and normal logic programming (NLP) under the stable model semantics. We show that, unlike the propositional case, first-order DLP is strictly more expressive than NLP. This result still holds even if auxiliary predicates are allowed, assuming NP 6= coNP. On the other side, we propose a partial transla...

Sensitive information assets are critical to business as their leakage can harm a company’s competitiveness and reputation [1]. To prevent information disclosure, companies increasingly make use of Data Leakage Prevention (DLP) systems [6]. As company-wide DLP systems have to operate in highly dynamic and heterogeneous working environments, the challenge is to identify requirements for configur...

The Distributed Larch Prover, DLP, is a distributed and parallel version of LP, an interactive prover. DLP helps users nd proofs by creating and managing many proof attempts that run in parallel. Parallel attempts may cooperate by working on diierent subgoals, and they may compete by using diierent inference methods to prove the same goal. DLP runs on a network of workstations.

Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class E^ (NP H ) . Despite the high expressiveness of DLP, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Among these, properties requiring to apply so...

OBJECTIVES We designed a prospective study to investigate the in-vivo relationship between abdominal body composition and radiation exposure to determine the strongest body composition predictor of dose length product (DLP) at CT. METHODS Following institutional review board approval, quantitative analysis was performed prospectively on 239 consecutive patients who underwent abdominopelvic CT...