Publications

Chiara Molinari, Leonardo Solaini, Francesca Rebuzzi, Gianluca Tedaldi, Davide Angeli, Elisabetta Petracci, Dusan Prascevic, Jan Ewald, Erhard Rahm, Matteo Canale, Martinelli Giovanni, Anna Tomezzoli, Maria Bencivenga, Maria Raffaella Ambrosio, Daniele Marrelli, Paolo Morgagni, Giorgio Ercolani, Paola Ulivi, and Luca Saragoni. Genomic events stratifying prognosis of early gastric cancer. Gastric Cancer, (27)6:1189--1200, Springer Science and Business Media LLC, November 2024. [PUMA: Prognosis Pen; EGC; ARID1A LRP1B]

Franz Baader, and Renata Wassermann. Contractions Based on Optimal Repairs. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 94–105, International Joint Conferences on Artificial Intelligence Organization, November 2024. [PUMA: topic_knowledge area_methods] URL

C.J.R. Murphy-Barltrop, and J.L. Wadsworth. Modelling Non-Stationarity in Asymptotically Independent Extremes. Computational Statistics and Data Analysis, (199):108025, Elsevier BV, November 2024. [PUMA: imported] URL

Johannes Pahlke, and Ivo Sbalzarini. Proven Distributed Memory Parallelization of Particle Methods. ACM Trans. Parallel Comput., Association for Computing Machinery, New York, NY, USA, Sep 18, 2024. [PUMA: meshfree definition, software algorithmics, bounds, simulation distributed engineering methods, scalability formal algorithms, particle memory, parallelization,] URL

C. J. R. Murphy-Barltrop, J. L. Wadsworth, and E. F. Eastoe. Improving Estimation for Asymptotically Independent Bivariate Extremes via Global Estimators for the Angular Dependence Function. Extremes, Aug 13, 2024. [PUMA: imported] URL

Franz Baader, and Filippo De Bortoli. Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. SIGAPP Appl. Comput. Rev., (24)3:5–17, Association for Computing Machinery, New York, NY, USA, Oct 8, 2024. [PUMA: imported] URL

Markus Ulbricht. Formal Argumentation in Symbolic AI. In Kate Larson (Eds.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 8577--8582, International Joint Conferences on Artificial Intelligence Organization, August 2024. URL

Maik Fröbe, Jan Heinrich Reimer, Sean MacAvaney, Niklas Deckers, Simon Reich, Janek Bevendorff, Benno Stein, Matthias Hagen, and Martin Potthast. The Information Retrieval Experiment Platform (Extended Abstract). Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 8405–8410, International Joint Conferences on Artificial Intelligence Organization, August 2024. [PUMA: imported] URL

Giovanni Buraglio, Wolfgang Dvorak, Matthias König, and Markus Ulbricht. Justifying argument acceptance with collective attacks: Discussions and disputes. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, California, August 2024.

Kiet Nguyen Anh, and Markus Ulbricht. Preferred reasoning in ABA by cycle-breaking. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, California, August 2024.

Theresa Elstner, Bärbel Hanle, Frank Loebe, Maik Fröbe, Nikolay Kolyada, Janis Mohr, Jörg Frochte, Sven Hofmann, Benno Stein, and Martin Potthast. Classification of shared tasks used in teaching. Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ACM, New York, NY, USA, July 2024.

Lukas Gienapp, Harrisen Scells, Niklas Deckers, Janek Bevendorff, Shuai Wang, Johannes Kiesel, Shahbaz Syed, Maik Fröbe, Guido Zuccon, Benno Stein, Matthias Hagen, and Martin Potthast. Evaluating Generative Ad Hoc Information Retrieval. Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, 1916–1929, ACM, July 2024. [PUMA: imported] URL

E. B. L. Mackay, C. J. R. Murphy-Barltrop, and P. Jonathan. The SPAR Model: A New Paradigm for Multivariate Extremes: Application to Joint Distributions of Metocean Variables. Journal of Offshore Mechanics and Arctic Engineering, (147)1ASME International, July 2024. [PUMA: imported] URL

Carsten Lutz, and Quentin Manière. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. July 2024. [PUMA: imported]

Jan Ewald, Ziyang He, Wassili Dimitriew, and Stefan Schuster. Including glutamine in a resource allocation model of energy metabolism in cancer and yeast cells. npj Systems Biology and Applications, (10)1Springer Science and Business Media LLC, July 2024. [PUMA: imported] URL

Nandan Thakur, Luiz Bonifacio, Maik Fröbe, Alexander Bondarenko, Ehsan Kamalloo, Martin Potthast, Matthias Hagen, and Jimmy Lin. Systematic evaluation of neural retrieval models on the touché 2020 argument retrieval subset of BEIR. Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, (618):1420--1430, ACM, New York, NY, USA, July 2024.

Patrick Ebel, Courtney M Goodridge, Aravinda Ramakrishnan Srinivasan, Mark Colley, Hauke Sandhaus, Philipp Hock, Philipp Wintersberger, Christian Janssen, and Pavlo Bazilinskyy. Changing Lanes Toward Open Science: Openness and Transparency in Automotive User Research. OSF, July 2024. URL

Maik Fröbe, Joel Mackenzie, Bhaskar Mitra, Franco Maria Nardini, and Martin Potthast. ReNeuIR at SIGIR 2024: The third workshop on reaching efficiency in neural information retrieval. Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, (31):3051--3054, ACM, New York, NY, USA, July 2024.

Nandan Thakur, Luiz Bonifacio, Maik Fröbe, Alexander Bondarenko, Ehsan Kamalloo, Martin Potthast, Matthias Hagen, and Jimmy Lin. Systematic Evaluation of Neural Retrieval Models on the Touché 2020 Argument Retrieval Subset of BEIR. Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, 1420–1430, ACM, July 2024. [PUMA: imported] URL

Christian Genest, Ostap Okhrin, and Taras Bodnar. Copula modeling from Abe Sklar to the present day. J. Multivar. Anal., (201)CAcademic Press, Inc., USA, July 2024. [PUMA: 62H05 Copula models modeling Dependence 62G32 62H20 62H10 62H12 62H15] URL