Results 21 to 30 of about 113,022 (221)
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics [PDF]
, 2019 We study rewritability of monadic disjunctive Datalog programs, (the complements of) MMSNP sentences, and ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and on conjunctive queries.
Feier, Cristina +2 more
core +2 more sources
A logical approach to grammar description [PDF]
Journal of Language Modelling, 2015 In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda-calculus.
Clément, Lionel +2 more
openaire +6 more sources
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
Journal of Applied Clinical Medical Physics, EarlyView.Abstract The establishment of guidelines and curriculum standards for medical physics residency training is a critical component of setting expectations and competencies for the profession. Since the last publication of these standards, residency training has become integrated into the eligibility criteria for most medical physics certification bodies.
Jonathon A. Nye +16 more
wiley +1 more source
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose This study aims to evaluate how different gantry angles, breathing rates (BPM), cine image speeds, and tracking algorithms affect beam on/off latency and the subsequent impact on target dose for a 0.35T MR‐Linac with a 6 MV FFF beam.
Mateb Al Khalifa +4 more
wiley +1 more source
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
Impacts of Device Geometry and Layout on Temperature Profile during Large‐Area Photonic Curing
Advanced Engineering Materials, EarlyView.The study investigates how gate geometry affects peak curing temperature during photonic curing of solution‐processed indium zinc oxide thin‐film transistors. Using 3D simulations and experimental validation, it reveals that larger gate areas and smaller aspect ratios increase curing temperature and thus improve transistor performance. Findings provide
Yasir Fatha Abed +3 more
wiley +1 more source
Nested Regular Path Queries in Description Logics [PDF]
, 2014 Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data.
Diego Calvanese +4 more
core +4 more sources
Practical Reasoning for Very Expressive Description Logics
, 1999 Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones.
Horrocks, Ian +2 more
core +6 more sources
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