Centrum Wiskunde & Informatica

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
Operators on complete lattices Book Chapter

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

January 2020
First principles Book Chapter

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

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
Simulation of slug propagation for by-pass pigging in two-phase stratified pipe flow In Proceedings

M.H.W. Hendrix (Maurice), B. Sanderse (Benjamin), W.-P. Breugem and R.A.W.M. Henkes (Ruud)

January 2020
Hit-or-miss topology and semi-continuity Book Chapter

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

January 2020
Integral Matrix Gram Root and Lattice Gaussian Sampling Without Floats In Proceedings

L. Ducas (Léo), S. Galbraith (Steven), T. Prest (Thomas) and Y. Yu (Yang)

January 2020
2-IMMERSE Software

T. Röggla (Thomas), A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

January 2020

Previous

Next