Výsledky vyhledávání - quantum algorithm verification

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic

Získat plný text

A Quantum Algorithm for System Specifications Verification Autor 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…”
Získat plný text

AEQUAM: Accelerating Quantum Algorithm Validation Through FPGA-Based Emulation Autor 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…”
Získat plný text

Quantum-Enhanced Eigenface Algorithm for Face Verification Autor Satinder Singh

“… This paper explores the integration of quantum computing with eigenface-based face verification to enhance efficiency and security…”
Získat plný text

Chemical simulations of quantum systems using quantum computers - review of algorithms and their experimental verification Autor 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…”
Zjistit podrobnosti o přístupu

Quantum genetic algorithm based fixed value verification of distributed grid relay protection Autor 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…”
Získat plný text

Feature selection method based on quantum inspired genetic algorithm for Arabic signature verification Autor 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…”
Získat plný text

Blockchain based Quantum Resistant Signature Algorithm for Data Integrity Verification in Cloud and Internet of Everything Autor 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…”
Získat plný text

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm Autor 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…”
Získat plný text

Quantum verification of NP problems with single photons and linear optics Autor 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…”
Získat plný text

AMARETTO: Enabling Efficient Quantum Algorithm Emulation on Low-Tier FPGAs Autor 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…”
Získat plný text

Towards Quantum Circuit Emulation on Low-Tier FPGAs Autor 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…”
Získat plný text

On the experimental verification of quantum complexity in linear optics Autor 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…”
Získat plný text

On derivation and verification of a kinetic model for quantum vibrational energy of polyatomic gases in the gas-kinetic unified algorithm Autor 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…”
Získat plný text

Rotational abstractions for verification of quantum Fourier transform circuits Autor 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…”
Získat plný text

Rapid solution of logical equivalence problems by quantum computation algorithm Autor 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…”
Získat plný text

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm Autor 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…”
Získat plný text

China Achieves Mobile Network Algorithm Verification Powered by Quantum Computer

Získat plný text

Quantum Locker Using a Novel Verification Algorithm and Its Experimental Realization in IBM Quantum Computer Autor 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…”
Získat plný text

QPlayer: Lightweight, scalable, and fast quantum simulator Autor 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…”
Získat plný text