Suchergebnisse - quantum algorithm verification

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic

Volltext

A Quantum Algorithm for System Specifications Verification von 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 …”
Volltext

AEQUAM: Accelerating Quantum Algorithm Validation Through FPGA-Based Emulation von 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 …”
Volltext

Quantum-Enhanced Eigenface Algorithm for Face Verification von Satinder Singh

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

Chemical simulations of quantum systems using quantum computers - review of algorithms and their experimental verification von 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 …”
Weitere Angaben

Quantum genetic algorithm based fixed value verification of distributed grid relay protection von 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 …”
Volltext

Feature selection method based on quantum inspired genetic algorithm for Arabic signature verification von 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 …”
Volltext

Blockchain based Quantum Resistant Signature Algorithm for Data Integrity Verification in Cloud and Internet of Everything von 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 …”
Volltext

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm von 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 …”
Volltext

Quantum verification of NP problems with single photons and linear optics von 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 …”
Volltext

AMARETTO: Enabling Efficient Quantum Algorithm Emulation on Low-Tier FPGAs von 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 …”
Volltext

Towards Quantum Circuit Emulation on Low-Tier FPGAs von 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 …”
Volltext

On the experimental verification of quantum complexity in linear optics von 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 …”
Volltext

On derivation and verification of a kinetic model for quantum vibrational energy of polyatomic gases in the gas-kinetic unified algorithm von 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 …”
Volltext

Rotational abstractions for verification of quantum Fourier transform circuits von 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 …”
Volltext

Rapid solution of logical equivalence problems by quantum computation algorithm von 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 …”
Volltext

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm von 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 …”
Volltext

China Achieves Mobile Network Algorithm Verification Powered by Quantum Computer

Volltext

Quantum Locker Using a Novel Verification Algorithm and Its Experimental Realization in IBM Quantum Computer von 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 …”
Volltext

QPlayer: Lightweight, scalable, and fast quantum simulator von 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 …”
Volltext