-
r37980778c78--a57b7cb72589b4668caf6beaed3f6e49
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (International Symposium on Code Generation and Optimization). It describes he... -
Additional file 1: of Efficiency of the knowledge triangle policy in the EU m...
Translation of the abstract into Arabic. -
Beyond Open Data: How Open Science Aims to Transform Science Partnerships
Opening keynote for the National Data Services Framework Summit 2019. -
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic