The main purpose of this paper is to examine some (potential) applications of quantum
computation in AI and to review the interplay between quantum theory and AI. For the …

Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

More computational resources (ie, more physical qubits and qubit connections) on a
superconducting quantum processor not only improve the performance but also result in …

Quantum Computing is one of the emerging areas of computing that currently generates
more expectations. However, there are many doubts about its actual future projection. On …

Although security of quantum cryptography is provable based on principles of quantum
mechanics, it can be compromised by flaws in the design of quantum protocols. So, it is …

Quantum algorithms for tasks such as factorization, search, and simulation rely on control
flow such as branching and iteration that depends on the value of data in superposition …

This paper describes a quantum programming environment, named Q| SI ⟩ Q| SI⟩, to
support quantum programming using a quantum extension of the while while-language …

Program invariant is a fundamental notion widely used in program verification and analysis.
The aim of this paper is twofold:(i) find an appropriate definition of invariants for quantum …

Verification of quantum programs Page 1 Science of Computer Programming 78 (2013)
1679–1700 Contents lists available at SciVerse ScienceDirect Science of Computer …

Model checking is one of the most successful verification techniques and has been widely
adopted in traditional computing and communication hardware and software industries. This …