CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Proving language inclusion and equivalence by coinduction Article
Information and Computation, 62-76.J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2016 -
January 2016 -
Understanding Uncertainty Issues in the Exploration of Fish Counts Book Chapter
E.M.A.L. Beauxis-Aussalet (Emmanuelle) and L. Hardman (Lynda)
January 2016 -
Coalgebraic semantics of heavy-weighted automata In Proceedings
M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2016 -
PERLE - A Method for Misclassification-Aware Data Analysis Unpublished
E.M.A.L. Beauxis-Aussalet (Emmanuelle), L. Hardman (Lynda) and A.P. de Vries (Arjen)
January 2016
-
CLASSEE - a Visualization Tool for Accessible Evaluation of Classification Performance Unpublished
E.M.A.L. Beauxis-Aussalet (Emmanuelle), J. van Doorn (Joost), L. Hardman (Lynda) and M. Welling (Max)
January 2016
-
Incentivizing intelligent customer behavior in smart-grids: a risk-sharing tariff & optimal strategies In Proceedings
G. Methenitis (Georgios), M. Kaisers (Michael) and J.A. La Poutré (Han)
January 2016 -
An algorithm for Komlós Conjecture matching Banaszczyk’s Bound In Proceedings
N. Bansal (Nikhil), D.N. Dadush (Daniel) and S. Garg (Shashwat)
January 2016