Centrum Wiskunde & Informatica

Proof Pearl: the KeY to correct and stable sorting Article

Journal of Automated Reasoning, 53(2), 129-139.

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)

January 2014
The next boom of big data in biology: multicellular datasets Article

ERCIM News, 11-12.

R.M.H. Merks (Roeland)

January 2014
Pipage Rounding, Pessimistic Estimators and Matrix Concentration In Proceedings

N.J.A. Harvey and N.K. Olver (Neil)

January 2014
Accomplishments in Virtual Reality Lecture

R. van Liere (Robert)

January 2014
Parallel repetition of entangled games with exponential decay via the superposed information cost In Proceedings

A.G. Chailloux (André) and G. Scarpa (Giannicola)

January 2014
A multi-resolution strategy for a multi-objective deformable image registration framework that accommodates large anatomical differences In Proceedings

T. Alderliesten (Tanja), P.A.N. Bosman (Peter), J.-J. Sonke (Jan-Jakob) and A. Bel (Arjan)

January 2014
On the Shadow Simplex Method for Curved Polyhedra Tech Report

D.N. Dadush (Daniel) and N. Hähnle

January 2014
Solving the Shortest Vector Problem in 2^n Time via Discrete Gaussian Sampling Tech Report

D. Aggarwal (Divesh), D.N. Dadush (Daniel), O. Regev (Oded) and N. Stephens-Davidowitz (Noah)

January 2014

Previous

Next