CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Abstract behavioral specification: unifying modeling and programming Dissertation
Formal MethodsApril 2018
-
Through the clouds : urban analytics for smart cities Inaugural Lecture
April 2018 -
On the wavelet-based SWIFT method for backward stochastic differential equations Article
IMA Journal of Numerical Analysis, 38(2), 1051-1083.April 2018
-
Mixed inductive-coinductive reasoning : types, programs and logic Dissertation
Computer SecurityApril 2018
-
MC/CWI History Lecture
April 2018
-
Non-iterative computation of Gauss-Jacobi quadrature by asymptotic expansions for large degree Tech Report
April 2018
-
HIPE: HMC Instruction Predication Extension Applied on Database Processing In Proceedings
D. Gomes Tomé (Diego), P.C. Santos (Paulo), L. Carro (Luigi), E.C. de Almeida (Eduardo) and M.A.Z. Alves (Marco)
April 2018
-
City Brain kan helpen stedelijke vraagstukken op te lossen - BI-Platform - 20-04-18 Magazine Article
April 2018