On the Complexity of Conversion Between Classic Real Number Representations

von Kristiansen, Lars
Veröffentlicht in CiE (16. : 2020 : Online) Beyond the horizon of computability (2020)

A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

von Dargaj, Jakub
Veröffentlicht in Journal of economic theory (2023)

Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

von Moyen, Jean-Yves
Veröffentlicht in CiE (17. : 2021 : Gent, online) Connecting with Computability (2021)

Liouville Numbers and the Computational Complexity of Changing Bases

von Jakobsen, Sune Kristian
Veröffentlicht in CiE (16. : 2020 : Online) Beyond the horizon of computability (2020)

Comparing Trace Similarity Metrics Across Logs and Evaluation Measures

von Back, Christoffer Olling
Veröffentlicht in CAiSE (35. : 2023 : Saragossa) Advanced Information Systems Engineering (2023)

Fact Check-Worthiness Detection with Contrastive Ranking

von Hansen, Casper
Veröffentlicht in CLEF (11. : 2020 : Thessaloniki; Online) Experimental IR meets multilinguality, multimodality, and interaction (2020)

Multi-head Self-attention with Role-Guided Masks

von Wang, Dongsheng
Veröffentlicht in ECIR (43. : 2021 : Online) Advances in information retrieval ; Part 2 (2021)