Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Verifying OpenJDK's LinkedList using KeY: Proof Files Software

H.A. Hiep (Hans-Dieter), O. Maathuis (Olaf), J. Bian (Jinting), F.S. de Boer (Frank), M. van Eekelen (Marko) and C.P.T. de Gouw (Stijn)

October 2019
Verifying OpenJDK's LinkedList using KeY: Video Software

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

October 2019
FA-CPM-FEM Software|Data

January 2019
EasyVVUQ Software|Data

R.A. Richardson (Robin), D.W. Wright (David), V. Jancauskas (Vytautas), J. Lakhlili (Jalal) and W.N. Edeling (Wouter)

December 2019
WorkMATe Software

W. Kruijne (Wouter)

August 2019
Semi-implicit 1D fluid example Software|Data

H.J. Teunissen (Jannis)

January 2019
Linkflows Model for fine-grained reviewing Software

C.I. Bucur (Cristina-Iulia), T. Kuhn (Tobias) and D. Ceolin (Davide)

January 2019
GFE Driver Software|Data

D. De Leo (Dean) and P. Fuchs (Per)

January 2019
LDBC SNB Documentation Software|Data

G. Szárnyas (Gábor)

January 2019
Public BI benchmark Software|Data

B. Ghita (Bogdan), S. Manegold (Stefan) and P.A. Boncz (Peter)

January 2019
Genetic Permutation Benchmark Software|Data

A. Guijt (Arthur), N.H. Luong (Hoang), P.A.N. Bosman (Peter) and M.M. de Weerdt (Mathijs)

January 2019
Automatic Phantom Assembling Software|Data

M. Virgolin (Marco), Z. Wang (Ziyuan), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

January 2019
CODC Software|Data

S. Ray (Sumanta), S. Lall (Snehalika) and S. Bandyopadhyay (Sanghamitra)

January 2019
circulating Dataset

A. Lopez Rincon (Alejandro), L. Mendoza-Maldonado (Lucero), M. Martinez-Archundia (Marlet), A. Schönhuth (Alexander), A.D. Kraneveld (Aletta), J. Garssen (Johan) and A. Tonda (Alberto)

January 2019
Calodeon Software

B.P.C. Wesolowski (Benjamin)

January 2019
Public BI benchmark Dataset

P.A. Boncz (Peter)

February 2019
G6K Lattice Sieving Tool Software

M.R. Albrecht (Martin), L. Ducas (Léo), G. Herold (Gottfried), E. Kirshanova (Elena), E.W. Postlethwaite (Eamonn Walter) and M.M.J. Stevens (Marc)

January 2019
CRYSTALS-DILITHIUM Software

R. Avanzi (Roberto), J. Bos (Joppe), L. Ducas (Léo), E. Kiltz (Eike), T. Lepoint (Tancrède), V. Lyubashevsky (Vadim), J.M. Schanck (John), P. Schwabe (Peter), G. Seiler (Gregor) and D. Stehlé (Damien)

January 2019
The impact of a network split on cascading failure processes Article

Stochastic Systems, 9(4), 392-416.

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

December 2019
Stochastic monotonicity of Markovian Multiclass Queueing Networks Article

Stochastic Systems, 9(2), 141-154.

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

June 2019
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)

September 2019
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. Gillett (William)

March 2019
Blockchain at CWI SWAT Presentation

T. van der Storm (Tijs)

March 2019
Subspaces of tensors with high analytic rank Article

Online Journal of Analytic Combinatorics, 6(16), 1-9.

J. Briët (Jop)

November 2019
On Improving Communication Complexity in Cryptography Dissertation

Cryptology

L.M. Kohl (Lisa)

October 2019
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)

January 2019
Static Local Coordination Avoidance for Distributed Objects Artifacts Software|Data

T.M. Soethout (Tim)

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

T.M. Soethout (Tim)

October 2019
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)

October 2019
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)

May 2019
Safety and Performance in Generated Coordination Code Master Thesis

C.A. Esterhuyse (Christopher)

August 2019
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)

April 2019
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)

December 2019
Visualizing the misfit landscape for full waveform inversion In Proceedings

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

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

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

September 2019
A convex formulation for Binary Tomography Article

IEEE Transactions on Computational Imaging, 1-11.

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

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

Renewable Energy, 620-635.

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)

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

Applied Energy, 113973.1-113973.17.

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

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

Renewable and Sustainable Energy Reviews, 143-174.

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)

February 2019
Consider ethical and social challenges in smart grid research Article

Nature Machine Intelligence, 548-550.

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

November 2019
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)

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

H.J. Teunissen (Jannis)

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

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

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

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

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

CWI management

S.C. Polak (Sven)

September 2019
Semidefinite programming bounds for Lee codes Article

Discrete Mathematics, 342(9), 2579-2589.

S.C. Polak (Sven)

September 2019
Uniqueness of codes using semidefinite programming Article

Designs, Codes and Cryptography, 1881-1895.

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

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

Information Processing Letters, 37-40.

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

March 2019
Sum-perfect graphs Article

Discrete Applied Mathematics, 232-239.

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

April 2019
Semidefinite programming bounds for constant weight codes Article

IEEE Transactions on Information Theory, 28-38.

S.C. Polak (Sven)

January 2019
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)

October 2019
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)

May 2019
On the Nature of Symbolic Execution In Proceedings

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

September 2019
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)

January 2019
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)

September 2019
Stability of human-inspired agent societies In Proceedings

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

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

T. H. A. Koch (Thomas)

April 2019
Disagreement percolation for Gibbs ball models Article

Stochastic Processes and their Applications, 129(10), 3922-4149.

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

April 2019
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)

December 2019
Afivo-streamer Software

August 2019
Executable Formal Specification of Programming Languages with Reusable Components Dissertation

Software Analysis and Transformation

L.T. van Binsbergen (Thomas)

April 2019
Executable component-based semantics Article

Journal of Logical and Algebraic Methods in Programming, 184-212.

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

February 2019
MSDNet Software

D.M. Pelt (Daniël)

June 2019
FelixMatlabTools Software

F. Lucka (Felix)

January 2019
Edge-frames Software

P. Fuchs (Per)

April 2019
WalnutReconstructionCodes Software

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

October 2019
PyCorrectedEmissionCT Software

N.R. Viganò (Nicola)

January 2019
Purex_games Software

W.M. Koolen-Wijkstra (Wouter)

October 2019
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)

January 2019
streamer_1d Software

H.J. Teunissen (Jannis)

January 2019
SPARQL Endpoint Interface to Python Software

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

December 2019
Igor - An Internet of Things Framework Software

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

January 2019
Emotion detection from touch interactions during text entry on smartphones Article

International Journal of Human-Computer Studies, 47-57.

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

October 2019
Designing an experience sampling method for smartphone based emotion detection Article

IEEE Transactions on Affective Computing, 12(4), 1.1-1.14.

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

March 2019
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)

January 2019
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)

March 2019
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)

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

European Journal of Operational Research, 273(3), 1026-1035.

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

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

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

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

Theory of Computing, APPROX-RANDOM 2016 Special Issue, 15(Special Issue)

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

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

Theory of Computing

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

December 2019
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)

May 2019
Heavy tails : asymptotics, algorithms, applications Dissertation

Stochastics

B. Chen (Bohan)

December 2019
SWI-Prolog Software

J. Wielemaker (Jan)

January 2019
Accumulation Bias in Meta-Analysis Lecture

J.A. ter Schure (Judith)

November 2019
Proceedings of the 2019 International Conference on Management of Data Proceedings

June 2019
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)

July 2019
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)

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

Decisions in Economics and Finance, 679-714.

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

February 2019
Approximation of insurance liability contracts using radial basis functions In Proceedings

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

February 2019
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)

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

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

June 2019
Perfect zero knowledge for quantum Multiprover Interactive Proofs In Proceedings

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

November 2019
Stoquastic PCP vs. randomness In Proceedings

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

November 2019
Space Weather: Solar Mag Lecture

C. Shneider (Carl) and not CWI et al

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.

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

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

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

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

December 2019

Next

Available Years