Centrum Wiskunde & Informatica

First principles Book Chapter

Heijmans, H.J.A.M. (Henk J.A.M.)

January 2020
Integral Matrix Gram Root and Lattice Gaussian Sampling Without Floats In Proceedings

L. Ducas (Léo), S. Galbraith (Steven), T. Prest (Thomas) and Y. Yu (Yang)

January 2020
A tutorial on verifying LinkedList using KeY: Proof files Software|Data

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

January 2020
Constreofy tool Software|Data

B. Changizi (Behnaz), N. Kokash (Natallia), F. Arbab (Farhad) and L. Makhnist

January 2020
Uncertainty quantification with dependent inputs: Wind and waves In Proceedings

Eggels, A.W. (Anne W.) and D.T. Crommelin (Daan)

January 2020
MPI-AMRVAC: A parallel adaptive mesh refinement framework Software

H.J. Teunissen (Jannis)

January 2020
Algorithms for Flows over Time with Scheduling Costs In Proceedings

D. Frascaria (Dario) and N.K. Olver (Neil)

January 2020
Adaptive main-memory indexing for high-performance point-polygon joins In Proceedings

A. Kipf (Andreas), H. Lang (Harald), V.N. Pandey (Varun), R.A. Persa (Raul Alexandru), C. Anneser (Christoph), E.T. Zacharatou (Eleni Tzirita), H. Doraiswamy (Harish), P.A. Boncz (Peter), T. Neumann (Thomas) and A. Kemper (Alfons)

January 2020

Previous

Next