Forschungspapier (89)
5021.
Forschungspapier
Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 S.
5022.
Forschungspapier
Regular Separability in Büchi VASS. (2023), 31 S.
5023.
Forschungspapier
Negative-Weight Single-Source Shortest Paths in Near-linear Time. (2023), 38 S.
5024.
Forschungspapier
The Monadic Theory of Toric Words. (2023), 31 S.
5025.
Forschungspapier
Dynamic (1.5+Epsilon)-Approximate Matching Size in Truly Sublinear Update Time. (2023), 42 S.
5026.
Forschungspapier
Incremental (1 - ε)-approximate dynamic matching in O(poly(1/ε)) update time. (2023), 19 S.
5027.
Forschungspapier
Technology Licensing and Firm Performance: Can Innovation Strategy Mitigate Trade-Offs from Inward Looking Behavior? (2023)
5028.
Forschungspapier
Knowledge Base Completion for Long-Tail Entities. (2023), 10 S.
5029.
Forschungspapier
Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity. (2023)
5030.
Forschungspapier
Germany’s Coordinated Policy Response to the Energy Crisis: Shielding the Export-Led Model at all Costs. LUHNIP Working Paper Series 1/2023 (2023), 18 S.
5031.
Forschungspapier
Counting Small Induced Subgraphs with Edge-monotone Properties. (2023), 61 S.
5032.
Forschungspapier
Automatically Testing Functional Properties of Code Translation Models. (2023), 13 S.
5033.
Forschungspapier
Preserving Local Densities in Low-dimensional Embeddings. (2023), 16 S.
5034.
Forschungspapier
SynDiffix: More accurate synthetic structured data. (2023), 14 S.
5035.
Forschungspapier
Perfect Simulation of Las Vegas Algorithms via Local Computation. (2023), 51 S.
5036.
Forschungspapier
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 S.
5037.
Forschungspapier
Robust and Practical Solution of Laplacian Equations by Approximate Elimination. (2023), 51 S.
5038.
Forschungspapier
Reachability in Injective Piecewise Affine Maps. (2023), 22 S.
5039.
Forschungspapier
Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 S.
5040.
Forschungspapier
Understanding and Mitigating Classification Errors Through Interpretable Token Patterns. (2023), 3 S.