Publication

CWI verhelpt bug in Java met formele methoden - Computable Magazine Article

C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

Uitnodiging aanvaarding ambt hoogleraar Universiteit Leiden, 27.02.2015 Other

A learning rule that explains how rewards teach attention Article

J.O. Rombouts (Jaldert), S.M. Bohte (Sander), J. Martinez-Trujillo and P.R. Roelfsema (Pieter)

A design pattern for optimizations in data intensive applications using ABS and JAVA 8 Article

V.N. Serbanescu (Vlad), K. Azadbakht (Keyvan), F.S. de Boer (Frank), C. Nagarajagowda (Chetan) and B. Nobakht (Behrooz)

SV-AUTOPILOT: optimized, automated construction of structural variation discovery and benchmarking pipelines Article

W.Y. Leung, T. Marschall (Tobias), Y. Paudel, L. Falquet, H. Mei (Hailiang), A. Schönhuth (Alexander) and T.Y. Maoz

An Efficient Heuristic for Real-Time Ambulance Redeployment Article

C.J. Jagtenberg (Caroline), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Network Support for Social 3-D Immersive Tele-Presence with Highly Realistic Natural and Synthetic Avatar Users In Proceedings

R.N. Mekuria (Rufael), A. Frisiello (Antonella), M Pasin (Marco) and P.S. César Garcia (Pablo Santiago)

A formal method for rule analysis and validation in distributed data aggregation service Article

V.N. Serbanescu (Vlad), F. Pop, V. Cristea and G. Antoniu