:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yu, Nengkun, Zhou, Li, Ying, Shenggang, Ying, Mingsheng
Format:	Preprint
Publié:	2018
Sujets:	Quantum Physics
Accès en ligne:	https://arxiv.org/abs/1803.02673
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Image Computation for Quantum Transition Systems
par: Hong, Xin, et autres
Publié: (2025)

Quantum Max-Flow Min-Cut theorem
par: Yu, Nengkun
Publié: (2021)

Quantum State Preparation Based on LimTDD
par: Hong, Xin, et autres
Publié: (2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
par: Hong, Xin, et autres
Publié: (2025)

Optimal Compilation Strategies for QFT Circuits in Neutral-Atom Quantum Computing
par: Gao, Dingchao, et autres
Publié: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
par: Ying, Mingsheng
Publié: (2025)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
par: Zhang, Zhicheng, et autres
Publié: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
par: Ying, Mingsheng
Publié: (2024)

RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices
par: He, Runhong, et autres
Publié: (2024)

Atomicity in Distributed Quantum Computing
par: Zhang, Zhicheng, et autres
Publié: (2024)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation
par: Huang, Yunqi, et autres
Publié: (2024)

Borrowing Dirty Qubits in Quantum Programs
par: Su, Bonan, et autres
Publié: (2025)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
par: Li, Chenjian, et autres
Publié: (2025)

Access Control Threatened by Quantum Entanglement
par: Zhang, Zhicheng, et autres
Publié: (2025)

Quantum Büchi Automata
par: Wang, Qisheng, et autres
Publié: (2018)

BI-based Reasoning about Quantum Programs with Heap Manipulations
par: Su, Bonan, et autres
Publié: (2024)

Parallel Quantum Algorithm for Hamiltonian Simulation
par: Zhang, Zhicheng, et autres
Publié: (2021)

Verification of Recursively Defined Quantum Circuits
par: Ying, Mingsheng, et autres
Publié: (2024)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
par: Chen, Kean, et autres
Publié: (2022)

Towards Efficient Verification of Computation in Quantum Devices
par: Li, Keren, et autres
Publié: (2025)

Quantum Algorithm for Lexicographically Minimal String Rotation
par: Wang, Qisheng, et autres
Publié: (2020)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
par: Dai, Aochu, et autres
Publié: (2025)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
par: Huang, Qifan, et autres
Publié: (2026)

Quantum channel tomography and estimation by local test
par: Chen, Kean, et autres
Publié: (2025)

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
par: Guan, Ji, et autres
Publié: (2026)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

New Quantum Algorithms for Computing Quantum Entropies and Distances
par: Wang, Qisheng, et autres
Publié: (2022)

Measurement-based Verification of Quantum Markov Chains
par: Guan, Ji, et autres
Publié: (2024)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Quantum Speedup for Hypergraph Sparsification
par: Liu, Chenghua, et autres
Publié: (2025)

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
par: Trinh, Xuan Du, et autres
Publié: (2026)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
par: Huang, Mingyu, et autres
Publié: (2025)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
par: Hong, Xin, et autres
Publié: (2020)

Hamiltonian-Informed Point Group Symmetry-Respecting Ansatz for Variational Quantum Eigensolver
par: He, Runhong, et autres
Publié: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Utilizing Quantum Processor for the Analysis of Strongly Correlated Materials
par: Li, Hengyue, et autres
Publié: (2024)

Model Checking Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2021)

What if you have only one copy? Low-depth quantum circuits have no advantage in decision problems!
par: Yu, Nengkun
Publié: (2024)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
par: Lin, Yanling, et autres
Publié: (2024)