Results 61 to 70 of about 751,168 (306)
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley +1 more source
The baire closure and its logic [PDF]
The Baire algebra of a topological space X is the quotient of the algebra of all subsets of X modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote ...
Fernández Duque, David +3 more
core +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
Interconnected magnetic tunnel junctions for spin-logic applications
AIP Advances, 2018 With the rapid progress of spintronic devices, spin-logic concepts hold promises of energy-delay conscious computation for efficient logic gate operations.
Mauricio Manfrini +18 more
doaj +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +3 more sources
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +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 Logic Programming approach for Access Control over RDF [PDF]
, 2014 The Resource Description Framework (RDF) is an interoperable data representation format suitable for interchange and integration of data, especially in Open Data contexts.
Axel Polleres +9 more
core +1 more source
Material Modeling in Semiconductor Process Applications
Journal of Microelectronic Manufacturing, 2020 During the past decade, significant progress has been achieved in the application of material modeling to aid technology development in semiconductor manufacturing companies such as Intel.
Boris A. Voinov +4 more
doaj +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