CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart battery scheduling algorithm Article
Energies, 16(5)P. de Bekker (Philippe), S.A. Cremers (Sho), S. Norbu (Sonam), D. Flynn (David) and V. Robu (Valentin)
March 2023 -
Pushdown automata and context-free grammars in bisimulation semantics Article
Logical Methods in Computer Science, 19(1), 15:1-15:32.J.C.M. Baeten (Jos), C. Carissimo (Cesare) and S.P. Luttik (Bas)
March 2023 -
On the robustness of sparse counterfactual explanations to adverse perturbations Article
Artificial Intelligence, 103840.1-103840.30.March 2023 -
On the complexity of scheduling unrelated parallel machines with limited preemptions Article
Operations Research Letters, 51(2), 187-189.March 2023 -
Bringing differential private SGD to practice: On the independence of Gaussian Noise and the Number of Training Rounds Proceedings
M.E. van Dijk (Marten), L. M. Nguyen (Lam) and P.H. Nguyen (Phuong Ha)
March 2023 -
A computational model for assessing experts’ trustworthiness Article
Journal of Experimental & Theoretical Artificial IntelligenceG. Primiero (Giuseppe), D. Ceolin (Davide) and F. Doneda (Francesca)
March 2023 -
Lattice cryptography, from cryptanalysis to new foundations Dissertation
CryptologyFebruary 2023 -
Automatic landmark correspondence detection in medical images with an application to deformable image registration Article
Journal of Medical Imaging, 10(1), 014007.1-014007.27.M. Grewal (Monika), J. Wiersma (Jan), H. Westerveld (Henrike), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)
February 2023