Results 41 to 50 of about 86,163 (232)
Synchronization of Analog Neuron Circuits With Digital Memristive Synapses: An Hybrid Approach
Advanced Electronic Materials, EarlyView.An hybrid circuit mimicking neural units coupled using memristive synapses is introduced. The analog neurons provide flexibility and robustness, and the digital memristive coupling guarantees the full reconfigurability of the interconnection. The onset of a synchronized spiking behavior in two circuits mimicking the Izhikevich neuron is discussed from ...
Lamberto Carnazza +3 more
wiley +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
Advanced Electronic Materials, EarlyView.A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 more
wiley +1 more source
Algebraic aspects of separation logic [PDF]
, 2009 We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic like assertions and commands. The algebraic view does not only yield new insights on separation logic but also
Dang, Han Hing
core
Agribusiness, EarlyView.ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa +1 more
wiley +1 more source
A view of canonical extension [PDF]
, 2010 This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given.
B. Jónsson +10 more
core +4 more sources
AI in chemical engineering: From promise to practice
AIChE Journal, Volume 72, Issue 7, July 2026.Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew +4 more
wiley +1 more source
Applying abstract algebraic logic to classical automata theory : an exercise [PDF]
, 2010 In [4], Blok and Pigozzi have shown that a deterministic finite au- tomaton can be naturally viewed as a logical matrix. Following this idea, we use a generalisation of the matrix concept to deal with other kind of automata in the same algebraic ...
Descalço, Luís +2 more
core
Strongly Complete Logics for Coalgebras [PDF]
, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky, Yde Venema
core +3 more sources
AIChE Journal, EarlyView.ABSTRACT Hybrid modeling combines first‐principles equations with a data‐driven subcomponent. Training for the data‐driven part is sensitive to measurement noise when training targets are constructed using pointwise time derivatives. Beyond differentiation errors, hybrid models involve solving an inverse problem to estimate the data‐driven term, which ...
Hangjun Cho +4 more
wiley +1 more source
Logic-Based Analogical Reasoning and Learning
, 2020 Analogy-making is at the core of human intelligence and creativity with applications to such diverse tasks as commonsense reasoning, learning, language acquisition, and story telling.
Antić, Christian
core