Results 51 to 60 of about 3,595,838 (347)
Loop Formulas for Description Logic Programs
, 2010 Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web.
Brewka +13 more
core +1 more source
Systematic profiling of cancer‐fibroblast interactions reveals drug combinations in ovarian cancer
Molecular Oncology, EarlyView.Fibroblasts, cells in the tumor environment, support ovarian cancer cell growth and alter morphology and drug response. We used fibroblast and cancer cell co‐culture models to test 528 drugs and discovered new drugs for combination treatment. We showed that adding Vorinostat or Birinapant to standard chemotherapy may improve drug response, suggesting ...
Greta Gudoityte +10 more
wiley +1 more source
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper contains two parts: the description of a real electrical system, with many redundancies, reconfigurations and repairs, then the description of a reliability model of this system, based on the BDMP (Boolean logic Driven Markov Processes ...
Marc Bouissou
doaj +1 more source
Advanced Engineering Materials, EarlyView.This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister +2 more
wiley +1 more source
A Characterization Theorem for a Modal Description Logic
, 2017 Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents.
Schröder, Lutz, Wild, Paul
core +1 more source
Advanced Engineering Materials, EarlyView.A powerful electronic control system enables a dielectric elastomer pump to operate at resonance, matching conventional pump performance. Using self‐sensing to reconstruct load pressure dynamically, the adaptive control adjusts resonance frequency accordingly.
Matthias Baltes +3 more
wiley +1 more source
Ontology Driven Analysis of Spatio-temporal Phenomena, Aimed At Spatial Planning And Environmental Forecasting [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2013 Spatial planning is a crucial area for balancing civilization development with environmental protection. Spatial planning has a multidisciplinary nature.
A. Iwaniak +3 more
doaj +1 more source
Preferential Description Logics [PDF]
, 2007 We extend the Description Logic ALC with a "typicality" operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the "most normal" or "most typical" instances of a concept. In our framework, knowledge bases may then contain,
L. GIORDANO +3 more
openaire +3 more sources
Biointerfacing with AgBiS2 Quantum Dots for Pseudocapacitive Photostimulation
Advanced Functional Materials, EarlyView.It is demonstrated that AgBiS2 quantum dots exhibit unique photoinduced pseudocapacitive charge transfer properties, enabling efficient light‐to‐electrical energy conversion. These quantum dots facilitate enhanced light absorption and transduction when integrated with ZnO nanowires, which serve as an effective charge transport medium.
Ridvan Balamur +8 more
wiley +1 more source
Conjunctive Query Answering for the Description Logic SHIQ
, 2011 Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive
Glimm, Birte +3 more
core +1 more source