Search Results - quantum algorithm verification

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic

Get full text

A Quantum Algorithm for System Specifications Verification by Zidan, Mohammed, Eisa, Ahmed M., Qasymeh, Montasir, Shoman, Mahmoud A. Ismail

“… This article introduces a novel quantum algorithm that utilizes the virtual degree of entanglement to efficiently check the consistency of unknown system specifications represented by m oracles…”
Get full text

AEQUAM: Accelerating Quantum Algorithm Validation Through FPGA-Based Emulation by Lagostina, Lorenzo, Volpe, Deborah, Zamboni, Maurizio, Turvani, Giovanna

“…This work presents AEQUAM (Area Efficient QUAntum eMulation), a toolchain that enables faster and more accessible quantum circuit verification…”
Get full text

Quantum-Enhanced Eigenface Algorithm for Face Verification by Satinder Singh

“… This paper explores the integration of quantum computing with eigenface-based face verification to enhance efficiency and security…”
Get full text

Chemical simulations of quantum systems using quantum computers - review of algorithms and their experimental verification by Wojciechowski, Konrad, Kurowski, Krzysztof, Mazurek, Cezary

“… is quantum computing and its integration with classical high-performance supercomputing systems. This article responds to the growing interest in the use of available quantum computers in exemplary applications…”
Get more information

Quantum genetic algorithm based fixed value verification of distributed grid relay protection by Li, Wenwei

“… of the fixed value of relay protection. In this regard, we propose to conduct research on the fixed value of relay protection of distributed power grids based on the quantum genetic algorithm…”
Get full text

Feature selection method based on quantum inspired genetic algorithm for Arabic signature verification by Ansam A. Abdulhussien, Mohammad F. Nasrudin, Saad M. Darwish, Zaid Abdi Alkareem Alyasseri

“… Developing a good offline signature verification (OSV) system is essential to avoid fraud. Due to the plurality of signature styles and sample contexts, feature extraction (FE…”
Get full text

Blockchain based Quantum Resistant Signature Algorithm for Data Integrity Verification in Cloud and Internet of Everything by Shrivastava, Pranav, Alam, Bashir, Alam, Mansaf

“…  INTRODUCTION: The processing and storage capacities of the Internet of Everything (IoE) platform are restricted, but the cloud can readily provide efficient…”
Get full text

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm by Franco, Nicola, Wollschlager, Tom, Gao, Nicholas, Lorenz, Jeanette Miriam, Gunnemann, Stephan

“…In recent years, quantum computers and algorithms have made significant progress indicating the prospective importance of quantum computing (QC…”
Get full text

Quantum verification of NP problems with single photons and linear optics by Zhang, Aonan, Zhan, Hao, Liao, Junjie, Zheng, Kaimin, Jiang, Tao, Mi, Minghao, Yao, Penghui, Zhang, Lijian

“… In contrast, quantum verification algorithms, which encode the solution into quantum bits rather than classical bit strings, can perform the verification task with quadratically reduced information…”
Get full text

AMARETTO: Enabling Efficient Quantum Algorithm Emulation on Low-Tier FPGAs by Conti, Christian, Volpe, Deborah, Graziano, Mariagrazia, Zamboni, Maurizio, Turvani, Giovanna

“…), supporting Clifford+T and rotational gate sets. It simplifies and accelerates the verification of quantum algorithms using a Reduced-Instruction-Set-Computer (RISC…”
Get full text

Towards Quantum Circuit Emulation on Low-Tier FPGAs by Conti, Christian, Volpe, Deborah, Cirillo, Giovanni Amedeo, Graziano, Mariagrazia, Zamboni, Maurizio, Turvani, Giovanna

“…), supporting Clifford+T and rotational gate sets. It simplifies and accelerates quantum algorithm verification using a RISC-like structure and efficiently handling sparse quantum gates…”
Get full text

On the experimental verification of quantum complexity in linear optics by Carolan, Jacques, Meinecke, Jasmin D. A., Shadbolt, Peter J., Russell, Nicholas J., Ismail, Nur, Wörhoff, Kerstin, Rudolph, Terry, Thompson, Mark G., O'Brien, Jeremy L., Matthews, Jonathan C. F., Laing, Anthony

“…Quantum computers promise to solve certain problems that are forever intractable to classical computers…”
Get full text

On derivation and verification of a kinetic model for quantum vibrational energy of polyatomic gases in the gas-kinetic unified algorithm by Wu, Jun-Lin, Li, Zhi-Hui, Zhang, Zi-Bin, Peng, Ao-Ping

“…•The gas-kinetic unified algorithm (GKUA) is developed to numerically solve the quantum kinetic model on polyatomic gas flows…”
Get full text

Rotational abstractions for verification of quantum Fourier transform circuits by Govindankutty, Arun, Srinivasan, Sudarshan K., Mathure, Nimish

“…With the race to build large‐scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement to have efficient and scalable verification…”
Get full text

Rapid solution of logical equivalence problems by quantum computation algorithm by Zidan, Mohammed, Hegazy, Salem F., Abdel-Aty, Mahmoud, Obayya, Salah S.A.

“…We present a quantum computation algorithm that enables solving the problem of logical equivalence verification in exponentially less time than the classical deterministic computation…”
Get full text

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm by Franco, Nicola, Wollschlaeger, Tom, Gao, Nicholas, Lorenz, Jeanette Miriam, Guennemann, Stephan

“…In recent years, quantum computers and algorithms have made significant progress indicating the prospective importance of quantum computing (QC…”
Get full text

China Achieves Mobile Network Algorithm Verification Powered by Quantum Computer

Get full text

Quantum Locker Using a Novel Verification Algorithm and Its Experimental Realization in IBM Quantum Computer by Dash, Avinash, Rout, Sumit, Behera, Bikash K, Panigrahi, Prasanta K

“…). Here, we demonstrate a verification algorithm based on weak measurement which can achieve the same purpose even if the qubit is not in an equal superposition state…”
Get full text

QPlayer: Lightweight, scalable, and fast quantum simulator by Jin, Ki‐Sung, Cha, Gyu‐Il

“…With the rapid evolution of quantum computing, digital quantum simulations are essential for quantum algorithm verification, quantum error analysis, and new quantum applications…”
Get full text