:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Li, Jiqi
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.20160373
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ancilla Iuris
Published: (2007)

Heisenberg-Limited Quantum Metrology without Ancillae
by: Liu, Qiushi, et al.
Published: (2024)

Ancilla-free Quantum Adder with Sublinear Depth
by: Remaud, Maxime, et al.
Published: (2025)

Quantum Prometheus: Defying Overhead with Recycled Ancillas in Quantum Error Correction
by: Chatterjee, Avimita, et al.
Published: (2024)

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

Safe and Efficient CAV Lane Changing using Decentralised Safety Shields
by: Hegde, Bharathkumar, et al.
Published: (2025)

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

Boundary Regularity for Fully Nonlinear Parabolic equations on $C^{1,\mathrm{Dini}}$ Domains
by: Dong, Jiqi, et al.
Published: (2025)

Ancilla Assisted Quantum Process Tomography using Bound entangled states
by: Singh, Gurvir
Published: (2026)

Analyzing Quantum Circuit Depth Reduction with Ancilla Qubits in MCX Gates
by: Bennakhi, Ahmad, et al.
Published: (2024)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Decoherence through Ancilla Anyon Reservoirs
by: Myerson-Jain, Nayan, et al.
Published: (2023)

Asymptotically Optimal Depth Fermionic Permutation on 2D Grid Quantum Architecture without Ancillas
by: Li, Dantong, et al.
Published: (2026)

CAV-AD: A Robust Framework for Detection of Anomalous Data and Malicious Sensors in CAV Networks
by: Rahman, Md Sazedur, et al.
Published: (2024)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
by: Gross, Dennis
Published: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
by: Zhang, Shuhang, et al.
Published: (2025)

Estimation of Nonlinear Physical Quantities By Measuring Ancillas
by: Nghiem, Nhat A., et al.
Published: (2025)

Methods for Reducing Ancilla-Overhead in Block Encodings
by: Vasconcelos, Francisca, et al.
Published: (2025)

A Collaborative Safety Shield for Safe and Efficient CAV Lane Changes in Congested On-Ramp Merging
by: Hegde, Bharathkumar, et al.
Published: (2026)

On the Constrained CAV Platoon Control Problem
by: Bahavarnia, MirSaleh, et al.
Published: (2024)

Dynamic Road Management in the Era of CAV
by: Younis, Mohamed, et al.
Published: (2024)

Efficient Fault-Tolerant Ancilla Preparation for Quantum BCH codes via Cyclic Symmetry
by: Yamamoto, Kohei, et al.
Published: (2026)

Ancilla measurement-based Quantum Otto engine using double-pair spin architecture
by: Rathnakaran, S R, et al.
Published: (2025)

VyZX: Formal Verification of a Graphical Quantum Language
by: Lehmann, Adrian, et al.
Published: (2023)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)

Formal Modeling and Verification of Grover's Algorithm
by: Sun, H., et al.
Published: (2026)

Ancilla-Efficient QSAMPLE Preparation for Reversible Markov Chains
by: Zhao, Nicholas
Published: (2026)

Ancilla-Error-Transparent Controlled Beam Splitter Gate
by: Pietikäinen, Iivari, et al.
Published: (2021)

On the Computational Power of QAC0 with Barely Superlinear Ancillae
by: Anshu, Anurag, et al.
Published: (2024)

CAV-AHDV-CAV: Mitigating Traffic Oscillations for CAVs through a Novel Car-Following Structure and Reinforcement Learning
by: Chen, Xianda, et al.
Published: (2024)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

Formal Verification in Automated Manufacturing
by: Tang, Yiheng
Published: (2025)

Formal Verification of Minimax Algorithms
by: Wesselink, Wieger, et al.
Published: (2025)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Latewood width of Pinus uncinata at site CAV
by: Tejedor, Ernesto, et al.
Published: (2017)