Centrum Wiskunde & Informatica

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types In Proceedings

S.-S.T.Q. Jongmans (Sung) and N. Yoshida (Nobuko)

January 2020
Discourje: Runtime verification of communication protocols in clojure In Proceedings

R. Hamers (Ruben) and S.-S.T.Q. Jongmans (Sung)

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
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
Super-resolution of Solar Magnetograms Virtual Poster at Session SH044: Solar and Heliospheric Physics General Contributions IV Posters Presentation

C. Shneider (Carl) and not CWI et al

January 2020
Complete lattices Book Chapter

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

January 2020

Previous

Next