CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Safe Bayesian Linear Regression Tech Report
R. de Heide (Rianne), A.A. Kirichenko (Alisa), N.A. Mehta (Nishant) and P.D. Grünwald (Peter)
October 2019
-
Static local coordination avoidance for distributed objects In Proceedings
T.M. Soethout (Tim), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)
October 2019 -
October 2019 -
October 2019 -
A cone-beam X-ray computed tomography data collection designed for machine learning Article
Scientific Data, 6(1)H.H. Der Sarkissian (Henri), F. Lucka (Felix), M.A.J.M. van Eijnatten (Maureen), G. Colacicco (Giulia), S.B. Coban (Sophia) and K.J. Batenburg (Joost)
October 2019
-
October 2019
-
October 2019 -
Verifying OpenJDK's LinkedList using KeY: Proof Files Software
H.A. Hiep (Hans-Dieter), O. Maathuis (Olaf), J. Bian (Jinting), F.S. de Boer (Frank), M. van Eekelen (Marko) and C.P.T. de Gouw (Stijn)
October 2019