CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Machine learning and computer vision for urban drainage inspections Dissertation
Human-Centered Data AnalyticsNovember 2023
-
Solving the bank : lightweight specification and verification techniques for enterprise software Dissertation
Software Analysis and TransformationNovember 2023
-
Single-shot tomography of discrete dynamic objects Tech Report
A.A. Kadu (Ajinkya), F. Lucka (Felix) and K.J. Batenburg (Joost)
November 2023
-
Wie is de schepper van digitale kunst? - NRC Handelsblad - 9-11-2023 Magazine Article
November 2023 -
Single-shot tomography of discrete dynamic objects Tech Report
A.A. Kadu (Ajinkya), F. Lucka (Felix) and K.J. Batenburg (Joost)
November 2023
-
Provable lattice reduction of Zn with blocksize n/2 Article
Designs, Codes and CryptographyNovember 2023
-
Invited talk: “Characterizing human behavioral and physiological reactions toward human versus AI-generated news” Presentation
November 2023 -
How contentious terms about people and cultures are used in Linked Open Data Tech Report
A. Nesterov (Andrei), L. Hollink (Laura) and J.R. van Ossenbruggen (Jacco)
November 2023