- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2041-1723
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Quantum advantage for probabilistic one-time programs ; volume:9 ; number:1 ; day:6 ; month:12 ; year:2018 ; pages:1-8 ; date:12.2018
Nature Communications ; 9, Heft 1 (6.12.2018), 1-8, 12.2018
- Creator
-
Roehsner, Marie-Christine
Kettlewell, Joshua A.
Batalhão, Tiago B.
Fitzsimons, Joseph F.
Walther, Philip
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1038/s41467-018-07591-2
- URN
-
urn:nbn:de:101:1-2019011723573076936655
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Roehsner, Marie-Christine
- Kettlewell, Joshua A.
- Batalhão, Tiago B.
- Fitzsimons, Joseph F.
- Walther, Philip
- SpringerLink (Online service)
Other Objects (12)
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Learning hierarchical probabilistic logic programs
Quantum advantage in Bayesian games
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Automated Termination Analysis of Polynomial Probabilistic Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
Approximations and contamination bounds for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Advanced weakest precondition calculi for probabilistic programs
Quantum advantage and stability to errors in analogue quantum simulators
Bayesian strategies: probabilistic programs as generalised graphical models
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Learning hierarchical probabilistic logic programs
Quantum advantage in Bayesian games
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Automated Termination Analysis of Polynomial Probabilistic Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
Approximations and contamination bounds for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Advanced weakest precondition calculi for probabilistic programs
Quantum advantage and stability to errors in analogue quantum simulators
Bayesian strategies: probabilistic programs as generalised graphical models
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Learning hierarchical probabilistic logic programs
Quantum advantage in Bayesian games
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Automated Termination Analysis of Polynomial Probabilistic Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
Approximations and contamination bounds for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Advanced weakest precondition calculi for probabilistic programs
Quantum advantage and stability to errors in analogue quantum simulators