Publications from 2020

A canonical form for positive definite matrices In Proceedings

M. Dutour Sikirić (Mathieu), A. Haensch (Anna), J. Voight (John) and W.P.J. van Woerden (Wessel)

The case for uncertainty in COVID19 predictions Magazine Article

W.N. Edeling (Wouter) and D.T. Crommelin (Daan)

Tunable critical field in Rashba superconductor thin-films Tech Report

L.A.B. Olde Olthof, J.R. Weggemans (Jordi), G. Kimbell, J.W.A. Robinson and X. Montiel

TimSoethout/tla-ci: TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+". Software|Data

T.M. Soethout (Tim)

Inseguendo fagiani selvatici: Partial order reduction for guarded command languages In Proceedings

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L. Tapia Tarifa (Lizeth) and L. Tveito (Lars)

Recent developments in the design and implementation of programming languages Preface

F.S. de Boer (Frank) and J. Mauro (Jacopo)

Data-driven modeling for wave-propagation In Proceedings

T. van Leeuwen (Tristan), P.J. van Leeuwen (Peter Jan) and S. Zhuk (Sergiy)

Photoacoustic reconstruction using sparsity in Curvelet frame: Image versus data domain Tech Report

B. Pan (Bolin), S. Arridge (Simon), F. Lucka (Felix), B.T. Cox (Ben), N. Huynh (Nam), P. Beard (Paul), E. Zhang (Edward) and M. Betcke (Marta)

Combinatorial Methods for the Analysis of Related Genomic Sequences Dissertation

G. Bernardini (Giulia)

SearchSECO: A worldwide index of the open source software ecosystem In Proceedings

R.L. Jansen (Slinger), S. Farshidi (Siamak), G. Gousios (Georgios), T. van der Storm (Tijs), J.M.W. Visser (Joost) and M. Bruntink (Magiel)

A fifteen-tile tomographic micro-CT dataset of a panel painting "Cadmus sowing dragon's teeth" 1/3 Dataset

F.G. Bossema (Francien) and S.B. Coban (Sophia)

Apple CT Data: Ground truth reconstructions - 1 of 6 Dataset

S.B. Coban (Sophia), V. Andriiashen (Vladyslav) and P.S. Ganguly (Poulami)

Large fluctuations in locational marginal prices Tech Report

T. Nesti (Tommaso), J. Moriarty (John), A. Zocca (Alessandro) and A.P. Zwart (Bert)

Sum-of-squares hierarchies for binary polynomial optimization Tech Report

L.F.H. Slot (Lucas) and M. Laurent (Monique)

Discovering outstanding subgroup lists for numeric targets using MDL Tech Report

H.M. Proença (Hugo), P.D. Grünwald (Peter), T. Bäck (Thomas) and M. van Leeuwen (Matthijs)

Parallel-beam X-ray CT datasets of apples with internal defects and label balancing for machine learning Tech Report

S.B. Coban (Sophia), V. Andriiashen (Vladyslav), P.S. Ganguly (Poulami), M.A.J.M. van Eijnatten (Maureen) and K.J. Batenburg (Joost)

Numerical techniques for the Heston collocated volatility model Article

F.L. Le Floc’h (Fabien) and C.W. Oosterlee (Kees)

High-resolution cone-beam scan of twenty-one walnuts with two dosage levels Dataset

Lagerwerf, Marinus Jan, Coban, Sophia Bethany and Batenburg, K. Joost

Apple CT Data: Simulated parallel-beam tomographic datasets Dataset

S.B. Coban (Sophia), V. Andriiashen (Vladyslav) and P.S. Ganguly (Poulami)

Dynamic 3D X-ray micro-CT data of a tablet dissolution in a water-based gel with dynamic changes in the scanning geometry Dataset

Coban, Sophia Bethany, Lucka, Felix and Palenstijn, Willem Jan

Three tomographic CT datasets of a woven fabric Dataset

F.G. Bossema (Francien) and S.B. Coban (Sophia)

RECAST3D Software

J. Buurlage (Jan-Willem), W.J. Palenstijn (Willem Jan), A.A. Hendriksen (Allard), D.M. Pelt (Daniël), A.B.M. Graas (Adriaan) and H. Kohr (Holger)

X-ray light-field - Small branch - 1 deg angular range Dataset

N.R. Viganò (Nicola) and S.B. Coban (Sophia)

X-ray light-field - Gel bubbles - 1 deg angular range Dataset

Viganò, Nicola Roberto, Lucka, Felix and Coban, Sophia Bethany

A five-tile tomographic micro-CT dataset of the oak sculpture "Holy woman with lantern" - part 1 of 2 Dataset

F.G. Bossema (Francien), A. Kostenko (Alexander) and S.B. Coban (Sophia)

Digitale vrijplaats onder druk: Lichtkogel, Rijkswaterstaat (PDF in Dutch, pages 56-58). Magazine Article

ACM Recognizes 2020 Distinguished Members for Contributions that Propel the Digital Age Magazine Article

Understanding our User-Centered Design Process in TRACTION Blogpost

P.S. César Garcia (Pablo Santiago)

Lit Lace Interface Magazine Article

World’s First Volumetric Video Conference (point clouds) over a Public 5G Network: a medical emergency example Blogpost

Meet VRTogether at VRDays 2020! Blogpost

Mentoring Students in Social VR (Part II) Blogpost

VR Together: Social VR for remote scientific events? VRTogether co-organizes a CHI2020 Workshop on Social VR in Mozilla Hubs during COVID-19 Blogpost

Constructing and cleaning identity graphs in the LOD Cloud Article

J. Raad (Joe), W. Beek (Wouter), F.A.H. van Harmelen (Frank), J. Wielemaker (Jan), N. Pernelle (Nathalie) and F. Saïs (Fatiha)

VRTogether wins twice at ACM MMSys’20: Best Demo and Best Workshop Awards Blogpost

Exploitation activities from VRTogether awarded at ACM IMX 2020 Blogpost

ICT onderzoeker Pablo Cesar wint 50.000 euro - Computable Magazine Article

Computable: CWI's Pablo Cesar krijgt hoge onderscheiding Magazine Article

AG Connect_18dec2020_Prestigieuze benoeming voor ICT-onderzoeker Pablo Cesar Magazine Article

ComputerWeekly_13November2020_Dutch IT award recognises importance of research in the wild Magazine Article

I/O Magazine: COMPUTER SCIENCE CLOSE TO REAL WORLD Magazine Article

AG Connect - 21 september 2020- Superscience: 3D-communicatie is de toekomst Magazine Article

Universidad de Madrid: Pablo Cesar: “No tenemos que tener miedo a las máquinas o la tecnología, pero hemos de estar preparados para los cambios que se avecinan” Magazine Article

TU Delft website: Collecting Smart Data from Grandmother's Living Room Magazine Article

NWO I website: Sampling the mood at CWI during the coronavirus crisis Magazine Article

VRTogether co-organized the “First International Workshop on Tools for Creating XR Media Experiences”, colocated with IEEE ICME 2020 Blogpost

Relaxed regularization for linear inverse problems Tech Report

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

Variable projection for non-smooth problems Tech Report

T. van Leeuwen (Tristan) and A.Y. Aravkin (Aleksandr)

Online metric algorithms with untrusted predictions In Proceedings

A. Antoniadis (Antonios), C.E. Coester (Christian), M. Eliáš (Marek), A. Polak (Adam) and B. Simon (Bertrand)

Seismic wavefield redatuming with regularized multi-dimensional deconvolution Article

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

End-Member Modeling Analyses (EMMA) of pseudo-Thellier style experiments to derive absolute paleointensities from lavas In Proceedings

L. van Grinsven (Liz), T. van Leeuwen (Tristan) and L.V. de Groot (Lennart)

First steps towards deriving rock magnetic and paleomagnetic data from subsets of magnetic grains in lavas using Micromagnetic Tomography In Proceedings

L.V. de Groot (Lennart), K. Fabian (Karl), A. Béguin (Annemarieke), M.E. Kosters (Martha), R.R. Fu (Roger), R.J. Harrison (Richard), A. Barnhoorn (Auke) and T. van Leeuwen (Tristan)

Comparing RSVD and Krylov methods for linear inverse problems Article

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

Convexity and order in probabilistic call-by-name FPC Article

M. Rennela (Mathys)

Efficient query processing with Optimistically Compressed Hash Tables & Strings in the USSR In Proceedings

T.K. Gubner (Tim), V. Leis (Viktor) and P.A. Boncz (Peter)

Quantum-inspired algorithms for solving low-rank linear equation systems with logarithmic dependence on the dimension In Proceedings

N.-H. Chia (Nai-Hui), A.P. Gilyén (András), H.-H. Lin (Han-Hsuan), S. Lloyd (Seth), E. Tang (Ewin) and C. Wang (Chunhao)

Hide and mine in strings: Hardness and algorithms In Proceedings

G. Bernardini (Giulia), Conte (Alessio), Gourdel (Garance), R. Grossi (Roberto), G. Loukides (Grigorios), N. Pisanti (Nadia), S. Pissis (Solon), Punzi (Giulia), L. Stougie (Leen) and M.J.M. Sweering (Michelle)

VRTogether Pilot 3: Interactive Scenario (Visit at the Crime Location) Online Video

Interview - Pablo Cesar Online Video

P.S. César Garcia (Pablo Santiago)

Dutch Prize for ICT research 2020 winner Pablo Cesar Online Video

P.S. César Garcia (Pablo Santiago)

Uitreiking Langerhuizen Prijs&Bate, NL Prijs ICT-onderzoek, K.Schouhamer Immink Prijs 20sept.2020 Online Video

P.S. César Garcia (Pablo Santiago)

PhD defense Jan Willem Kleinrouweler: Modeling and Optimization of Network Assisted Video Streaming Online Video

J.W.M. Kleinrouweler (Jan Willem)

Lit Lace Interface Online Video

VRTogether - Social VR like never seen before! Online Video

VRTogether Pilot 2: Social VR like never seen before! Online Video

CHI2020: ThermalWear: Wearable On-chest Thermal Displays to Augment Voice Messages with Affect Online Video

A. El Ali (Abdallah), X. Yang (Xingyu), S. Ananthanarayan (Swamy), T. Röggla (Thomas), A.J. Jansen (Jack), J. Hartcher-O'Brien (Jess), K. Jansen (Kaspar) and P.S. César Garcia (Pablo Santiago)

CHI2020: RCEA: Real-time, Continuous Emotion Annotation for Mobile Video Ground Truth Labels Online Video

T. Zhang (Tianyi), A. El Ali (Abdallah), C. Wang (Chen), A. Hanjalic (Alan) and P.S. César Garcia (Pablo Santiago)

CHI2020 (LBW): Designing Real-time, Continuous Emotion Annotation Techniques for 360° VR Videos Online Video

X. Xue (Tong), S. Ghosh (Surjya), G. Ding (Gangyi), A. El Ali (Abdallah) and P.S. César Garcia (Pablo Santiago)

GermanCHI 2020: Exploring Wearable On-chest Thermal Displays to Augment Voice Messages with Affect Online Video

A. El Ali (Abdallah), X. Yang (Xingyu), S. Ananthanarayan (Swamy), T. Röggla (Thomas), A.J. Jansen (Jack), J. Hartcher-O'Brien (Jess), K. Jansen (Kaspar) and P.S. César Garcia (Pablo Santiago)

IMX2020 (demo): A Social VR Clinic for Knee Arthritis Patients with Haptics Online Video

X. Xue (Tong), J. Li (Jie), G. Chen (Guo) and P.S. César Garcia (Pablo Santiago)

MMsys2020: Pipeline for Multiparty Volumetric VideoConferencing: point clouds over low latency DASH Online Video

A.J. Jansen (Jack), S. Subramanyam (Shishir), R. Bouqueau (Romain), G. Cernigliaro (Gianluca), M. Martos Cabré (Marc), F. Pérez (Fernando) and P.S. César Garcia (Pablo Santiago)

A reduced reference metric for visual quality evaluation of point cloud contents Software

I. Viola (Irene) and P.S. César Garcia (Pablo Santiago)

A color-based objective quality metric for point cloud contents Software

I. Viola (Irene), S. Subramanyam (Shishir) and P.S. César Garcia (Pablo Santiago)

IUPACpal Software

S. Watts (Steven)

Opponent-Pruning Paranoid Search In Proceedings

H.J.S. Baier (Hendrik) and M. Kaisers (Michael)

Guiding multiplayer MCTS by focusing on yourself In Proceedings

H.J.S. Baier (Hendrik) and M. Kaisers (Michael)

DatAR: An immersive literature exploration environment for neuroscientists Online Video

I. Troost (Ivar), G. Tanhaei (Ghazaleh), L. Hardman (Lynda) and W. Hürst (Wolfgang)

DatAR: An immersive literature exploration environment for neuroscientists In Proceedings

I. Troost (Ivar), G. Tanhaei (Ghazaleh), L. Hardman (Lynda) and W. Hürst (Wolfgang)

Grid-friendly sustainable local energy communities Magazine Article

M. Kaisers (Michael), M. Klein (Matthias) and A. Klauer (Alexander)

Languages of games and play: A systematic mapping study Article

R.A. van Rozen (Riemer)

Tight bounds for online TSP on the line Article

A. Bjelde (Antje), J. Hackfeld (Jan), Y. Disser (Yann), C. Hansknecht (Christoph), M. Lipmann (Maarten), J. Meißner (Julie), M. Schlöter (Miriam), K. Schewior (Kevin) and L. Stougie (Leen)

Safe Statistics for Means and Proportions In Proceedings

R.J. Turner (Rosanne)

Safe tests for 2 x 2 contingency tables and the Cochran-Mantel-Haenszel test In Proceedings

R.J. Turner (Rosanne) and P.D. Grünwald (Peter)

XForms 2.0 Test Suite Software

S. Pemberton (Steven)

ABC for the Raspberry Pi Software

S. Pemberton (Steven), L.G.L.T. Meertens (Lambert), G. van Rossum (Guido), E.D.G. Boeve (Eddy), F. van Dijk (Frank) and T. Krijnen (Timo)

2-IMMERSE Software

T. Röggla (Thomas), A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

ThermalWear: Exploring Wearable On-chest Thermal Displays to Augment Voice Messages with Affect Software

A. El Ali (Abdallah), X. Yang (Xingyu), S. Ananthanarayan (Swamy), T. Röggla (Thomas), A.J. Jansen (Jack), J. Hartcher-O'Brien (Jess), K. Jansen and P.S. César Garcia (Pablo Santiago)

HUMAN4D: A Multimodal Human-Centric Dataset for Motion & Volumetric Capture Software

A. Chatzitofis (Anargyros), L. Saroglou (Leonidas), P. Boutis (Prodromos), P. Drakoulis (Petros), N. Zioulis (Nikolaos), S. Subramanyam (Shishir), B. Kevelham (Bart), C. Charbonnier (Caecilia), P.S. César Garcia (Pablo Santiago), S. Kollias (Stefanos), et al. P. Daras (Petros)

6 DoF head mounted display user navigation data for dynamic point cloud streaming Software

S. Subramanyam (Shishir), J. Li (Jie), I. Viola (Irene), A. Hanjalic (Alan) and P.S. César Garcia (Pablo Santiago)

Challenges and Main Results of the Automated Negotiating Agents Competition (ANAC) 2019 In Proceedings

R. Aydoğan (Reyhan), T. Baarslag (Tim), Fujita (Katsuhide), J. Mell (Johnathan), D. de Jonge (Dave), Y. Mohammad (Yasser), S. Nakadai (Shinji), S. Morinaga (Satoshi), H. Osawa (Hirotaka), C. Aranha (Claus), et al. C.M. Jonker (Catholijn)

On the four-arm exponent for 2D percolation at criticality To appear (in revised form) in In and Out of Equilibrium 3: Celebrating Vladas Sidoravicius (Series Progress in Probability, Springer) Tech Report

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

An upper bound on the two-arms exponent for critical percolation on Z^d To appear (in revised form) in Annales de l'Institut H. Poincaré Tech Report

J. van den Berg (Rob) and D. van Engelenburg (Diederik)

Automated Validation of State-Based Client-Centric Isolation with TLA+ In Proceedings

T.M. Soethout (Tim), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

A multi-sectoral approach to modelling community energy demand of the built environment Article

P. McCallum (Peter), D. Jenkins (David), A. Peacock (Andrew), S. Patidar (Sandhya), M. Andoni (Merlinda), D. Flynn (David) and V. Robu (Valentin)

AI-Driven Maintenance Support for Downhole Tools and Electronics Operated in Dynamic Drilling Environments Article

L. Kirschbaum (Lucas), D. Roman (Darius), G. Singh (Gulshan), J. Bruns (Jens), V. Robu (Valentin) and D. Flynn (David)

Prognostics and Health Management for the Optimization of Marine Hybrid Energy Systems Article

W. Tang (Wenshuo), D. Roman (Darius), R. Dickie (Ross), V. Robu (Valentin) and D. Flynn (David)

Green hope or red herring? Examining consumer perceptions of peer-to-peer energy trading in the United Kingdom Article

K. Pumphrey (Kate), S.L. Walker (Sara Louise), M. Andoni (Merlinda) and V. Robu (Valentin)

Automating the Verification of the Low Voltage Network Cables and Topologies Article

M. Mokhtar (Maizura), V. Robu (Valentin), D. Flynn (David), C. Higgins (Ciaran), J. Whyte (Jim), C. Loughran (Caroline) and F. Fulton (Fiona)

Automated Negotiation for Peer-to-Peer Electricity Trading in Local Energy Markets Article

C. Etukudor (Christie), B. Couraud (Benoit), V. Robu (Valentin), W.-G. Früh (Wolf-Gerrit), D. Flynn (David) and C. Okereke (Chinonso)