CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Integrating ADTs in KeY and their application to history-based reasoning about collection Article
Formal Methods in System DesignJ. Bian (Jinting), H.A. Hiep (Hans-Dieter), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)
May 2023 -
Accurate online training of dynamical spiking neural networks through Forward Propagation Through Time Article
Nature Machine IntelligenceB. Yin (Bojian), F. Corradi (Federico) and S.M. Bohte (Sander)
May 2023 -
An interpretable method for automated classification of spoken transcripts and written text Article
Evolutionary IntelligenceM. Wahde (Mattias), M.L. Della Vedova (Marco), M. Virgolin (Marco) and M. Suvanto (Minerva)
May 2023 -
Identifying populations at ultra-high risk of suicide using a novel machine learning method Article
Comprehensive PsychiatryG.A. Berkelmans (Guus), L. Schweren (Lizanne), S. Bhulai (Sandjai), R.D. van der Mei (Rob) and R. Gilissen (Renske)
May 2023 -
The one hundred year web In Proceedings
April 2023 -
A scaling-invariant algorithm for linear programming whose running time depends only on the constraint matrix Article
Mathematical ProgrammingD.N. Dadush (Daniel), S. Huiberts (Sophie), B. Natura (Bento) and L.A. Végh (László)
April 2023 -
Reflecting on hybrid events: Learning from a year of hybrid experiences In Proceedings
A.A. Ansah (Alberta), A.S. Vivacqua (Adriana), S. Zhong (Sailin), S.C.J. Boll (Susanne), M. Constantinides (Marios), H. Verma (Himanshu), A. El Ali (Abdallah), A. Lushnikova (Alina), H.S. Alavi (Hamed), S. Rintel (Sean), et al. A.L. Kun (Andrew), O. Shaer (Orit), A.L. Cox (Anna), K. Gerling (Kathrin), M. Muller (Michael), V. Rusnak (Vit), L.S. Machado (Leticia Santos) and T. Kosch (Thomas)
April 2023 -
Discovery of novel CSF biomarkers to predict progression in dementia using machine learning Article
Nature Scientific Reports, 13(1), 6531.1-6531.13.D. Gogishvili (Dea), E.M. Vromen (Eleonora), S. Koppes-den Hertog (Sascha), A.W. Lemstra (Afina), Y.A.L. Pijnenburg (Yolande), P.J. Visser (Pieter Jelle), B.M. Tijms (Betty), M. Del Campo (Marta), S. Abeln (Sanne), C.E. Teunissen (Charlotte), et al. L. Vermunt (Lisa)
April 2023