Results 51 to 60 of about 140,069 (266)
ICTACT Journal on Soft Computing, 2018 Today, the requirement of controllers in the field of engineering and process industries is going to be increased in order to control. Among all controllers, Proportional Integral Derivative (PID) controllers are widely used due to its easy ...
U. Hada, V. Soni
doaj +1 more source
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley +1 more source
First-Order Classical Modal Logic [PDF]
Studia Logica, 2006 This paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic.
Horacio L. Arló-Costa, Eric Pacuit
openaire +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
Many-Sorted First-Order Composition-Nominative Logic as Institution [PDF]
Computer Science Journal of Moldova, 2016 In the paper the institution for many-sorted first-order composition-nominative logic (CNL) is considered. The difference from the author's previous paper on this topic is richer logical system in question due to addition of operations and sorts, and ...
Alexey Chentsov
doaj
Planar Solid‐State Nanopores Toward Scalable Nanofluidic Integration Based on CMOS Technology
Advanced Engineering Materials, EarlyView.We present a scalable silicon‐based fabrication strategy for planar solid‐state nanopores to enable their integration with complex nanofluidic systems. Prototype devices demonstrate normal voltage‐current characteristics, good noise performance, and appreciable streaming currents. Our CMOS‐compatible fabrication process offers precise geometric control
Ngan Hoang Pham +7 more
wiley +1 more source
Logics of Statements in Context—First-Order Logic Files
LogicsLogics of Statements in Context have been proposed as a general framework to describe and relate, in a uniform and unifying way, a broad spectrum of logics and specification formalisms, which also comprise “open formulas”.
Uwe Wolter
doaj +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source