Automata Models for Effective Bug Pattern Description
- Tom Yaacov
- Gera Weiss
- et al.
- 2025
- MODELS 2025
Publications
26455 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
Phrase-grounded Fact-checking for Automatically Generated Chest X-ray Reports
- Razi Mahmood
- Diego Machado Reyes
- et al.
- 2025
- MICCAI 2025
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
Event-based shape learning through visual attention
- Oleh Kolner
- Thomas Bohnstingl
- et al.
- 2025
- ICDL 2025
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