Publications from 2021

ICST 2021 version of Rebel2 Software

J. Stoel (Jouke)

SEP-RANK Software

J.A.J. Steenkamp (Andries)

Integrating ADTs in KeY and their Application to History-based Reasoning : Video Material Software

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

Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames Software

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

Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files Software

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

Data and analysis for the publication: Content-Based Recommender Support System for Counselors in a Suicide Prevention Chat Helpline: Design and Evaluation Study Software|Data

S. Salmi (Salim), S. Mérelle (Saskia), R. Gilissen (Renske) and W.-P. Brinkman (Willem-Paul)

EasyVVUQ: Covidsim version Software|Data

V. Jancauskas (Vytautas), R.A. Richardson (Robin), D.W. Wright (David), J. Lakhlili (Jalal), W.N. Edeling (Wouter), D.P. Coster (David), D. Groen (Derek), D. Suleimenova (Diana), M. van der Kolk (Max), A. Lebedev (Anton), et al. B. Bosak (Bartosz)

OMUSE Software|Data

F.I. Pelupessy (Inti), G. van den Oord (Gijs), F.R. Jansson (Fredrik), M. Verstraaten (Merijn), B.J.C. van Werkhoven (Ben), S. Baars, M. Chertova (Maria) and A. Candy (Adam)

DiscreteFiltering Software

S.D. Agdestein (Syver)

Virsim Software|Data

L.E. Coffeng (Luc)

UQ4WIND: UQ for aeroelastic wind turbine models Software|Data

B. Sanderse (Benjamin), P. Kumar (Prashant) and V.V. Dighe (Vinit)

Fast Solutions Software|Data

U. Böhm (Udo), S. Cox (Sonja), G. Gantner (Gregor) and R. Stevenson (Rob)

A/B/n testing with control in the presence of subpopulations In Proceedings

Y. Russac (Yoan), C. Katsimerou (Christina), D. Bohle (Dennis), O. Cappé (Olivier), A. Garivier (Aurélien) and W.M. Koolen-Wijkstra (Wouter)

Optimal best-arm identification methods for tail-risk measures In Proceedings

S. Agrawal (Shubhada), W.M. Koolen-Wijkstra (Wouter) and S. Juneja (Sandeep)

Robust online convex optimization in the presence of outliers Robust online convex optimization in the presence of outliers In Proceedings

T.A.L. van Erven (Tim), S. Sachs (Sarah), W.M. Koolen-Wijkstra (Wouter) and W.T. Kotlowski (Wojciech)

Metagrad: Adaptation using multiple learning rates in online learning Article

T.A.L. van Erven (Tim), W.M. Koolen-Wijkstra (Wouter) and D. van der Hoeven (Dirk)

Adaptive (SRNN) Spiking Recurrent Neural network Software|Data

B. Yin (Bojian)

A comparison of particle and fluid models for positive streamer discharges in air Dataset

Z. Wang (Zhen), A.B. Sun (Anbang) and H.J. Teunissen (Jannis)

Comparing simulations and experiments of positive streamers in air: steps toward model validation Dataset

X. Li (Xiaoran), S. Dijcks (Siebe), S. Nijdam (Sander), A.B. Sun (Anbang), U. Ebert (Ute) and H.J. Teunissen (Jannis)

Bargaining Chips Software|Data

T. Baarslag (Tim), T.L.J. Elfrink (Tijmen), F. Nassiri Mofakham (Faria), T. Koca (Thimjo), M. Kaisers (Michael) and R. Aydoğan (Reyhan)

IPython notebook with "Computable Trustworthiness Ranking of Medical Experts in Italy during the SARS-CoV-19 Pandemic" Software

D. Ceolin (Davide), F. Doneda (Francesca) and G. Primiero (Giuseppe)

Data with "Computable Trustworthiness Ranking of Medical Experts in Italy during the SARS-CoV-19 Pandemic" Dataset

D. Ceolin (Davide), F. Doneda (Francesca) and G. Primiero (Giuseppe)

Claims dataset Dataset

C.I. Bucur (Cristina-Iulia), T. Kuhn (Tobias), D. Ceolin (Davide) and J.R. van Ossenbruggen (Jacco)

StereoDemo Software|Data

D.W.J. Meijer (Dirk), R. Luimes (Rianne), A.J. Knobbe (Arno) and T. Bäck (Thomas)

DuckDB Sorting experiments Software|Data

L.N. Kuiper (Laurens), M. Raasveldt (Mark) and H.F. Mühleisen (Hannes)

Simulated data for the manuscript "Phasebook: haplotype-aware de novo assembly of diploid genomes from long reads" Dataset

X. Luo (Vincent), X. Kang (Xiongbin) and A. Schönhuth (Alexander)

Assemblies generated in the paper "phasebook: haplotype-aware de novo assembly of diploid genomes from long reads" Software|Data

X. Luo (Vincent), X. Kang (Xiongbin) and A. Schönhuth (Alexander)

Applicability of several rooted phylogenetic network algorithms for representing the evolutionary history of SARS-CoV-2 Software|Data

R.A. Wallin (Rosanne), L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and L. Stougie (Leen)

Strainline Software|Data

X. Luo (Vincent), X. Kang (Xiongbin) and A. Schönhuth (Alexander)

Hide and mine solver Software|Data

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

evoNSGA-II Software|Data

D. Liu (Dazhuang), M. Virgolin (Marco), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

GP_DR Software|Data

T. Uriot (Thomas), M. Virgolin (Marco), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

SAGOMEA Software|Data

A. Dushatskiy (Arkadiy), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

NTRUFatigue Software

L. Ducas (Léo) and W.P.J. van Woerden (Wessel)

Generic E-Variables for Exact Sequential k-Sample Tests that allow for Optional Stopping Tech Report

R.J. Turner (Rosanne), A. Ly (Alexander) and P.D. Grünwald (Peter)

Netherlands Cryptolands; Starting point of the crypto-communications roadmap: an overview of 4 important developments in cryptography Report

Y. Meijaard (Yoram), M. van Heesch (Maran), R.J.F. Cramer (Ronald) and J. Groenland (Jelger)

Teseo and the analysis of structural dynamic graphs Article

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

Deep reinforcement learning in linear discrete action spaces In Proceedings

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

AI as an accelerator of the energy transitition: Opportunities for a carbon-free energy system Report

Agterberg (Pallas), Bijl (Maarten), Hurink (Johann), J.A. La Poutré (Han), van de Vreede (Gerdien), M.M. de Weerdt (Mathijs) and Wilbrink (Tijs)

Secure software leasing without assumptions Tech Report

A. Broadbent (Anne), S. Jeffery (Stacey), S. Lord (Sébastien), S. Podder (Supartha) and A. Sundaram (Aarthi)

Thirty-six entangled officers of Euler: Quantum solution to a classically Impossible problem Tech Report

S.A. Rather (Suhail Ahmad), A. Burchardt (Adam), W. Bruzda (Wojciech), G. Rajchel-Mieldzioć (Grzegorz), A. Lakshminarayan (Arul) and K. Zyczkowski

A note on short invertible ring elements and applications to cyclotomic and trinomials number fields Article

T. Attema (Thomas), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

PAC-Bayes, MAC-Bayes and Conditional Mutual Information: Fast rate bounds that handle general VC classes In Proceedings

P.D. Grünwald (Peter), T. Steinke (Thomas) and L. Zakynthinou (Lydia)

Understanding Interestingness of Artwork Relations for Art Museum Visitors based on Wikidata Metadata Master Thesis

S.B. Dirks (Simon)

Designing a 3D visualization for exploring relations between semantically similar brain diseases in Augmented Reality Master Thesis

T.P.C. Hendrickx (Thijs)

A note on a Claim of Eldar & Hallgren: LLL already solves it Tech Report

L. Ducas (Léo) and W.P.J. van Woerden (Wessel)

A Survey of Cybersecurity of Digital Manufacturing Article

P. Mahesh (Priyanka), A. Tiwari (Akash), C. Jin (Chenglu), P.R. Kumar (Panganamala), A.L.N. Reddy (Narasimha), S.T. Bukkapatanam (Satish), N. Gupta (Nikhil) and R. Karri (Ramesh)

Identifying socio-demographic risk factors for suicide data on an individual level Article

G.A. Berkelmans (Guus), R. Gilissen (Renske), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Severe weather-based fire department incident forecasting Article

G.A.G. Legemaate (Guido), J. de Deijn (Jeffrey), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

CEAP-360VR: A continuous physiological and behavioral emotion annotation dataset for 360 VR Videos Dataset

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

Proxemics and social interactions in an instrumented virtual reality workshop Dataset

J. R. Williamson (Julie), J. Li (Jie), V. Vinayagamoorthy (Vinoba), D.A. Shamma (Ayman) and P.S. César Garcia (Pablo Santiago)

Projecting textual languages Book Chapter

M. Verano Merino (Mauricio), J. Bartels (Jur), M.G.J. van den Brand (Mark), T. van der Storm (Tijs) and E. Schindler (Eugen)

Live programming - Programmeren als boetseren Presentation

T. van der Storm (Tijs)

Online-extractability in the quantum random-oracle model Tech Report

J.W. Don (Jelle), S. Fehr (Serge), C. Majenz (Christian) and C. Schaffner (Christian)

ALL-IN meta-analysis: Anytime Live and Leading INterim meta-analysis Presentation

J.A. ter Schure (Judith)

Onderzoek wijst uit: Noord/Zuid lijn groot succes - Westerpost - 08-12-2021 Magazine Article

Quantumcomputing komt er, daarom bereidt de HvA studenten voor - HvA - 03-12-2021 Magazine Article

Onderzoek wijst uit: Noord/Zuid lijn groot succes - Rodi - 05-12-2021 Magazine Article

Radio Telescope Reveals How Lightning Begins - Quanta Magazine - 20-12-2021 Magazine Article

#13 met Laura Hollink van het CWI en het Cultural AI Lab - Snoek op Zolder - 07-12-2021 Online Audio

How to find funds - IO4 - 31-12-2021 Magazine Article

Leave Meta alone - IO4 - 31-12-2021 Magazine Article

Bliksem het saaie eind van een raar process - NRC - 11-12-2021 Magazine Article

Noord/Zuidlijn groot succes - Magazine personenvervoer - 30-11-2021 Magazine Article

In converation with Nanda Piersma show how things can be done better - IO4 - 31-12-2021 Magazine Article

Quantumcomputing komt er daarom bereidt de HvA studenten voor - Emerce -08-12-2021 Magazine Article

AI laat de juiste ambulance uitrukken - De Vonk FD - 02-10-2021 Magazine Article

Tor Hidden Services migreren naar protocolversie 3 - CT magazine - 31-12-2021 Magazine Article

Servicenow investeert opniew in MonetDB - Computable - 09-12-2021 Magazine Article

Service Now investeert in MonetDB - Channel web - 09-12-2021 Magazine Article

Toekomst VR, groef en-griezelig echt bij beeld en geluid - BM magazine - 31-12-2021 Magazine Article

The good the bad and the ugly - AG Connect - 31-12-2021 Magazine Article

Waarom hunkeren bedrijven zo naar kwamtumsoftware - AG Connect -06-12-2021 Online Audio

De pandemie te lijf met wiskunde - AG Connect - 31-12-2021 Magazine Article

Gezamelijke witwasdetectie met secure multi party computation - de Actuaris - 31-12-2021 Magazine Article

P is NP New Scientist - 31-12-2021 Magazine Article

Adelbert claimde coronacheck.nl al voor eerste besmetting en verkocht die aan de overheid - Tubantia - 14-10-2021 Magazine Article

Adelbert claimde coronacheck.nl al voor eerste besmetting en verkocht die aan de overheid - ED - 14-10-2021 Magazine Article

Adelbert claimde coronacheck.nl al voor eerste besmetting en verkocht die aan de overheid - De Stentor - 14-10-2021 Magazine Article

Adelbert claimde coronacheck.nl al voor eerste besmetting en verkocht die aan de overheid - De Gelderlander - 14-10-2021 Magazine Article

Authenticatie zonder identiteit - NRC - 09-10-2021 Magazine Article

Energiezuinige AI detecteert hartafwijkingen - ICT-magazine - 15-10-2021 Magazine Article

Doorbraak voor neuromorfe chip toepassing - HCC - 19-10-2021 Magazine Article

Wiskundige doorbraak maakt chips factor 1000 energiezuiniger - Engineersonline - 18-10-2021 Magazine Article

Energiezuinige AI detecteert hartafwijkingen - Emerce - 18-10-2021 Magazine Article

De programmeur moet niet voor jou beslissen - AG Connect - 31-10-2021 Magazine Article

Kun je je toekomst voorspellen met wiskunde - AG Connect - 11-10-2021 Online Audio

Slim algoritme voor de zorg wiskunde redt levens - Telegraaf - 06-10-2021 Magazine Article

Voorspellende wiskunde - Gooi en Eemlander - 06-10-2021 Magazine Article

Voorspellende wiskunde - Noordhollands Dagblad - 06-10-2021 Magazine Article

Voorspellende wiskunde - Leidsch dagblad - 06-10-2021 Magazine Article

Adelbert claimde coronacheck.nl al voor eerste besmetting en verkocht die aan de overheid - BN de Stem - 14-10-2021 Magazine Article

Het pixelige vierkant ooit een gimmick nu onmisbaar - NRC - 25-09-2021 Magazine Article

Ai testen lijken op een rijexamen het draait om vertrouwen - AG connect - 30-09-2021 Magazine Article

Cis Marring en Marietje Schaake treden toe tot RvC Quantum Delta NL - Dutch IT-channel - 17-09-2021 Magazine Article

Quantum Delta NL kondigt nieuwe leden Raad van Commissarissen aan - Executive-People - 17-09-2021 Magazine Article

Burger moet meer macht krijgen over algoritmes - Trouw - 04-09-2021 Magazine Article

Slim lab zoekt moleculen Microsoft zet met UvA kunstmatige intelligentie in - Parool - 31-07-2021 Magazine Article

CT-scan onthult verborgen dubbele panelen schilderij uit Rubens atelier - Historiek online geschiedenismagazine - 30-08-2021 Magazine Article