Publication

Estimating the regularization parameter efficiently In Proceedings

N. Luiken (Nick) and T. van Leeuwen (Tristan)

A theory of executability : with a focus on the expressivity of process calculi Dissertation

F. Yang (Fei)

To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries In Proceedings

M.J. Steindorfer (Michael) and J.J. Vinju (Jurgen)

Make the most out of your SIMD investments: Counter control flow divergence in compiled query pipelines In Proceedings

H. Lang (Harald), A. Kipf (Andreas), L.K. Passing (Linnea), P.A. Boncz (Peter), T. Neumann (Thomas) and A. Kemper (Alfons)

Onderzoek met KB-collectie in de prijzen - KB.nl - 11-06-18 Online Video

Van Goed naar Beter : De beste deal - BNR.nl - 12-06-18 Online Audio

Introduction to the best papers of the ACM multimedia systems (MMSys) conference 2018 and the ACM workshop on network and operating system support for digital audio and video (NOSSDAV) 2018 and the International Workshop on Mixed and Virtual Environment Systems (MMVE) 2018 Preface

P.S. César Garcia (Pablo Santiago), M. Zink (Michael) and N. Murray (Niall)

4G/LTE channel quality reference signal trace data set In Proceedings

B. Meixner (Britta), J.W.M. Kleinrouweler (Jan Willem) and P.S. César Garcia (Pablo Santiago)