Results 101 to 110 of about 19,352 (312)

TYPE DECOMPOSITION OF A PSEUDOEFFECT ALGEBRA [PDF]

, 2010
Effect algebras, which generalize the lattice of projections in a von Neumann algebra, serve as a basis for the study of unsharp observables in quantum mechanics. The direct decomposition of a von Neumann algebra into types I, II, and III is reflected by
ELENA VINCEKOVÁ, DAVID J. FOULIS, SYLVIA PULMANNOVÁ   +2 more
core   +1 more source

Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections

Advanced Electronic Materials, EarlyView.
The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley   +1 more source

Handling fibred algebraic effects [PDF]

Proceedings of the ACM on Programming Languages, 2017
We study algebraic computational effects and their handlers in the dependently typed setting. We describe computational effects using a generalisation of Plotkin and Pretnar's effect theories, whose dependently typed operations allow us to capture precise notions of computation, e.g., state with location-dependent store types and dependently typed ...
openaire   +2 more sources

Learning from Comparison in Algebra [PDF]

, 2014
Mastery of algebra is an important yet difficult milestone for students, suggesting the need for more effective teaching strategies in the algebra classroom.
Pollack, Courtney Morgan, Rittle-Johnson, Bethany, Gogolen, Claire, Newton, Kristie, Lynch, Kathleen, Star, Jon, Durkin, Kelley   +6 more
core   +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, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

Templates for Linear Algebra Problems [PDF]

, 1995
The increasing availability of advanced-architecture computers is having a very significant effect on all spheres of scientific computation, including algorithm research and software development in numerical linear algebra. Linear algebra --in particular,
Dongarra, J., James Demmel, Ruhe, Axel, Demmel, J., Dongarra, Jack, Vorst, H.A. van der, David Day, Gu, M., Bai, Z., Day, D., Ming Gu, Day, David, Ruhe, A., Axel Ruhe, Zhaojun Bai, Jack Dongarra, Bai, Zhaojun, Vorst, Henk A van der, Henk van der Vorst, Demmel, James, Gu, Ming   +20 more
core   +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

Electromagnetic duality and the electric memory effect

Journal of High Energy Physics, 2018
We study large gauge transformations for soft photons in quantum electrodynamics which, together with the helicity operator, form an ISO(2) algebra. We show that the two non-compact generators of the ISO(2) algebra correspond respectively to the residual
Yuta Hamada, Min-Seok Seo, Gary Shiu
doaj   +1 more source

Differential algebra techniques for space applications

, 2012
This project investigates the utility of differential algebra (DA) techniques applied to the problem of orbital dynamics with initial uncertainties in the orbital determination of the involved bodies. The use of DA theory allows the splitting of a common
Martín Ávila, Javier
core  

Remarks on effect-tribes [PDF]

, 2015
summary:We show that an effect tribe of fuzzy sets ${\mathcal T}\subseteq [0,1]^X$ with the property that every $f\in {\mathcal T}$ is ${\mathcal B}_0({\mathcal T})$-measurable, where ${\mathcal B}_0({\mathcal T})$ is the family of subsets of $X$ whose ...
Pulmannová, Sylvia, Vinceková, Elena
core   +1 more source