Forschungspapier (120)
1261.
Forschungspapier
Multiple Reachability in Linear Dynamical Systems. (2024), 30 S.
1262.
Forschungspapier
Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 S.
1263.
Forschungspapier
Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 S.
1264.
Forschungspapier
Priority Downward Closures. (2023), 25 S.
1265.
Forschungspapier
Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 S.
1266.
Forschungspapier
The Monadic Theory of Toric Words. (2023), 31 S.
1267.
Forschungspapier
Automatically Testing Functional Properties of Code Translation Models. (2023), 13 S.
1268.
Forschungspapier
SynDiffix: More accurate synthetic structured data. (2023), 14 S.
1269.
Forschungspapier
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 S.
1270.
Forschungspapier
Reachability in Injective Piecewise Affine Maps. (2023), 22 S.
1271.
Forschungspapier
Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 S.
1272.
Forschungspapier
Pointwise Representational Similarity. (2023), 33 S.
1273.
Forschungspapier
Skolem Meets Bateman-Horn. (2023), 14 S.
1274.
Forschungspapier
Transcendence of Sturmian Numbers over an Algebraic Base. (2023), 8 S.
1275.
Forschungspapier
Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts. (2023), 20 S.
1276.
Forschungspapier
Large Language Models can Segment Narrative Events Similarly to Humans. (2023), 15 S.
1277.
Forschungspapier
What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy. (2023), 24 S.
1278.
Forschungspapier
Context-triggered Abstraction-based Control Design. (2023), 25 S.
1279.
Forschungspapier
On the Within-Group Discrimination of Screening Classifiers. (2023), 25 S.
1280.
Forschungspapier
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. (2023), 8 S.