Abstract: The main goal of this paper is to provide a common foundation to the theories of correctness of program transformations for a large variety of programming languages. We consider the notion ...

can you spot any obvious reasons why I cannot reproduce your numbers for e.g. the fb15k-237_v1 inductive set, with the pykeen code (See below). Any help would be ...

Let's start by establishing some foundations for our study of programming languages. We'll see how to define programs as mathematical objects, write functions about ...

An {\em inductive set} is a set $X$ with the property that, for every $x \in X$, the successor $x'$ of $x$ is also an element of $X$. One major example of an ...

Division of Infectious Diseases, Faculty of Medicine, University of British Columbia, 2733 Heather Street, Vancouver, British Columbia V5Z 3J5, Canada, Strategic CIHR/MSFHR Training Program in ...