Publications from 2019
-
October 2019
-
October 2019
-
FA-CPM-FEM Software|Data
January 2019 -
EasyVVUQ Software|Data
December 2019 -
WorkMATe Software
August 2019 -
Semi-implicit 1D fluid example Software|Data
January 2019 -
January 2019
-
GFE Driver Software|Data
January 2019 -
LDBC SNB Documentation Software|Data
January 2019 -
Public BI benchmark Software|Data
January 2019 -
Genetic Permutation Benchmark Software|Data
January 2019 -
Automatic Phantom Assembling Software|Data
January 2019 -
CODC Software|Data
January 2019 -
circulating Dataset
January 2019 -
Calodeon Software
January 2019 -
Public BI benchmark Dataset
February 2019 -
G6K Lattice Sieving Tool Software
January 2019 -
CRYSTALS-DILITHIUM Software
January 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 -
Semidefinite programming bounds for constant weight codes Article
IEEE Transactions on Information Theory, 28-38.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