:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Huang, Xiang, Lutz, Jack H., Lutz, Neil, Migunov, Andrei N.
Natura:	Preprint
Pubblicazione:	2019
Soggetti:	Information Theory Logic in Computer Science Probability
Accesso online:	https://arxiv.org/abs/1910.13620
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Algorithmic Dimensions via Learning Functions
di: Lutz, Jack H., et al.
Pubblicazione: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
di: Mertens, Hannah, et al.
Pubblicazione: (2024)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
di: Banse, Adrien, et al.
Pubblicazione: (2025)

Element-Free Probability Distributions and Random Partitions
di: Blanchi, Victor, et al.
Pubblicazione: (2024)

Compositional imprecise probability
di: Liell-Cock, Jack, et al.
Pubblicazione: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

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

Complexity of inversion of functions on the reals
di: Barmpalias, George, et al.
Pubblicazione: (2024)

Model Checking Quantum Continuous-Time Markov Chains
di: Xu, Ming, et al.
Pubblicazione: (2021)

A Categorical Treatment of Open Linear Systems
di: Stein, Dario, et al.
Pubblicazione: (2024)

Lecture Notes on Algorithmic Information Theory
di: Bédard, Charles Alexandre
Pubblicazione: (2025)

Memoryless Strategies in Stochastic Reachability Games
di: Kiefer, Stefan, et al.
Pubblicazione: (2024)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
di: Fritz, Tobias, et al.
Pubblicazione: (2025)

The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
di: Chen, Leihao, et al.
Pubblicazione: (2024)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
di: Izumo, Takashi
Pubblicazione: (2025)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
di: Ackerman, Nathanael L., et al.
Pubblicazione: (2023)

Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
di: Ajdarów, Michal, et al.
Pubblicazione: (2025)

Bisimulation for Feller-Dynkin Processes
di: Chen, Linan, et al.
Pubblicazione: (2019)

Behavioural pseudometrics for continuous-time diffusions
di: Chen, Linan, et al.
Pubblicazione: (2023)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
di: Spork, Timm, et al.
Pubblicazione: (2025)

Entropy Contractions in Markov Chains: Half-Step, Full-Step and Continuous-Time
di: Caputo, Pietro, et al.
Pubblicazione: (2024)

Algorithms for Markov Binomial Chains
di: Gonzalez, Alejandro Alarcón, et al.
Pubblicazione: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
di: Benjamini, Itai, et al.
Pubblicazione: (2022)

Markov Categories and Entropy
di: Perrone, Paolo
Pubblicazione: (2022)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
di: Xu, Ming, et al.
Pubblicazione: (2022)

Beyond Decisiveness of Infinite Markov Chains
di: Barbot, Benoît, et al.
Pubblicazione: (2024)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
di: Xu, Jianfeng
Pubblicazione: (2026)

Towards a Unification of Logic and Information Theory
di: Lastras, Luis A., et al.
Pubblicazione: (2023)

A Truly Concurrent Semantics for Reversible CCS
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
di: Naderian, Farhad
Pubblicazione: (2022)

Identity-Preserving Lax Extensions and Where to Find Them
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
di: Stein, Dario
Pubblicazione: (2025)

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies
di: Main, James C. A., et al.
Pubblicazione: (2025)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
di: Fatmi, Syyeda Zainab, et al.
Pubblicazione: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
di: Mertens, Hannah, et al.
Pubblicazione: (2025)

Drawing with Distance
di: Jacobs, Bart
Pubblicazione: (2024)

Complete Diagrammatic Axiomatisations of Relative Entropy
di: Sarkis, Ralph, et al.
Pubblicazione: (2026)

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
di: Randour, Mickael
Pubblicazione: (2025)

A Unifying Framework for Global Optimization: From Theory to Formalization
di: Serré, Gaëtan, et al.
Pubblicazione: (2025)

Simulation of Random LR Fuzzy Intervals
di: Romaniuk, Maciej, et al.
Pubblicazione: (2025)