CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
October 2018
-
Compiling protocols to Promela and verifying their LTL properties In Proceedings
B. Lion (Benjamin), S. Chouali (Samir) and F. Arbab (Farhad)
October 2018 -
Klotsend Vloeibaar aardgas: een complexe puzzel - Link Magazine Magazine Article
October 2018
-
A multigrid multilevel Monte Carlo method for transport in the Darcy–Stokes system Article
Journal of Computational Physics, 382-408.P. Kumar (Prashant), P. Luo (Peiyao), F.J. Gaspar (Francisco) and C.W. Oosterlee (Kees)
October 2018 -
Improving mobile video quality through predictive channel quality based buffering In Proceedings
J.W.M. Kleinrouweler (Jan Willem), B. Meixner (Britta), J.W. Bosman (Joost), J.L. van den Berg (Hans), R.D. van der Mei (Rob) and P.S. César Garcia (Pablo Santiago)
October 2018 -
Projected shadowing-based data assimilation Article
SIAM Journal on Applied Dynamical Systems, 17(4), 2446-2477.B.M. de Leeuw (Bart), S. Dubinkina (Svetlana), J.E. Frank (Jason), A. Steyer (Andrew), X. Tu (Xuemin) and E. van Vleck (Erik)
October 2018 -
October 2018
-
October 2018