Centrum Wiskunde & Informatica

XForms 2.0 Test Suite Software

S. Pemberton (Steven)

January 2020
A tutorial on verifying LinkedList using KeY: Proof files Software|Data

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

January 2020
A Machine-learning Multispectral Time Series Data Set Prepared from the Solar and Heliospheric Observatory Mission Virtual Poster presentation at Session NG004: Machine Learning in Space Weather III Posters Presentation

C. Shneider (Carl)

January 2020
Adjunctions, dilations, and erosions Book Chapter

Heijmans, H.J.A.M. (Henk J.A.M.)

January 2020
Design a SocialVR tool for remote co-design of customized cakes Master Thesis

Y. Mei (Yanni)

January 2020
Automatic bi-objective parameter tuning for inverse planning of high-dose-rate prostate brachytherapy Article

Physics in Medicine and Biology, 65(7)

S.C. Maree (Stef), P.A.N. Bosman (Peter), N. van Wieringen (Niek), Y. Niatsetski (Yury), B.R. Pieters (Bradley), A. Bel (Arjan) and T. Alderliesten (Tanja)

January 2020
Convexity, distance, and connectivity Book Chapter

H.J.A.M. Heijmans (Henk)

January 2020
Investigating whether machine learning alone can predict solar wind parameters at L1 from solar images Virtual poster at Session NG004: Machine Learning in Space Weather - III Posters Presentation

C. Shneider (Carl)

January 2020

Previous

Next