Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Carbin
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices
Computer Science
Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity
Proceedings of the ACM on Programming Languages
Computable Decision Making on the Reals and Other Spaces
Related publications
On-Demand Generation and Characterization of a Microwave Time-Bin Qubit
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Hierarchical Quantum Classifiers
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Direct Observation of Broadband Nonclassical States in a Room-Temperature Light–matter Interface
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Learning Hard Quantum Distributions With Variational Autoencoders
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Observation of Topological Uhlmann Phases With Superconducting Qubits
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Engineering the Quantum-Classical Interface of Solid-State Qubits
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Quantum Annealing Versus Classical Machine Learning Applied to a Simplified Computational Biology Problem
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Coherent Control of Solid State Nuclear Spin Nano-Ensembles
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
A Universal, Plug-And-Play Synchronisation Scheme for Practical Quantum Networks
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
Observable Quantum Entanglement Due to Gravity
npj Quantum Information
Nonlinear Physics
Computer Networks
Communications
Computer Science
Statistical
Mathematics
Computational Theory
