We demonstrated previously that simultaneous treatment of intact Noble (NBL) rats with testosterone and estradiol-17 beta (E2) for 16 weeks consistently induced a putative precancerous lesion, termed dysplasia, in the dorsolateral prostate (DLP) of all animals. Since treatment of rats with androgen alone did not elicit the same response, we concluded that estrogen played a critical role in the ...

The paper presents OntoDLV a system based on an extension of Disjunctive Logic Programming (DLP) which combines the expressive power of DLP with the modeling capabilities of the object-oriented languages. In particular, the OntoDLV language supports the most important object-oriented constructs including classes, objects, (multiple) inheritance, and types. OntoDLV is built on top of DLV (a stat...

In this paper, we propose an approach to the programmability of intelligent agent avatars, supported by the Distributed Logic Programming language DLP. The intelligent agent avatars can be considered as one of the applications of web agents. As one of the testbeds of the 3D web agents, we are developing and implementing soccer playing avatars. In this paper, we discuss how DLP can be used to su...

introduction computed tomography scans are a very important tool for diagnosis and assessment of response to treatment in the practice of medicine. ionizing radiation in medical imaging is undoubtedly one of the most powerful diagnostic tools in medicine. yet, as with all medical interventions, there are potential risks in addition to the clear potential benefits. materials and methods two refe...

Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.

Heparan sulfate proteoglycans (HSPGs), a class of glycosaminoglycan-modified proteins, control diverse patterning events via their regulation of growth-factor signaling and morphogen distribution. In C. elegans, zebrafish, and the mouse, heparan sulfate (HS) biosynthesis is required for normal axon guidance, and mutations affecting Syndecan (Sdc), a transmembrane HSPG, disrupt axon guidance in ...

For q a prime power, the discrete logarithm problem (DLP) in Fq consists in finding, for any g ∈ Fq and h ∈ 〈g〉, an integer x such that gx = h. We present an algorithm for computing discrete logarithms with which we prove that for each prime p there exist infinitely many explicit extension fields Fpn in which the DLP can be solved in expected quasi-polynomial time. Furthermore, subject to a con...

FaCT: The tests were performed using FaCT version 1.2. FaCT is a description logic classifier whose description language is a superset of K4(m) and whose subsumption reasoning uses a sound and complete tableaux algorithm. FaCT employs a wide range of optimisations, in particular a form of dependency directed backtracking called backjumping which can significantly reduce the size of the search s...

Digital learning platforms (DLP) provide various types of information about student when used for and practice. This data holds potential individualized instruction, which has become increasingly necessary adequately addressing learners’ individual needs. For primary schools in particular, this is important developing inclusive schools. However, despite the DLP that can be obtained from them, t...

In this paper we show how some recent ideas regarding the discrete logarithm problem (DLP) in finite fields of small characteristic may be applied to compute logarithms in some very large fields extremely efficiently. In particular, we demonstrate a practical DLP break in the finite field of 2 elements, using just a single core-month.