Forschungspapier (89)

5021.
Forschungspapier
Baumann, P.; D'Alessandro, F.; Ganardi, M.; Ibarra, O.; McQuillan, I.; Schütze, L.; Zetzsche, G.: Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 S.
5022.
Forschungspapier
Baumann, P.; Meyer, R.; Zetzsche, G.: Regular Separability in Büchi VASS. (2023), 31 S.
5023.
Forschungspapier
Bernstein, A.; Nanongkai, D.; Wulff-Nilsen, C.: Negative-Weight Single-Source Shortest Paths in Near-linear Time. (2023), 38 S.
5024.
Forschungspapier
Berthé, V.; Karimov, T.; Ouaknine, J.; Vahanwala, M.; Worrell, J.: The Monadic Theory of Toric Words. (2023), 31 S.
5025.
Forschungspapier
Bhattacharya, S.; Kiss, P.; Saranurak, T.: Dynamic (1.5+Epsilon)-Approximate Matching Size in Truly Sublinear Update Time. (2023), 42 S.
5026.
Forschungspapier
Blikstad, J.; Kiss, P.: Incremental (1 - ε)-approximate dynamic matching in O(poly(1/ε)) update time. (2023), 19 S.
5027.
Forschungspapier
Ceccagnoli, M.; Di Lorenzo, F.; Higgins, M. J.; Palermo, V.: Technology Licensing and Firm Performance: Can Innovation Strategy Mitigate Trade-Offs from Inward Looking Behavior? (2023)
5028.
Forschungspapier
Chen, L.; Razniewski, S.; Weikum, G.: Knowledge Base Completion for Long-Tail Entities. (2023), 10 S.
5029.
Forschungspapier
Delarue, B.; Ramacher, P.; Schmitt, M. L.: Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity. (2023)
5030.
Forschungspapier
Di Carlo, D.; Hassel, A.; Höpner, M.: 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
Döring, S.; Marx, D.; Wellnitz, P.: Counting Small Induced Subgraphs with Edge-monotone Properties. (2023), 61 S.
5032.
Forschungspapier
Eniser, H. F.; Wüstholz, V.; Christakis, M.: Automatically Testing Functional Properties of Code Translation Models. (2023), 13 S.
5033.
Forschungspapier
Fischer, J.; Burkholz, R.; Vreeken, J.: Preserving Local Densities in Low-dimensional Embeddings. (2023), 16 S.
5034.
Forschungspapier
Francis, P.; Berneanu, C.; Gashi, E.: SynDiffix: More accurate synthetic structured data. (2023), 14 S.
5035.
Forschungspapier
Fu, X.; Jiang, Y.; Yin, Y.: Perfect Simulation of Las Vegas Algorithms via Local Computation. (2023), 51 S.
5036.
Forschungspapier
Gan, J.; Majumdar, R.; Mandal, D.; Radanovic, G.: Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 S.
5037.
Forschungspapier
Gao, Y.; Kyng, R.; Spielman, D. A.: Robust and Practical Solution of Laplacian Equations by Approximate Elimination. (2023), 51 S.
5038.
Forschungspapier
Ghahremani, F.; Kelmendi, E.; Ouaknine, J.: Reachability in Injective Piecewise Affine Maps. (2023), 22 S.
5039.
Forschungspapier
Goetzen, A.; Wang, R.; Redmiles, E. M.; Zannettou, S.; Ayalon, O.: Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 S.
5040.
Forschungspapier
Hedderich, M. A.; Fischer, J.; Klakow, D.; Vreeken, J.: Understanding and Mitigating Classification Errors Through Interpretable Token Patterns. (2023), 3 S.
Zur Redakteursansicht