:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Guan, Ji, Feng, Yuan, Turrini, Andrea, Ying, Mingsheng
Formato:	Preprint
Publicado:	2024
Materias:	Quantum Physics
Acceso en línea:	https://arxiv.org/abs/2405.05825
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

QReach: A Reachability Analysis Tool for Quantum Markov Chains
por: Dai, Aochu, et al.
Publicado: (2025)

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
por: Guan, Ji, et al.
Publicado: (2026)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
por: Lin, Yanling, et al.
Publicado: (2024)

Verification of Recursively Defined Quantum Circuits
por: Ying, Mingsheng, et al.
Publicado: (2024)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
por: Li, Chenjian, et al.
Publicado: (2025)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
por: Huang, Mingyu, et al.
Publicado: (2025)

BI-based Reasoning about Quantum Programs with Heap Manipulations
por: Su, Bonan, et al.
Publicado: (2024)

New Quantum Algorithms for Computing Quantum Entropies and Distances
por: Wang, Qisheng, et al.
Publicado: (2022)

Model Checking Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2021)

Borrowing Dirty Qubits in Quantum Programs
por: Su, Bonan, et al.
Publicado: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
por: Huang, Qifan, et al.
Publicado: (2025)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
por: Hong, Xin, et al.
Publicado: (2020)

Symbolic Specification and Reasoning for Quantum Data and Operations
por: Ying, Mingsheng
Publicado: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
por: Ying, Mingsheng
Publicado: (2024)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
por: Li, Zihao, et al.
Publicado: (2026)

Quantum Speedup for Hypergraph Sparsification
por: Liu, Chenghua, et al.
Publicado: (2025)

Symbolic Execution for Quantum Error Correction Programs
por: Fang, Wang, et al.
Publicado: (2023)

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem
por: Yu, Nengkun, et al.
Publicado: (2018)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
por: Zhang, Zhicheng, et al.
Publicado: (2024)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
por: Chen, Kean, et al.
Publicado: (2022)

Atomicity in Distributed Quantum Computing
por: Zhang, Zhicheng, et al.
Publicado: (2024)

Parallel Quantum Algorithm for Hamiltonian Simulation
por: Zhang, Zhicheng, et al.
Publicado: (2021)

Access Control Threatened by Quantum Entanglement
por: Zhang, Zhicheng, et al.
Publicado: (2025)

Quantum Algorithm for Lexicographically Minimal String Rotation
por: Wang, Qisheng, et al.
Publicado: (2020)

Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
por: Lin, Huiping, et al.
Publicado: (2024)

Belavkin-Staszewski Quantum Markov Chains
por: Bluhm, Andreas, et al.
Publicado: (2025)

Quantum Büchi Automata
por: Wang, Qisheng, et al.
Publicado: (2018)

Quantum Speedup for Nonreversible Markov Chains
por: Claudon, Baptiste, et al.
Publicado: (2025)

Virtual Quantum Markov Chain of four-qubit systems
por: Chen, Zhixing, et al.
Publicado: (2025)

Equivalence Checking of Parameterised Quantum Circuits
por: Hong, Xin, et al.
Publicado: (2024)

Quantum Annealing Enhanced Markov-Chain Monte Carlo
por: Arai, Shunta, et al.
Publicado: (2025)

Quantum Markov Chain Monte Carlo for Cosmological Functions
por: Sarracino, Giuseppe, et al.
Publicado: (2025)

Virtual Quantum Markov Chains
por: Chen, Yu-Ao, et al.
Publicado: (2023)

Dynamics of discrete spacetimes with Quantum-enhanced Markov Chain Monte Carlo
por: Ferguson, Stuart, et al.
Publicado: (2025)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
por: Huang, Qifan, et al.
Publicado: (2026)

Modeling Quantum Noise in Nanolasers using Markov Chains
por: Bundgaard-Nielsen, Matias, et al.
Publicado: (2025)

Robustness of Fixed Points of Quantum Channels and Application to Approximate Quantum Markov Chains
por: Salzmann, Robert, et al.
Publicado: (2024)

Quantum-enhanced Markov Chain Monte Carlo for Combinatorial Optimization
por: Marshall, Kate V., et al.
Publicado: (2026)

Solving Markov Chains with Analog Quantum Computing: The Fine Print
por: van der Schoot, Ward, et al.
Publicado: (2025)

Quantum Markov Chains: Hub-Pruned Estimation for Fashion Recommenders
por: Peretz, Or, et al.
Publicado: (2025)