Publications from 2017

Restful, Unified Access to the Internet of Things Online Video

S. Pemberton (Steven)

Shearer's point process, the hard-sphere model, and a continuum Lovász local lemma Article

C. Hofer-Temmel (Christoph)

Clustering-based collocation for uncertainty propagation with multivariate dependent inputs Article

A.W. Eggels (Anne), D.T. Crommelin (Daan) and J.A.S. Witteveen (Jeroen)

Algebras, rings and modules: Non-commutative algebras and rings; Volume 2 Book

M. Hazewinkel (Michiel) and N. Gubareni (Nadiya)

Modelling user behaviour at a stochastic road traffic bottleneck In Proceedings

D. van Leeuwen (Daphne) and P.M. van de Ven (Peter)

CRYSTALS - Kyber: A CCA-secure Module-Lattice-Based KEM Article

J.W. Bos (Joppe), L. Ducas (Léo), E. Kiltz (Eike), T. Lepoint (Tancrède), V. Lyubashevsky (Vadim), J.M. Schanck (John), P. Schwabe (Peter), G. Seiler (Gregor) and D. Stehlé (Damien)

Monte-Carlo methods for the pricing of American options: a semilinear BSDE point of view Tech Report

B. Bouchard (Bruno), K.W. Chau (Ki), A. Manai (Arij) and A. Sid-Ali (Ahmed)

Cross-terms allocation of line losses using game theory In Proceedings

S. Sharma (Satish), D. Kiran (Deep) and A.R. Abhyankar (Abhijit)

Verifier-on-a-Leash: New schemes for verifiable delegated quantum computation, with quasilinear resources Tech Report

A. Coladangelo (Andrea), A. Grilo (Alex), S. Jeffery (Stacey) and T. Vidick (Thomas)

Quantum algorithms for graph connectivity and formula evaluation Tech Report

S. Jeffery (Stacey) and S. Kimmel (Shelby)

Equilibrium clumped-isotope effects in doubly substituted isotopologues of ethane Article

M.A. Webb (Michael), Y. Wang (Yimin), B.J. Braams (Bastiaan), J.M. Bowman (Joel) and T.F. Miller III (Thomas)

Monte-Carlo tree search by best arm identification In Proceedings

E. Kaufmann (Emilie) and W.M. Koolen-Wijkstra (Wouter)

Random permutation online isotonic regression In Proceedings

W. Kotłowski (Wojciech), W.M. Koolen-Wijkstra (Wouter) and A. Malek (Alan)

Mean-field limits for multi-hop random-access networks In Proceedings

F. Cecchi, P.M. van de Ven (Peter) and V. Shneer (Seva)

An exploration strategy facing non-stationary agents (JAAMAS paper) In Proceedings

P. Hernandez-Leal (Pablo), Y. Zhan (Yusen), M.E. Taylor (Matthew), E. Munoz de Cote (Enrique) and L.E. Sucar (Enrique)

Impact of network splitting on cascading failure blackouts In Proceedings

F. Sloothaak, S.C. Borst (Sem) and A.P. Zwart (Bert)

A minimum-dissipation time-integration strategy for large-eddy simulation of incompressible turbulent flows In Proceedings

Capuano, F. (Francesco), B. Sanderse (Benjamin), De Angelis, E.M. (Enrico M.) and Coppola, G. (Gennaro)

Sequential posted-price mechanisms with correlated valuations Article

M. Adamczyk (Marek), A. Borodin (Allan), D. Ferraioli (Diodato), B. de Keijzer (Bart) and S. Leonardi (Stefano)

Tight hardness of the non-commutative Grothendieck problem Article

J. Briët (Jop), O. Regev (Oded) and R. Saket (Rishi)

Relativization and interactive proof systems in Parameterized Complexity theory In Proceedings

R.C. Bottesch (Ralph)

Is Seeing Believing? Identifying Aspects of Informative Videos that Indicate Objectivity Master Thesis

H.M. Boots-Blankers (Helen)

Exploring concept representations for concept drift detection In Proceedings

O.L. Becher (Oliver), L. Hollink (Laura) and D. Elliott (Desmond)

Exploring query execution strategies for JIT vectorization and SIMD In Proceedings

T.K. Gubner (Tim) and P.A. Boncz (Peter)

Faster across the PCIe bus: A GPU library for lightweight decompression including support for patched compression schemes In Proceedings

E. Rozenberg (Eyal) and P.A. Boncz (Peter)

Extending SQL for computing shortest paths In Proceedings

D. de Leo (Dean) and P.A. Boncz (Peter)

G-CORE a core for future graph query languages Tech Report

R. Angles Rojas (Renzo), M. Arenas (Marcelo), P. Barceló (Pablo), P.A. Boncz (Peter), G. Fletcher (George), C. Gutierrez (Claudio), T. Lindaaker (Tobias), M. Paradies (Marcus), S. Plantikow (Stefan), J. Sequeda (Juan), et al. O. van Rest (Oskar) and H. Voigt (Hannes)

Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER) In Proceedings

A. Bagnato, K. Barmpis (Konstantinos), N. Bessis (Nik), L.A. Cabrera-Diego (Luis Adrián), J. Di Rocco (Juri), D. Di Ruscio (Davide), T. Gergely (Tamás), S. Hansen (Scott), D.S. Kolovos (Dimitrios), P. Krief (Philippe), et al. I. Korkontzelos (Ioannis), S. Laurière (Stéphane), J.M. Lopez de la Fuente (Jose Manrique), P. Maló (Pedro), R.F. Paige (Richard), D. Spinellis (Diomidis), C. Thomas (Cedric) and J.J. Vinju (Jurgen)

De baan van de bliksem blijkt korte tijd radioactief - NRC NEXT - 23-11-2017 Magazine Article

Nullspace embeddings for outerplanar graphs Book Chapter

L. Lovász (László) and A. Schrijver (Alexander)

A framework for directional and higher-order reconstruction in photoacoustic tomography Tech Report

Y.E. Boink (Yoeri), M.J. Lagerwerf (Rien), W. Steenbergen (Wiendelt), S.A. van Gils (Stephan), S. Manohar (Srirang) and C. Brune (Christoph)

The evolution of electricity price on the German day-ahead market before and after the energy switch In Proceedings

A. Khoshrou (Abdolrahman), E.J. Pauwels (Eric) and A.B. Dorsman (Andre)

Stream differential equations: Specification formats and solution methods Article

H.H. Hansen (Helle), C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

Engineering a ROVER language in GEMOC STUDIO & MONTICORE: A comparison of language reuse support In Proceedings

T.F. Degueule (Thomas), T. Mayerhofer (Tanja) and A. Wortmann (Andreas)

Simulating streamer discharges in 3D with the parallel adaptive Afivo framework Tech Report

H.J. Teunissen (Jannis) and U. M. Ebert (Ute)

Reliable channel-adapted error correction: Bacon-Shor code recovery from amplitude damping Tech Report

Á. Piedrafita (Álvaro) and J.M. Renes (Joseph)

Nudge your Workforce: A Study on the Effectiveness of Task Notification Strategies in Enterprise Mobile Crowdsourcing In Proceedings

S. Bashirieh (Sarah), S. Mesbah (Sepideh), J.A. Redi (Judith), A. Bozzon (Alessandro), Z. Szlàvik (Zoltán) and Robert-Jan Sips (R.-J.)

Robustness of power-law behavior in cascading line failure models Article

F. Sloothaak, S.C. Borst (Sem) and A.P. Zwart (Bert)

JCC-H: Adding Join Crossing Correlations with skew to TPC-H In Proceedings

P.A. Boncz (Peter), A.-C. Anatiotis (Angelos-Christos) and S. Kläbe (Steffen)

Multi-objective optimal operation with demand management and voltage stability In Proceedings

M. Furukakoi (Masahiro), M.M. Sediqi (Masih), S. Chakraborty (Shantanu), M.A.M. Hassan (Mohamed A. Moustafa) and T. Senjyu (Tomonobu)

Fashion, Wearables, and Sensing Audiences in the Amsterdam Dance Event Lecture

D.A. Shamma (David)

Sensing audiences at the Amsterdam Dance Event Lecture

D.A. Shamma (David)

About QoE Lecture

J.A. Redi (Judith)

Programming - we're doing it wrong Lecture

S. Pemberton (Steven)

4 a.m. is the new midnight (and other internet philosophies) Lecture

S. Pemberton (Steven)

On the Descriptions of Data Lecture

S. Pemberton (Steven)

CWI – History Lecture

S. Pemberton (Steven)

The Future of Programming Lecture

S. Pemberton (Steven)

Programming - we're doing it wrong Lecture

S. Pemberton (Steven)

An Architecture for Unified Access to the Internet of Things Lecture

S. Pemberton (Steven)

A Game in XForms Lecture

S. Pemberton (Steven)

Decentral Web at Hackers & Designers Lecture

S. Pemberton (Steven)

Restful, Unified Access to the Internet of Things Lecture

S. Pemberton (Steven)

CWI History Lecture

S. Pemberton (Steven)

Computers en evolutie Lecture

S. Pemberton (Steven)

On the 60th Anniversary of the First Municipal Computer Lecture

S. Pemberton (Steven)

Interaktive Multimedia-Anwendungen Lecture

B. Meixner (Britta)

Delivering Stable and High Quality Video using DASH Assisting Network Elements Lecture

J.W.M. Kleinrouweler (Jan Willem)

Igor and Iotsa: Creating Appliances for Restful, Unified Access Lecture

A.J. Jansen (Jack)

Publishing@W3C Lecture

I. Herman (Ivan)

Publishing@W3C Lecture

I. Herman (Ivan)

Sensing Engagement: Physiological Sensors and the Creative Industries Lecture

P.S. Cesar Garcia (Pablo Santiago)

Sensing the Audience: Connecting Fashion, Senses, and Spaces Lecture

P.S. Cesar Garcia (Pablo Santiago)

Sensing Engagement: Helping Performers to Evaluate their Impact Lecture

P.S. Cesar Garcia (Pablo Santiago)

Experience Aware Networking Lecture

S. Cabrero Barros (Sergio)

Smart Textiles go Clubbing: Sensing Audience at the Amsterdam Dance Event Lecture

S. Cabrero Barros (Sergio)

Deep Tweaking: Techniques for Measuring Semantic Engagement Lecture

D.C.A. Bulterman (Dick)

Efficient computation in adaptive artificial spiking neural networks Tech Report

D. Zambrano (Davide), R.B.P. Nusselder (Roeland), H.S. Scholte and S.M. Bohte (Sander)

Editorial: Artificial neural networks as models of neural information processing Editorial

M. van Gerven (Marcel) and S.M. Bohte (Sander)

Visual pathways from the perspective of cost functions and multi-task deep neural networks Article

H.S. Scholte, M.M. Losch (Max), K. Ramakrishnan (Kandan), E.H.F. de Haan (Edward) and S.M. Bohte (Sander)

Ring artifact reduction in synchrotron X-ray tomography through helical acquisition Article

D.M. Pelt (Daniël) and D.Y. Parkinson (Dilworth)

Sparse Bayesian Inference & Uncertainty Quantification for Inverse Imaging Problems Lecture

F. Lucka (Felix)

A hierarchical Bayesian perspective on majorization-minimization for non-convex sparse regression: Application to M/EEG source imaging Tech Report

Y. B. Yousra (Bekhti), F. Lucka (Felix), J. Salmon (Joseph) and A. Gramfort (Alexandre)

Les 10 hacks les plus marquants de l'année 2017 - 01net.com - 28-12-17 Online Video

Nonlinear problems in fast tomography In Proceedings

W.R.B. Lionheart (William) and S.B. Coban (Sophia)

Two queues with random time-limited polling Article

M. Saxena (Mayank), O.J. Boxma (Onno), S. Kapodistria (Stella) and R. Núñez Queija (Rudesindo)

Utility optimization framework for a distributed traffic control of urban road networks Article

T. Le (Tung), H.L. Vu (Hai), N. Walton, S.P. Hoogendoorn (Serge), P. Kovacs and R. Núñez Queija (Rudesindo)

A novel tomographic reconstruction method based on the robust Student's t function for suppressing data outliers Article

D. Kazantsev (Daniil), F. Bleichrodt (Folkert), T. van Leeuwen (Tristan), P.J. Withers (Philip), K.J. Batenburg (Joost) and P.D. Lee (Peter)

Bringing modern mathematical modeling to orientation imaging for material science Article

N.R. Viganò (Nicola)

Numerical approximation of time-fractional differential equations Dissertation

Zhou, Han

Economentop 40 2017 - ESB Digitaal - 21-12-2017 Magazine Article

WWW.wat? - Uitgeverij De Vier Windstreken - 01-12-2017 Magazine Article

De dreiging van quantumcomputers - Tweakers.net - 02-12-2017 Online Video

Op stap met een deeltjesdetector - NRC NEXT - 02-12-2017 Magazine Article

Op stap met een deeltjesdetector - NRC Handelsblad - 02-12-2017 Magazine Article

Het krachtigste wapen in een cyberoorlog - New Scientist - 31-12-2017 Magazine Article

Joost Batenburg ontvangt Nederlandse prijs voor ICT-onderzoek 2018 - Nationale Onderwijsgids - 04-12-2017 Magazine Article

Prijs voor hoogleraar Batenburg - Leidsch Dagblad - 06-12-2017 Magazine Article

Nederlandse internetpionier gelauwerd - Computer Idee - 12-12-2017 Magazine Article

CWI valt vanaf 2018 onder Stichting NWO-I - Computable - 15-12-2017 Online Video

On the construction of the first collision for SHA-1 Lecture

M.M.J. Stevens (Marc)

On the construction of the first collision for SHA-1 Lecture

M.M.J. Stevens (Marc)

On the construction of the first collision for SHA-1 Lecture

M.M.J. Stevens (Marc)

On the construction of the first collision for SHA-1 Lecture

M.M.J. Stevens (Marc)

Second order statistical behavior of LLL and BKZ In Proceedings

Y. Yu (Yang) and L. Ducas (Léo)

Batenburg wint prijs voor algoritmes - Computable - 07-12-2017 Online Video

NWO concentreert instituten - C2W Chemisch 2 - 08-12-2017 Magazine Article

ICT-prijs naar geavanceerde tomografie-algoritmes - Bits&Chips - 05-12-2017 Magazine Article

Quantum computing: the new frontier - Amsterdam Science - 12-12-2017 Magazine Article

De ongekende waarde van software - AG Connect - 31-12-2017 Magazine Article