Results 71 to 80 of about 1,466,157 (309)
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
On some trigonometric power sums
International Journal of Mathematics and Mathematical Sciences, 2002 Using the generating function method, the closed formulas for various power sums of trigonometric functions are established. The computer algebra system Maple is used to carry out the complex calculations.
Hongwei Chen
doaj +1 more source
An Extensible Ad Hoc Interface between Lean and Mathematica
, 2017 We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our ...
Lewis, Robert Y.
core +1 more source
A Computer Algebra System based on Order-sorted Algebra
Journal of Symbolic Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hearn, Anthony C., Schrüfer, Eberhard
openaire +1 more source
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
Operational Methods in the Environment of a Computer Algebra System
Serdica Journal of Computing, 2010 The presented research is related to the operational calculus approach and its representative applications. Operational methods are considered, as well as their program implementation using the computer algebra system Mathematica. The Heaviside algorithm
M. Spiridonova
semanticscholar +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 +3 more
wiley +1 more source
On One Approach to Investigation of Mechanical Systems
Symmetry, Integrability and Geometry: Methods and Applications, 2006 The paper presents some results of qualitative analysis of Kirchhoff's differential equations describing motion of a rigid body in ideal fluid in Sokolov's case. The research methods are based on Lyapunov's classical results.
Valentin D. Irtegov +1 more
doaj
Smarandache Sequences: Explorations and Discoveries with a Computer Algebra System [PDF]
, 2003 We study Smarandache sequences of numbers, and related problems, via a Computer Algebra System. Solutions are discovered, and some conjectures presented.Comment: To appear in the 2003 December issue of the Smarandache Notions ...
Gouveia, Paulo D. F. +1 more
core +2 more sources
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