Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.11091 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
by: Middelburg, C. A.
Published: (2021)
by: Middelburg, C. A.
Published: (2021)
Polymer-based probabilistic bits for thermodynamic computing
by: Foulger, Stephen H., et al.
Published: (2025)
by: Foulger, Stephen H., et al.
Published: (2025)
Space-time process algebra with asynchronous communication
by: Bergstra, J. A., et al.
Published: (2024)
by: Bergstra, J. A., et al.
Published: (2024)
A LOCAL View of the Polynomial Hierarchy
by: Reiter, Fabian
Published: (2023)
by: Reiter, Fabian
Published: (2023)
Complementing an imperative process algebra with a rely/guarantee logic
by: Middelburg, C. A.
Published: (2025)
by: Middelburg, C. A.
Published: (2025)
Probabilistic imperative process algebra
by: Middelburg, C. A.
Published: (2026)
by: Middelburg, C. A.
Published: (2026)
Distributed Exact Quantum Amplitude Amplification Algorithm for Arbitrary Quantum States
by: Zhou, Xu, et al.
Published: (2026)
by: Zhou, Xu, et al.
Published: (2026)
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)
by: Parrinha, Francisco, et al.
Published: (2026)
Quantum Approximate Optimization Algorithm: Performance on Simulators and Quantum Hardware
by: Irfan, Abyan Khabir, et al.
Published: (2025)
by: Irfan, Abyan Khabir, et al.
Published: (2025)
Quantum algorithms through graph composition
by: Cornelissen, Arjan
Published: (2025)
by: Cornelissen, Arjan
Published: (2025)
Quantum walks through generalized graph composition
by: Cornelissen, Arjan
Published: (2025)
by: Cornelissen, Arjan
Published: (2025)
QOptCraft: A Python package for the design and study of linear optical quantum systems
by: Aguado, Daniel Gómez, et al.
Published: (2021)
by: Aguado, Daniel Gómez, et al.
Published: (2021)
Data Verification is the Future of Quantum Computing Copilots
by: Song, Junhao, et al.
Published: (2026)
by: Song, Junhao, et al.
Published: (2026)
Scalability Challenges in Variational Quantum Optimization under Stochastic Noise
by: Bärligea, Adelina, et al.
Published: (2025)
by: Bärligea, Adelina, et al.
Published: (2025)
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
by: Li, Zihao, et al.
Published: (2026)
by: Li, Zihao, et al.
Published: (2026)
Pauli-structured preconditioning for quantum linear system solvers
by: Nie, Hantao, et al.
Published: (2026)
by: Nie, Hantao, et al.
Published: (2026)
Tensor Decomposition for Non-Clifford Gate Minimization
by: Khoruzhii, Kirill, et al.
Published: (2026)
by: Khoruzhii, Kirill, et al.
Published: (2026)
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
by: Cheval, Vincent, et al.
Published: (2022)
by: Cheval, Vincent, et al.
Published: (2022)
Automatic verification of Finite Variant Property beyond convergent equational theories
by: Cheval, Vincent, et al.
Published: (2024)
by: Cheval, Vincent, et al.
Published: (2024)
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
by: Sundaram, Aarthi, et al.
Published: (2021)
by: Sundaram, Aarthi, et al.
Published: (2021)
Scalable s-step Preconditioned Conjugate Gradient with Chebyshev Basis and Gauss-Seidel Gram Solve
by: D'Ambra, Pasqua, et al.
Published: (2026)
by: D'Ambra, Pasqua, et al.
Published: (2026)
QuIC: A Training-Free Quantum Graph Embedding from Ideal Analysis to Practical Hardware Evaluation
by: Miller, Luke, et al.
Published: (2026)
by: Miller, Luke, et al.
Published: (2026)
Bandwidth Efficient Livestreaming in Mobile Wireless Networks: A Peer-to-Peer ACIDE Solution
by: Negulescu, Andrei, et al.
Published: (2023)
by: Negulescu, Andrei, et al.
Published: (2023)
Leveraging Analog Neutral Atom Quantum Computers for Diversified Pricing in Hybrid Column Generation Frameworks
by: Perron, Cédrick, et al.
Published: (2025)
by: Perron, Cédrick, et al.
Published: (2025)
Quantum Advantage in Computational Chemistry?
by: Gundlach, Hans, et al.
Published: (2025)
by: Gundlach, Hans, et al.
Published: (2025)
Active Admission Control in a P2P Distributed Environment for Capacity Efficient Livestreaming in Mobile Wireless Networks
by: Negulescu, Andrei, et al.
Published: (2023)
by: Negulescu, Andrei, et al.
Published: (2023)
Approximate Distributed Coded Computing: Polynomial Codes and Randomized Sketching
by: Charalambides, Neophytos, et al.
Published: (2026)
by: Charalambides, Neophytos, et al.
Published: (2026)
Weak Memory Model Formalisms: Introduction and Survey
by: Su, Roger C., et al.
Published: (2025)
by: Su, Roger C., et al.
Published: (2025)
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)
by: de Rezende, Susanna F., et al.
Published: (2019)
Quantum Annealing and Tensor Networks: a Powerful Combination to Solve Optimization Problems
by: Binimelis, Miquel Albertí
Published: (2024)
by: Binimelis, Miquel Albertí
Published: (2024)
Quantum Sabotage Complexity
by: Cornelissen, Arjan, et al.
Published: (2024)
by: Cornelissen, Arjan, et al.
Published: (2024)
Investigating Techniques to Optimise the Layout of Turbines in a Windfarm using a Quantum Computer
by: Hancock, James, et al.
Published: (2023)
by: Hancock, James, et al.
Published: (2023)
Toward Quantum-Optimized Flow Scheduling in Multi-Beam Digital Satellites
by: Yan, Qiben, et al.
Published: (2026)
by: Yan, Qiben, et al.
Published: (2026)
Entanglement dynamic of arbitrary number qubit in the open quantum systems
by: Bakhshi, Z., et al.
Published: (2025)
by: Bakhshi, Z., et al.
Published: (2025)
Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)
by: McDaid, Edward, et al.
Published: (2024)
Term Coding for Extremal Combinatorics: Dispersion and Complexity Dichotomies
by: Riis, Søren
Published: (2025)
by: Riis, Søren
Published: (2025)
A Complexity-Based Approach to Quantum Observable Equilibration
by: Alpino, Marcos G., et al.
Published: (2025)
by: Alpino, Marcos G., et al.
Published: (2025)
Imperative process algebra and models of computation
by: Middelburg, C. A.
Published: (2022)
by: Middelburg, C. A.
Published: (2022)
The Bit Complexity of Dynamic Algebraic Formulas and their Determinants
by: Anand, Emile, et al.
Published: (2024)
by: Anand, Emile, et al.
Published: (2024)
Topology-Based Reconstruction Prevention for Decentralised Learning
by: Dekker, Florine W., et al.
Published: (2023)
by: Dekker, Florine W., et al.
Published: (2023)