Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Introduction Article

E. Camporeale (Enrico), Wing, S. (Simon) and J.R. Johnson (Jay)

January 2018
ComfRide: A smartphone based system for comfortable public transport recommendation In Proceedings

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

October 2018
Effectiveness of Deep Neural Network Model in typing-based emotion detection on smartphones In Proceedings

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

October 2018
Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning Tech Report

Abhishek, M.A.A. Boon (Marko), M.R.H. Mandjes (Michel) and R. Núñez Queija (Rudesindo)

February 2018
Hierarchical invasion of cooperation in complex networks Article

Journal of Physics Communications, 2(2)

D. Vilone (Daniele), V. Capraro (Valerio) and J.J. Ramasco (José)

February 2018
Quantum asymptotic spectra of graphs and non-commutative graphs, and quantum Shannon capacities Tech Report

Y. Li (Yinan) and J. Zuiddam (Jeroen)

October 2018
Talk at National Open Science Day on Space Weather Lecture

C. Shneider (Carl)

October 2018
Pint of Science NL, Public Science Talk on Space Weather Lecture

C. Shneider (Carl)

May 2018
A portable and scalable workflow for detecting structural variants in whole-genome sequencing data Article

A. Kuzniar (Arnold), J. Maassen, S. Verhoeven (Stefan), L. Santuari (Luca), C. Shneider (Carl), W.P. Kloosterman (Wigard) and J. de Ridder (Jeroen)

October 2018
A Deep Learning Approach To Forecast Presentation

C. Shneider (Carl), M.H. Chandorkar (Mandar), M. Bobra and E. Camporeale (Enrico)

December 2018
Space weather and deep learning - talk at Anton Pannekoek Institute Lecture

C. Shneider (Carl)

November 2018
Presentation at 15th European Space Weather Week conference 2018 Presentation

C. Shneider (Carl)

November 2018
Invited Talk at Solar Dynamics Observatory (SDO) Science Workshop 2018 Lecture

C. Shneider (Carl)

October 2018
On a generalization of iterated and randomized rounding Tech Report

N. Bansal (Nikhil)

November 2018
Entropy in Quantum Information Theory -- Communication and Cryptography Dissertation

C. Majenz (Christian)

October 2018
Can you sign a quantum state? Tech Report

G. Alagic (Gorjan), T. Gagliardoni (Tommaso) and C. Majenz (Christian)

November 2018
Asymptotic performance of port-based teleportation Tech Report

M. Christandl (Matthias), F. Leditzky (Felix), C. Majenz (Christian), G. Smith (Graeme), F. Speelman (Florian) and M. Walter (Michael)

September 2018
Conservative polytopal mimetic discretization of the incompressible Navier–Stokes equations Article

Journal of Computational and Applied Mathematics, 443-473.

R. Beltman, M. Anthonissen and B. Koren (Barry)

January 2018
Approximation of the convective flux in the incompressible Navier-Stokes equations using local boundary-value problems Article

Journal of Computational and Applied Mathematics, 523-536.

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

January 2018
Past and Future Dependencies in Meta-Analysis: Safe Statistics for Reducing Health Research Waste Lecture

J.A. ter Schure (Judith) and P.D. Grünwald (Peter)

April 2018
ScienceBattle, Theater CC Amstel Amsterdam Lecture

J.A. ter Schure (Judith)

December 2018
ScienceBattle, Theater De Vest Delft Lecture

J.A. ter Schure (Judith)

November 2018
ScienceBattle, Theater de Weijer Boxmeer Lecture

J.A. ter Schure (Judith)

November 2018
Nacht van de Wetenschap 2018: Supermens Lecture

J.A. ter Schure (Judith)

October 2018
Computers that Negotiate on our behalf Article

ERCIM News, 36-37.

T. Baarslag (Tim)

January 2018
Analysis of SLA compliance in the cloud: An automated, model-based approach In Proceedings

F.S. de Boer (Frank), E. Giachino (Elena), C.P.T. de Gouw (Stijn), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch), C. Laneve (Cosimo), K.I. Pun (Ka) and G. Zavattaro (Gianluigi)

July 2018
Introduction to the best papers of the ACM multimedia systems (MMSys) conference 2018 and the ACM workshop on network and operating system support for digital audio and video (NOSSDAV) 2018 and the International Workshop on Mixed and Virtual Environment Systems (MMVE) 2018 Preface

P.S. César Garcia (Pablo Santiago), M. Zink (Michael) and N. Murray (Niall)

June 2018
On rational delegations in liquid democracy Tech Report

D. Bloembergen (Daniel), D. Grossi (Davide) and M. Lackner (Martin)

February 2018
List decodability of symbol-pair codes Tech Report

S. Liu (Shu), C. Xing (Chaoping) and C. Yuan (Chen)

June 2018
Bounding quantum-classical separations for classes of nonlocal games Tech Report

T.R. Bannink (Tom), J. Briët (Jop), H.M. Buhrman (Harry), F.S. Labib (Farrokh) and T. J. Lee (Troy)

November 2018
Fourier-Hermite decomposition of the collisional Vlasov-Maxwell system: Implications for the velocity-space cascade Tech Report

O. Pezzi (Oreste), F. Valentini (Francesco), S. Servidio (Sergio), E. Camporeale (Enrico) and P. Veltri (Pierluigi)

November 2018
Dance of the Starlings Book Chapter

H.P. Barendregt (Henk), J. Endrullis (Jörg), J.W. Klop (Jan Willem) and J. Waldmann (Johannes)

January 2018
Rapid mixing of the switch Markov chain for strongly stable degree sequences and 2-class joint degree matrices Tech Report

G. Amanatidis (Georgios) and P.S. Kleer (Pieter)

March 2018
A temporal dynamic deontic logic Article

Journal of Logic and Computation, 29(2), 265-284.

F. Ju (Fengkui) and D.J.N. van Eijck (Jan)

March 2018
Stochastic turbulence modeling in RANS simulations via Multilevel Monte Carlo Tech Report

P. Kumar (Prashant), M. Schmelzer (Martin) and R.P. Dwight (Richard)

November 2018
Distinguishing unitary gates on the IBM quantum processor Tech Report

S. Liu (Shusen), Y. Li (Yinan) and R. Duan (Runyao)

July 2018
The challenge of negotiation in the game of Diplomacy In Proceedings

D. de Jonge (Dave), T. Baarslag (Tim), R. Aydoğan (Reyhan), C.M. Jonker (Catholijn), Fujita (Katsuhide) and T. Ito (Takayuki)

December 2018
Sequential test for the lowest mean: From Thompson to Murphy sampling In Proceedings

E. Kaufmann (Emilie), W.M. Koolen-Wijkstra (Wouter) and A. Garivier (Aurélien)

December 2018
Finding the pitfalls in query performance In Proceedings

M.L. Kersten (Martin), P. Koutsourakis (Panagiotis) and Y. Zhang (Ying)

June 2018
Spherical clustering of users navigating 360-degree content Tech Report

S. Rossi (Silvia), F. De Simone (Francesca), P. Frossard (Pascal) and L. Toni (Laura)

November 2018
Efficient transactive control for energy storage management system in prosumer-centric networked microgrids In Proceedings

E. Galvan (Eric), P. Mandal (Paras), S. Chakraborty (Shantanav) and A.Y. Saber (Ahmed)

September 2018
JEff: objects for effect In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2018
Language Workbench Support for Block-Based DSLs Unpublished

M. Verano Merino (Mauricio) and T. van der Storm (Tijs)

January 2018
Bacatá: A Language Parametric Notebook Generator (Tool Demo) In Proceedings

M. Verano Merino (Mauricio), J.J. Vinju (Jurgen) and T. van der Storm (Tijs)

January 2018
Utilizing a transparency-driven environment toward trusted automatic genre classification: A case study in journalism history Tech Report

A. Bilgin (Aysenur), L. Hollink (Laura), J.R. van Ossenbruggen (Jacco), E. Tjong Kim Sang (Erik), K. Smeenk (Kim), F. Harbers (Frank) and M. Broersma (Marcel)

October 2018
Evaluating layer-wise relevance propagation explainability maps for artificial neural networks In Proceedings

E.B. Ranguelova (Elena), E.J.E.M. Pauwels (Eric) and J. Berkhout (Joost)

October 2018
ASCOOP: Actors in scala with cooperative scheduling In Proceedings

V.N. Serbanescu (Vlad), F.S. de Boer (Frank) and M.M. Jaghouri (MohammadMahdi)

October 2018
Hash collision file format exploitations Software

M.M.J. Stevens (Marc)

December 2018
GPU code for the first SHA-1 collision attack and two freestart attacks Software

M.M.J. Stevens (Marc)

January 2018
Short non-malleable codes from related-key secure block ciphers In Proceedings

S. Fehr (Serge), P. Karpman (Pierre) and B.J.M. Mennink (Bart)

March 2018
Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation In Proceedings

F. Dupuis, S. Fehr (Serge), P. Lamontagne (Philippe), L. Salvail (Louis) and B.J.M. Mennink (Bart)

January 2018
Classical Proofs for the Quantum Collapsing Property of Classical Hash Functions In Proceedings

S. Fehr (Serge)

January 2018
Thirty years LNMB Article

StatOR, 19(2), 40-41.

J.K. Lenstra (Jan Karel)

January 2018
Thirty years KNMB Article

StatOR, 19(2), 40-41.

J.K. Lenstra (Jan Karel)

January 2018
Cryptographic timestamping through Sequential Work Tech Report

E. Landerreche (Esteban), C. Schaffner (Christian) and M.M.J. Stevens (Marc)

January 2018
On immutability of blockchains In Proceedings

E. Landerreche (Esteban) and M.M.J. Stevens (Marc)

May 2018
Invited Talk: IACR FSE 2018 "On breaking SHA-1" Lecture

M.M.J. Stevens (Marc)

March 2018
Invited discussion to the paper Using Stacking to Average Bayesian Predictive Distributions by Yao, Vehtari, Simpson and Gelman Article

Bayesian Analysis, 13(3), 917-1003.

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

September 2018
An adaptive minimum spanning tree multi-element method for uncertainty quantification of smooth and discontinuous responses Tech Report

Y. van Halder (Yous), B. Sanderse (Benjamin) and B. Koren (Barry)

March 2018
Imaging ancient Chinese ivory puzzle balls: deducing the make Process In Proceedings

R. van Liere (Robert), K.J. Batenburg (Joost), A. Kostenko (Alexander), C-L. Wang and I. Garachon

June 2018
Literally better: Analyzing and improving the quality of literals Article

Semantic Web – Interoperability, Usability, Applicability, 9(1), 131-150.

W. Beek, F. Ilievski (Filip), J. Debattista (Jeremy), S. Schlobach and J. Wielemaker (Jan)

January 2018
sameAs.cc: The Closure of 500M owl: sameAs Statements In Proceedings

W. Beek, J. Raad (Joe), J. Wielemaker (Jan) and F.A.H. van Harmelen

June 2018
Bayesian reanalyses from summary statistics: A guide for academic consumers Article

Advances in Methods and Practices in Psychological Science, 1(3), 367-374.

A. Ly (Alexander), A. Raj (Akash), A. Etz (Alexander), M. Marsman (Maarten), Q. F. Gronau (Quentin) and E.-J. Wagenmakers (Eric-Jan)

January 2018
Analytic posteriors for Pearson's correlation coefficient. Article

Statistica Neerlandica, 72(1), 4-13.

A. Ly (Alexander), M. Marsman (Maarten) and E.-J. Wagenmakers (Eric-Jan)

January 2018
The Bayes factor and its implementation in JASP: A practical primer Article

Advances in Psychological Science (Xinli kexue jinzhan), 26(6), 951-965.

C.-P. Hu (Chuan-Peng), X.-Z. Kong (Xiang-Zhen), E.-J. Wagenmakers (Eric-Jan), A. Ly (Alexander) and K. Peng (Kaiping)

April 2018
Spatio-temporal modeling for residential burglary In Proceedings

M. Mahfoud (Maria), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

January 2018
Throughput and bottleneck analysis of tandem queues with nested sessions Article

Probability in the Engineering and Informational Sciences, 32(3), 396-408.

A. Hristov, J.W. Bosman (Joost), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

July 2018
Detecting network intrusion beyond 1999: Applying machine learning techniques to a partially labeled cybersecurity dataset In Proceedings

J.G. Klein (Jan), S. Bhulai (Sandjai), M. Hoogendoorn (Mark), R.D. van der Mei (Rob) and R. Hinfelaar (Raymond)

December 2018
Forecasting Burglary Risk in Small Areas via Network Analysis of City Streets In Proceedings

M. Mahfoud (Maria), S. Bhulai (Sandjai), R.D. van der Mei (Rob), D. Erkin (Dimitrii) and E.R. Dugundji (Elenna)

November 2018
Quantum-inspired low-rank stochastic regression with logarithmic dependence on the dimension Tech Report

A.P. Gilyén (András), S. Lloyd (Seth) and E. Tang (Ewin)

November 2018
Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics Tech Report

A.P. Gilyén (András), Su, Y. (Yuan), Low, G.H. (Guang Hao) and Wiebe, N. (Nathan)

June 2018
Improvements in Quantum SDP-Solving with Applications Tech Report

J.T.S. van Apeldoorn (Joran) and A.P. Gilyén (András)

April 2018
Quantum information processing Lecture

J. Briët (Jop)

November 2018
Gaussian width bounds with applications to arithmetic progressions in random settings Article

International Mathematics Research Notices

J. Briët (Jop) and S. Gopi (Sivakanth)

January 2018
Failure of the trilinear operator space Grothendieck theorem Tech Report

J. Briët (Jop) and C. Palazuelos (Carlos)

December 2018
Mixed inductive-coinductive reasoning : types, programs and logic Dissertation

Formal Methods

H. Basold (Henning)

April 2018
Wanneer heb je een experiment voldoende herhaald om overtuigd te kunnen zijn van je resultaten Report

J.A. ter Schure (Judith)

October 2018
Near-critical percolation with heavy-tailed impurities, forest fires and frozen percolation Tech Report

J. van den Berg (Rob) and P. Nolin (Pierre)

October 2018
Two-dimensional volume-frozen percolation: deconcentration and prevalence of mesoscopic clusters Article

Annales Scientifiques de l'École Normale Supérieure, 1017-1084.

J. van den Berg (Rob), D. Kiss (Demeter) and P. Nolin (Pierre)

August 2018
Simulation-based assessment of the stationary tail distribution of a stochastic differential equation In Proceedings

K.L. Bisewski (Krzysztof), D.T. Crommelin (Daan) and M.R.H. Mandjes (Michel)

December 2018
A holistic approach to forecasting wholesale energy market prices Tech Report

A. Radovanovic (Ana), T. Nesti (Tommaso) and B. Chen (Bokan)

July 2018
LyricalPalette: A support system for writing lyrics centred on sentiment In Proceedings

J. Pardijs (Jasper) and D. Ceolin (Davide)

March 2018
Bursting the bubble with a needle from the haystack In Proceedings

D. Ceolin (Davide), L. Tkacz (Lesia), R. Sharma (Robin) and C. van Son (Chantal)

March 2018
Assessing and visualising online information quality In Proceedings

D. Ceolin (Davide), J.R. van Ossenbruggen (Jacco), L. Aroyo (Lora), O. Sener (Ozkan), R. Sharma (Robin), L. Tkacz (Lesia) and J. Noordegraaf (Julia)

October 2018
InfoQ: Computational Assessment of Information Quality on the Web In Proceedings

D. Ceolin (Davide), C. van Son (Chantal), L. Aroyo (Lora), J. Noordegraaf (Julia), O. Sener (Ozkan), R. Sharma (Robin), P. Vossen (Piek), S. ter Braake (Serge), L. Tkacz (Lesia), I. Leemans (Inger), et al. R. Bod (Rens)

June 2018
Scalability and performance of decentralized planning in flexible transport networks In Proceedings

W.J.A. van Heeswijk (Wouter) and J.A. La Poutré (Han)

October 2018
Performance of the smallest-variance-first rule in appointment sequencing Tech Report

M.A. de Kemp (Madelon), M.R.H. Mandjes (Michel) and N.K. Olver (Neil)

December 2018
An image representation based convolutional network for DNA classification In Proceedings

B. Yin (Bojian), M. Balvert (Marleen), D. Zambrano (Davide), A. Schönhuth (Alexander) and S.M. Bohte (Sander)

May 2018
Designing an adaptive VM that combines vectorized and JIT execution on heterogeneous hardware In Proceedings

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

January 2018
Learned Cardinalities: Estimating Correlated Joins with Deep Learning Tech Report

A. Kipf (Andreas), T. Kipf (Thomas), B. Radke (Bernhard), V. Leis (Viktor), P.A. Boncz (Peter) and A. Kemper (Alfons)

December 2018
Database Architectures for Modern Hardware In Proceedings

P.A. Boncz (Peter), G. Graefe, B. He (Bingsheng) and K.-U. Sattler

January 2018
An early look at the LDBC social network benchmark's business intelligence workload In Proceedings

G. Szárnyas (Gábor), A.P. Pérez (Arnau Prat), A. Averbuch, J. Marton (József), M. Paradies (Marcus), M. Kaufmann (Moritz), O. Erling (Orri), P.A. Boncz (Peter), V. Haprian (Vlad) and J.B. Antal (János Benjamin)

January 2018
Query optimization through the looking glass, and what we found running the Join Order Benchmark Article

VLDB Journal, 27(5), 643-668.

V. Leis (Viktor), B. Radke (Bernhard), A. Gubichev (Andrey), A. Mirchev (Atanas), P.A. Boncz (Peter), A. Kemper (Alfons) and T. Neumann (Thomas)

January 2018
Everything You Always Wanted to Know About Compiled and Vectorized Queries But Were Afraid to Ask In Proceedings

T. Kersten (Timo), V. Leis (Viktor), A. Kemper (Alfons), T. Neumann (Thomas), A. Pavlo (Andrew) and P.A. Boncz (Peter)

January 2018
A survey of semidefinite programming approaches to the generalized problem of moments and their error analysis Tech Report

E. de Klerk (Etienne) and M. Laurent (Monique)

November 2018
A Framework for Monitoring and Predicting Mooring Occupancy Using Automatic Identification System Data and Markov Chain Models In Proceedings

S. Visser, M. Valk, E. Dijkstra, B. Blom, S. Spieings, C. Mandeli, J. Zuidema, R.D. van der Mei (Rob) and E.R. Dugundji (Elenna)

January 2018
Social Interactions and Travel Behavior Article

Research in Transportation Economics

J.A. Carrasco, K.W. Axhausen and E.R. Dugundji (Elenna)

January 2018
A Revealed Preference Time of Day Model for Departure Time of Delivery Trucks in the Netherlands In Proceedings

A.G.J. Vegelien and E.R. Dugundji (Elenna)

November 2018
Connectors meet Choreographies Tech Report

F. Arbab (Farhad), L. Cruz-Filipe (Luis), S.-S.T.Q. Jongmans (Sung) and F. Montesi (Fabrizio)

April 2018

Next

Available Years