Publication

Formal foundations for Reowolf: Multi-party sessions via synchronous protocol programming Tech Report

C.A. Esterhuyse (Christopher), B. Lion (Benjamin), H.A. Hiep (Hans-Dieter) and F. Arbab (Farhad)

QMA = QMA1 with an infinite counter Tech Report

S. Jeffery (Stacey) and F. Witteveen (Freek)

Dynamic X-ray CT of Spaghetti Noodles Dataset

M.C. Go (Mary Chris), D.M. Pelt (Daniël), V. Andriiashen (Vladyslav), W.J. Palenstijn (Willem Jan), A. Skorikov (Alexander), F. Lucka (Felix) and K.J. Batenburg (Joost)

AI verkort wachtlijsten in ouderenzorg flink - Dutch Health Hub - 18-06-2025 Magazine Article

PDX: A Data Layout for Vector Similarity Search In Proceedings

L.X. Kuffo Rivero (Leonardo Xavier), ES Krippner (Elena) and P.A. Boncz (Peter)

PMSM geometrical parameters and torque signals Dataset

S. Schöps (Sebastian), D. Loukrezis (Dimitris) and A. Partovizadeh (Aylar)

ALL-IN meta-analysis: breathing life into living systematic reviews and prospective meta-analyses Article

J.A. ter Schure (Judith) and P.D. Grünwald (Peter)

Scintillator decorrelation for self-supervised x-ray radiograph denoising Article

A.B.M. Graas (Adriaan) and F. Lucka (Felix)