Results 111 to 120 of about 348,999 (338)
A review of artificial intelligence in brachytherapy
Abstract Artificial intelligence (AI) has the potential to revolutionize brachytherapy's clinical workflow. This review comprehensively examines the application of AI, focusing on machine learning and deep learning, in various aspects of brachytherapy.
Jingchu Chen+4 more
wiley +1 more source
Can we automate diagrammatic reasoning?
Learning to solve diagrammatic reasoning (DR) can be a challenging but interesting problem to the computer vision research community. It is believed that next generation pattern recognition applications should be able to simulate human brain to understand and analyze reasoning of images. However, due to the lack of benchmarks of diagrammatic reasoning,
Arif Ahmed Sekh+4 more
openaire +4 more sources
Abstract Purpose The study evaluates rapid linear accelerator (Linac) single isocenter stereotactic radiosurgery (SRS) with Hyperarc for large target numbers. We compared to Gamma Knife (GK), which suffers from long treatment times and investigated causes of differences. Methods Linac SRS and GK treatment plans for patients receiving 18 Gy to the gross
Abram Abdou+4 more
wiley +1 more source
The Role of Human in the Loop in Threat Recognition in Homeland Protection Systems [PDF]
Threat Recognition is a primary task in Homeland Protection systems. When performing this task, Human in the Loop is the main part of a multidisciplinary reasoning process, that allows to achieve a high probability of correct classification.
Mario La Manna
doaj
Abstract Introduction Many artificial intelligence (AI) solutions have been proposed to enhance the radiotherapy (RT) workflow, but limited applications have been implemented to date, suggesting an implementation gap. One contributing factor to this gap is a misalignment between AI systems and their users.
Luca M. Heising+11 more
wiley +1 more source
Henkin semantics for reasoning with natural language
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source
Automated Reasoning and Robotics [PDF]
A most important quality in robotics is the work done in the development of automated reasoning techniques. This model of reasoning works on the assistance of computer programs and just as it is in other fields, it has worked to aid in the answering of ...
Al Kashari, Zainab, Al Taheri, Fatma
core +1 more source
Abstract Purpose This work introduces BreastWatch, a Varian Eclipse script tool designed to help medical physicists, dosimetrists, and radiation oncologists easily inspect and improve External Beam Breast Treatment (EBBT) plans using automatic evaluation of protocol dose‐constraints enhanced by a Community‐Based approach.
Stefano Agostinelli+8 more
wiley +1 more source
Aximo: automated axiomatic reasoning for information update
Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core
Risk analysis of the Unity 1.5T MR‐Linac adapt‐to‐shape workflow
Abstract Background and Purpose The adapt‐to‐shape (ATS) workflow on the Unity MR‐Linac (Elekta AB, Stockholm, Sweden) allows for full replanning including recontouring and reoptimization5. Additional complexity to this workflow is added when the adaptation involves the use of MIM Maestro (MIM Software, Cleveland, OH) software in conjunction with ...
Jiayi Liang+13 more
wiley +1 more source