Results 191 to 200 of about 311,159 (279)
Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers
, 1992 Jean-Michel Nataf, F.C. Winkelmann
openalex +2 more sources
Incremental column-wise verification of arithmetic circuits using computer algebra [PDF]
, 2019 Daniela Kaufmann +2 more
openalex +1 more source
Advanced Quantum Technologies, EarlyView.Quantum algorithms for differential equations are developed with applications in computational fluid dynamics. The methods follow an iterative simulation framework, implementing Jacobi and Gauss–Seidel schemes on quantum registers through linear combinations of unitaries.
Chelsea A. Williams +4 more
wiley +1 more source
An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)
, 2015 Hidetune Kobayashi, Yoko Ono
openalex +1 more source
Programming computer algebra with basing on constructive mathematics. Domains with factorization
, 2017 S. D. Meshveliani
openalex +1 more source
Entanglement Swapping for Partially Entangled Qudits and the Role of Quantum Complementarity
Advanced Quantum Technologies, EarlyView.The entanglement swapping protocol is extended to partially entangled qudit states and analyzed through complete complementarity relations. Analytical bounds on the average distributed entanglement are established, showing how the initial local predictability and entanglement constrain the operational distribution.
Diego S. Starke +3 more
wiley +1 more source
Digital Twin Simulations Toolbox of the Nitrogen‐Vacancy Center in Diamond
Advanced Quantum Technologies, EarlyView.The Nitrogen‐vacancy (NV) center in diamond is a key platform within quantum technologies. This work introduces a Python based digital‐twin of the NV, where the spin dynamics of the system is simulated without relying on commonly used approximations, such as the adoption of rotating frame. The digital‐twin is validated through three different examples,
Lucas Tsunaki +3 more
wiley +1 more source
Event‐Triggered Saturating Control for Synchronization of Lur'e Type Complex Dynamic Networks
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This article addresses the problem of synchronizing discrete‐time Lur'e type complex dynamic networks (CDNs) via dynamic event‐triggered control. In particular, it is considered that the control signal of each node is subject to input saturation. Using the Lyapunov Stability Theory, properties of slope‐restricted nonlinearities, and the linear
C. Lisbôa +3 more
wiley +1 more source