Centrum Wiskunde & Informatica

Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs Dissertation

CWI management

A.C. van Hulst (Alan)

September 2016
Likelihood based inference for partially observed renewal processes Lecture

M.N.M. van Lieshout (Marie-Colette)

September 2016
Reducing implementation time for the GUI design-to-code process using DSL Bachelor Thesis

C. Mulder (Charilaos)

September 2016
A formal, resource consumption-preserving translation of actors to Haskell In Proceedings

E. Albert (Elvira), N. Bezirgiannis (Nikolaos), F.S. de Boer (Frank) and E. Martin-Martin (Enrique)

September 2016
Fast and Efficient Asynchronous Neural Computation with Adapting Spiking Neural Networks Tech Report

D. Zambrano (Davide) and S.M. Bohte (Sander)

September 2016
Stochastic convection parameterization Dissertation

Scientific Computing

J. Dorrestijn (Jesse)

September 2016
Short Stickelberger class relations and application to ideal-SVP Tech Report

R.J.F. Cramer (Ronald), L. Ducas (Léo) and B.P.C. Wesolowski (Benjamin)

September 2016
Pulsed positive discharges in air at moderate pressures near a dielectric rod Article

Plasma Sources Science and Technology

A. A. Dubinova (Anna), D.J.M. Trienekens (Dirk), U. Ebert (Ute), S. Nijdam (Sander) and T. Christen

September 2016

Previous

Next