:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Meiburg, Alex, Lessa, Leonardo A., Soldati, Rodolfo R.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Quantum Physics Logic in Computer Science 81P45 (Primary) 62M07, 68V20 (Secondary) F.4.1; H.1.1
Accesso online:	https://arxiv.org/abs/2510.08672
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
di: Linhares, Alexandre
Pubblicazione: (2026)

How many samples to label for an application given a foundation model? Chest X-ray classification study
di: Nechaev, Nikolay, et al.
Pubblicazione: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

Rabi oscillations and entanglement between two atoms interacting by the Rydberg blockade studied by the Jaynes-Cummings Model
di: Santillan, Francisco D., et al.
Pubblicazione: (2024)

Hybrid quantum tensor networks for aeroelastic applications
di: Hickmann, M. Lautaro, et al.
Pubblicazione: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
di: Farmer, William M.
Pubblicazione: (2026)

Quantum NLP models on Natural Language Inference
di: Sun, Ling, et al.
Pubblicazione: (2025)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
di: Wiesnet, Franziskus
Pubblicazione: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
di: Figueira, Santiago, et al.
Pubblicazione: (2023)

A formalization of Borel determinacy in Lean
di: Manthe, Sven
Pubblicazione: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
di: Ding, Sichen, et al.
Pubblicazione: (2026)

Internalizing Extensions in Lattices of Type Theories
di: Chan, Jonathan
Pubblicazione: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
di: Chan, Jonathan, et al.
Pubblicazione: (2025)

Formalization of QFT
di: Douglas, Michael R., et al.
Pubblicazione: (2026)

GT-PCA: Effective and Interpretable Dimensionality Reduction with General Transform-Invariant Principal Component Analysis
di: Heinrichs, Florian
Pubblicazione: (2024)

Privacy-preserving neutral atom-based quantum classifier towards real healthcare applications
di: Canonici, Ettore, et al.
Pubblicazione: (2025)

QUBO-based SVM for credit card fraud detection on a real QPU
di: Canonici, Ettore, et al.
Pubblicazione: (2024)

Leveraging Imperfection with MEDLEY A Multi-Model Approach Harnessing Bias in Medical AI
di: Abtahi, Farhad, et al.
Pubblicazione: (2025)

Relative Constructibility via Generalised Sequential Algorithms
di: Lau, Desmond
Pubblicazione: (2024)

Quantum Phase Transition of Non-Hermitian Systems using Variational Quantum Techniques
di: Hancock, James, et al.
Pubblicazione: (2025)

Mathematical comparison of classical and quantum mechanisms in optimization under local differential privacy
di: Yoshida, Yuuya
Pubblicazione: (2020)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
di: Nakano, Keisuke, et al.
Pubblicazione: (2024)

Quantum Neural Networks for Propensity Score Estimation and Survival Analysis in Observational Biomedical Studies
di: Novák, Vojtěch, et al.
Pubblicazione: (2025)

Beyond Static Knowledge Messengers: Towards Adaptive, Fair, and Scalable Federated Learning for Medical AI
di: Arafat, Jahidul, et al.
Pubblicazione: (2025)

Confinement-Tunable Synthetic Gauge Fields and Floquet Topological Phenomena in a Driven Quantum Wire Qubit
di: Claire, Feulefack Ornela, et al.
Pubblicazione: (2026)

Synthetic data for ratemaking: imputation-based methods vs adversarial networks and autoencoders
di: Havrylenko, Yevhen, et al.
Pubblicazione: (2025)

Compositional Separation of Control Flow and Data Flow
di: Arellanes, Damian
Pubblicazione: (2023)

The Predictive-Causal Gap: An Impossibility Theorem and Large-Scale Neural Evidence
di: Liu, Kejun
Pubblicazione: (2026)

Generalization and Feature Attribution in Machine Learning Models for Crop Yield and Anomaly Prediction in Germany
di: Baatz, Roland
Pubblicazione: (2025)

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

Learning Variational Quantum Circuit Parameters with Classical Artificial Intelligence for Quantum Phase Transition Detection
di: Li, Xin, et al.
Pubblicazione: (2025)

Enhancing Human Action Recognition and Violence Detection Through Deep Learning Audiovisual Fusion
di: Janani, Pooya, et al.
Pubblicazione: (2024)

An Expressive Trace Logic for Recursive Programs
di: Gurov, Dilian, et al.
Pubblicazione: (2024)

Flexible and efficient emulation of spatial extremes processes via variational autoencoders
di: Zhang, Likun, et al.
Pubblicazione: (2023)

Neural Networks Learn Distance Metrics
di: Oursland, Alan
Pubblicazione: (2025)

Differentiable Optimization Layers for Guaranteed Fairness in Deep Learning
di: Troxell, David, et al.
Pubblicazione: (2026)

A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)

Differential Privacy: Gradient Leakage Attacks in Federated Learning Environments
di: Fernandez-de-Retana, Miguel, et al.
Pubblicazione: (2025)