Results 31 to 40 of about 45,065 (245)
Clausal resolution in a logic of rational agency
Artificial Intelligence, 2002 AbstractA resolution based proof system for a Temporal Logic of Possible Belief is presented. This logic is the combination of the branching-time temporal logic CTL (representing change over time) with the modal logic KD45 (representing belief).
Dixon, C., Fisher, M., Bolotov, A.
openaire +3 more sources
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
Classical Resolution for Many-Valued Logics
Electronic Notes in Theoretical Computer Science, 2016 AbstractWe present a resolution-based proof method for finite-valued propositional logics based on an algorithmic reduction procedure that expresses these logics in terms of bivalent semantics. Our approach is hybrid in using some elements which are internal and others which are external to the many-valued logic under consideration, as we embed its ...
João Marcos, Cláudia Nalon
openaire +3 more sources
Resolution method for some class of formulas of modal logic S4
Lietuvos Matematikos Rinkinys, 2004 There is not abstract.
Stanislovas Norgėla
doaj +1 more source
Arthritis Care &Research, EarlyView.Objective This study aimed to identify the top 10 international research priorities for musculoskeletal health of people with generalized joint hypermobility. Methods A three‐round Delphi method using an online survey was implemented. Three participant stakeholder groups were eligible for inclusion: (1) people with lived experience of joint ...
Sara Habibian +4 more
wiley +1 more source
FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling +6 more
wiley +1 more source
Electrospinning Technology, Machine Learning, and Control Approaches: A Review
Advanced Engineering Materials, Volume 27, Issue 7, April 2025.Electrospinning produces micro‐ and nanoscale fibers, holding great promise in biomedical engineering. Industrial adoption faces challenges in controlling fiber properties, reproducibility, and scalability. This review explores electrospinning techniques, modeling, and machine learning for process optimization.
Arya Shabani +5 more
wiley +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.This article provides examples of ontology development in the materials science domain (use‐case of Brinell hardness testing) and gives ontology developers an overview for selecting their desired top‐level ontologies (e.g., BFO, EMMO, PROVO) by considering different evaluation parameters like semantic richness, domain coverage, extensibility ...
Hossein Beygi Nasrabadi +3 more
wiley +1 more source
Structural Resolution for Logic Programming
, 2015 in ICLP 2015 Technical ...
Johann, Patricia +2 more
openaire +2 more sources
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.The MaterialDigital initiative drives the digital transformation of material science by promoting findable, accessible, interoperable, and reusable principles and enhancing data interoperability. This article explores the role of scientific workflows, highlights challenges in their adoption, and introduces the Workflow Store as a key tool for sharing ...
Simon Bekemeier +37 more
wiley +1 more source