Centrum Wiskunde & Informatica

Analysis and formal specification of OpenJDK's BitSet: Proof files Software|Data

A.S. Tatman (Andy), H.A. Hiep (Hans-Dieter) and C.P.T. de Gouw (Stijn)

September 2024
Crowdsourced fact-checking: Does it actually work? Article

Information Processing & Management, 61(5), 103792:1-103792:20.

D. La Barbera (David), E. Maddalena (Eddy), M. Soprano (Michael), K. Roitero (Kevin), G. Demartini (Gianluca), D. Ceolin (Davide), D. Spina (Damiano) and S. Mizzaro (Stefano)

September 2024
A Cox rate-and-state model for monitoring seismic hazard in the Groningen gas field Tech Report

Z. Baki (Zhuldyzay) and M.N.M. van Lieshout (Marie-Colette)

September 2024
Preface Preface

G. Schäfer (Guido) and C. Ventre (Carmine)

September 2024
Energy-consistent formulations of the one-dimensional two-fluid model Dissertation

Scientific Computing

J.F.H. Buist (Jurriaan)

September 2024
Verifier-on-a-leash: New schemes for verifiable delegated quantum computation, with quasilinear resources Article

Theory of Computing, 3:1-3:87.

A. Coladangelo (Andrea), A. Grilo (Alex), S. Jeffery (Stacey) and T. Vidick (Thomas)

September 2024
Balancing between time budgets and costs in surrogate-assisted evolutionary algorithms In Proceedings

C.J. Rodriguez (Cedric), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

September 2024
Learning discretized Bayesian networks with GOMEA In Proceedings

D.M.F. Ha (Damy), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

September 2024

Previous

Next