Centrum Wiskunde & Informatica

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report

J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

January 2015
Improving contextual suggestions using open web domain knowledge In Proceedings

T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

January 2015
State estimation for random closed sets In Proceedings

M.N.M. van Lieshout (Marie-Colette)

January 2015
Appel à un abandon plus rapide de SHA-1 - LeMagit.fr Magazine Article

M.M.J. Stevens (Marc)

January 2015
Comparison of boundedness and monotonicity properties of one-leg and linear multistep methods Article

Journal of Computational and Applied Mathematics, 159-172.

A. Mozartova (Anna), I. Savostianov (Igor) and W. Hundsdorfer (Willem)

January 2015
Best practice Computer models show the formation of new blood vessels, Knowledge base SurfSara. Magazine Article

R.M.H. Merks (Roeland)

January 2015
Deriving an Emergent Relational Schema from RDF Data In Proceedings

M.-D. Pham (Minh-Duc), P. Linnea, O. Erling (Orri) and P.A. Boncz (Peter)

January 2015
Autonomous Agents and Avatars in REVERIE’s Virtual Environment In Proceedings

A.A.M. Kuijk (Fons), K. Apostolakis, P. Daras (Petros), B. Ravenet, H. Wei and D. Monaghan

January 2015

Previous

Next