university website Publications by Year
  • sign in
  • Publications By Year

Publications from 2022

  • Reasoning About Invariant Properties of Object-oriented Programs-dynamic frames: Proof files Software

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

    February 2022
  • Cyber-physical agent framework in Maude Software

    B. Lion (Benjamin)

    May 2022
  • ST4MP Software|Data

    S.-S.T.Q. Jongmans (Sung) and J.M.P. Proença (Jose)

    January 2022
  • CamDavidsonPilon / lifelines Software|Data

    January 2022
  • DALES - Dutch Atmospheric Large Eddy Simulation Software|Data

    S. Arabas (Sylwester), S. Axelsen (Simon), J. Attema (Jisk), C. Beets, S.J. Boeing, M. de Bruine (Marco), J. Chylik (Jan), H. Cuijpers (Hans), J. van der Dussen (Johan), C.C. van Heerwaarden (Chiel), et al. T. Heus (Thijs), F.R. Jansson (Fredrik), H.J.J. Jonker (Harm), A. Moene (Arnold), H. Ouwersloot (Huug), G. van den Oord (Gijs), S.R. de Roode (Stephan), R. Neggers (Roel), X. Pedruzo (Xabier), A.P. Siebesma (Pier), M. Sikma (Martin), B. van Stratum (Bart), J. Vila (Jordi) and M. van Zanten (Margreet)

    January 2022
  • New perspective on the convergence to a global solution of finite-sum optimization In Proceedings

    L. M. Nguyen (Lam), T.H. Tran (Trang) and M.E. van Dijk (Marten)

    October 2022
  • thumb

    Log-optimal anytime-valid E-values Article

    International Journal of Approximate Reasoning, 69-82.

    W.M. Koolen-Wijkstra (Wouter) and P.D. Grünwald (Peter)

    February 2022
    open access
  • Testing exchangeability: Fork-convexity, supermartingales and e-processes Article

    International Journal of Approximate Reasoning, 83-109.

    A. Ramdas (Aadytia), J. Ruf (Johannes), M. Larsson (Martin) and W.M. Koolen-Wijkstra (Wouter)

    February 2022
  • Code for paper ALL-IN meta-analysis: breathing life into living systematic reviews Software|Data

    J.A. ter Schure (Judith)

    April 2022
  • Real-time classification of LIDAR data using discrete-time Recurrent Spiking Neural Networks Software|Data

    A.-D. Vicol (Anca-Diana)

    January 2022
  • A computational study of accelerating, steady and fading negative streamers in ambient air Dataset

    B. Guo (Baohong), X. Li (Xiaoran), U. Ebert (Ute) and H.J. Teunissen (Jannis)

    July 2022
  • Probabilistic prediction of Dst storms 1-to-3 days ahead using Full-Disk SoHO Images Software|Data

    A. Hu (Andong), C. Shneider (Carl), A.J. Tiwari (Ajay) and E. Camporeale (Enrico)

    March 2022
  • A computational study of steady and stagnating positive streamers in N2-O2 mixtures Dataset

    X. Li (Xiaoran), B. Guo (Baohong), A.B. Sun (Anbang), U. Ebert (Ute) and H.J. Teunissen (Jannis)

    January 2022
  • assessments-ontology Software|Data

    D. Ceolin (Davide), D. van Kuppevelt (Dafne) and J. Qi (Ji)

    January 2022
  • FAReviews Software|Data

    D. Ceolin (Davide)

    January 2022
  • CPM2022 Software

    G. Bernardini (Giulia), H. Chen (Huiping), G. Loukides (Grigorios), S. Pissis (Solon), L. Stougie (Leen) and M.J.M. Sweering (Michelle)

    June 2022
  • A hybrid extension of the uncrowded-hypervolume based multi-objective optimization Software|Data

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

    January 2022
  • CGP-GOMEA Software|Data

    J. Harrison (Joe), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

    January 2022
  • ENCAS Software|Data

    A. Chebykin (Aleksandr), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

    January 2022
  • HybridML Software|Data

    G. Bernardini (Giulia), L.J.J. van Iersel (Leo), E. Julien (Esther) and L. Stougie (Leen)

    August 2022
  • Source data used in the manuscript "VeChat: Correcting errors in noisy long reads using variation graphs" Software|Data

    X. Luo (Vincent), X. Kang (Xiongbin) and A. Schönhuth (Alexander)

    September 2022
  • Solving multi-structured problems by introducing linkage kernels into GOMEA - Source Code Software|Data

    A. Guijt (Arthur), D. Thierens (Dirk), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

    January 2022
  • BDGL overhead Software

    L. Ducas (Léo)

    January 2022
  • MITM-MILP Software

    A.C. Schrottenloher (André)

    January 2022
  • safestats: Safe Anytime-Valid Inference Software

    R.J. Turner (Rosanne), A. Ly (Alexander), M.F. Pérez (Muriel), J.A. ter Schure (Judith) and P.D. Grünwald (Peter)

    November 2022
  • thumb

    Gradient descent-type methods: Background and simple unified convergence analysis Book Chapter

    Q. Tran-Dinh (Quoc) and M.E. van Dijk (Marten)

    December 2022
    open access
  • thumb

    A theoretical framework for the analysis of physical unclonable function interfaces and its relation to the random oracle model Tech Report

    M.E. van Dijk (Marten) and C. Jin (Chenglu)

    November 2022
    open access
  • thumb

    Game theoretic mixed experts for combinational adversarial machine learning Article

    CoRR abs

    E. Rathbun (Ethan), K. Mahmood (Kaleel), S. Ahmad (Sohaib), C. Ding (Caiwen) and M.E. van Dijk (Marten)

    November 2022
    open access
  • thumb

    Finite-sum optimization: A new perspective for convergence to a global solution Article

    CoRR abs

    L. M. Nguyen (Lam), T.H. Tran (Trang) and M.E. van Dijk (Marten)

    February 2022
    open access
  • Towards remote verifiable computation without digital secrets In Proceedings

    M.E. van Dijk (Marten)

    November 2022
  • cwi-swat/rebel-runtime-lib: Zenodo release Software|Data

    T.M. Soethout (Tim)

    March 2022
  • Toric eigenvalue methods for solving sparse polynomial systems Article

    Mathematical Computation, 2397-2429.

    M.R. Bender (Matias) and S.J.L. Telen (Simon Jo L)

    June 2022
  • thumb

    Landau discriminants Article

    Journal of High Energy Physics

    S. Mizera (Sebastian) and S.J.L. Telen (Simon Jo L)

    August 2022
    open access
  • thumb

    Landau discriminants Tech Report

    S. Mizera (Sebastian) and S.J.L. Telen (Simon Jo L)

    July 2022
    open access
  • thumb

    Toric eigenvalue methods for solving sparse polynomial systems Tech Report

    S.J.L. Telen (Simon Jo L) and M.R. Bender (Matias)

    March 2022
    open access
  • thumb

    The algebraic degree of coupled oscillators Tech Report

    P. Breiding (Paul), M. Michalek (Mateusz), L. Monin (Leonid) and S.J.L. Telen (Simon Jo L)

    August 2022
    open access
  • thumb

    Vector spaces of generalized Euler integrals Tech Report

    D. Agostini (Daniele), C. Fevola (Claudia), A-L. Sattelberger (Anna-Laura) and S.J.L. Telen (Simon Jo L)

    August 2022
    open access
  • thumb

    Solving polynomial equations and applications Tech Report

    S.J.L. Telen (Simon Jo L)

    October 2022
    open access
  • thumb

    Gibbs manifolds Tech Report

    D. Pavlov (Dmitrii), B. Sturmfels and S.J.L. Telen (Simon Jo L)

    November 2022
    open access
  • thumb

    The Seattle report on database research Review

    D. Abadi, A. Ailamaki (Anastasia), D.G. Andersen (David), P. Bailis (Peter), M. Balazinska (Magdalena), P. Bernstein, P.A. Boncz (Peter), S. Chaudhuri (Surajit), A. Cheung (Alvin), A. Doan (Anhai), et al. L. Dong (Luna), M. Franklin, J. Freire, A. Halevy, J. Hellerstein, S. Idreos (Stratos), D. Kossmann (Donald), T. Kraska, S. Krishnamurthy (Sailesh), V. Markl, S. Melnik (Sergey), T. Milo (Tova), C. Mohan, T. Neumann (Thomas), B.C. Ooi (Beng Chin), F. Ozcan (Fatma), J. Patel (Jignesh), A. Pavlo (Andrew), R. Popa (Raluca), R. Ramakrishnan (Raghu), C. Re, M. Stonebraker and D. Suciu (Dan)

    August 2022
  • thumb

    The BP Dependency Function: a generic measure of dependence between random variables Tech Report

    G.A. Berkelmans (Guus), J. Pries (Joris), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

    March 2022
    open access
  • thumb

    Singular value decomposition for time series analysis with applications to smart energy systems Dissertation

    Intelligent and autonomous systems

    A. Khoshrou (Majid)

    December 2022
    open access
  • thumb

    On distinguishing between canonical tRNA genes and tRNA gene fragments in prokaryotes Tech Report

    P.T.S. van der Gulik (Peter), M. Egas (Martijn), K. Kraaijeveld (Ken), N. Dombrowski (Nina), A.T. Groot (Astrid), A. Spang (Anja), W.D. Hoff (Wouter) and J. Gallie (Jenna)

    August 2022
    open access
  • thumb

    Towards gradual multiparty session typing In Proceedings

    S.-S.T.Q. Jongmans (Sung)

    September 2022
    open access
  • thumb

    Performance modeling for call centers providing online mental health support Article

    International Journal on Advances in Life Sciences, 120-129.

    T.R. de Boer (Tim R.), S. Mérelle (Saskia), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

    January 2022
    open access
  • thumb

    Detecting novel application layer cybervariants using supervised learning Article

    International Journal on Advances in Security, 75-85.

    E.P. van de Bijl (Etienne), J.G. Klein (Jan), J. Pries (Joris), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

    January 2022
    open access
  • Message from the General Chairs: IEEE BigMM 2022 Preface

    D.C.A. Bulterman (Dick), M. Kankanhalli (Mohan), G. Pilato (Giovanni) and P. Sheu (Philip)

    January 2022
  • Interior point methods are not worse than Simplex In Proceedings

    X. Allamigeon (Xavier), D.N. Dadush (Daniel), G. Loho (Georg), B. Natura (Bento) and L.A. Végh (László)

    October 2022
  • Technical perspective: The 'art' of automatic benchmark extraction Letter To Editor

    P.A. Boncz (Peter)

    November 2022
  • Ethical Self-Disclosing Voice User Interfaces for Delivery of News Online Video

    S. Rao (Shruti), V.D.C. Resendez (Valeria), A. El Ali (Abdallah) and P.S. César Garcia (Pablo Santiago)

    July 2022
  • HAWK: Module LIP makes lattice signatures fast, compact and simple In Proceedings

    L. Ducas (Léo), E.W. Postlethwaite (Eamonn Walter), L.N. Pulles (Ludo) and W.P.J. van Woerden (Wessel)

    December 2022
  • The Fundamentals of Heavy Tails Properties, Emergence and Estimation Book

    J. Nair (Jayakrishnan), A. Wierman (Adam) and A.P. Zwart (Bert)

    June 2022
  • thumb

    Reservoir computing for temporal data classification using a dynamic solid electrolyte ZnO thin film transistor Article

    Frontiers in Electronics, 3(2022)

    A. Gaurav (Ankit), X. Song (Xiaoyao), S. Manhas (Sanjeev), A. Gilra (Aditya), E. Vasilaki (Eleni), P. Roy (Partha) and M.M. De Souza (Maria Merlyne)

    April 2022
    open access
  • Understanding and Designing Avatar Biosignal Visualizations for Social Virtual Reality Entertainment Online Video

    S. Lee (Sueyoon), A. El Ali (Abdallah), M.W.A. Wijntjes (Maarten) and P.S. César Garcia (Pablo Santiago)

    April 2022
  • Exploring Emotion Responses toward Pedestrian Crossing Actions for Designing In-vehicle Empathic Interfaces Online Video

    S. Ghosh (Surjya), G. Pons Rodriguez (Gerard), S. Rao (Shruti), A. El Ali (Abdallah) and P.S. César Garcia (Pablo Santiago)

    April 2022
  • Digital Proxemics: Designing Social and Collaborative Interaction in Virtual Environments Online Video

    J. R. Williamson (Julie), J. O'Hagan (Joseph), J.A. Guerra-Gomez (John Alexis), J.H. Williamson (John), P.S. César Garcia (Pablo Santiago) and D.A. Shamma (Ayman)

    April 2022
  • Human-Centered Multimedia: making remote togetherness possible Blogpost

    P.S. César Garcia (Pablo Santiago)

    January 2022
  • thumb

    Analysis of 3D elemental distribution in nanomaterials: Towards higher throughput and dose efficiency Article

    Journal of Microscopy, 289(3), 157-163.

    A. Skorikov (Alexander), K.J. Batenburg (Joost) and S. Bals (Sara)

    January 2022
    open access
  • thumb

    Adaptive versus static multi-oracle algorithms, and quantum security of a split-key PRF In Proceedings

    J.W. Don (Jelle), S. Fehr (Serge) and Y.H. Huang (Yu-Hsuan)

    December 2022
  • Symposium on Human-Centered Multimedia to celebrate Pablo Cesar’s Professorship Appointment Blogpost

    P.S. César Garcia (Pablo Santiago)

    April 2022
  • Development of the Co-creation Space in the Second Year Blogpost

    A. Striner (Alina)

    January 2022
  • Ixampl: an implementation of ixml Software|Data

    S. Pemberton (Steven)

    October 2022
  • Advanced ixml Hands On, at Declarative Amsterdam, Amsterdam, NL, 7 November Presentation

    S. Pemberton (Steven)

    November 2022
  • The future is already here, just not very evenly distributed : presentation at Science Park Open Day, Science Park, Amsterdam. 1 October, 2022 Presentation

    S. Pemberton (Steven)

    October 2022
  • thumb

    IXR '22: 1st Workshop on Interactive eXtended Reality In Proceedings

    I. Viola (Irene), H. Amirpour (Hadi) and M. Torres Vega (Maria)

    October 2022
  • thumb

    Sensitivity analysis and Bayesian calibration of a dynamic wind farm control model: FLORIDyn Article

    Journal of Physics: Conference Series

    V.V. Dighe (Vinit), M. Becker (Marcus), T. Göçmen (Tuhfe), B. Sanderse (Benjamin) and J.-W. van Wingerden (Jan-Willem)

    January 2022
    open access
  • thumb

    Energy-consistent formulation of the pressure-free two-fluid model Article

    International Journal for Numerical Methods in Fluids

    J.F.H. Buist (Jurriaan), B. Sanderse (Benjamin), S. Dubinkina (Svetlana), C.W. Oosterlee (Kees) and R.A.W.M. Henkes

    December 2022
    open access
  • thumb

    A multidisciplinary perspective on COVID-19 exit strategies Tech Report

    F. Dablander (Fabian), T. Blanken (Tessa), C. Tanis (Charlotte), R. Breed (Rosa), L.E. Coffeng (Luc), D.T. Crommelin (Daan), W.N. Edeling (Wouter), P. Gautier (Pieter), B. de Graaf (Beatrice), F. Gugole (Federica), et al. F. van Harreveld (Frenk), D. Jager (Dewi), L. Jensen (Lotte), R. Knoeff (Rina), M. van der Linde (Melle), B. Sanderse (Benjamin), A. de Ruijter (Anniek), S.J. de Vlas (Sake), C. Santing (Catrien), A.P. Zwart (Bert), J.A.P. Heesterbeek (Hans) and D. Borsboom (Denny)

    October 2022
    open access
  • thumb

    Efficient numerical approximation of a non-regular Fokker–Planck equation associated with first-passage time distributions Article

    BIT : Numerical Mathematics, 1355-1382.

    U. Böhm (Udo), S. Cox (Sonja), G. Gantner (Gregor) and R. Stevenson (Rob)

    December 2022
    open access
  • thumb

    De geheimen achter De Nachtwacht onthuld met technologie - BNR Eyeopeners - 07-04-2022 Magazine Article

    April 2022
  • thumb

    Hoe gaat de quantummechanica de wereld veranderen? - Verrukkelijke Wetenschap, aflevering 29 - 01-12-2022 Magazine Article

    December 2022
  • thumb

    Stochastic models for unresolved scales in ocean flows Dissertation

    Scientific Computing

    N. Verheul (Nick)

    December 2022
  • Human-centered multimedia: Making remote togetherness possible Inaugural Lecture

    P.S. César Garcia (Pablo Santiago)

    May 2022
  • thumb

    No pressure? Energy-consistent ROMs for the incompressible Navier-Stokes equations with time-dependent boundary conditions Tech Report

    H.K.E. Rosenberger (Henrik) and B. Sanderse (Benjamin)

    December 2022
    open access
  • thumb

    Momentum-conserving ROMs for the incompressible Navier-Stokes equations In Proceedings

    H.K.E. Rosenberger (Henrik) and B. Sanderse (Benjamin)

    November 2022
    open access
  • thumb

    Discretize first, filter next – a new closure model approach In Proceedings

    S.D. Agdestein (Syver) and B. Sanderse (Benjamin)

    November 2022
    open access
  • thumb

    An OSSS-type inequality for uniformly drawn subsets of fixed size Tech Report

    J. van den Berg (Rob)

    October 2022
    open access
  • thumb

    A 2D forest fire process beyond the critical time Tech Report

    J. van den Berg (Rob) and P. Nolin (Pierre)

    October 2022
    open access
  • thumb

    Variational quantum eigensolver for the Heisenberg antiferromagnet on the kagome lattice Article

    Physical Review B: Condensed Matter and Materials Physics, 106(21)

    J.J. Kattemölle (Joris) and J. van Wezel (Jasper)

    December 2022
  • General stabilizer approach for constructing highly entangled graph states Article

    Physical Review A: Atomic, Molecular and Optical Physics, 106(6)

    Z. Raissi (Zahra), A. Burchardt (Adam) and E. Barnes (Edwin)

    December 2022
  • thumb

    Rond de Linde bijlage - Edsger Wybe Dijkstra - 22-12-2022 Magazine Article

    December 2022
  • thumb

    Asymptotic analysis of Emden–Fowler type equation with an application to power flow models Article

    Indagationes Mathematicae

    M.H.M. Christianen, A.J.E.M. Janssen, M. Vlasiou (Maria) and A.P. Zwart (Bert)

    December 2022
    open access
  • thumb

    Improved quantum query upper bounds based on classical decision trees In Proceedings

    Cornelissen, A. (Arjan), N.S. Mande (Nikhil) and S. Patro (Subhasree)

    December 2022
    open access
  • thumb

    Fiat-Shamir transformation of multi-round interactive proofs In Proceedings

    T. Attema (Thomas), S. Fehr (Serge) and M. Klooss (Michael)

    December 2022
  • thumb

    Vector commitments over rings and compressed Σ-protocols In Proceedings

    T. Attema (Thomas), I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and D. Escudero (Daniel)

    December 2022
  • Fotoboek bij het pensioen van Jos van der Werf, 11.08.2022 Book

    August 2022
  • Fotoboek bij het afscheid van Arjen de Rijke, 30.06.2022 Book

    June 2022
  • Fotoboek bij het afscheid van Chris Wesseling, 31.05.2022 Book

    May 2022
  • Fotoboek bij het pensioen van Lieke Schultze, 17.07.2022 Book

    July 2022
  • thumb

    Quantum algorithms and lower bounds for linear regression with norm constraints In Proceedings

    Y. Chen (Yanlin) and R.M. de Wolf (Ronald)

    March 2022
  • thumb

    Quantum speedup for graph sparsification, cut approximation, and Laplacian solving Article

    SIAM Journal on Computing, 51(6), 1703-1742.

    S.M.G. Apers (Simon) and R.M. de Wolf (Ronald)

    December 2022
    open access
  • thumb

    Transparent and Explainable Information Quality Prediction Magazine Article

    D. Ceolin (Davide)

    April 2022
    open access
  • thumb

    Elastic-degenerate string matching via fast matrix multiplication Article

    SIAM Journal on Computing, 51(3), 549-576.

    G. Bernardini (Giulia), P. Gawrychowski (Paweł), N. Pisanti (Nadia), S. Pissis (Solon) and G. Rosone (Giovanna)

    May 2022
  • thumb

    Average-case verification of the quantum Fourier transform enables worst-case phase estimation Article

    Quantum, 872.1-872.18.

    N. Linden (Noah) and R.M. de Wolf (Ronald)

    December 2022
    open access
  • thumb

    Avi Wigderson’s work and influence Article

    Nieuw Archief voor Wiskunde, 5(23), 31-34.

    R.M. de Wolf (Ronald)

    March 2022
    open access
  • thumb

    Luckiness in multiscale online learning In Proceedings

    M.F. Pérez (Muriel) and W.M. Koolen-Wijkstra (Wouter)

    November 2022
    open access
  • thumb

    Energy-conserving formulation of the two-fluid model for incompressible two-phase flow in channels and pipes Article

    Computers & Fluids

    J.F.H. Buist (Jurriaan), B. Sanderse (Benjamin), S. Dubinkina (Svetlana), R.A.W.M. Henkes and C.W. Oosterlee (Kees)

    August 2022
  • thumb

    Grothendieck inequalities characterize converses to the polynomial method Tech Report

    J. Briët (Jop), F. Escudero Gutiérrez (Francisco) and S.J. Gribling (Sander)

    December 2022
    open access
  • thumb

    A universal error measure for input predictions applied to online graph problems Tech Report

    G. Bernardini (Giulia), A. Lindermayr (Alexander), A. Marchetti Spaccamela (Alberto), N. Megow (Nicole), L. Stougie (Leen) and M.J.M. Sweering (Michelle)

    October 2022
    open access
Next
Available Years
  • Publications from 2024
  • Publications from 2023
  • Publications from 2022
  • Publications from 2021
  • Publications from 2020
  • Publications from 2019
  • Publications from 2018
  • Publications from 2017
  • Publications from 2016
  • Publications from 2015
  • Publications from 2014
  • Publications from 2013
  • Publications from before 2013
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • Publishing at CWI

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close