Publications from 2019
-
The impact of a network split on cascading failure processes Article
Stochastic Systems, 9(4), 392-416.December 2019 -
Stochastic monotonicity of Markovian Multiclass Queueing Networks Article
Stochastic Systems, 9(2), 141-154.June 2019 -
September 2019
-
March 2019
-
Blockchain at CWI SWAT Presentation
March 2019 -
Subspaces of tensors with high analytic rank Article
Online Journal of Analytic Combinatorics, 6(16), 1-9.November 2019 -
On Improving Communication Complexity in Cryptography Dissertation
CryptologyOctober 2019 -
Finite-Sum Smooth Optimization with SARAH Tech Report
January 2019 -
September 2019
-
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Evaluation Data Software|Data
October 2019 -
October 2019
-
May 2019
-
Safety and Performance in Generated Coordination Code Master Thesis
August 2019 -
Imaging, redatuming and interferometry by inversion–toward solving large systems of integral equations at scale In Proceedings
April 2019 -
December 2019
-
Visualizing the misfit landscape for full waveform inversion In Proceedings
September 2019 -
September 2019
-
A convex formulation for Binary Tomography Article
IEEE Transactions on Computational Imaging, 1-11.February 2019 -
Machine learning methods for wind turbine condition monitoring: A review Article
Renewable Energy, 620-635.April 2019 -
Optimization of a multiple-scale renewable energy-based virtual power plant in the UK Article
Applied Energy, 113973.1-113973.17.December 2019 -
Blockchain technology in the energy sector: A systematic review of challenges and opportunities Article
Renewable and Sustainable Energy Reviews, 143-174.February 2019 -
Consider ethical and social challenges in smart grid research Article
Nature Machine Intelligence, 548-550.November 2019 -
On list recovery of high-rate tensor codes In Proceedings
September 2019 -
November 2019
-
July 2019
-
July 2019
-
New Methods in Coding Theory: Error-Correcting Codes and the Shannon Capacity Dissertation
CWI managementSeptember 2019 -
Semidefinite programming bounds for Lee codes Article
Discrete Mathematics, 342(9), 2579-2589.September 2019 -
Uniqueness of codes using semidefinite programming Article
Designs, Codes and Cryptography, 1881-1895.August 2019 -
New lower bound on the Shannon capacity of C7 from circular graphs Article
Information Processing Letters, 37-40.March 2019 -
Sum-perfect graphs Article
Discrete Applied Mathematics, 232-239.April 2019 -
January 2019
-
October 2019
-
Finite-time ruin probabilities under large-claim reinsurance treaties for heavy-tailed claim sizes Tech Report
May 2019 -
On the Nature of Symbolic Execution In Proceedings
September 2019 -
January 2019
-
From SOS to Asynchronously Communicating Actors In Proceedings
September 2019 -
Stability of human-inspired agent societies In Proceedings
January 2019 -
April 2019
-
Disagreement percolation for Gibbs ball models Article
Stochastic Processes and their Applications, 129(10), 3922-4149.April 2019 -
Multilayer Camouflaged Secure Boot for SoCs In Proceedings
December 2019 -
Afivo-streamer Software
August 2019 -
Executable Formal Specification of Programming Languages with Reusable Components Dissertation
Software Analysis and TransformationApril 2019 -
Executable component-based semantics Article
Journal of Logical and Algebraic Methods in Programming, 184-212.February 2019 -
MSDNet Software
June 2019 -
FelixMatlabTools Software
January 2019 -
Edge-frames Software
April 2019 -
WalnutReconstructionCodes Software
October 2019 -
PyCorrectedEmissionCT Software
January 2019 -
Purex_games Software
October 2019 -
January 2019
-
streamer_1d Software
January 2019 -
SPARQL Endpoint Interface to Python Software
December 2019 -
January 2019
-
Emotion detection from touch interactions during text entry on smartphones Article
International Journal of Human-Computer Studies, 47-57.October 2019 -
Designing an experience sampling method for smartphone based emotion detection Article
IEEE Transactions on Affective Computing, 12(4), 1.1-1.14.March 2019 -
January 2019
-
March 2019
-
A bottleneck with randomly distorted arrival times In Proceedings
March 2019 -
Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning Article
European Journal of Operational Research, 273(3), 1026-1035.March 2019 -
August 2019
-
Towards a constructive version of Banaszczyk’s vector balancing theorem Article
Theory of Computing, APPROX-RANDOM 2016 Special Issue, 15(Special Issue)December 2019 -
The Gram-Schmidt Walk: A Cure for the Banaszczyk Blues Article
Theory of ComputingDecember 2019 -
May 2019
-
Heavy tails : asymptotics, algorithms, applications Dissertation
StochasticsDecember 2019 -
SWI-Prolog Software
January 2019 -
November 2019
-
June 2019
-
July 2019
-
January 2019
-
Model-free stochastic collocation for an arbitrage-free implied volatility, part I Article
Decisions in Economics and Finance, 679-714.February 2019 -
February 2019
-
Mathematical Modeling and Computation in Finance With exercises and Python and MATLAB computer codes Book
December 2019 -
Interview with Carl Shneider about the Super Resolution project by Space@yourService from EPFL, Switzerland Online Video
September 2019 -
Practical One-to-Many Negotiation Challenges Presentation
June 2019 -
November 2019
-
Stoquastic PCP vs. randomness In Proceedings
November 2019 -
Space Weather: Solar Mag Lecture
September 2019 -
Efficient estimation of extreme quantiles using adaptive kriging and importance sampling Article
International Journal for Numerical Methods in Engineering, 121(9), 2086-2105.December 2019 -
December 2019
-
December 2019
-
December 2019
-
AmsterdamUMC, kennisinstellingen investeren 1 mld in AI - ICT & Health - 24-12-2019 Magazine Article
December 2019 -
Hoe blijft Nederland mondiaal koploper in quantumtechnologie? - Consultancy.nl - 3-12-2019 Magazine Article
December 2019 -
December 2019
-
De Jonge Akademie voegt tien nieuwe leden toe - Nationale Onderwijsgids - 10-12-2019 Magazine Article
December 2019 -
Gemuteerde virussen te lijf met nieuwe rekenmethode - Expertise Voedingsmuiddelenindustrie - 31-12-2019 Magazine Article
December 2019 -
December 2019
-
December 2019
-
Grafentheorie brengt virus in kaart - Mens & Molecule - 31-12-2019 Magazine Article
December 2019 -
December 2019
-
Gemuteerde virussen te lijf met nieuwe rekenmethode - C2W Chemisch 2 Weekblad - 31-12-2019 Magazine Article
December 2019 -
December 2019
-
December 2019
-
Hoger Onderwijs Amsterdam investeert driehonderd miljoen euro in AI onderzoek - Dutch IT-channel - 16-12-2019 Magazine Article
December 2019 -
December 2019
-
Amsterdamse kennisinstellingen steken 1 miljard in AI - Engineers Online - 16-12-2019 Magazine Article
December 2019 -
Amsterdam invests 1 billion in AI - Bits & Chips - 17-12-2019 Magazine Article
December 2019 -
Amsterdamse kennisinstellingen steken 1 miljard euro in AI - BI Platform - 20-12-2019 Magazine Article
December 2019