[go: up one dir, main page]

Metwalli, 2024 - Google Patents

A Suite For Testing and Debugging Quantum Programs

Metwalli, 2024

View PDF
Document ID
2798519256998602762
Author
Metwalli S
Publication year

External Links

Snippet

The forty-year history of quantum computers has taken us through initial curiosity, naive optimism, then dismay at the scale of proposed error-corrected systems, and into today's excitement over the availability of real, but still small and error-prone, systems [1, 2, 3] …
Continue reading at koara.lib.keio.ac.jp (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/16—Matrix or vector computation, e.g. matrix-matrix or matrix-vector multiplication, matrix factorization
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/002—Quantum computers, i.e. information processing by using quantum superposition, coherence, decoherence, entanglement, nonlocality, teleportation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/16—Numerical modeling
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/70—Fault tolerant, i.e. transient fault suppression
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/70—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds
    • G06F19/708—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds for data visualisation, e.g. molecular structure representations, graphics generation, display of maps or networks or other visual representations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled

Similar Documents

Publication Publication Date Title
US8832165B2 (en) Computer systems and methods for quantum verification and validation
Burgholzer et al. Random stimuli generation for the verification of quantum circuits
Bharadwaj et al. Quantum computation of fluid dynamics
Brandhofer et al. Special Session: Noisy Intermediate-Scale Quantum (NISQ) Computers--How They Work, How They Fail, How to Test Them?
Young et al. Simulating quantum computations on classical machines: A survey
Patel The quantum density matrix and its many uses: From quantum structure to quantum chaos and noisy simulators
Cobb et al. Towards higher-level abstractions for quantum computing
Chaudhary et al. A software simulator for noisy quantum circuits
Patrzyk et al. Towards a novel environment for simulation of quantum computing
Metwalli A Suite For Testing and Debugging Quantum Programs
Fonio et al. A Fully Quantum Algorithm for Hydrodynamic Lattice Gas Cellular Automata
Alghadeer et al. Psitrum: An open source simulator for universal quantum computers
Chander A Guide to Quantum Computers and the Development of Quantum Advantage
Andrist Understanding topological quantum error-correction codes using classical spin models
Bo et al. The Quantum Rubik's Cube: A Tool for Research on Quantum Systems
Raisuddin et al. A Review of Quantum Scientific Computing Algorithms for Engineering Problems
Ganguly et al. Quantum Computing with Silq Programming
Wootton Circuit Model of Quantum Computation
Steijl Quantum Information Science-Recent Advances and Computational Science Applications: Recent Advances and Computational Science Applications
Cook A historical and practical survey of quantum computing using QISKit
Van Griensven Thé et al. Intro to Quantum Mechanics and Computing
Shaffer Efficient and trusted operation of quantum computers and quantum simulators
Ziaeepour \boldmath $ SU (\infty) $ Quantum Gravity: Emergence of Gravity in an Infinitely Divisible Quantum Universe
Shimkus An Analysis of Quantum Error Correction Methods and Entangled Logical Qubits
Chakravarthi et al. Quantum System on Chips