Three ways of proving termination of loops Book Chapter

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

Truth is in the eyes of the machines : Research semester programme 2025 : [poster] Poster

MD-CWI/particle_swarm Software

H.J. Teunissen (Jannis), C. Rutjes (Casper), D.D. Bouwman (Dennis), X. Li (Xiaoran) and A. Martinez Nieto (Andy)

Bi-level optimization and implicit differentiation as a framework for optimal experimental design in tomography In Proceedings

H. Fathi (Hamid), A. Skorikov (Alexander) and T. van Leeuwen (Tristan)

Dynamic firefighter management Master Thesis

W. Hu (Wenji)

Transformer-Based Few-Shot Learning for Modeling Electricity Consumption Profiles with Minimal Data Across Thousands of Domains Software|Data

W. Xia (Weijie)

Computation of the confluent hypergeometric function M(a, b, x) In Proceedings

A. Gil (Amparo), D. Ruiz-Antolin (Diego), J. Segura (Javier) and N.M. Temme (Nico)

AC-IND: Sparse CT reconstruction based on attenuation coefficient estimation and implicit neural distribution In Proceedings

W. Xie (Wangduo), RA Schoonhoven (Richard), T. van Leeuwen (Tristan) and M.B. Blaschko (Matthew B.)