Publication

Boundary treatment for fourth-order staggered mesh discretizations of the incompressible Navier-Stokes equations Article

B. Sanderse (Benjamin), R.W.C.P. Verstappen (Roel) and B. Koren (Barry)

Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and R.A. Leal

Collection Network Cable Routing and Wake Losses Optimization in Offshore Wind Farms In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol), P.A.N. Bosman (Peter) and J. Pierik

Neutral Vlasov kinetic theory of magnetized plasmas Tech Report

C. Tronci and E. Camporeale (Enrico)

Optimal parallel quantum query algorithms, Annual European Symposium on Algorithms , Wroclaw, Poland Lecture

R.M. de Wolf (Ronald)

Advances in information retrieval : 36th European conference on IR research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014 : proceedings Proceedings

Editorial — Special issue on multimedia in ecology Article

C. Spampinato (Concetto), V Mezaris, B. Huet and J.R. van Ossenbruggen (Jacco)

eXamine: Exploring annotated modules in networks In Proceedings

K. Dinkla, M. El-Kebir (Mohammed), C.I. Bucur (Cristina-Iulia), M. Siderius, M.J. Smit, M.A. Westenberg and G.W. Klau (Gunnar)