Publications from 2020

Micro-Machinations: A DSL for Game Economies In Proceedings

P. Klint (Paul) and R.A. van Rozen (Riemer)

A Case Study of Trust Issues in Scientific Video Collections In Proceedings

E.M.A.L. Beauxis-Aussalet (Emmanuelle), E. Arslanova (Elvira), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

A Video Processing and Data Retrieval Framework for Fish Population Monitoring In Proceedings

E.M.A.L. Beauxis-Aussalet (Emmanuelle), S. Palazzo, G. Nadarajan, E. Arslanova (Elvira), C. Spampinato (Concetto) and L. Hardman (Lynda)

A monogamy-of-entanglement game with applications to device-independent quantum cryptography Article

M. Tomamichel, S. Fehr (Serge), J. Kaniewski and S.D.C. Wehner (Stephanie)

De berekenbare waarheid Magazine Article

T.F. Sterkenburg (Tom)

Pending Evolution of Grammars In Proceedings

V. Zaytsev (Vadim)

Language Support for Megamodel Renarration In Proceedings

R. Lämmel (Ralf) and V. Zaytsev (Vadim)

Micropatterns in Grammars In Proceedings

V. Zaytsev (Vadim)

Towards frame accurate synchronization in a virtual world client with 3D Tele-Immersive capabilities In Proceedings

R.N. Mekuria (Rufael)

Reactive Turing machines Article

J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

A realistic model under which the genetic code is optimal Article

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), G.W. Klau (Gunnar), C. Schaffner (Christian), D. Speijer (Dave) and L. Stougie (Leen)

A spectral mean for point sampled closed curves. Tech Report

M.N.M. van Lieshout (Marie-Colette)

MonetDB Feb2013-SP5 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)

A Top-N Recommender System Evaluation Protocol Inspired by Deployed Systems In Proceedings

A. Said (Alan), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

Offshore Wind Farm Research at the NWO Institutes Tech Report

J.A.S. Witteveen (Jeroen)

Global Consensus through Local Synchronization (Technical Report) Tech Report

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

Using Semantic Web Technologies to Reproduce a Pharmacovigilance Case Study In Proceedings

M. Hildebrand (Michiel), R. Hoekstra (Rinke) and J.R. van Ossenbruggen (Jacco)

Uncertainty Quantification of a Nonlinear Aeroelastic System Using Polynomial Chaos Expansion With Constant Phase Interpolation Article

A. Desai, J.A.S. Witteveen (Jeroen) and S. Sarkar

Subcell resolution in simplex stochastic collocation for spatial discontinuities Article

J.A.S. Witteveen (Jeroen) and G. Iaccarino (Gianluca)

Deliverable D9.1.2 Publishable Summary Tech Report

L. Nixon (Lyndon)

Oranje boven! Vijf internetcracks uit de Nederlandse klei - PCM Magazine Article

T. Hagen and CWI CWI

'Pioniers moeten soms op de wet vooruitlopen' - Ons Amsterdam Magazine Article

P. Beertema (Piet) and CWI CWI

CWI geeft software vrij voor detectie vervalste digitale handtekeningen - Elektronica Magazine Article

M.M.J. Stevens (Marc)

“Heel bevredigend, en tegelijk een anticlimax” - Observant Universiteit Maastricht Magazine Article

A.M.H. Gerards (Bert)

New Data from T. Marschall et al Illuminate Findings in Bioinformatics - HispanicBusiness.com Magazine Article

T. Marschall (Tobias), G.W. Klau (Gunnar) and A. Schönhuth (Alexander)

What Makes Python A Robust Force On The Internet? - EFYTimes.com Magazine Article

CWI CWI

A realistic model under which the genetic code is optimal Tech Report

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), G.W. Klau (Gunnar), C. Schaffner (Christian), D. Speijer (Dave) and L. Stougie (Leen)

Error bounds for discrete tomography Dissertation

W.R. Fortes (Wagner)

Koninklijke onderscheiding voor hoogleraar Paul Klint - BussumsNieuws Magazine Article

P. Klint (Paul)

Bussumer onderscheiden - Gooi- en Eemlander Magazine Article

P. Klint (Paul)

Boven het onweer - Volkskrant Magazine Article

U. Ebert (Ute)

Approximability of Robust Network Design Article

N.K. Olver (Neil) and F.B. Shepherd (Bruce)

Programmatuur is te vaak onder de maat - de Ingenieur Magazine Article

CWI CWI

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

MiR-137 functions as a tumor suppressor in neuroblastoma by downregulating KDM1A Article

J. Köster (Johannes), Althoff, K. (Kristina), Beckers, A. (Anneleen), Odersky, A. (Andrea), Mestdagh, P. (Pieter), Bray, I.M. (Isabella), Bryan, K. (Kenneth), J. Vandesompele (Jo), F. Speleman (Frank), Stallings, R.L. (Raymond), et al. A. Schramm (Alexander), A. Eggert (Angelika), Sprüssel, A. (Annika) and J.H. Schulte (Johannes)

Stochastic optimal control for a general class of dynamic resource allocation problems Article

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

Corrected phase-type approximations for the workload of the MAP/G/1 queue with heavy-tailed service times In Proceedings

E. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)

Characterizing graphic matroids by a system of linear equations Article

J. Geelen (Jim) and A.M.H. Gerards (Bert)

Onweer: een bron van broeikasgassen en antimaterie Article

C. Köhn (Christoph), M. Nool (Margreet) and U. Ebert (Ute)

Łukasiewicz mu-Calculus Tech Report

M. Mio and A Simpson

Wiskunde toegepast op 'health' en 'finance' - Quadraad Magazine Article

A.I. Borovykh (Anastasia) and C.W. Oosterlee (Kees)

Coalgebraic Characterizations of Context-free Languages Article

J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

PDB 0.4.1 Software

J.J. Vinju (Jurgen), P. Klint (Paul), R.M. Fuhrer (Robert), M.J. Steindorfer (Michael), A. Izmaylova (Anastasia), A.H.S. Bagge (Anya) and P. Hijma

Rascal - Release 0.6.2 Software

P. Klint (Paul), D. Landman (Davy), M.A. Hills (Mark), J.J. Vinju (Jurgen), A. Izmaylova (Anastasia), T. van der Storm (Tijs), A.J. van der Ploeg (Atze), B. Lisser (Bert), A. Afroozeh (Ali), A.H.S. Bagge (Anya), et al. V. Zaytsev (Vadim) and A. Shahi (Ashim)

NAW special issue on Mathematics and Planet Earth Miscellaneous

A long-range self-similarity approach to segmenting DJ mixed music streams In Proceedings

T Scarfe, W.M. Koolen-Wijkstra (Wouter) and Y. Kalnishkan (Yuri)

Binaural Spatialization for 3D immersive audio communication In Proceedings

D. Mauro, R.N. Mekuria (Rufael) and M. Sanna (Michele)

Trinity Alpha, IDE for Derric Software

J. van den Bos (Jeroen)

TRINITY: An IDE for The Matrix In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

Huibregtsenprijs 2013: razendsnel rekenen : Hoe?Zo! Radio NTR, 25.09.2013 [30:34] News Broadcast

C.W. Oosterlee (Kees)

MonetDB Feb2013-SP4 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)

Bounds on the Threshold Gap in Secret Sharing and its Applications Article

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

A functional central limit theorem for a Markov-modulated infinite-server queue Tech Report

D.F. Anderson, J.G. Blom (Joke), M.R.H. Mandjes (Michel), H. Thorsdottir (Halldora) and K.E.E.S deTurck

Nederlandse software herkent en blokkeert vervalste digitale handtekening - Technisch Weekblad Magazine Article

M.M.J. Stevens (Marc)

Rota’s Conjecture: 40-Year-Old Math Problem Solved By Team Of Mathematicians - International Business Times Magazine Article

A.M.H. Gerards (Bert)

Software tegen vervalste digitale handtekeningen - Technisch Weekblad Magazine Article

M.M.J. Stevens (Marc)

Propagation mechanisms of positive streamers in different gases Dissertation

G. Wormeester (Gideon)

Discrete algebraic reconstruction technique: a new approach for superresolution reconstruction of license plates Article

K.Z. Zefreh, W. van Aarle (Wim), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Matroid Theory: Mathematician Solves 40-Year-Old Problem - Science Daily Magazine Article

A.M.H. Gerards (Bert)

HTML+RDFa 1.1, W3C Recommendation Standard

S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellogg (Gregg), I. Herman (Ivan) and S. Pemberton (Steven)

40 year-old math problem solved - The Economic Times (India) Magazine Article

A.M.H. Gerards (Bert)

Wiskunde tegen cyberaanvallen - Science Guide Magazine Article

M.M.J. Stevens (Marc)

Software Able to Detect Forged Digital Signatures - NLTimes.nl Magazine Article

M.M.J. Stevens (Marc)

CWI draait Flame-malware de nek om met unieke tools - Automatiseringgids.nl Magazine Article

M.M.J. Stevens (Marc)

Victoria researcher solves 40 year-old math problem - Kimdotcom Magazine Article

A.M.H. Gerards (Bert)

Rota's Conjecture: Researcher solves 40-year-old math problem - Phys.org Magazine Article

A.M.H. Gerards (Bert)

Normalized Google Distance of Multisets with Applications Tech Report

A.R. Cohen (Andrew) and P.M.B. Vitányi (Paul)

CWI biedt gratis detector voor Flame-virus - Automatiseringgids.nl Magazine Article

M.M.J. Stevens (Marc)

D-Wave's black box starts to open up - Ars Technica Magazine Article

CWI CWI

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

HTML+RDFa 1.1 W3C Recommendation (second) Standard

M. Sporny (Manu), S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellog, I. Herman (Ivan) and M. Birbeck (Mark)

HTML+RDFa 1.1 W3C Recommendation (second) Standard

M. Sporny (Manu), S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellog, I. Herman (Ivan) and S. Pemberton (Steven)

RDFa 1.1 Primer - Second Edition, W3C Note Standard

B. Adida (Ben), I. Herman (Ivan), M. Sporny (Manu) and M. Birbeck (Mark)

RDFa 1.1 Core - Second Edition Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

Data Structures in Classical and Quantum Computing Tech Report

M.J. Fillinger (Max)

collision detection Software

M.M.J. Stevens (Marc)

Counter-cryptanalysis In Proceedings

M.M.J. Stevens (Marc)

On secret sharing with nonlinear product reconstruction Tech Report

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), D. Mirandola (Diego), C. Padró (Carles) and C. Xing (Chaoping)

Bifröst: debugging web applications as a whole Master Thesis

K.B. van der Vlist (Kevin)

Zero-error source-channel coding with entanglement. Tech Report

J. Briët (Jop), H.M. Buhrman (Harry), M. Laurent (Monique), T. Piovesan (Teresa) and G. Scarpa (Giannicola)

Invisible XML In Proceedings

S. Pemberton (Steven)

Reducing electricity consumption peaks with parametrised dynamic pricing strategies given maximal unit prices In Proceedings

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

TPC-H Analyzed: Hidden Messages and Lessons Learned from an Influential Benchmark In Proceedings

P.A. Boncz (Peter), T. Neumann (Thomas) and O. Erling (Orri)

HTML+RDFa 1.1, W3C Recommendation Standard

S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellogg (Gregg), I. Herman (Ivan) and S. Pemberton (Steven)

Toric ideals and diagonal 2-minors Tech Report

A. Katsampekis (Anargyros)

Lazy ETL in Action: ETL Technology Dates Scientific Data In Proceedings

Y. Kargin (Yagiz), M.G. Ivanova (Milena), S. Manegold (Stefan), M.L. Kersten (Martin) and Y. Zhang (Ying)

Zonnecellen op nanoschaal 3D in kaart gebracht - Elektronica Magazine Article

K.J. Batenburg (Joost)

Aandacht meten via huidgeleiding - Science Guide Magazine Article

P.S. César Garcia (Pablo Santiago) and C. Wang (Chen)

Assessing attention levels of spectators - NLTimes.nl Magazine Article

P.S. César Garcia (Pablo Santiago) and C. Wang (Chen)

Computing distances between evolutionary trees Book Chapter

B. DasGupta (Bhaskar), X. He (Xin), T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John), L. Wang (Lusheng) and L. Zhang (Louxin)

Kunstroute op Science Park - Stadsblad Echo Amsterdam ed. Oost I Magazine Article

CWI CWI

BBQ at CWI, 7 July 2016 Online Video

CWI CWI

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)

Informaticastudenten graven het digitale Pompeï op. Magazine Article

G. Alberts (Gerard)

Topics in percolation theory Dissertation

D. Kiss (Demeter)

Custom Block Based Immersive Codec and SC3DMC Standard

R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

Rascal: the Swiss army knife of metaprogramming : lecture held at conference Curry on Rome, 18-19.07.2016 [41:08] Magazine Article

T. van der Storm (Tijs)

m29973: - Custom Block Based Immersive Codec and SC3DMC Standard

R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

PowerTAC cwiBroker Software

B.J. Liefers (Bart) and J. Hoogland (Jasper)

Pulsed and streamer discharges in air above breakdown electric field In Proceedings