Publication

QMA = QMA1 with an infinite counter Tech Report

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

Formal foundations for Reowolf: Multi-party sessions via synchronous protocol programming In Proceedings

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

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

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)

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)

Waarom is computertaal in 1-en en 0-en? Online Audio

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

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