Automata Models for Effective Bug Pattern Description
- Tom Yaacov
- Gera Weiss
- et al.
- 2025
- MODELS 2025
Publications
26450 results for Science
Hamiltonian Monte Carlo with Asymmetrical Momentum Distributions
- Soumyadip Ghosh
- Yingdong Lu
- et al.
- 2025
- Physica D: Nonlinear Phenomena
Magnetic tunnel junction and spin-current in modern computing
- Jonathan Sun
- 2025
- Journal of Physics D: Applied Physics
High-throughput computational analysis of kinetic barriers to ring-closing depolymerization for aliphatic polycarbonates
- Brandi Ransom
- Riccardo Bosio
- et al.
- 2025
- npj Computational Materials
In-situ tunneling control in photonic potentials by Rashba-Dresselhaus spin-orbit coupling
- Rafal Mirek
- Pavel Kokhanchik
- et al.
- 2025
- Optica
Update Disturbance-Resilient Analog ReRAM Crossbar Arrays for In-Memory Deep Learning Accelerators
- Wooseok Choi
- Tommaso Stecconi
- et al.
- 2025
- Advanced Science
Charge-to-spin current conversion efficiency in a spin-harvesting structure with spin-current loading and finite conductance
- Jonathan Sun
- 2025
- Journal of Applied Physics
Power iteration with probabilistic updates for systems with heterogeneous performance
- Soumyadip Ghosh
- Lior Horesh
- et al.
- 2025
- HPEC 2025
Stable Iterative Solvers for Ill-Conditioned Linear Systems and Least Squares
- Vasileios Kalantzis
- Mark Squillante
- et al.
- 2025
- HPEC 2025
A Framework For The Iterative Solution of Sparse Linear Systems on Hybrid Architectures Using Homomorphic Encryption
- Lior Horesh
- Vasileios Kalantzis
- et al.
- 2025
- HPEC 2025