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

AEQUAM: Accelerating Quantum Algorithm Validation Through FPGA-Based Emulation

Autoři: Lorenzo Lagostina Deborah Volpe Maurizio Zamboni a další

Zdroj: IEEE Access, Vol 13, Pp 130232-130255 (2025)

Témata: Quantum computing emulation, field programmable gate array, Quantum Physics, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Physical sciences, quantum computing simulation, Electrical engineering. Electronics. Nuclear engineering, Systems and Control (eess.SY), Quantum Physics (quant-ph), Field Programmable Gate Array, Quantum Algorithm Verification, Quantum Computing Emulation, Quantum Computing Simulation, quantum algorithm verification, TK1-9971, Systems and Control

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2506.01029
https://doaj.org/article/51f724a868734b2a82c17cc87d682993
https://hdl.handle.net/11583/3002248
https://doi.org/10.1109/ACCESS.2025.3589746
https://ieeexplore.ieee.org/document/11082122

AMARETTO: Enabling Efficient Quantum Algorithm Emulation on Low-Tier FPGAs

Autoři: Conti, Christian Volpe, Deborah Graziano, Mariagrazia a další

Zdroj: 2024 31st IEEE International Conference on Electronics, Circuits and Systems (ICECS). :1-4

Témata: Quantum Physics, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Physical sciences, Quantum Computing Emulation, Field Programmable Gate Array, Quantum Algorithm Verification, Quantum Computing Simulation, Systems and Control (eess.SY), Quantum Physics (quant-ph), Electrical Engineering and Systems Science - Systems and Control

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2411.09320

Extracting Quantum Power by Using Algorithms and Their Verification.

Autoři: Seiichiro Tani Seiseki Akibue Yuki Takeuchi

Zdroj: NTT Technical Review. Jun2023, Vol. 21 Issue 6, p43-47. 5p.

Témata: *QUANTUM computing, *OPTICAL fiber communication, *INFORMATION processing, *ALGORITHMS, *ELECTRONIC circuits

iQbricks: integration of a fully-featured quantum language in the framework Qbricks

Autoři: Carneiro, Tomás Barros Neves, Renato Jorge Araújo Henriques, Pedro Rangel a další

Přispěvatelé: Carneiro, Tomás Barros Neves, Renato Jorge Araújo Henriques, Pedro Rangel a další

Zdroj: urn:tid:203561643

Témata: Quantum computing, Qbricks, Formal verification, Quantum programming language, Quantum fourier transform, Grover’s algorithm, Computação quântica, Verificação formal, Linguagem para programação quântica, Transformada de fourier quântica, Algoritmo de Grover

Popis souboru: application/pdf

Dostupnost: https://hdl.handle.net/1822/91563

Towards Quantum Circuit Emulation on Low-Tier FPGAs

Autoři: Conti, Christian Volpe, Deborah Cirillo, Giovanni Amedeo a další

Zdroj: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE). :512-513

Témata: Quantum Computing Emulation, Field Pro-grammable Gate Array, Quantum Algorithm Verification, Quan-tum Computing Simulation

Popis souboru: application/pdf

A Quantum Approach to News Verification from the Perspective of a News Aggregator.

Autoři: Andronikos, Theodore Sirokofskich, Alla

Zdroj: Information. Apr2024, Vol. 15 Issue 4, p207. 22p.

Témata: *Fake news, *Digital technology, *Electronic newspapers, Attribution of news, Quantum mechanics, Quantum entanglement

Polynomial inversion hardware accelerator for post quantum algorithm.

Autoři: Divya, B Raja Sekar, K David Selvakumar, A a další

Zdroj: Sādhanā: Academy Proceedings in Engineering Sciences. Dec2025, Vol. 50 Issue 4, p1-14. 14p.

Témata: *CRYPTOGRAPHY, *POLYNOMIALS, *ALGORITHMS, *PROGRAMMABLE logic devices, *COMPUTATIONAL complexity, *OPTIMIZATION algorithms

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Efficient and trusted operation of quantum computers and quantum simulators

Autoři: Shaffer, Ryan Matthew

Témata: Quantum physics, Atomic physics, Computer science, quantum algorithms, quantum circuits, quantum compilation, quantum computing, quantum simulation, quantum verification

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/4d8105bq
https://escholarship.org/content/qt4d8105bq/qt4d8105bq.pdf

Recent Developments In Fast Neutron Detection And Multiplicity Counting With Verification With Liquid Scintillator

Přispěvatelé: Wurtz, R

Zdroj: Conference: Presented at: International Workshop on Fast Neutron Detectors and Applications, Ein Gedi, Israel, Nov 06 - Nov 11, 2011

Popis souboru: Medium: ED; Size: PDF-file: 13 pages; size: 0.7 Mbytes

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/1037847

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Gurfinkel, Arie Heule, Marijn

Témata: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101664

Future Potential of Quantum Computing and Simulations in Biological Science.

Autoři: Pal S Bhattacharya M Dash S a další

Zdroj: Molecular biotechnology [Mol Biotechnol] 2024 Sep; Vol. 66 (9), pp. 2201-2218. Date of Electronic Publication: 2023 Sep 17.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: Springer Country of Publication: Switzerland NLM ID: 9423533 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1559-0305 (Electronic) Linking ISSN: 10736085 NLM ISO Abbreviation: Mol Biotechnol Subsets: MEDLINE

Výrazy ze slovníku MeSH: Quantum Theory* , Algorithms*, Computer Simulation ; Biological Science Disciplines/trends ; Humans

Quantum algorithm for finding the optimal variable ordering for binary decision diagrams.

Autoři: Tani, Seiichiro¹ (AUTHOR) tani@waseda.jp

Zdroj: Theoretical Computer Science. Jul2025, Vol. 1041, pN.PAG-N.PAG. 1p.

Témata: *VERY large scale circuit integration, *DETERMINISTIC algorithms, *DIRECTED acyclic graphs, *DATA structures, *BOOLEAN functions, *QUANTUM computers

A Lightweight Variant of Falcon for Efficient Post-Quantum Digital Signature.

Autoři: Kerimbayeva, Aigerim Iavich, Maksim Begimbayeva, Yenlik a další

Zdroj: Information. Jul2025, Vol. 16 Issue 7, p564. 23p.

Témata: Fast Fourier transforms, Gaussian distribution, Quantum computing, Cryptography, Forgery

QPlayer: Lightweight, scalable, and fast quantum simulator.

Autoři: Jin, Ki‐Sung Cha, Gyu‐Il

Zdroj: ETRI Journal; Apr2023, Vol. 45 Issue 2, p304-317, 14p

Témata: QUANTUM states, QUANTUM computing, QUANTUM computers, QUBITS, DIGITAL computer simulation

Symulacje chemicznych układów kwantowych z wykorzystaniem komputerów kwantowych – przegląd algorytmów i ich eksperymentalna weryfikacja. (Polish)

Alternate Title: Chemical simulations of quantum systems using quantum computers – review of algorithms and their experimental verification. (English)

Autoři: Wojciechowski, Konrad Kurowski, Krzysztof Mazurek, Cezary

Zdroj: Advances in Biochemistry / Postepy Biochemii; 2024, Vol. 70 Issue 2, p257-265, 9p

Témata: QUANTUM computing, CHEMICAL systems, SURFACE chemistry, QUANTUM biochemistry, QUANTUM chemistry, QUANTUM computers

Consensus-based qubit configuration optimization for variational algorithms on neutral atom quantum systems.

Autoři: de Keijzer, Robert J. P. T. Visser, Luke Y. Tse, Oliver a další

Zdroj: NPJ Quantum Information; 11/27/2025, Vol. 11 Issue 1, p1-9, 9p

Témata: CONFIGURATION space, OPTIMIZATION algorithms, ATOMS, VARIATIONAL approach (Mathematics), QUANTUM entanglement

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Autoři: Liu, Junyi Zhou, Li Barthe, Gilles a další

Zdroj: Journal of the ACM; Jun2025, Vol. 72 Issue 3, p1-51, 51p

Témata: RANDOM walks, GENERALIZATION, ALGORITHMS, PHYSICS, FACTORIES

Evaluating the Security of a "Blind Quantum Algorithmcentered Medical Privacy Data Sharing Model" Using the DHGF Method.

Autoři: Wu, Lijuan Wei, Jin Jiang, Hui

Zdroj: Acta Scientiarum: Technology; Jan-Dec2025, Vol. 47, p1-14, 14p

Spectral quantum algorithm for passive scalar transport in shear flows.

Autoři: Pfeffer, Philipp Brearley, Peter Laizet, Sylvain a další

Zdroj: Scientific Reports; 11/21/2025, Vol. 15 Issue 1, p1-16, 16p

Témata: SHEAR flow, ADVECTION-diffusion equations, BOUNDARY value problems, QUANTUM computing, QUBITS, QUANTUM gates, FLUID dynamics