Publications from 2018

Live Modeling: Why and How? Presentation

T. van der Storm (Tijs)

Domain-Specific Smart Contract Languages: Why and How Presentation

T. van der Storm (Tijs)

Why more programming languages? Presentation

T. van der Storm (Tijs)

New Scienist: Hoe zorgen we dat de computer onze wensen tot in detail kent? Magazine Article

Two cone beam test dataset for RECAST3D Dataset

S.B. Coban (Sophia), J. Buurlage (Jan-Willem) and K.J. Batenburg (Joost)

High-resolution cone-beam scan of an apple and pebbles with two dosage levels Dataset

S.B. Coban (Sophia), M.J. Lagerwerf (Rien) and K.J. Batenburg (Joost)

Oatmeal Data: Experimental cone-beam tomographic data for techniques to improve image resolution Dataset

Coban, Sophia B., A.A. Hendriksen (Allard), D.M. Pelt (Daniël), W.J. Palenstijn (Willem Jan) and K.J. Batenburg (Joost)

High-resolution cone-beam scan of two pomegranates with two dosage levels Dataset

S.B. Coban (Sophia), M.J. Lagerwerf (Rien) and K.J. Batenburg (Joost)

Low-rank representation of extended image volumes: Applications to imaging and velocity continuation In Proceedings

R. Kumar (Rajiv), M. Graff-Kray (Marie), T. van Leeuwen (Tristan) and F.J. Herrmann (Felix)

Full-waveform inversion with Mumford-Shah regularization In Proceedings

A.A. Kadu (Ajinkya), R. Kumar (Rajiv) and T. van Leeuwen (Tristan)

Estimating the regularization parameter efficiently In Proceedings

N. Luiken (Nick) and T. van Leeuwen (Tristan)

Train robots to self-certify their safe operation Article

V. Robu (Valentin), D. Flynn (David) and D. Lane (David)

Efficient Buyer Groups With Prediction-of-Use Electricity Tariffs Article

V. Robu (Valentin), M. Vinyals, A. Rogers (Alex) and N. Jennings

Semidefinite programming bounds for Lee codes Tech Report

S.C. Polak (Sven)

New lower bound on the Shannon capacity of C7 from circular graphs Tech Report

S.C. Polak (Sven) and A. Schrijver (Lex)

Asymptotic computation of classical orthogonal polynomials In Proceedings

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

Multitask, multilabel, and multidomain learning With convolutional networks for emotion recognition Tech Report

G. Pons Rodriguez (Gerard) and D. Masip (David)

On the chromatic number of a subgraph of the Kneser graph Article

B.M. Litjens (Bart), S.C. Polak (Sven), B.L. Sevenster (Bart) and L. Vena (Lluis)

New nonbinary code bounds based on divisibility arguments Article

S.C. Polak (Sven)

Untangling the solar wind drivers of the radiation belt: An information theoretical approach Book Chapter

S.P. Wing (Simon), J.R. Johnson (Jay), E. Camporeale (Enrico) and G.D. Reeves (Geoffrey)

Stochastic scheduling techniques for integrated optimization of catheterization laboratories and wards In Proceedings

I.I. van Heuven van Staereling (Irving), R. Bekker (Rene) and C.P. Allaart (Cornelis)

A formal account of opportunism in multi-agent systems Dissertation

J. Luo (Jieting)

Replication package of Article: GLL Parsing with Flexible Combinators Replication Package

L.T. van Binsbergen (Thomas), E. Scott (Elizabeth) and A. Johnstone (Adrian)

GLL parsing with flexible combinators In Proceedings

L.T. van Binsbergen (Thomas), E. Scott (Elizabeth) and A. Johnstone (Adrian)

Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) In Proceedings

L.T. van Binsbergen (Thomas)

Tomopackets Software

J. Buurlage (Jan-Willem), H. Kohr (Holger), W.J. Palenstijn (Willem Jan) and K.J. Batenburg (Joost)

Bayesian Inference for Kendall’s Rank Correlation Coefficient Article

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

JASP Software

B. Boutin (Bruno) and A. Ly (Alexander)

Tpcds-result-reproduction Software

H.F. Mühleisen (Hannes)

Public_bi_benchmark Software

B. Ghita (Bogdan)

RMA Software

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

Software-guides Software

J. Buurlage (Jan-Willem) and A.A. Hendriksen (Allard)

Cookiecutter Software

A.A. Hendriksen (Allard), J. Buurlage (Jan-Willem), W.J. Palenstijn (Willem Jan) and D.M. Pelt (Daniël)

flexTOMO Software

A. Kostenko (Alexander)

flexCALC Software

A. Kostenko (Alexander)

flexDATA Software

A. Kostenko (Alexander), A.A. Hendriksen (Allard) and J. Buurlage (Jan-Willem)

SliceRecon Software

J. Buurlage (Jan-Willem)

Plenoptomos Software

N.R. Viganò (Nicola)

RECAST3D Software

J. Buurlage (Jan-Willem)

DuckDB Software

H.F. Mühleisen (Hannes) and M. Raasveldt (Mark)

Understanding psycholinguistic behavior of predominant drunk texters in social media In Proceedings

S.K. Maity (Suman Kalyan), A. Mullick (Ankan), S. Ghosh (Surjya), A. Kumar (Anil), S. Dhamnani (Sunny), S. Bahety (Sudhansu) and A. Mukherjee (Animesh)

Introduction Article

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

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)

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)

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)

Hierarchical invasion of cooperation in complex networks Article

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

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

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

Talk at National Open Science Day on Space Weather Lecture

C. Shneider (Carl)

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

C. Shneider (Carl)

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)

A Deep Learning Approach To Forecast Presentation

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

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

C. Shneider (Carl)

Presentation at 15th European Space Weather Week conference 2018 Presentation

C. Shneider (Carl)

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

C. Shneider (Carl)

On a generalization of iterated and randomized rounding Tech Report

N. Bansal (Nikhil)

Entropy in Quantum Information Theory -- Communication and Cryptography Dissertation

C. Majenz (Christian)

Can you sign a quantum state? Tech Report

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

Asymptotic performance of port-based teleportation Tech Report

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

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

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

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

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

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)

ScienceBattle, Theater CC Amstel Amsterdam Lecture

J.A. ter Schure (Judith)

ScienceBattle, Theater De Vest Delft Lecture

J.A. ter Schure (Judith)

ScienceBattle, Theater de Weijer Boxmeer Lecture

J.A. ter Schure (Judith)

Nacht van de Wetenschap 2018: Supermens Lecture

J.A. ter Schure (Judith)

Computers that Negotiate on our behalf Article

T. Baarslag (Tim)

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), V.K.I. Pun (Violet Ka) and G. Zavattaro (Gianluigi)

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)

On rational delegations in liquid democracy Tech Report

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

List decodability of symbol-pair codes Tech Report

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

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)

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)

Dance of the Starlings Book Chapter

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

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)

A temporal dynamic deontic logic Article

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

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

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

Distinguishing unitary gates on the IBM quantum processor Tech Report

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

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)

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)

Finding the pitfalls in query performance In Proceedings

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

Spherical clustering of users navigating 360-degree content Tech Report

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

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)

JEff: objects for effect In Proceedings

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

Language Workbench Support for Block-Based DSLs Unpublished

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

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

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

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)

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)

ASCOOP: Actors in scala with cooperative scheduling In Proceedings

V.N. Serbanescu (Vlad), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)

Hash collision file format exploitations Software

M.M.J. Stevens (Marc)

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

M.M.J. Stevens (Marc)

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

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

Secure certification of mixed quantum states with application to two-party randomness generation In Proceedings

F. Dupuis (Frédéric), S. Fehr (Serge), P. Lamontagne (Philippe) and L. Salvail (Louis)

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

S. Fehr (Serge)

Thirty years LNMB Article

J.K. Lenstra (Jan Karel)

Thirty years KNMB Article

J.K. Lenstra (Jan Karel)

Cryptographic timestamping through Sequential Work Tech Report

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

On immutability of blockchains In Proceedings

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

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

M.M.J. Stevens (Marc)

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

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