Quantum adiabatic machine learning

Investigating the performance of an adiabatic quantum optimization processor

(2011) Kamran Karimi et al.   Quantum Information Processing

Accuracy versus run time in an adiabatic quantum search

(2010) A. T. Rezakhani et al.   PHYSICAL REVIEW A

Intrinsic geometry of quantum adiabatic evolution and quantum phase transitions

(2010) A. T. Rezakhani et al.   PHYSICAL REVIEW A

Experimental investigation of an eight-qubit unit cell in a superconducting optimization processor

(2010) R. Harris et al.   PHYSICAL REVIEW B

Anomaly detection

(2009) Varun Chandola et al.   ACM COMPUTING SURVEYS

Adiabatic approximation with exponential accuracy for many-body systems and quantum computation

(2009) Daniel A. Lidar et al.   JOURNAL OF MATHEMATICAL PHYSICS

Quantum Adiabatic Brachistochrone

(2009) A. T. Rezakhani et al.   PHYSICAL REVIEW LETTERS

A Survey of Automated Techniques for Formal Software Verification

(2008) Vijay D'Silva et al.   IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS

Perturbative gadgets at arbitrary orders

(2008) Stephen P. Jordan et al.   PHYSICAL REVIEW A

Realizable Hamiltonians for universal adiabatic quantum computers

(2008) Jacob D. Biamonte et al.   PHYSICAL REVIEW A

Towards Fault Tolerant Adiabatic Quantum Computation

(2008) Daniel A. Lidar   PHYSICAL REVIEW LETTERS

Size Dependence of the Minimum Excitation Gap in the Quantum Adiabatic Algorithm

(2008) A. P. Young et al.   PHYSICAL REVIEW LETTERS

Minor-embedding in adiabatic quantum computation: I. The parameter setting problem

(2008) Vicky Choi   Quantum Information Processing

Efficiently checking propositional refutations in HOL theorem provers

(2007) Tjark Weber et al.   Journal of Applied Logic