:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yu, Nengkun, Zhou, Li, Ying, Shenggang, Ying, Mingsheng
Format:	Preprint
Veröffentlicht:	2018
Schlagworte:	Quantum Physics
Online-Zugang:	https://arxiv.org/abs/1803.02673
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Image Computation for Quantum Transition Systems
von: Hong, Xin, et al.
Veröffentlicht: (2025)

Quantum Max-Flow Min-Cut theorem
von: Yu, Nengkun
Veröffentlicht: (2021)

Quantum State Preparation Based on LimTDD
von: Hong, Xin, et al.
Veröffentlicht: (2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
von: Hong, Xin, et al.
Veröffentlicht: (2025)

Optimal Compilation Strategies for QFT Circuits in Neutral-Atom Quantum Computing
von: Gao, Dingchao, et al.
Veröffentlicht: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
von: Ying, Mingsheng
Veröffentlicht: (2025)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
von: Zhang, Zhicheng, et al.
Veröffentlicht: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
von: Ying, Mingsheng
Veröffentlicht: (2024)

RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices
von: He, Runhong, et al.
Veröffentlicht: (2024)

Atomicity in Distributed Quantum Computing
von: Zhang, Zhicheng, et al.
Veröffentlicht: (2024)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation
von: Huang, Yunqi, et al.
Veröffentlicht: (2024)

Borrowing Dirty Qubits in Quantum Programs
von: Su, Bonan, et al.
Veröffentlicht: (2025)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
von: Li, Chenjian, et al.
Veröffentlicht: (2025)

Access Control Threatened by Quantum Entanglement
von: Zhang, Zhicheng, et al.
Veröffentlicht: (2025)

Quantum Büchi Automata
von: Wang, Qisheng, et al.
Veröffentlicht: (2018)

BI-based Reasoning about Quantum Programs with Heap Manipulations
von: Su, Bonan, et al.
Veröffentlicht: (2024)

Parallel Quantum Algorithm for Hamiltonian Simulation
von: Zhang, Zhicheng, et al.
Veröffentlicht: (2021)

Verification of Recursively Defined Quantum Circuits
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
von: Chen, Kean, et al.
Veröffentlicht: (2022)

Towards Efficient Verification of Computation in Quantum Devices
von: Li, Keren, et al.
Veröffentlicht: (2025)

Quantum Algorithm for Lexicographically Minimal String Rotation
von: Wang, Qisheng, et al.
Veröffentlicht: (2020)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
von: Dai, Aochu, et al.
Veröffentlicht: (2025)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
von: Huang, Qifan, et al.
Veröffentlicht: (2026)

Quantum channel tomography and estimation by local test
von: Chen, Kean, et al.
Veröffentlicht: (2025)

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

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

New Quantum Algorithms for Computing Quantum Entropies and Distances
von: Wang, Qisheng, et al.
Veröffentlicht: (2022)

Measurement-based Verification of Quantum Markov Chains
von: Guan, Ji, et al.
Veröffentlicht: (2024)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

Quantum Speedup for Hypergraph Sparsification
von: Liu, Chenghua, et al.
Veröffentlicht: (2025)

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
von: Trinh, Xuan Du, et al.
Veröffentlicht: (2026)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
von: Huang, Mingyu, et al.
Veröffentlicht: (2025)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
von: Hong, Xin, et al.
Veröffentlicht: (2020)

Hamiltonian-Informed Point Group Symmetry-Respecting Ansatz for Variational Quantum Eigensolver
von: He, Runhong, et al.
Veröffentlicht: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

Utilizing Quantum Processor for the Analysis of Strongly Correlated Materials
von: Li, Hengyue, et al.
Veröffentlicht: (2024)

Model Checking Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2021)

What if you have only one copy? Low-depth quantum circuits have no advantage in decision problems!
von: Yu, Nengkun
Veröffentlicht: (2024)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
von: Lin, Yanling, et al.
Veröffentlicht: (2024)