Publications from 2017

FHEW Software

L. Ducas (Léo)

Optimising and recognising 2-stage delivery chains with time windows In Proceedings

F. Phillipson (Frank), M. Ortega del Vecchyo (Max), B. van Ginkel (Bart), D. Huizing (Dylan) and A. Sangers (Alex)

Framework of synchromodal transportation problems In Proceedings

M. de Juncker (Myrte), D. Huizing (Dylan), M. Ortega del Vecchyo (Max), F. Phillipson (Frank) and A. Sangers (Alex)

Improved tomographic reconstruction of large-scale real-world data by filter optimization Article

D.M. Pelt (Daniël) and V. De Andrade

MonetDBLite-R Software

H.F. Mühleisen (Hannes)

MonetDBLite-C Software

H.F. Mühleisen (Hannes)

Seashell_project Software

H.H. Der Sarkissian (Henri)

PDM Software

H.H. Der Sarkissian (Henri)

Flexbox Software

J. Buurlage (Jan-Willem)

Tool support Book Chapter

H. ter Doest, D. van Leeuwen (Diederik), P. Fennema (Peter), L.W.N. van der Torre (Leon), A.W Stam, A.W. (Andries), J. Jacob and F. Arbab (Farhad)

A database system with amnesia In Proceedings

8th Biennial Conference on Innovative Data Systems Research, CIDR 2017 and E. Sidirourgos (Eleftherios)

Pamdi3D Software

H.J. Teunissen (Jannis)

Bulk Software

J. Buurlage (Jan-Willem) and T.R. Bannink (Tom)

Smart-phone based spatio-temporal sensing for annotated transit map generation In Proceedings

S. Ghosh (Surjya), R. Verma (Rohit), N. Ganguly (Niloy), B. Mitra (Bivas) and S. Chakraborty (Sandip)

Towards designing an intelligent experience sampling method for emotion detection In Proceedings

S. Ghosh (Surjya), N. Ganguly (Niloy), B. Mitra (Bivas) and P. De (Pradipta)

Evaluating effectiveness of smartphone typing as an indicator of user emotion In Proceedings

S. Ghosh (Surjya), N. Ganguly (Niloy), B. Mitra (Bivas) and P. De (Pradipta)

Emotion-aware computing using smartphone In Proceedings

S. Ghosh (Surjya)

TapSense: Combining self-report patterns and typing characteristics for smartphone based emotion detection In Proceedings

S. Ghosh (Surjya), N. Ganguly (Niloy), B. Mitra (Bivas) and P. De (Pradipta)

Potential-Function Proofs for First-Order Methods Tech Report

N. Bansal (Nikhil) and A. Gupta (Anupam)

New Tools and Connections for Exponential-Time Approximation Tech Report

N. Bansal (Nikhil), P. Chalermsook (Parinya), B. Laekhanukit (Bundit), D. Nanongkai (Danupon) and J. Nederlof (Jesper)

Catalytic Decoupling of Quantum Information Article

C. Majenz (Christian), M. Berta (Mario), F. Dupuis, R. Renner and M. Christandl (Matthias)

Quantum non-malleability and authentication Article

G. Alagic (Gorjan) and C. Majenz (Christian)

Mimetic staggered discretization of incompressible Navier–Stokes for barycentric dual mesh In Proceedings

A nonlinear flux approximation scheme for the viscous Burgers equation In Proceedings

N. Kumar, J.H.M. ten Thije Boonkkamp, B. Koren (Barry) and A. Linke

Moisture-induced buckling of paper sheets, analysis and simulation Article

R. De Böck, A.A.F. Ven de Ven, L.H. Saes, J.M.L. Maubach and B. Koren (Barry)

Infotaxis in a turbulent 3D channel flow Article

A.W. Eggels (Anne), R.P.J. Kunnen, B. Koren (Barry) and A.S. Tijsseling

An acoustic-convective splitting-based approach for the Kapila two-phase flow model Article

M.F.P. ten Eikelder, F. Daude, B. Koren (Barry) and A.S. Tijsseling

A quantification method for numerical dissipation in quasi-DNS and under-resolved DNS, and effects of numerical dissipation in quasi-DNS and under-resolved DNS of turbulent channel flows Article

E. Komen, L. Camilo, A. Shams, B.J. Geurts and B. Koren (Barry)

Combining design and performance in a data visualization management system In Proceedings

E. Wu (Eugene), F. Psallidas (Fotis), Z. Miao (Zhengjie), H. Zhang (Haoci), L. Rettig (Laura), Y. Wu (Yifan) and T.H.J. Sellam (Thibault)

An improvement to the Hasse–Weil bound and applications to character sums, cryptography and coding Article

R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

Switch chain mixing times through triangle counts Tech Report

T.R. Bannink (Tom), R.W. van der Hofstad (Remco) and C. Stegehuis (Clara)

Quantum Pascal's triangle and Sierpinski's carpet Tech Report

T.R. Bannink (Tom) and H.M. Buhrman (Harry)

Heavy traffic limit for the workload plateau process in a tandem queue with identical service times Tech Report

H.C. Gromoll (Christian), B. Terwilliger (Bryce) and A.P. Zwart (Bert)

Rolling Adjoints: Fast Greeks along Monte Carlo scenarios for early-exercise options Tech Report

S. Jain (Shashi), Á. Leitao Rodriguez (Álvaro) and C.W. Oosterlee (Kees)

Bayesian inference for psychology. Part I: Theoretical advantages and practical ramifications Article

E.-J. Wagenmakers (Erik-Jan), M. Marsman (Maarten), T. Jamil (Tahira), A. Ly (Alexander), J.H. Verhagen, J. Love (Jonathon), R. Selker (Ravi), Q. F. Gronau (Quentin), M. Smıra (Martin), S. Epskamp (Sacha), et al. D. Matzke (Dora), J. Rouder (Jeffrey) and R.D. Morey (Richard)

Grafentheorie en communicatie Article

J. Briët (Jop)

Automatic alignment for three-dimensional tomographic reconstruction Tech Report

T. van Leeuwen (Tristan), S.C. Maretzke (Simon) and K.J. Batenburg (Joost)

Routing under Uncertainty: Approximation and Complexity Dissertation

M. van Ee (Martijn)

Lenient multi-agent deep reinforcement learning Tech Report

G. Palmer (Gregory), K. Tuyls (Karl), D. Bloembergen (Daniel) and R. Savani (Rahul)

Asymptotic approximations to the nodes and weights of Gauss–Hermite and Gauss– Laguerre quadratures Tech Report

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

The potential impact of quantum computers on society Article

R.M. de Wolf (Ronald)

Realistic 3D Particle Modelling of Discharge Inception near Ice Particles and other Dielectric Objects Lecture

C. Rutjes (Casper), H.J. Teunissen (Jannis) and U. Ebert (Ute)

Quantitative morphological analysis of 2D images of complex-shaped branching biological growth forms: the example of branching thalli of liverworts Article

P. Konglerd (Pirom), C. Reeb (Catherine), F.R. Jansson (Fredrik) and J.A. Kaandorp (Jaap)

Streamer inception from hydrometeors as a stochastic process with a particle-based model Lecture

C. Rutjes (Casper), A. A. Dubinova (Anna), U. Ebert (Ute), H.J. Teunissen (Jannis), S. Buitink, O. Scholten and T.N.G. Trinh (Gia)

Quantum algorithms for graph connectivity and formula evaluation Article

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

Provably secure NTRU-Encrypt over more general cyclotomic rings Tech Report

Y. Yu (Yang), G. Xu (Guangwu) and X. Wang (Xiaoyun)

Relating anatomical variations and patient features with dose-reconstruction accuracy of a 3D dose-reconstruction approach using CT scans of recently-treated children Presentation

Z. Wang (Ziyuan), M. Virgolin (Marco), I.W.E.M. Dijk, van (Irma), J. Wiersma (Jan), C.M. Ronckers (Cecile), F. Oldenburger (Foppe), B.V. Balgobind (Brian), C.R.N. Rasch (Coen), P.A.N. Bosman (Peter), A. Bel (Arjan), et al. T. Alderliesten (Tanja)

Why optional stopping is a problem for Bayesians Tech Report

R. de Heide (Rianne) and P.D. Grünwald (Peter)

Provably secure NTRU instances over prime cyclotomic rings In Proceedings

Y. Yu (Yang), G. Xu (Guangwu) and X. Wang (Xiaoyun)

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)

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 Tech Report

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)

Don’t Keep My UDFs Hostage - Exporting UDFs For Debugging Purposes In Proceedings

P.T. Holanda (Pedro), M. Raasveldt (Mark) and M.L. Kersten (Martin)

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

A.M. Webb (Andrew), 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 (Lex)

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 (Majid), E.J.E.M. Pauwels (Eric) and A.B. Dorsman (André)

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. Ebert (Ute)

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

A. 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 (Shantanav), 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 (Ayman)

Sensing audiences at the Amsterdam Dance Event Lecture

D.A. Shamma (Ayman)

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)