Centrum Wiskunde & Informatica

Convexity, distance, and connectivity Book Chapter

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

January 2020
Adjunctions, dilations, and erosions 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
XForms 2.0 Test Suite Software

S. Pemberton (Steven)

January 2020
Challenges and Main Results of the Automated Negotiating Agents Competition (ANAC) 2019 In Proceedings

R. Aydoğan (Reyhan), T. Baarslag (Tim), K. Fujita (Katsuhide), J. Mell (Johnathan), D. de Jonge (Dave), Y. Mohammad (Yasser), S. Nakadai (Shinji), S. Morinaga (Satoshi), H. Osawa (Hirotaka), C. Aranha (Claus), et al. C.M. Jonker (Catholijn)

January 2020
Temporal Interpolation of Human Point Clouds Using Neural Networks and Body Part Segmentation Master Thesis

I. Reimat (Ignacio)

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

Y. Mei (Yanni)

January 2020
Invited talk on machine learning and space weather Presentation

C. Shneider (Carl)

January 2020

Previous

Next