CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2013
-
On the heating dynamics in sparks Presentation
A. Markosyan (Aram), J. Zhang (Jason), B. van Heesch and U. Ebert (Ute)
January 2013 -
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks In Proceedings
C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)
January 2013
-
CWI SWAT & Rascal Presentation
January 2013 -
January 2013
-
Efficient and error-correcting data structures for membership and polynomial evaluation Article
SIAM Journal on complexity, 42(1), 84-111.January 2013
-
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
-
January 2013