Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Lewis, Marco"'
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a universal, robust quantum programming language has emerged as a key r
Externí odkaz:
http://arxiv.org/abs/2409.10231
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the verification of dyna
Externí odkaz:
http://arxiv.org/abs/2408.07591
Publikováno v:
IEEE International Conference on Quantum Software (QSW), Shenzhen, China, 2024, pp. 58-68
Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for useful quantum computing grows. The problem arises as the number of qub
Externí odkaz:
http://arxiv.org/abs/2406.04004
Publikováno v:
IEEE International Conference on Quantum Software (QSW), Shenzhen, China, 2024, pp. 125-134
We present SilVer (Silq Verification), an automated tool for verifying behaviors of quantum programs written in Silq, which is a high-level programming language for quantum computing. The goal of the verification is to ensure correctness of the Silq
Externí odkaz:
http://arxiv.org/abs/2406.03119
Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification of correctness. Barrier certificates are a recent novel concept devel
Externí odkaz:
http://arxiv.org/abs/2307.07307
Controlled operations allow for the entanglement of quantum registers. In particular, a controlled-$U$ gate allows an operation, $U$, to be applied to the target register and entangle the results to certain values in the control register. This can be
Externí odkaz:
http://arxiv.org/abs/2205.02525
Publikováno v:
ACM Transactions on Quantum Computing 5, 1, Article 1 (March 2024), 35 pages
Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backed up by the increase of research in the field. Significant efforts are
Externí odkaz:
http://arxiv.org/abs/2110.01320
Autor:
LEWIS, MARCO1
Publikováno v:
Wisconsin International Law Journal. Spring2023, Vol. 40 Issue 3, p491-518. 28p.
Autor:
Lewis-Marco, Barbara
Publikováno v:
Ms.. Nov/Dec92, Vol. 3 Issue 3, p46. 6p. 5 Black and White Photographs.