Copertina

On the Origin of Quantum Uncertainty

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Adami, Christoph
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Quantum Physics Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Compiling Quantum Regular Language States
di: Bellante, Armando, et al.
Pubblicazione: (2026)

On the Simulation Cost of Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
di: Khadieva, Aliya, et al.
Pubblicazione: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
di: Lussi, Eduardo Willwock, et al.
Pubblicazione: (2024)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
di: Sistla, Meghana, et al.
Pubblicazione: (2023)

Regular language quantum states
di: Florido-Llinàs, Marta, et al.
Pubblicazione: (2024)

Formal verification of higher dimensional quantum protocols
di: Puthoor, Ittoop Vergheese
Pubblicazione: (2024)

Productive Quantum Programming Needs Better Abstract Machines
di: Núñez-Corrales, Santiago, et al.
Pubblicazione: (2025)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
di: Ziiatdinov, Mansur, et al.
Pubblicazione: (2024)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
di: Yamakami, Tomoyuki
Pubblicazione: (2020)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
di: Yamakami, Tomoyuki
Pubblicazione: (2019)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
di: Gross, Dennis
Pubblicazione: (2025)

A relativistic discrete spacetime formulation of 3+1 QED
di: Eon, Nathanaël, et al.
Pubblicazione: (2022)

Quantum Büchi Automata
di: Wang, Qisheng, et al.
Pubblicazione: (2018)

Notes on Stack Machines and Quantum Stack Machines
di: Qiu, Daowen
Pubblicazione: (2025)

Measure Many Quantum Finite Automata on Infinite Words
di: Midya, Abhisek, et al.
Pubblicazione: (2026)

Unconditional proofs of quantumness between small-space machines
di: Say, A. C. Cem, et al.
Pubblicazione: (2024)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
di: Sistla, Meghana, et al.
Pubblicazione: (2022)

QIP $ \subseteq $ AM(2QCFA)
di: Yakaryılmaz, Abuzer
Pubblicazione: (2025)

Classical and quantum Merlin-Arthur automata
di: Yakaryılmaz, Abuzer
Pubblicazione: (2022)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

Quantum finite automata and linear context-free languages: a decidable problem
di: Bertoni, A., et al.
Pubblicazione: (2013)

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
di: Yin, Yihao, et al.
Pubblicazione: (2026)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
di: Yu, Pian, et al.
Pubblicazione: (2025)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
di: Cardona, Gustavo A., et al.
Pubblicazione: (2025)

An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
di: Haider, Salman, et al.
Pubblicazione: (2020)

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

Cost Automata, Safe Schemes, and Downward Closures
di: Barozzini, David, et al.
Pubblicazione: (2020)

Mathematical Approach in Automata and Automata Association
di: Maciel, Sergio Henrique
Pubblicazione: (2020)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

The Expansion Problem for Infinite Trees
di: Blumensath, Achim
Pubblicazione: (2023)

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)

Statistical process discovery
di: Cry, Pierre, et al.
Pubblicazione: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)

Hyper pattern matching
di: Waga, Masaki, et al.
Pubblicazione: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
di: Kutrib, Martin, et al.
Pubblicazione: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)