:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Anonymous
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.18001923
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Hierarchy of Nondeterminism
by: Radi, Bader Abu, et al.
Published: (2022)

Resolving Nondeterminism by Chance
by: Paul, Soumyajit, et al.
Published: (2025)

Resolving Nondeterminism with Randomness
by: Henzinger, Thomas A., et al.
Published: (2025)

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

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

DiFR: Inference Verification Despite Nondeterminism
by: Karvonen, Adam, et al.
Published: (2025)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
by: Czerwiński, Wojciech, et al.
Published: (2025)

Optimistic Verifiable Training by Controlling Hardware Nondeterminism
by: Srivastava, Megha, et al.
Published: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
by: Ong, Shawn, et al.
Published: (2025)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
by: Guha, Shibashis, et al.
Published: (2021)

Nondeterminism makes unary 1-limited automata concise
by: Guillon, Bruno, et al.
Published: (2025)

Understanding and Mitigating Numerical Sources of Nondeterminism in LLM Inference
by: Yuan, Jiayi, et al.
Published: (2025)

From High to Low: Simulating Nondeterminism and State with State
by: Tang, Wenhao, et al.
Published: (2023)

Prescriptive Process Monitoring Under Resource Constraints: A Reinforcement Learning Approach
by: Shoush, Mahmoud, et al.
Published: (2023)

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
by: Gürtler, Tobias, et al.
Published: (2026)

Detecting and Reacting to Data-Drift in Streaming Optimisation Domains - Code and Data
by: Anonymous
Published: (2024)

Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
by: Anonymous
Published: (2026)

Beyond Reproducibility: Token Probabilities Expose Large Language Model Nondeterminism
by: Fu, Tairan, et al.
Published: (2026)

Equivalence Testing Under Privacy Constraints
by: Pareek, Savita, et al.
Published: (2026)

Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
by: Esposito, Andrea, et al.
Published: (2025)

Distributed Hypothesis Testing Under A Covertness Constraint
by: Adamou, Ismaila Salihou, et al.
Published: (2026)

Supplementary Material of Answer Set Counting from Acyclicity Constraints
by: Anonymous, Anonymous
Published: (2026)

Residual Drift Dominates Contradiction in Multi-Turn Constraint Reasoning
by: Kawada, Sebastien
Published: (2026)

Preparing to Integrate Generative Pretrained Transformer Series 4 models into Genetic Variant Assessment Workflows: Assessing Performance, Drift, and Nondeterminism Characteristics Relative to Classifying Functional Evidence in Literature
by: Aronson, Samuel J., et al.
Published: (2023)

SWE-Effi: Re-Evaluating Software AI Agent System Effectiveness Under Resource Constraints
by: Fan, Zhiyu, et al.
Published: (2025)

MADCAT: Combating Malware Detection Under Concept Drift with Test-Time Adaptation
by: Roh, Eunjin, et al.
Published: (2025)

Stay Focused: Problem Drift in Multi-Agent Debate
by: Becker, Jonas, et al.
Published: (2025)

Exact Algorithms for Resource Reallocation Under Budgetary Constraints
by: Das, Arun Kumar, et al.
Published: (2025)

Technical Appendix of From Conflicts to Efficiency: Learning Constraint Orderings for Conflict Detection
by: Anonymous, Anonymous
Published: (2025)

Test
by: Anonymous
Published: (2025)

Teste
by: Anonymous
Published: (2025)

Assignment-Routing Optimization: Solvers for Problems Under Constraints
by: Qilong, Yuan, et al.
Published: (2025)

On the Nearest Kronecker Product Problem Under Orthonormal Constraints
by: Matthew M. Lin, et al.
Published: (2024)

AI-Driven Cloud Resource Optimization for Multi-Cluster Environments
by: Punniyamoorthy, Vinoth, et al.
Published: (2025)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
by: Anonymous Authors
Published: (2026)

Withdrawn Preprint (Anonymized Submission Under Review)
by: Anonymous
Published: (2025)

AI-Driven Test Data Management for Large-Scale BI Applications
by: Nusrat Yasmin Nadia, et al.
Published: (2025)

Well Posedness of Utility Maximization Problems Under Partial Information in a Market with Gaussian Drift
by: Gabih, Abdelali, et al.
Published: (2022)

Evaluation of Test-Time Adaptation Under Computational Time Constraints
by: Alfarra, Motasem, et al.
Published: (2023)

Connecting Generations Through Code: GABI, A Community-Driven Framework for Engineering Inclusive Financial Software for the Elderly
by: Anonymous, Anonymous
Published: (2025)