Publications from 2023
-
December 2013
-
Hoe wiskundigen alledaagse problemen op weten te lossen: Wetenschap helpt! - Quest ExperimentNL Magazine Article
December 2013 -
Combining monitoring with run-time assertion checking Dissertation
Computer SecurityDecember 2013 -
Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation
Computer SecurityDecember 2013 -
Promovendus vindt fouten in Java - Automatiseringgids.nl Magazine Article
December 2013 -
Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl Magazine Article
December 2013 -
CWI sluit zich aan bij Chinees-Europees netwerk - Bits&Chips Magazine Article
December 2013 -
December 2013
-
CWI start Big Data-adviesbedrijf - Automatisering Gids Magazine Article
December 2013 -
Rewards, costs and flexibility in dynamic resource allocation: a stochastic optimal control approach Article
ACM SIGMETRICS Performance Evaluation Review, 41(3), 61-63.December 2013 -
December 2013
-
Presenting Distributive Laws In Proceedings
December 2013 -
Grootschalig rekenen in de getaltheorie Article
Nieuw Archief voor Wiskunde, 14(4), 236-243.December 2013 -
December 2013
-
December 2013
-
December 2013
-
December 2013
-
CTRex Software
December 2013 -
Understanding information update in questionnaires Article
Science of Computer Programming, 1-6.December 2013 -
Towards multilingual programming environments Article
Science of Computer Programming, 1-7.December 2013 -
M3: An Open Model for Measuring Code Artifacts Tech Report
December 2013 -
On quantum Rényi Entropies: A New Generalization and some Properties Article
Journal of Mathematical PhysicsDecember 2013 -
December 2013
-
PRODEMO Software
December 2013 -
Action Emulation BGetween Canonical Models Article
Journal of Philosophical Logic, 42(6), 905-925.December 2013 -
The Design and Implementation of Modern Column-Oriented Database Systems Article
Foundations and Trends in Databases, 5(3), 197-280.December 2013 -
December 2013
-
MonetDB Feb2013-SP6 bugfix release Software
December 2013 -
An Invisible Gorilla: Is It a Matter of Focus of Attention? In Proceedings
December 2013 -
Construction strategies and lifetime uncertainties for nuclear projects: A real option analysis Article
Nuclear Engineering and Design, 319-329.December 2013 -
Fast Tomographic Reconstruction From Limited Data Using Artificial Neural Networks Article
IEEE Transactions on Image Processing, 22(12), 5238-5251.December 2013 -
Data fusion software for Firesense Software
December 2013 -
November 2013
-
Duurzame IT dicht bij huis - CIO Chief Information Officer Magazine Article
November 2013 -
Algorithmic Identification of Probabilities Tech Report
November 2013 -
Quantum entanglement in non-local games, graph parameters and zero-error information theory Dissertation
Algorithms and ComplexityNovember 2013 -
Scientific discovery through weighted sampling In Proceedings
November 2013 -
Combinatorial conditions for low rank solutions in semidefinite programming Dissertation
Networks and OptimizationNovember 2013 -
Innovatiekaart van Nederland - Elsevier Magazine Article
November 2013 -
CWI start Big Data-adviesbedrijf 'MonetDB Solutions' Magazine Article
November 2013 -
Breinbreker - de Ingenieur Magazine Article
November 2013 -
CWI start database-spin off MonetDB Solutions - Computable.nl Magazine Article
November 2013 -
November 2013
-
Graph parameters and invariants of the orthogonal group Dissertation
CWI managementNovember 2013 -
Gratis kennis voor de wereld - de Groene Amsterdammer Magazine Article
November 2013 -
Het moment - Folia Magazine Magazine Article
November 2013 -
We zitten alweer 25 jaar op het internet - dagelijksestandaard.nl Magazine Article
November 2013 -
CWI viert dat Nederland 25 jaar online is - Telecompaper Magazine Article
November 2013 -
Internet in Nederland viert 25e verjaardag - RD.nl Magazine Article
November 2013 -
Jubileum: 25 jaar internet in Nederland - OCM Magazine Article
November 2013 -
'Web misschien wel beter dan seks' - WTF.nl Magazine Article
November 2013 -
Internet in Nederland viert vijfentwintigste verjaardag - tweakers Magazine Article
November 2013 -
Nederland internet al kwart eeuw - Spitsnieuws Magazine Article
November 2013 -
Nederland internetland: 25 jaar online - NUtech.nl Magazine Article
November 2013 -
Nederland 25 jaar aangesloten op internet - nu.nl Magazine Article
November 2013 -
November 2013
-
Nederland 25 jaar op internet - de Stentor Magazine Article
November 2013 -
Nederlands internet viert vandaag 25e verjaardag - Apparata Magazine Article
November 2013 -
November 2013
-
25 jaar internet in Nederland - NOS OOG Zaterdag News Broadcast
November 2013 -
November 2013
-
Minimal mobile human computer interaction Dissertation
Human-Centered Data AnalyticsNovember 2013 -
De 25ste verjaardag van internet - Noordhollands Dagblad Magazine Article
November 2013 -
Digitale wereld verscheen onopgemerkt - Leidsch Dagblad Magazine Article
November 2013 -
De 25ste verjaardag van internet - Gooi- en Eemlander Magazine Article
November 2013 -
Internet is jarig en iedereen komt - Barneveldse Krant Magazine Article
November 2013 -
Onopgemerkt internet [Haarlems Dagblad, 15-11-2013] Magazine Article
November 2013 -
Internet is jarig en iedereen komt - Telegraaf.nl Magazine Article
November 2013 -
Aartsvaders (m/v) van het Nederlandse internet - Netkwesties Magazine Article
November 2013 -
Internet is jarig om 14.28 uur - de Stentor Magazine Article
November 2013 -
Deliverable D4.5 Content and Concept Filter v2 Tech Report
November 2013 -
De man die ons aansloot op de wereld - Algemeen Dagblad Magazine Article
November 2013 -
25 jaar internet in Nederland - BRIGHT.nl Magazine Article
November 2013 -
Fast and Revenue-oriented Protection of Radial LV Cables with Smart Battery Operation In Proceedings
November 2013 -
On the usefulness of linkage processing for solving MAX-SAT In Proceedings
November 2013 -
Improving Counter-Cryptanalysis Lecture
November 2013 -
November 2013
-
November 2013
-
FJD Software
November 2013 -
Rational Operational Models In Proceedings
November 2013 -
November 2013
-
HMap Software
November 2013 -
CWI viert 25 jaar internet - Computable.nl Magazine Article
November 2013 -
Gratis kennis voor de wereld Article
De Groene Amsterdammer, 137(47), 18-21.November 2013 -
Wetenschappelijke uitgeverijen onder druk Article
De Groene AmsterdammerNovember 2013 -
An alternative proof of a PTAS for fixed-degree polynomial optimization over the simplex Tech Report
November 2013 -
25 Jaar internet : NOS item, 17-11-2013 [2:01] News Broadcast
November 2013 -
November 2013
-
November 2013
-
StochPy: A Comprehensive, User-Friendly Tool for Simulating Stochastic Biological Processes Article
PLoS ONE, 8(11)November 2013 -
November 2013
-
Computation of the Marcum Q-function Article
ACM Transactions on Mathematical Software, 1(1), 1-20.November 2013 -
November 2013
-
Shell haalt Indiaas talent naar Nederlandse polders - Shell Venster Magazine Article
October 2013 -
Safe Specification of Operator Precedence Rules In Proceedings
October 2013 -
October 2013
-
An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging Article
Journal of Artificial Intelligence ResearchOctober 2013 -
Deliverable D6.2 Scenario Demonstrators Tech Report
October 2013 -
October 2013
-
October 2013