نتایج جستجو برای: dlp
تعداد نتایج: 1132 فیلتر نتایج به سال:
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from other knowledge representation formalisms, namely, Complex-Datalog and Ordered Logic. The former provides suitable abstraction mechanisms for complex objects handling, while the latter provides support for default reasonin...
The paper proposes a new knowledge representation language, called DLP, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP is provided, which is shown to genera...
Dynamin-like protein I (DLP-1) is an important mitochondrial fission and fusion protein that is associated with apoptotic cell death in neurodegenerative diseases. In this study, we investigated DLP-1 expression in a focal cerebral ischemia animal model and glutamate-exposed hippocampal-derived cell line. Middle cerebral artery occlusion (MCAO) was surgically induced in adult male rats to induc...
BACKGROUND The Daily Living Programme (DLP) offered intensive home-based care with problem-centred case management for seriously mentally ill people facing crisis admission to the Maudsley Hospital, London. The cost-effectiveness of the DLP was examined over four years. METHOD A randomised controlled study examined cost-effectiveness of DLP versus standard in/out-patient hospital care over 20...
The venom of the male Australian duck-billed platypus contains a family of four polypeptides of appox. 5 kDa, which are referred to as defensin-like peptides (DLPs). They are unique in that their amino acid sequences have no significant similarities to those of any known peptides; however, the tertiary structure of one of them, DLP-1, has recently been shown to be similar to beta-defensin-12 an...
Texas Instrument's DLP Technology enables highly-efficient, next-generation, full-color, large field-of-view Automotive Head-Up Display (HUD) systems with augmented reality capability. The uniqueness of DLP Technology makes it possible to solve common design challenges of Head-Up Display systems including managing environmental extremes and thermal loading, delivering high brightness and high r...
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics. FaCT is a full-featured system that contai...
OBJECTIVES To estimate the prevalence of dyslipidemia (DLP) among individuals with idiopathic granuloma annulare and to examine associations with disease characteristics and comorbidities, such as metabolic syndrome. DESIGN Case-control study using review of medical records from January 2002 through December 2010. SETTING A university hospital and a health care system. PARTICIPANTS Adults...
Two experiments were conducted to evaluate the effects of different levels of dried lemon pulp (DLP) on performance of broilers and laying hens. In first experiment, 240 of broilers (Ross-308) were used in a completely randomized design with 4 treatments and 3 replicates (with 20 birds in each replicate) from 1 to 42 days. The amounts of DLP in diets were 0, 1.5, 3 and 4.5 percentage. In the se...
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning. The language of DLP is very expressive and supports the representation of problems of high computational complexity (specifically, all problems in the complexity class ΣP2 = NP ). The DLP encoding of a large variety of problems is often very concise, simple, and elegant. In this paper, we ex...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید