Publications from 2019

The impact of a network split on cascading failure processes Article

F. Sloothaak, S.C. Borst (Sem) and A.P. Zwart (Bert)

Stochastic monotonicity of Markovian Multiclass Queueing Networks Article

H. Leahu (Haralambie) and M.R.H. Mandjes (Michel)

Een robuust en maatschappelijk gedragen energiesysteem MMIP 13 Report

van Bracht (Mart), Nillesen (Frans), van Put (Daan), Claassens (Paul), J.A. La Poutré (Han), Kramer (Gert Jan), Emde (Michel), van den Brink (Ruud), Kellner - van Tjonger (Marijke), Wiersma (Frank), et al. Bongaerts (Martijn)

Decarbonisation of transport: options and challenges Report

Boulouchos, K. (Konstantinos), Sturm, P-J (Peter-Johann), Kretzschmar (Jan), Duic (Neven), Laurikko (Juhani), Bradshaw (Alex), Hamacher (Thomas), Bettzüge (Marc Oliver), Giannopoulos (George), J.A. La Poutré (Han), et al. Blok (Kornelius), Ulleberg (Øystein), Frank (Harry), Johnsson (Filip), Georges (Gil), Oswald (Kirsten), Schmidt (Thomas Justus), Bruce (Peter) and Gillett (William)

Blockchain at CWI SWAT Presentation

T. van der Storm (Tijs)

Subspaces of tensors with high analytic rank Article

J. Briët (Jop)

On Improving Communication Complexity in Cryptography Dissertation

L.M. Kohl (Lisa)

Finite-Sum Smooth Optimization with SARAH Tech Report

L. M. Nguyen (Lam), M.E. van Dijk (Marten), D.T. Phan (Dzung), P.H. Nguyen (Phuong Ha), T.-W. Weng (Tsui-Wei) and J. R. Kalagnanam (Jayant)

Static Local Coordination Avoidance for Distributed Objects Artifacts Software|Data

T.M. Soethout (Tim)

Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Evaluation Data Software|Data

T.M. Soethout (Tim)

Dynamic 3D X-ray micro-CT data of a tablet dissolution in a water-based gel Dataset

S.B. Coban (Sophia) and F. Lucka (Felix)

Cone-beam x-ray CT data collection designed for machine learning: Samples 1-8 Dataset

H.H. Der Sarkissian (Henri), F. Lucka (Felix), M.A.J.M. van Eijnatten (Maureen), G. Colacicco (Giulia), S.B. Coban (Sophia) and K.J. Batenburg (Joost)

Safety and Performance in Generated Coordination Code Master Thesis

C.A. Esterhuyse (Christopher)

Imaging, redatuming and interferometry by inversion–toward solving large systems of integral equations at scale In Proceedings

I. Vasconcelos (Ivan), M. Ravasi (Matteo), Y. Sripanich (Yanadet), D. Vargas (David) and T. van Leeuwen (Tristan)

Micromagnetic Tomography applied to natural samples: first steps towards deriving rock magnetic and paleomagnetic data from subsets of magnetic grains in lavas In Proceedings

L.V. de Groot (Lennart), A. Béguin (Annemarieke), K. Fabian (Karl), R.R. Fu (Roger), R.J. Harrison (Richard), C.M.L. Jansen (Chloë), A. Barnhoorn (Auke), T. van Leeuwen (Tristan), P. Reith (Pim) and H. Hilgenkamp (Hans)

Visualizing the misfit landscape for full waveform inversion In Proceedings

M. Izzatullah (Muhammad), T. van Leeuwen (Tristan) and D. Peter (Daniel)

Bayesian uncertainty estimation for full waveform inversion: A numerical study In Proceedings

M. Izzatullah (Muhammad), T. van Leeuwen (Tristan) and D. Peter (Daniel)

A convex formulation for Binary Tomography Article

A.A. Kadu (Ajinkya) and T. van Leeuwen (Tristan)

Machine learning methods for wind turbine condition monitoring: A review Article

A. Stetco (Adrian), F. Dinmohammadi (Fateme), X. Zhao (Xingyu), V. Robu (Valentin), D. Flynn (David), M. Barnes (Mike), J. Keane (John) and G. Nenadic (Goran)

Optimization of a multiple-scale renewable energy-based virtual power plant in the UK Article

A.H. Elgamal (Ahmed Hany), G. Kocher-Oberlehner (Gudrun), V. Robu (Valentin) and M. Andoni (Merlinda)

Blockchain technology in the energy sector: A systematic review of challenges and opportunities Article

M. Andoni (Merlinda), V. Robu (Valentin), D. Flynn (David), S. Abram (Simone), D. Geach (Dale), D. Jenkins (David), P. McCallum (Peter) and A. Peacock (Andrew)

Consider ethical and social challenges in smart grid research Article

V. Robu (Valentin), D. Flynn (David), M. Andoni (Merlinda) and M. Mokhtar (Maizura)

On list recovery of high-rate tensor codes In Proceedings

S. Kopparty (Swastik), N.A. Resch (Nicolas), N. Ron-Zewi (Noga), S. Saraf (Shubhangi) and S. Silas (Shashwat)

Improvements for drift-diffusion plasma fluid models with explicit time integration Tech Report

H.J. Teunissen (Jannis)

Transforming graph states to Bell-pairs is NP-Complete Tech Report

A. Dahlberg (Axel), J. Helsen (Jonas) and S.D.C. Wehner (Stephanie)

Counting single-qubit Clifford equivalent graph states is #ℙ-complete Tech Report

A. Dahlberg (Axel), J. Helsen (Jonas) and S.D.C. Wehner (Stephanie)

New Methods in Coding Theory: Error-Correcting Codes and the Shannon Capacity Dissertation

S.C. Polak (Sven)

Semidefinite programming bounds for Lee codes Article

S.C. Polak (Sven)

Uniqueness of codes using semidefinite programming Article

A.E. Brouwer (Andries) and S.C. Polak (Sven)

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

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

Sum-perfect graphs Article

B.M. Litjens (Bart), S.C. Polak (Sven) and V. Sivaraman (Vaidy)

Semidefinite programming bounds for constant weight codes Unknown

S.C. Polak (Sven)

Fixed-Confidence Guarantees for Bayesian Best-Arm Identification Tech Report

X. Shang (Xuedong), R. de Heide (Rianne), E. Kaufmann (Emilie), P. Ménard (Pierre) and M. Valko (Michal)

Finite-time ruin probabilities under large-claim reinsurance treaties for heavy-tailed claim sizes Tech Report

H. Albrecher (Hansjörg), B. Chen (Bohan), E. Vatamidou (Eleni) and A.P. Zwart (Bert)

On the Nature of Symbolic Execution In Proceedings

De Boer, F.S. (Frank S.) and M.M. Bonsangue (Marcello)

An optimal rewiring strategy for cooperative multiagent social learning In Proceedings

H. Tang (Hongyao), J. Hao (Jianye), L. Wang (Li), T. Baarslag (Tim) and Z. Wang (Zan)

From SOS to Asynchronously Communicating Actors In Proceedings

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), Pun, K.I. (Ka I) and S.L. Tapia Tarifa (Lizeth)

Stability of human-inspired agent societies In Proceedings

J. Collenette (Joe), D. Bloembergen (Daniel), K. Atkinson (Katie) and K. Tuyls (Karl)

Predicting traffic phases from car sensor data using machine learning In Proceedings

T. H. A. Koch (Thomas)

Disagreement percolation for Gibbs ball models Article

C. Hofer-Temmel (Christoph) and P. Houdebert (Pierre)

Multilayer Camouflaged Secure Boot for SoCs In Proceedings

A.S. Siddiqui (Ali Shuja), G.S. Nicholas (Geraldine Shirley), S.R. Joseph (Sam Reji), Y. Gui (Yutian), J. Plusquellic (Jim), M.E. van Dijk (Marten) and F. Saqib (Fareena)

Afivo-streamer Software

Executable Formal Specification of Programming Languages with Reusable Components Dissertation

L.T. van Binsbergen (Thomas)

Executable component-based semantics Article

L.T. van Binsbergen (Thomas), P.D. Mosses (Peter) and N. Sculthorpe (Neil)

MSDNet Software

D.M. Pelt (Daniël)

FelixMatlabTools Software

F. Lucka (Felix)

Edge-frames Software

P. Fuchs (Per)

WalnutReconstructionCodes Software

H.H. Der Sarkissian (Henri) and F. Lucka (Felix)

PyCorrectedEmissionCT Software

N.R. Viganò (Nicola)

Purex_games Software

W.M. Koolen-Wijkstra (Wouter)

Learned cardinalities: Estimating correlated joins with deep learning In Proceedings

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

streamer_1d Software

H.J. Teunissen (Jannis)

SPARQL Endpoint Interface to Python Software

S. Fernández (Sergio), C. Tejo (Carlos), I. Herman (Ivan) and A. Zakhlestin (Alexey)

Igor - An Internet of Things Framework Software

A.J. Jansen (Jack) and S. Pemberton (Steven)

Emotion detection from touch interactions during text entry on smartphones Article

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

Designing an experience sampling method for smartphone based emotion detection Article

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

EmoKey: An emotion-aware smartphone keyboard for mental health monitoring In Proceedings

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

Does emotion influence the use of auto-suggest during smartphone typing? In Proceedings

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

A bottleneck with randomly distorted arrival times In Proceedings

D. van Leeuwen (Daphne), L. Ravner (Liron), S. Ghazanfari (Sara) and R. Núñez Queija (Rudesindo)

Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning Article

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

Distributed cost minimization power flow in distribution systems with DGs In Proceedings

S. Sharma (Satish) and J.A. La Poutré (Han)

Towards a constructive version of Banaszczyk’s vector balancing theorem Article

D.N. Dadush (Daniel), S. Garg (Shashwat), S. Lovett (Shachar) and A. Nikolov (Aleksandar)

The Gram-Schmidt Walk: A Cure for the Banaszczyk Blues Article

N. Bansal (Nikhil), D.N. Dadush (Daniel), S. Garg (Shashwat) and S. Lovett (Shachar)

Incorporating Weisfeiler-Leman into algorithms for group isomorphism Tech Report

P.A. Brooksbank (Peter), J.A. Growchow (Joshua), Y. Li (Yinan), Y. Qiao (Youming) and J.B. Wilson (James)

Heavy tails : asymptotics, algorithms, applications Dissertation

B. Chen (Bohan)

SWI-Prolog Software

J. Wielemaker (Jan)

Accumulation Bias in Meta-Analysis Lecture

J.A. ter Schure (Judith)

Proceedings of the 2019 International Conference on Management of Data Proceedings

Extracting Novel Facts from Tables for Knowledge Graph Completion (Extended version) Tech Report

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

Performance-Optimal Filtering:Bloom Overtakes Cuckoo at High Throughput In Proceedings

H. Lang (Harald), T. Neumann (Thomas), A. Kemper (Alfons) and P.A. Boncz (Peter)

Model-free stochastic collocation for an arbitrage-free implied volatility, part I Article

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

Approximation of insurance liability contracts using radial basis functions In Proceedings

S.N. Singor (Stefan), E. Schols (Eric) and C.W. Oosterlee (Kees)

Mathematical Modeling and Computation in Finance With exercises and Python and MATLAB computer codes Book

C.W. Oosterlee (Kees) and L.A. Grzelak (Lech Aleksander)

Interview with Carl Shneider about the Super Resolution project by Space@yourService from EPFL, Switzerland Online Video

Practical One-to-Many Negotiation Challenges Presentation

F. Nassiri Mofakham (Faria) and T. Baarslag (Tim)

Perfect zero knowledge for quantum Multiprover Interactive Proofs In Proceedings

A. Grilo (Alex), W. Slofstra (William) and H. Yuen (Henry)

Stoquastic PCP vs. randomness In Proceedings

D. Aharonov (Dorit) and A. Grilo (Alex)

Space Weather: Solar Mag Lecture

C. Shneider (Carl) and not CWI et al

Efficient estimation of extreme quantiles using adaptive kriging and importance sampling Article

N. Razaaly (Nassim), D.T. Crommelin (Daan) and P.M. Congedo (Pietro Marco)

DatAR: Your brain, your data, on your desk - A research proposal In Proceedings

G. Tanhaei (Ghazaleh), L. Hardman (Lynda) and W. Huerst (Wolfgang)

Amsterdamse kennisinstellingen steken 1 miljard euro in AI - Release - 20-12-2019 Magazine Article

Amsterdamse kennisinstellingen steken 1 miljard in AI - e-Totaal - 16-12-2019 Magazine Article

AmsterdamUMC, kennisinstellingen investeren 1 mld in AI - ICT & Health - 24-12-2019 Magazine Article

Hoe blijft Nederland mondiaal koploper in quantumtechnologie? - Consultancy.nl - 3-12-2019 Magazine Article

Tien nieuwe leden voor De Jonge Akademie - Nieuwsonline.nu - 12-12-2019 Magazine Article

De Jonge Akademie voegt tien nieuwe leden toe - Nationale Onderwijsgids - 10-12-2019 Magazine Article

Gemuteerde virussen te lijf met nieuwe rekenmethode - Expertise Voedingsmuiddelenindustrie - 31-12-2019 Magazine Article

Podcast: DTL 044 – Hoe het NLse MonetDB het laatste druppeltje performance uit een server haalt - De Dataloog - 16-12-2019 Online Audio

Grafentheorie brengt virus in kaart - C2W Chemisch 2 Weekblad - 31-12-2019 Magazine Article

Grafentheorie brengt virus in kaart - Mens & Molecule - 31-12-2019 Magazine Article

Gemuteerde virussen te lijf met nieuwe rekenmethode - Mens & Molecule - 31-12-2019 Magazine Article

Gemuteerde virussen te lijf met nieuwe rekenmethode - C2W Chemisch 2 Weekblad - 31-12-2019 Magazine Article

‘Diep in mijn hart dacht ik: eindelijk gerechtigheid’ - New Scientist - 7-12-2019 Magazine Article

Amsterdam investeert 1 miljard euro in ai-talent - Computable - 13-12-2019 Magazine Article

Hoger Onderwijs Amsterdam investeert driehonderd miljoen euro in AI onderzoek - Dutch IT-channel - 16-12-2019 Magazine Article

Guido Van Rossum, le créateur de Python, se retire du Conseil de direction du langage pour s'adonner à des activités qu'il considère plus amusantes: Programmer (en) et contribuer à Python - Développer.com - 28-12-2019 Magazine Article

Amsterdamse kennisinstellingen steken 1 miljard in AI - Engineers Online - 16-12-2019 Magazine Article

Amsterdam invests 1 billion in AI - Bits & Chips - 17-12-2019 Magazine Article

Amsterdamse kennisinstellingen steken 1 miljard euro in AI - BI Platform - 20-12-2019 Magazine Article