Results 51 to 60 of about 575,998 (339)

On Equivalence of Infinitary Formulas under the Stable Model Semantics [PDF]

, 2014
Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions and disjunctions
Harrison, Amelia, Lifschitz, Vladimir, Truszczynski, Miroslaw   +2 more
core   +1 more source

Teaching logic programming: a review

CTE Workshop Proceedings
Logic programming constitutes a significant paradigm within computer science, offering a unique approach to programming based on formal logic rather than conventional imperative instructions.
Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko   +2 more
doaj   +1 more source

Optimal Placement of Valves in a Water Distribution Network with CLP(FD)

, 2011
This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard ...
Alvisi, Stefano, Cattafi, Massimiliano, Franchini, Marco, Gavanelli, Marco, Nonato, Maddalena   +4 more
core   +1 more source

Analyzing logic programs with dynamic scheduling [PDF]

, 1994
Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in ...
García de la Banda, M., Hermenegildo, Manuel V., Marriott, K.   +2 more
core   +2 more sources

Enhanced analysis of gating latency in 0.35T MR‐linac through innovative time synchronization of a motion phantom and plastic scintillation detector

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, Tianjun Ma, Haya Aljuaid, Siyong Kim, William Y. Song   +4 more
wiley   +1 more source

Avoidance of operational sampling errors in drinking water analysis

Aqua, 2022
The internal audits carried out in the first half of 2019 in water laboratories as part of quality accreditation in accordance with ISO/IEC 17025:2017 showed a high frequency of adverse events in connection with sampling.
Ana Fernandes, Margarida Figueiredo, Jorge Ribeiro, José Neves, Henrique Vicente   +4 more
doaj   +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, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Paraconsistent logic programming

Theoretical Computer Science, 1987
AbstractThis paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L0 ⇍ L1 &⋯& Ln where each Li is a literal. We call such clauses generally Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic).
Howard A. Blair, V. S. Subrahmanian
openaire   +3 more sources

Titanium‐S23: A New Alloy with Ultra‐High Tensile Toughness Directly from the Solid‐State Processing of Recycled Ti–6Al–4V and Ti–5Al–5Mo–5V–3Cr Powders using Field Assisted Sintering Technology

Advanced Engineering Materials, EarlyView.
This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister, Gavin J. Baxter, Martin Jackson   +2 more
wiley   +1 more source

Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy

Advanced Functional Materials, EarlyView.
Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan, Alban Morelle, Michele Masseroni, Shelly Ben‐David, Sara Martí‐Sánchez, Victor Boureau, Alok Rudra, Thomas Ihn, Jordi Arbiol, W. Craig Carter, Klaus Ensslin, Anna Fontcuberta i Morral   +11 more
wiley   +1 more source