Read more from cs.au.dk

The JohnsonLindenstrauss lemma is optimal for linear dimensionality reduction Kasper Green Larsen∗ Jelani Nelson† Abstract For any n > 1 and 0 <ε< 1/2  - Information from cs.au.dk

Inductive logic programming (ILP) is a research area Muggleton and L De Raedt (1994) Inductive Logic Programming: Theory and Methods - Information from cs.au.dk

This combinator is used both to define guarded recursive types as fixedpoints of functions on universes as well as to define functions on these types Cubical - Information from cs.au.dk