Publication

Erfgoedinstellingen en onderzoeks en kennisorganisaties starten samenwerking rond AI - Beeld en geluid - 16-11-2020 Magazine Article

History-based specification and verification of Java Collections in KeY In Proceedings

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Quantum speedup for graph sparsification, cut approximation and Laplacian solving In Proceedings

S.M.G. Apers (Simon) and R.M. de Wolf (Ronald)

Kunstmatige intelligentie wordt beter dankzij cultureel erfgoed - INCT - 17-11-2020 Magazine Article

Erfgoedinstellingen en onderzoeks en kennisorganisaties starten samenwerking rond AI - Spreekbuis - 17-11-2020 Magazine Article

Banken QuSoft en Hogeschool van Amsterdam starten workshop om bedrijven voor te bereiden op kwantumtijdperk - Credit expo - 17-11-2020 Magazine Article

Artificiele intelligentie wordt beter door cultureel erfgoed - Fondsen.org - 17-11-2020 Magazine Article

k-Forrelation Optimally Separates Quantum and Classical Query Complexity Tech Report

N. Bansal (Nikhil) and M. Sinha (Makrand)