Results 51 to 60 of about 2,393,674 (352)

Hopfield Neural Networks for Online Constrained Parameter Estimation With Time‐Varying Dynamics and Disturbances

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley   +1 more source

Signal Temporal Logic-Based Attack Detection in DC Microgrids

IEEE Transactions on Smart Grid, 2019
Emerging converter-dominated dc microgrids employ distributed cooperative control strategies and communication network. Since there is no central entity to monitor and assess the global cyber scenario, microgrids employing distributed control are prone ...
O. Beg, L. V. Nguyen, Taylor T. Johnson, A. Davoudi   +3 more
semanticscholar   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

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, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Towards an algebrization of a linear temporal logic

CQD Revista Eletrônica Paulista de Matemática
The subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini   +2 more
doaj   +1 more source

Design of the Sequential System Automata using Temporal Equivalence Classes [PDF]

Computer Science Journal of Moldova, 1997
A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure [1] and is extended to include past time ...
A. Ursu, G. Gruita, S. Zaporojan
doaj  

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

Advanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam, Pravin Karna, Niraj Bhatt, Sandip Thakur, Helge Heinrich, Daniel M. Hirt, Saman Zare, Christopher Jezewski, Rinus T.P. Lee, Kandabara Tapily, John T. Gaskins, Colin D. Landon, Sean W. King, Ashutosh Giri, Patrick E. Hopkins   +14 more
wiley   +1 more source

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj  

HIERARCHICAL REPRESENTATION OF CAUSAL RELATIONSHIPS TO DETAIL EXPLANATIONS IN INTELLIGENT SYSTEMS

Сучасні інформаційні системи, 2021
The subject of research in the article is the processes of constructing explanations in intelligent systems based on the use of causal dependencies. The aim is to develop a hierarchical representation of causal relationships between the actions of an ...
Serhii Chalyi, Volodymyr Leshchynskyi
doaj   +1 more source