Publications from 2015

Hoe bestrijd je malaria, slaapziekte en de ziekte van Lyme? - Quest ExperimentNL Magazine Article

H.M. Buhrman (Harry)

Hoe wiskundigen alledaagse problemen op weten te lossen: Wetenschap helpt! - Quest ExperimentNL Magazine Article

R.D. van der Mei (Rob)

Combining monitoring with run-time assertion checking Dissertation

C.P.T. de Gouw (Stijn)

Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation

G. Caltais (Georgiana)

Promovendus vindt fouten in Java - Automatiseringgids.nl Magazine Article

C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl Magazine Article

C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

CWI sluit zich aan bij Chinees-Europees netwerk - Bits&Chips Magazine Article

CWI CWI, R.J.F. Cramer (Ronald), F. Arbab (Farhad) and F.S. de Boer (Frank)

A method for estimation of redial and reconnect probabilities in call centers In Proceedings

S. Ding (Sihan), G.M. Koole (Ger) and R.D. van der Mei (Rob)

CWI start Big Data-adviesbedrijf - Automatisering Gids Magazine Article

Y.Q. Zhang (Yingqian (Jennie))

Rewards, costs and flexibility in dynamic resource allocation: a stochastic optimal control approach Article

X. Gao, Y. Lu, M. Sharma, M.S. Squillante (Mark) and J.W. Bosman (Joost)

A quality of experience testbed for video-mediated group communication In Proceedings

M.R. Schmitt (Marwin), S.N.B. Gunkel (Simon) and P.S. César Garcia (Pablo Santiago)

Presenting Distributive Laws In Proceedings

M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)

Grootschalig rekenen in de getaltheorie Article

H.J.J. te Riele (Herman)

Finite-Difference Methods for Extremely Anisotropic Diffusion Book Chapter

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Applying a Splitting Technique to Estimate Electrical Grid Reliability In Proceedings

W.S. Wadman (Wander), D.T. Crommelin (Daan) and J.E. Frank (Jason)

Implementation of a coroutine-based compiler for the RASCAL language. Software

A. Izmaylova (Anastasia) and P. Klint (Paul)

Conic approach to quantum graph parameters using linear optimization over the completely positive semidefinite cone Tech Report

M. Laurent (Monique) and T. Piovesan (Teresa)

CTRex Software

A.J. van der Ploeg (Atze)

Understanding information update in questionnaires Article

D.J.N. van Eijck (Jan) and T. van der Storm (Tijs)

Towards multilingual programming environments Article

T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

M3: An Open Model for Measuring Code Artifacts Tech Report

A. Izmaylova (Anastasia), P. Klint (Paul), A. Shahi (Ashim) and J.J. Vinju (Jurgen)

On quantum Rényi Entropies: A New Generalization and some Properties Article

M. Mueller-Lennert, F. Dupuis (Frédéric), O. Szehr, S. Fehr (Serge) and M. Tomamichel

Bounding the Inefficiency of Altruism Through Social Contribution Games In Proceedings

M.M. Rahn (Mona) and G. Schäfer (Guido)

PRODEMO Software

D.J.N. van Eijck (Jan)

Action Emulation BGetween Canonical Models Article

F.A.G. Sietsma (Floor) and D.J.N. van Eijck (Jan)

The Design and Implementation of Modern Column-Oriented Database Systems Article

D. Abadi, P.A. Boncz (Peter), S. Idreos (Stratos), S. Harizopoulos and S. Madden (Samuel)

Tail asymptotics of a Markov-modulated infinite-server queue Tech Report

J.G. Blom (Joke), K. de Turck (Koen), O. Kella and M.R.H. Mandjes (Michel)

MonetDB Feb2013-SP6 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), E. Sidirourgos (Eleftherios), H. Pirk (Holger), et al. M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), H.F. Mühleisen (Hannes), S. A. B. C. Héman (Sándor) and K. Kyzirakos (Konstantinos)

An Invisible Gorilla: Is It a Matter of Focus of Attention? In Proceedings

C. Wang (Chen), P.S. César Garcia (Pablo Santiago) and E. Geelhoed (Erik)

Construction strategies and lifetime uncertainties for nuclear projects: A real option analysis Article

S. Jain (Shashi), F. Roelofs (Ferry) and C.W. Oosterlee (Kees)

Fast Tomographic Reconstruction From Limited Data Using Artificial Neural Networks Article

D.M. Pelt (Daniël) and K.J. Batenburg (Joost)

Data fusion software for Firesense Software

E.B. Ranguelova (Elena)

CWI deelt software voor fraude-analyse - CIO Chief Information Officer Magazine Article

M.M.J. Stevens (Marc)

Duurzame IT dicht bij huis - CIO Chief Information Officer Magazine Article

P.A.N. Bosman (Peter)

Algorithmic Identification of Probabilities Tech Report

Quantum entanglement in non-local games, graph parameters and zero-error information theory Dissertation

G. Scarpa (Giannicola)

Scientific discovery through weighted sampling In Proceedings

E. Sidirourgos (Eleftherios), M.L. Kersten (Martin) and P.A. Boncz (Peter)

Combinatorial conditions for low rank solutions in semidefinite programming Dissertation

A. Varvitsiotis (Antonios)

Innovatiekaart van Nederland - Elsevier Magazine Article

CWI CWI

CWI start Big Data-adviesbedrijf 'MonetDB Solutions' Magazine Article

M.L. Kersten (Martin), Y. Zhang (Ying), K.S. Mullender (Sjoerd) and N.J. Nes (Niels)

Breinbreker - de Ingenieur Magazine Article

CWI CWI

CWI start database-spin off MonetDB Solutions - Computable.nl Magazine Article

Y.Q. Zhang (Yingqian (Jennie))

CWI start Big Data-adviesbedrijf 'MonetDB Solutions' - Automatiseringgids.nl Magazine Article

Y.Q. Zhang (Yingqian (Jennie))

Graph parameters and invariants of the orthogonal group Dissertation

G. Regts (Guus)

Gratis kennis voor de wereld - de Groene Amsterdammer Magazine Article

K.R. Apt (Krzysztof)

Het moment - Folia Magazine Magazine Article

P. Beertema (Piet), CWI CWI and T. Hagen

We zitten alweer 25 jaar op het internet - dagelijksestandaard.nl Magazine Article

P. Beertema (Piet) and CWI CWI

CWI viert dat Nederland 25 jaar online is - Telecompaper Magazine Article

P. Beertema (Piet) and CWI CWI

Internet in Nederland viert 25e verjaardag - RD.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Jubileum: 25 jaar internet in Nederland - OCM Magazine Article

P. Beertema (Piet) and CWI CWI

'Web misschien wel beter dan seks' - WTF.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Internet in Nederland viert vijfentwintigste verjaardag - tweakers Magazine Article

P. Beertema (Piet) and CWI CWI

Nederland internet al kwart eeuw - Spitsnieuws Magazine Article

P. Beertema (Piet) and CWI CWI

Nederland internetland: 25 jaar online - NUtech.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Nederland 25 jaar aangesloten op internet - nu.nl Magazine Article

P. Beertema (Piet) and CWI CWI

25 jaar internet in Nederland - een kwestie van goed 'netwerken' - nrc.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Nederland 25 jaar op internet - de Stentor Magazine Article

P. Beertema (Piet) and CWI CWI

Nederlands internet viert vandaag 25e verjaardag - Apparata Magazine Article

P. Beertema (Piet) and CWI CWI

25 Jaar internet : item in Hart van Nederland (SBS6), 17-11-2013 [2:40] News Broadcast

P. Beertema (Piet) and CWI CWI

25 jaar internet in Nederland - NOS OOG Zaterdag News Broadcast

P. Beertema (Piet) and CWI CWI

De man die ons aansloot op het web : Pionier: 25 jaar geleden opende Piet Beertema in Amsterdam de eerste trans-Atlantische internetverbinding [Parool, 16-11-2013] Magazine Article

P. Beertema (Piet) and CWI CWI

Minimal mobile human computer interaction Dissertation

A. El Ali (Abdallah)

De 25ste verjaardag van internet - Noordhollands Dagblad Magazine Article

P. Beertema (Piet) and CWI CWI

Digitale wereld verscheen onopgemerkt - Leidsch Dagblad Magazine Article

P. Beertema (Piet) and CWI CWI

De 25ste verjaardag van internet - Gooi- en Eemlander Magazine Article

P. Beertema (Piet) and CWI CWI

Internet is jarig en iedereen komt - Barneveldse Krant Magazine Article

P. Beertema (Piet) and CWI CWI

Onopgemerkt internet [Haarlems Dagblad, 15-11-2013] Magazine Article

P. Beertema (Piet) and CWI CWI

Internet is jarig en iedereen komt - Telegraaf.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Aartsvaders (m/v) van het Nederlandse internet - Netkwesties Magazine Article

P. Beertema (Piet), CWI CWI, T. Hagen and D.C.A. Bulterman (Dick)

Internet is jarig om 14.28 uur - de Stentor Magazine Article

P. Beertema (Piet) and CWI CWI

Deliverable D4.5 Content and Concept Filter v2 Tech Report

D. Stein (Daniel) and et al.

De man die ons aansloot op de wereld - Algemeen Dagblad Magazine Article

P. Beertema (Piet) and CWI CWI

25 jaar internet in Nederland - BRIGHT.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Fast and Revenue-oriented Protection of Radial LV Cables with Smart Battery Operation In Proceedings

S. Ramezani (Sara), N.F. Höning (Nicolas) and J.A. La Poutré (Han)

On the usefulness of linkage processing for solving MAX-SAT In Proceedings

K.L. Sadowski (Krzysztof), P.A.N. Bosman (Peter) and D. Thierens (Dirk)

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

Subjective testing of multi-party tele meetings: testbed and symmetric delay study Standard

M.R. Schmitt (Marwin), S.N.B. Gunkel (Simon) and P. Hughes (Peter)

Fluid Approximation of a Call Center Model with Redials and Reconnects Tech Report

S. Ding (Sihan), M. Frolkova (Masha), R.D. van der Mei (Rob) and A.P. Zwart (Bert)

FJD Software

N.F. Höning (Nicolas)

Rational Operational Models In Proceedings

S. Milius, M.M. Bonsangue (Marcello), R.S.R. Meyers and J.C. Rot (Jurriaan)

Efficient Spike-Coding with Multiplicative Adaptation in a Spike Response Model In Proceedings

S.M. Bohte (Sander)

HMap Software

A.J. van der Ploeg (Atze)

CWI viert 25 jaar internet - Computable.nl Magazine Article

P. Beertema (Piet) and CWI CWI

Gratis kennis voor de wereld Article

K.R. Apt (Krzysztof) and W.J. Fokkink (Wan)

Wetenschappelijke uitgeverijen onder druk Article

K.R. Apt (Krzysztof) and W.J. Fokkink (Wan)

An alternative proof of a PTAS for fixed-degree polynomial optimization over the simplex Tech Report

E. de Klerk (Etienne), M. Laurent (Monique) and Z. Sun (Zhao)

25 Jaar internet : NOS item, 17-11-2013 [2:01] News Broadcast

P. Beertema (Piet) and CWI CWI

eXamine: a Cytoscape app for exploring annotated modules in networks Software

K. Dinkla, M. El-Kebir (Mohammed), G.W. Klau (Gunnar) and M.A. Westenberg

A J-function for inhomogeneous spatio-temporal point processes Tech Report

O.J.A. Cronie (Ottmar) and M.N.M. van Lieshout (Marie-Colette)

StochPy: A Comprehensive, User-Friendly Tool for Simulating Stochastic Biological Processes Article

T.R. Maarleveld (Timo), B.G. Olivier (Brett) and F.J. Bruggeman (Frank)

Partially-Distributed Coordination with Reo (Technical Report) Tech Report

S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco) and F. Arbab (Farhad)

Computation of the Marcum Q-function Article

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Uncertainty propagation in neuronal dynamical systems Tech Report

A. Torres Valderrama (Aldemar) and J.G. Blom (Joke)

Shell haalt Indiaas talent naar Nederlandse polders - Shell Venster Magazine Article

D. Bhaumik (Debarati) and CWI CWI

Safe Specification of Operator Precedence Rules In Proceedings

A. Afroozeh (Ali), M.G.J. van den Brand (Mark), A. Johnstone (Adrian), E. Scott (Elizabeth) and J.J. Vinju (Jurgen)

On Logical Depth and the Running Time of Shortest Programs Tech Report

L.F. Antunes (Luis), A. Souto (André) and P.M.B. Vitányi (Paul)

An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging Article

V. Robu (Valentin), E.H. Gerding (Enrico), S. Stein (Sebastian), D.C. Parkes (David), A. Rogers (Alex) and N. Jennings

Deliverable D6.2 Scenario Demonstrators Tech Report

L. Nixon (Lyndon), M. Hildebrand (Michiel) and et al.

Introduction to information retrieval : 2-hour lecture, held at Amsterdam University of Applied Sciences (HvA) on October 16th, 2013 Lecture

C. Eickhoff (Carsten)

Deliverable D4.4 User profile and contextual adaptation Tech Report

D. Tsatsou (Dorothea) and et al.