Publications from 2020

Protocols for creating and distilling multipartite GHZ states with Bell pairs Article

S.W. de Bone (Sébastian), R. Ouyang (Runsheng), K. Goodenough (Kenneth) and D. Elkouss (David)

RV-GOMEA Software|Data

C. Olieman (Chantal)

tdULL Software

M.J. de Vries (Mees), K.R. Brokkelkamp (Ruben), van Venetië (Raymond) and J. Westerdiep (Jan)

Temporal hybridization number Software

S.J. Borst (Sander)

Completeness and complexity of reasoning about call-by-value in Hoare logic (Proof Files) Software

H.A. Hiep (Hans-Dieter)

History-based Specification and Verification of Java Collections in KeY: Video Material Software

J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

History-based Specification and Verification of Java Collections in KeY: Proof Files Software

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Constreofy tool Software|Data

B. Changizi (Behnaz), N. Kokash (Natallia), F. Arbab (Farhad) and L. Makhnist

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages Software|Data

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

2 layers QG model with stochastic forcing Software|Data

F. Gugole (Federica)

ElsevierSoftwareX /SOFTX_2019_279 Software|Data

F.I. Pelupessy (Inti)

FabSim3 Software|Data

D. Groen (Derek)

EasyVVUQ analysis scripts for the DALES model Software|Data

F.R. Jansson (Fredrik)

EasySurrogate - phys_D branch Software|Data

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

FabCovidsim Software|Data

W.N. Edeling (Wouter), H. Arabnejad (Hamid), R. Sinclair (Robert), D. Suleimenova (Diana), K. Gopalakrishnan (Krishnakumar), B. Bosak (Bartosz), D. Groen (Derek) and I. Imran (Mahmood)

Optimally weighted loss functions for solving PDEs with Neural Networks Software|Data

R. van der Meer (Remco)

UQ_covid19 Software|Data

F. Gugole (Federica), L.E. Coffeng (Luc), W.N. Edeling (Wouter), B. Sanderse (Benjamin), S.J. de Vlas (Sake) and D.T. Crommelin (Daan)

Regret games paper Software|Data

R.R.B.P. Degenne (Rémy), H. Shao (Han) and W.M. Koolen-Wijkstra (Wouter)

BrainProp Software|Data

I. Pozzi (Isabella)

psynlp --- fork of original package adapted for detecting transdiagnostic outcome measures in clinical psychiatry notes Software|Data

R.J. Turner (Rosanne)

SRNN-ICONs2020 Software|Data

B. Yin (Bojian)

Code for detecting magnetic reconnection with machine learning methods Software

A. Hu (Andong), M. Sisti, F. Finelli, F. Califano, J. Dargent, M. Faganello, E. Camporeale (Enrico) and H.J. Teunissen (Jannis)

Labelled magnetic reconnection simulation data set Dataset

A. Hu (Andong), M. Sisti, F. Finelli, F. Califano, J. Dargent, M. Faganello, E. Camporeale (Enrico) and H.J. Teunissen (Jannis)

Data and code for paper "A gray-box model for a probabilistic estimate of regional ground magnetic perturbations: Enhancing the NOAA operational Geospace model with machine learning" Software|Data

E. Camporeale (Enrico), M.D. Cash, H.J. Singer, C.C. Balch, Z. Huang and G. Toth

Materials for the MTSR'20 paper Predicting the Basic Level in a Hierarchy of Concepts Software|Data

L. Hollink (Laura), A. Bilgin (Aysenur) and J.R. van Ossenbruggen (Jacco)

minimal WAPE Software

S. Ding (Sihan) and G.M. Koole (Ger)

MAGUS Software|Data

T. Bogaard (Tessel), J. Wielemaker (Jan), L. Hollink (Laura), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Tab2Know evaluation data Dataset

B.B. Kruit (Benno), H. He, H. (Hongyu) and J. Urbani (Jacopo)

Tab2Know Software

B.B. Kruit (Benno), H. He, H. (Hongyu) and J. Urbani (Jacopo)

takco Software

B.B. Kruit (Benno), P.A. Boncz (Peter) and J. Urbani (Jacopo)

Multidimensional Datasets Software|Data

P.T. Holanda (Pedro)

RSDS: Reverse-Safe-data-structure Software|Data

G. Loukides (Grigorios), S. Pissis (Solon) and H. Chen (Huiping)

StringSanitizationTKDD Software

G. Bernardini (Giulia), H. Chen (Huiping), A. Conte (Alessio), R. Grossi (Roberto), G. Loukides (Grigorios), N. Pisanti (Nadia), S. Pissis (Solon), G. Rosone (Giovanna) and M.J.M. Sweering (Michelle)

Learning a Formula of Interpretability to Learn Interpretable Formulas Other

M. Virgolin (Marco), A. De Lorenzo (Andrea), E. Medvet (Eric) and F. Randone (Francesca)

Uncrowded-hypervolume based multi-objective optimization Software|Data

S.C. Maree (Stef), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

OGRE Software|Data

M. Balvert (Marleen), X. Luo (Vincent), T. Hauptfeld (Ernestina), A. Schönhuth (Alexander) and B.E. Dutilh (Bas)

G6K-GPU-Tensor Software

L. Ducas (Léo), M.M.J. Stevens (Marc) and W.P.J. van Woerden (Wessel)

EasySurrogate Software

W.N. Edeling (Wouter)

The LDBC Social Network Benchmark Article

R. Angles Rojas (Renzo), J.B. Antal (János Benjamin), A. Averbuch, P.A. Boncz (Peter), O. Erling (Orri), A. Gubichev (Andrey), V. Haprian (Vlad), M. Kaufmann (Moritz), J. Larriba-Pey (Josep), N. Martinez Bazan, et al. J. Marton (József), M. Paradies (Marcus), M.-D. Pham (Minh-Duc), A.P. Pérez (Arnau Prat), M. Spasić (Mirko), B.A. Steer (Benjamin), D. Szakállas (David), G. Szárnyas (Gábor), J. Waudby (Jack), M. Wu (Mingxi) and Y. Zhang (Yuchen)

Cuckoo index: a lightweight secondary index structure Article

A. Kipf (Andreas), D. Chromejko (Damian), A. Hall (Alexander), P.A. Boncz (Peter) and D.G. Andersen (David)

Delta lake: high-performance ACID table storage over cloud object stores In Proceedings

M. Armbrust (Michael), T. Das (Tathagata), L. Sun (Liwen), B. Yavuz (Burak), S. Zhu (Shixiong), M. Murthy (Mukul), J. Torres (Joseph), H. van Hovell (Herman), A. Ionescu (Adrian), A. Łuszczak, et al. M. Switakowski, M. Szafranski (Michal), X. Li (Xiao), T. Ueshin (Takuya), M. Mokthar (Mostafa), P.A. Boncz (Peter), A. Ghodsi (Ali), S. Paranjpye (Sameer), P. Senster (Pieter), R. Xin (Reynold) and M. Zaharia (Matei)

Role of the TPC in the cloud age Conference Paper

A. Crolotte (Alain), L. Fei-Fei (Li), M. Poess, P.A. Boncz (Peter) and R. Nambiar (Raghunath)

FSST: Fast random access string compression In Proceedings

P.A. Boncz (Peter), T. Neumann (Thomas) and V. Leis (Viktor)

Dynamic distribution network expansion planning with demand side management Book Chapter

N.H. Luong (Hoang), P.A.N. Bosman (Peter), M.O.W. Grond and J.A. La Poutré (Han)

In welke stapjes kan Nederland weer van het slot af? - NPO radio 1, Dit is de dag - 06-04-2020 Online Audio

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)

Supporting Relation-Finding in Neuroscientific Text Collections using Augmented Reality: A Design Exploration Master Thesis

I.O. Troost (Ivar)

Inference - The man who carried computer science on his shoulders - 01-09-2020 Magazine Article

Low-code, no-code, where’s my code!? Presentation

T. van der Storm (Tijs)

Python bedenker Guido van Rossum is Nederlandse ICT-held - PCM web 20-02-2020 Magazine Article

ProRail maakt nieuwe planningssoftware voor dienstregeling - ICTMagazine - 20-02-2020 Magazine Article

Software engineering maakt games spannender - Emerce - 28-02-2020 Magazine Article

Nederlanders kraken per ongeluk Chinese puzzelbal - de Volkskrant - 18-02-2020 Magazine Article

Doctors embrace AI, Peter-Bosman - Bits and Chips - 01-02-2020 Magazine Article

Grondlegger-van-de-blockchain, David-Chaum - AG Connect - 29-02-2020 Magazine Article

Kwantumcomputing heeft juridisch kader nodig - AG Connect - 29-02-2020 Magazine Article

Vrouwen in kwantum komen samen tijdens eerste symposium WIQD - AG Connect - 21-02-2020 Magazine Article

Quantumcomputer zoekt apps - Volkskrant - 14-03-2020 Magazine Article

Eerste patient behandeld met bestralingsplan AI - Technisch Weekblad - 23-03-2020 Magazine Article

Patient behandeld met bestralingsplan van AI - Techniek Wetenschap - 27-03-2020 Magazine Article

The Knapsack Problem in Computer Science Explained: Science with Leo Ducas - Smithsonian Magazine - 10-03-2020 Magazine Article

Kunstmatige intelligentie helpt bij vaststellen beste bestralingsplan - Reuma Arnhem - 20-03-2020 Magazine Article

Software engineering maakt games spannender - Release - 09-03-2020 Magazine Article

Kunstmatige Intelligentie: CWI en Amsterdam UMC berekent beste methode bestraling - ICT Magazine - 18-03-2020 Magazine Article

Prostaatkanker behandelen met AI bestralingsplan - ICT en Health - 18-03-2020 Magazine Article

Kunstmatige Intelligentie van CWI en Amsterdam UMC stelt voor het eerst de beste bestralingsplannen voor - FMT Gezondheidszorg - 24-03-2020 Magazine Article

CWI en Amsterdam UMC ontwikkelen software tegen prostaatkanker - Executive people - 20-03-2020 Magazine Article

Beter bestralen dankzij kunstmatige intelligentie - De Ingenieur - 19-03-2020 Magazine Article

Computable-18maart2020-Ai-helpt-radiotherapeuten-bij-bestralingsplan.pdf Magazine Article

HISTORISCH BEWIJS: IN WELKE KIST VLUCHTTE HUGO DE GROOT UIT SLOT LOEVESTEIN - Avrotros - 04-03-2020 Magazine Article

Zeven corona apps in de race privacy wordt een janboel - Twentsche Courant 18-04-2020 Magazine Article

Europese subsidie van 1.5 miljoen voor wiskunde consortium NETWORKS - TUE.nl - 21-04-2020 Magazine Article

Ik zag de eerste resultaten en ik dacht holy fuck die tijdlijn - NRC Handelsblad- 06-04-2020 Magazine Article

Gebruik corona app zit vol onzekerheden maar nog te vroeg voor conclusies - NOS - 21-04-2020 Magazine Article

Op weg naar toekomstbestendige scheepsbouw - Maritiem Nederland - 30-04-2020 Magazine Article

Europese subsidie van 1.5 miljoen voor wiskunde consortium NETWORKS voor energie en communicatienetwerken - Link magazine - 04-04-2020 Magazine Article

Artificial intelligence in de zorg succescases en blik op de toekomst - Kpn.com - 01-04-2020 Magazine Article

Wees niet bang om AI te gebruiken - IP vakblad voor informatie professionals - 30-04-2020 Magazine Article

Werelwijd worstelen landen met coronatracing-apps - Financieel Dagblad - 30-04-2020 Magazine Article

Corona app dreigt te mislukken - Financieel Dagblad - 14-04-2020 Magazine Article

Beter bestralen dankzij AI - De Ingenieur - 30-04-2020 Magazine Article

Zeven corona apps in de race privacy wordt een janboel - Amerfoortse Courant - 18-04-2020 Magazine Article

Betere games met live programmeren - AG Connect - 30-04-2020 Magazine Article

Zo zet de overheid verantwoord een corona app op - AG Connect - 22-04-2020 Magazine Article

Zeven corona apps in de race privacy wordt een janboel - AD Dordtenaar - 18-04-2020 Magazine Article

Zeven corona apps in de race privacy wordt een janboel - AD - 18-05-2020 Magazine Article

Wiskundeconsortium TU/e krijgt 1.5 miljoen subsidie - Studio040 - 21-04-2020 Magazine Article

25e CWI spin-off Swat.engineering maakt software van de toekomst - Release - 22-05-2020 Magazine Article

Quantumonderzoeker Harry Buhrman treedt toe tot KNAW - Release - 08-05-2020 Magazine Article

Ze hield zielsveel van zuivere wiskunde - NRC handelsblad - 01-05-2020 Magazine Article

HvA en CWI richten nieuw lectoraat op: Applied Quantum Computing - ICT magazine - 25-05-2020 Magazine Article

25e CWI spin-off Swat.engineering maakt software van de toekomst - ICTmagazine - 18-05-2020 Magazine Article

Richtlijnen voor toegankelijke websites en online info is beschikbaar in Nederlands - Executive people - 28-05-2020 Magazine Article

HvA en CWI richten nieuw lectoraat op: Applied Quantum Computing - Executive people - 19-05-2020 Magazine Article

CWI spin-off Swat.engineering maakt software van de toekomst - Executive people - 18-05-2020 Magazine Article

Harry Buhrman treedt toe tot KNAW - Executive people - 03-05-2020 Magazine Article

KNAW kiest achttien nieuwe leden - Engineersonline - 01-05-2020 Magazine Article

HvA en CWI starten lectoraat Applied Quantum Computing - Engineersonline - 28-05-2020 Magazine Article

Nieuw lectoraat Applied Quantum Computing - Emerce - 27-05-2020 Magazine Article