Results 91 to 100 of about 435,235 (283)
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 +3 more
wiley +1 more source
USE OF COMPUTER ALGEBRA SYSTEM MAXIMA IN THE PROCESS OF TEACHING FUTURE MATHEMATICS TEACHERS
Інформаційні технології і засоби навчання, 2019 The article is devoted to the research of a problem of the application of computer algebra systems in the course of skill training of future mathematics teachers.
Vladyslav Ye. Velychko +2 more
doaj +1 more source
Matrix product and sum rule for Macdonald polynomials [PDF]
, 2016 We present a new, explicit sum formula for symmetric Macdonald polynomials $P_\lambda$ and show that they can be written as a trace over a product of (infinite dimensional) matrices. These matrices satisfy the Zamolodchikov--Faddeev (ZF) algebra.
Cantini, Luigi +2 more
core +2 more sources
Abstraction in Probabilistic Process Algebra [PDF]
, 2001 Process algebras with abstraction have been widely used for the specification and verification of non-probabilistic concurrent systems. The main strategy in these algebras is introducing a constant, denoting an internal action, and a set of fairness rules.
Andova, S., Baeten, J.C.M.
openaire +2 more sources
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
SensorsProcess algebra can be considered one of the most practical formal methods for modeling Smart IoT Systems in Digital Twin, since each IoT device in the systems can be considered as a process.
Junsup Song +3 more
doaj +1 more source
Modern visualization technologies of educational material at linear algebra lectures
Науковий Вісник Південноукраїнського Національного Педагогічного Університету імені К. Д. Ушинського, 2019 The introduction of modern information and communication technologies into the educational process is one of the priority directions enabling the modernization of the system of teaching staff training in Ukraine.
Vitaliy
doaj +1 more source
A Process Algebra Software Engineering Environment
, 2008 In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model.
Diertens, B.
core
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
Eigen Problem Over Max-Plus Algebra on Determination of the T3 Brand Shuttlecock Production Schedule
Numerical: Jurnal Matematika dan Pendidikan Matematika, 2020 The production process is included in the Discrete Event System (DES). The DES independent variable generally depends on the event, so an event is influenced by the previous event.
Andra Permana +2 more
doaj +1 more source