CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Proof Pearl: The KeY to Correct and Stable Sorting Article
Journal of Automated Reasoning, 53(2), 129-139.C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)
August 2014
-
From Sensor Data to Audience Feedback: A Web-based Visualisation Tool for Performing Artists Master Thesis
August 2014
-
Van data naar betekenis: Hoe combineer je locatiedata met andere open bronnen? - ICT Magazine Magazine Article
August 2014 -
August 2014
-
August 2014
-
Enriching news for supporting users’ information needs using schema-driven classification of entities and relations Master Thesis
August 2014
-
Fluid limits for bandwidth-sharing networks with rate constraints Article
Mathematics of Operations Research, 746-774.August 2014
-
Sparse Tomographic Reconstruction of Brain Tissue from Serial Section Electron Microscopy In Proceedings
August 2014