CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Comparing topic coverage in breadth-first and depth-first crawls using anchor texts In Proceedings
T. Samar (Thaer), M.C. Traub (Myriam), J.R. van Ossenbruggen (Jacco) and A.P. de Vries (Arjen)
January 2016 -
Multigrid method for nonlinear poroelasticity equations Article
Computing and Visualization in Science, 255-265.P. Luo (Peiyao), C. Rodrigo (Carmen), F.J. Gaspar (Francisco) and C.W. Oosterlee (Kees)
January 2016
-
Reduction of computing time for least-squares migration based on the Helmholtz equation by graphics processing units Article
Computational Geosciences, 20(2), 297-315.January 2016
-
Supervisory controller synthesis for product lines using CIF 3 In Proceedings
M.H. ter Beek (Maurice), M.A. Reniers (Michel) and E.P. de Vink (Erik)
January 2016 -
Quantum homomorphic encryption for polynomial-sized circuits In Proceedings
Y.M. Dulek (Yfke), C. Schaffner (Christian) and F. Speelman (Florian)
January 2016 -
January 2016
-
Run-time checking multi-threaded java programs In Proceedings
January 2016 -
Composing constraint automata, state-by-state In Proceedings
S.-S.T.Q. Jongmans (Sung), T.W.J. Kappé (Tobias) and F. Arbab (Farhad)
January 2016