CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A data-driven multi-cloud model for stochastic parametrization of deep convection Article
Philosophical Transactions of the Royal Society A , 1-23.J. Dorrestijn (Jesse), D.T. Crommelin (Daan), J.A. Biello and S.J. Böing
January 2013
-
Automatic equivalence proofs for non-deterministic coalgebras Article
Science of Computer Programming, 1324-1345.M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2013
-
Stream processing coalgebraically Article
Science of Computer Programming, 78(11), 2192-2215.January 2013
-
Varieties and covarieties of languages (preliminary version) In Proceedings
J.J.M.M. Rutten (Jan), A. Ballester-Bolinches and E. Cosme-Llopez
January 2013
-
Coinductive proof techniques for language equivalence In Proceedings
J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2013
-
Harnessing Mathematics for Improved Ontology Alignment In Proceedings
January 2013 -
January 2013
-
Market Garden Software
January 2013