Quantum Simulators: Architectures and Opportunities
- Ehud Altman
- Kenneth R. Brown
- et al.
- 2021
- PRX Quantum
Paper
Publications
3606 results for Mathematical Sciences
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Conference paperUnassisted true analog neural network training chip
- Y. Kohda
- Y. Li
- et al.
- 2020
- IEDM 2020
Conference paperReducing Unitary and Spectator Errors in Cross Resonance with Optimized Rotary Echoes
- Neereja Sundaresan
- Isaac Lauer
- et al.
- 2020
- PRX Quantum
PaperQuantifying the Empirical Wasserstein Distance to a Set of Measures: Beating the Curse of Dimensionality
- Nian Si
- Jose Blanchet
- et al.
- 2020
- NeurIPS 2020
Conference paperOptimal delay-cost scheduling control in fluid models of general nxn input-queued switches
- Yingdong Lu
- Mark S. Squillante
- et al.
- 2020
- ACM SIGMETRICS Performance Evaluation Review
PaperOn-surface reactions and single-molecule charge transitions controlled by atom manipulation
- Shadi Fatayer
- Katharina Kaiser
- et al.
- 2020
- S3IC 2020
KeynoteOn Application of the Simplex Type Algorithm for SCLP to Large-scale Fluid Processing Networks
- Evgeny Shindin
- Michael Masin
- et al.
- 2020
- INFORMS 2020
Conference paperModel Predictive Control for Uncertain Fluid Processing Networks
- Evgeny Shindin
- Odellia Boni
- et al.
- 2020
- INFORMS 2020
Invited talkSimplifying Neural Networks via Look Up Tables and Product of Sums Matrix Factorizations
- 2020
- ISCAS 2020
Talk