General Probability in Coq
- Avraham Shinnar
- Barry Trager
- 2022
- DSN 2022
Workshop paper
Publications
3606 results for Mathematical Sciences
Simulating time evolution with fully optimized single-qubit gates on parametrized quantum circuits
- Kaito Wada
- Raymond Harry Putra Rudy
- et al.
- 2022
- Physical Review A
PaperOn Quantum Algorithms for Random Walks in the Nonnegative Quarter Plane
- Vasileios Kalantzis
- Mark Squillante
- et al.
- 2022
- SIGMETRICS 2022
Workshop paperPacking hypertrees and the k-cut problem in Hypergraphs
- Mourad Baiou
- Francisco Barahona
- 2022
- LION 2022
Conference paperOn the Quantum Entanglement of Random Walks and Queueing Systems
- 2022
- Queueing Systems
PaperFocus considerations of design pitches and absorber choice for EUV random logic
- Martin Burkhardt
- Zheng Chen
- et al.
- 2022
- OEN 2022
Conference paperDecentralized Bilevel Optimization for Personalized Client Learning
- Songtao Lu
- Xiaodong Cui
- et al.
- 2022
- ICASSP 2022
Conference paperFinite-sum smooth optimization with SARAH
- Lam M. Nguyen
- Marten van Dijk
- et al.
- 2022
- COAP
PaperDistributed Stochastic Inertial-Accelerated Methods with Delayed Derivatives for Nonconvex Problems
- Yangyang Xu
- Yibo Xu
- et al.
- 2022
- SIAM Journal on Imaging Sciences
PaperIntractability of Electronic Structure in a Fixed Basis
- Bryan O'Gorman
- Sandy Irani
- et al.
- 2022
- PRX Quantum
Paper