Publication

Erasable PUFs: Formal treatment and generic design In Proceedings

C. Jin (Chenglu), W. Burleson (Wayne), M.E. van Dijk (Marten) and U. Rührmair (Ulrich)

Rekenregels voor quantumcomputers - De Ingenieur - 13-11-2020 Magazine Article

Non-linearly stable reduced-order models for incompressible flow with energy-conserving finite volume methods Article

B. Sanderse (Benjamin)

eFLINT: a domain-specific language for executable norm specifications In Proceedings

L.T. van Binsbergen (Thomas), L.-C. Liu (Lu-Chi), van Doesburg (Robert) and T. van Engers (Tom)

Banken, QuSoft en Hogeschool van Amsterdam starten workshop om bedrijven voor te bereiden op kwantumtijdperk - NVB - 16-11-2020 Magazine Article

Artificiële Intelligentie wordt beter door cultureel erfgoed - KNAW - 16-11-2020 Magazine Article

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

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

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