Results 21 to 30 of about 677,578 (177)
Automated Termination Analysis for Logic Programs with Cut
, 2010 Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, whereas real-world Prolog programs typically use the cut operator.
Giesl, Jürgen +4 more
core +2 more sources
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation [PDF]
, 2015 Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics.
Gange, Graeme +4 more
core +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 Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
, 2002 Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies of logic program rules under the answer sets semantics.
Pearce, David +4 more
core +2 more sources
Typed Norms for Typed Logic Programs [PDF]
, 1996 As typed logic programming becomes more mainstream, system building tools like partial deduction systems will need to be mapped from untyped languages to typed ones.
King, Andy, Martin, Jon
core +2 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
Disjunctive Logic Programs with Inheritance
, 2001 The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco +2 more
core +1 more source
Recent Progress on 2D‐Material‐Based Smart Textiles: Materials, Methods, and Multifunctionality
Advanced Engineering Materials, EarlyView.Advancements in 2D‐material‐integrated smart textiles are reviewed, with a focus on materials, fabrication methods, and multifunctional applications, including energy harvesting, monitoring, EMI shielding, energy storage, and thermal management. The discussion addresses key challenges and provides insights into the future development of next‐generation
Yong Choi +5 more
wiley +1 more source