Results 121 to 130 of about 348,999 (338)

Integrating phenotype ontologies with PhenomeNET

Journal of Biomedical Semantics, 2017
Background Integration and analysis of phenotype data from humans and model organisms is a key challenge in building our understanding of normal biology and pathophysiology.
Miguel Ángel Rodríguez-García, Georgios V. Gkoutos, Paul N. Schofield, Robert Hoehndorf   +3 more
doaj   +1 more source

Using deep learning generated CBCT contours for online dose assessment of prostate SABR treatments

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Prostate Stereotactic Ablative Body Radiotherapy (SABR) is an ultra‐hypofractionated treatment where small setup errors can lead to higher doses to organs at risk (OARs). Although bowel and bladder preparation protocols reduce inter‐fraction variability, inconsistent patient adherence still results in OAR variability.
Conor Sinclair Smith, Isabelle Gagne, Karl Otto, Carter Kolbeck, Joshua Giambattista, Abraham Alexander, Sonja Murchison, Andrew Pritchard, Erika Chin   +8 more
wiley   +1 more source

A comparison of chain-of-thought reasoning strategies across datasets and models [PDF]

PeerJ Computer Science
Emergent chain-of-thought (CoT) reasoning capabilities promise to improve the performance and explainability of large language models (LLMs). However, uncertainties remain about how reasoning strategies formulated for previous model generations ...
Konstantin Hebenstreit, Robert Praas, Louis P. Kiesewetter, Matthias Samwald   +3 more
doaj   +2 more sources

Learning and Reasoning for Robot Sequential Decision Making under Uncertainty

, 2019
Robots frequently face complex tasks that require more than one action, where sequential decision-making (SDM) capabilities become necessary. The key contribution of this work is a robot SDM framework, called LCORPP, that supports the simultaneous ...
Amiri, Saeid, Shirazi, Mohammad Shokrolah, Zhang, Shiqi   +2 more
core   +1 more source

Automated Reasoning

, 2006
Automated reasoning and knowledge representation are intertwined, as reasoning engines need to take into account representation formalisms and vice versa. The chapter entitled "Automated Reasoning" surveys both. It covers classical and non-classical logics, illustrating relevant trade-offs between expressivity and decidability.
M. BONACINA, MARTELLI, Alberto
openaire   +2 more sources

AAPM Task Group No. 249.B—Essentials and guidelines for clinical medical physics residency training program

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, Joseph P. Dugas, William D. Erwin, David P. Gierga, Darryl G. Kaurin, Stephanie M. Leon, Ho‐Ling Anthony Liu, Zheng Feng Lu, Alphonso W. Magri, Lynn N. Rill, Leah K. Schubert, Beth A. Schueler, Irina Vergalasova, John Vetter, Brian D. Wichman, Amy Shu‐Jung Yu, Dandan Zheng   +16 more
wiley   +1 more source

Validating specifications of dynamic systems using automated reasoning techniques [PDF]

, 1995
In this paper, we propose a new approach to validating formal specifications of observable behavior of discrete dynamic systems. By observable behavior we mean system behavior as observed by users or other systems in the environment of the system ...
Feenstra, Remco, Wieringa, Roel
core   +1 more source

Preface: The field of automated reasoning

Computers & Mathematics with Applications, 1995
AbstractThe term automated reasoning (first introduced in 1980) accurately describes the objective of the field, the automation of logical reasoning. This article introduces scientists to the field and then briefly describes the papers found in this special issue.
openaire   +2 more sources

Beam model development and clinical experience with RadCalc for treatment plan quality assurance in online adaptive workflow with an MR‐linac

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Purpose The aim of this work was to report on the optimization, commissioning, and validation of a beam model using a commercial independent dose verification software RadCalc version 7.2 (Lifeline Software Inc, Tyler, TX, USA), along with 4 years of experience employing RadCalc for offline and online monitor unit (MU) verification on the ...
Urszula Jelen, Zoë Moutrie, Jack D Aylward, Michael G Jameson   +3 more
wiley   +1 more source

Higher-order Representation and Reasoning for Automated Ontology Evolution [PDF]

, 2010
: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments ...
Bundy, Alan, Chan, M., Lehmann, J.
core