Results 81 to 90 of about 4,125 (289)

Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors

Advanced Electronic Materials, EarlyView.
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Analisis Kemampuan Siswa dalam Pembuktian Kesebangunan Dua Segitiga

Al-Khwarizmi: Jurnal Pendidikan Matematika dan Ilmu Pengetahuan Alam, 2020
: Mathematics learning in junior high is inseparable from proof, including of congruence of two triangles. This study analyzes the ability to prove the similarity of two triangles.
Yayan Eryk Setiawan
doaj   +1 more source

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, Francesco Maria Esposito, Carlo Famoso, Arturo Buscarino   +3 more
wiley   +1 more source

On equality of certain derivations of Lie algebras

Discussiones Mathematicae - General Algebra and Applications, 2019
Let L be a Lie algebra. A derivation α of L is a commuting derivation (central derivation), if α (x) ∈ CL (x) (α (x) ∈ Z (L)) for each x ∈ L. We denote the set of all commuting derivations (central derivations) by 𝒟 (L) (Derz (L)). In this paper, first we show 𝒟 (L) is subalgebra from derivation algebra L, also we investigate the conditions on the Lie ...
Amiri Azita, Saeedi Farshid, Alemi Mohammad Reza   +2 more
openaire   +2 more sources

Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]

Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core  

Quantified Equality Constraints

, 2007
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities.
Hubie Chen, Manuel Bodirsky, Chen, Hubie, Bodirsky, M.   +3 more
core   +1 more source

Fibrational induction rules for initial algebras [PDF]

, 2010
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani, Ghani, Neil, Clément Fumex, Patricia Johann, Johann, Patricia, Fumex, Clement   +5 more
core   +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, Aleix Barrera, Lluís Balcells, Narcís Mestres, Enrique Miranda, Anna Palau, Jordi Suñé   +6 more
wiley   +1 more source

Capacitive versus Faradaic Microelectrodes for Extracellular Stimulation: A Fully Coupled FEM–Hodgkin–Huxley Study of Thresholds and Current Redistribution

Advanced Electronic Materials, EarlyView.
A fully coupled FEM–HH model shows that ideally capacitive microelectrodes can achieve lower charge‐density thresholds than Faradaic contacts under current‐controlled stimulation. The advantage stems from the dynamics of surface current density on capacitive interfaces, which redirects current beneath adherent neurons.
Aleksandar Opančar, Eric Daniel Głowacki, Vedran Đerek   +2 more
wiley   +1 more source

Constructing Symmetric Equality Algebras

Kragujevac Journal of Mathematics
In this paper, we introduce the notion of strong fuzzy filter on hyper equality algebras and investigate some equivalence definitions of it. Then by using this notion we constructed a symmetric equality algebra and define a special form of classes. By using these, we define the concept of a fuzzy hyper congruence relation on hyper equality algebra and we ...
Borzooei, Rajab Ali, Kologani, Mona Aaly, Hashemi, Mohammad Ali, Mohammadzadeh, Elahe   +3 more
openaire   +2 more sources