CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Ziggy: Characterizing query results for data explorers In Proceedings
September 2016 -
Blaeu: Mapping and navigating large tables with cluster analysis In Proceedings
T.H.J. Sellam (Thibault), C.P. Cijvat (Robin), R.A. Koopmanschap (Richard) and M.L. Kersten (Martin)
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 -
September 2016
-
Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs Dissertation
CWI managementSeptember 2016 -
September 2016
-
Fast and Efficient Asynchronous Neural Computation with Adapting Spiking Neural Networks Tech Report
September 2016
-
September 2016