NL AI coalitie werkgroep cultuur van start - den.nl - 23-07-2020 Magazine Article

History-based specification and verification of Java collections in KeY (keynote) In Proceedings

F.S. de Boer (Frank) and H.A. Hiep (Hans-Dieter)

Step-by-step assumptions underlying the use of Cox proportional hazards modeling for median sexual debut age estimation in age-censored data with generational trends Replication Package

J.A. ter Schure (Judith)

Depth in convolutional neural networks solves scene segmentation Article

N. Seijdel (Noor), N. Tsakmakidis (Nikos), E.H.F. de Haan (Edward), S.M. Bohte (Sander) and H.S. Scholte (Steven)

Improvements in Quantum SDP-Solving with Applications In Proceedings

J.T.S. van Apeldoorn (Joran) and A.P. Gilyén (András)

Media moet mee met AI - Mediaperspectives - 26-07-2022 Magazine Article

TimSoethout/tla-ci: TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+". Software|Data

T.M. Soethout (Tim)

Evolved Neuromorphic Control for High Speed Divergence-Based Landings of MAVs Article

J.J. Hagenaars (Jesse), F. Paredes-Vallés (Federico), S.M. Bohte (Sander) and De Croon, G.C.H.E. (Guido C. H. E.)