Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Abstract: Exploring data requires a short feedback loop, with a latency of at most 10 seconds because of human cognitive capabilities and limitations.…
Research in user experience has grown dramatically in the past 10 years; yet many of our key notions are unclear and our empirical results are mixed.…
Title: Being a Data Citizen
Abstract:
In this talk, I explore the new forms to identity which are coming into being as we are entering more and more…
Abstract:We discuss the use of approximation and of ensemble techniques for unsupervised outlier detection. To introduce the field, we will briefly…
Page 132 of 192