Copertina

Continuous Randomness via Transformations of 2-Random Sequences

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Porter, Christopher P.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
di: Porter, Christopher P.
Pubblicazione: (2024)

Randomness via infinite computation and effective descriptive set theory
di: Carl, Merlin, et al.
Pubblicazione: (2016)

Algorithmic Randomness in Continuous-Time Markov Chains
di: Huang, Xiang, et al.
Pubblicazione: (2019)

Algorithmic Randomness for Infinite Time Register Machines
di: Carl, Merlin
Pubblicazione: (2014)

Randomness and Degree Theory for Infinite Time Register Machines
di: Carl, Merlin
Pubblicazione: (2015)

Simple Models of Randomization and Preservation Theorems
di: Khanaki, Karim, et al.
Pubblicazione: (2024)

Random graph coloring and the instability
di: Akito Tsuboi
Pubblicazione: (2024)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
di: Carl, Merlin
Pubblicazione: (2015)

Deciding Termination of Simple Randomized Loops
di: Meyer, Éléanore, et al.
Pubblicazione: (2025)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2026)

Empirical Impact of Dimensionality on Random Geometric SAT
di: Rädiker, Flora
Pubblicazione: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
di: Winkler, Lorenz, et al.
Pubblicazione: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
di: Zeyen, Olivier, et al.
Pubblicazione: (2025)

Impact and Performance of Randomized Test-Generation using Prolog
di: Gelderie, Marcus, et al.
Pubblicazione: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Sequence and Consequence
di: Dorr, Cian, et al.
Pubblicazione: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
di: Antonelli, Melissa, et al.
Pubblicazione: (2024)

Maximal Prikry Sequences
di: Schimmerling, Ernest, et al.
Pubblicazione: (2026)

Resolving Nondeterminism with Randomness
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

On the Asymptotic Behavior of Guessing Sequences
di: Benhamou, Tom, et al.
Pubblicazione: (2026)

Von Neumann Entropy and Quantum Algorithmic Randomness
di: Bhojraj, Tejas
Pubblicazione: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
di: Baldwin, John, et al.
Pubblicazione: (2024)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
di: Li, Jinzhao, et al.
Pubblicazione: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
di: Ikeda, Mitsumasa, et al.
Pubblicazione: (2023)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
di: Jana, Purbita, et al.
Pubblicazione: (2025)

Interpreting Lambda Calculus in Domain-Valued Random Variables
di: Furber, Robert, et al.
Pubblicazione: (2021)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
di: Kura, Satoshi
Pubblicazione: (2023)

Random Deterministic Automata With One Added Transition
di: Carayol, Arnaud, et al.
Pubblicazione: (2024)

Are Large Random Graphs Always Safe to Hide?
di: Chakraborty, Sourav, et al.
Pubblicazione: (2025)

Circuit Representations of Random Forests with Applications to XAI
di: Ji, Chunxi, et al.
Pubblicazione: (2026)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
di: Katz, Jediah, et al.
Pubblicazione: (2024)

Randomness versus superspeedability
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

Continuity in Potential Infinite Models
di: Eberl, Matthias
Pubblicazione: (2025)

Random Graph Generation in Context-Free Graph Languages
di: Vastarini, Federico, et al.
Pubblicazione: (2024)

Random state comonads encode cellular automata evaluation
di: Sas, Madalina I, et al.
Pubblicazione: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)