In this talk, I use programming as a lens for exploring how generative AI is reshaping competence, learning, and education more broadly. Starting from…
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
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:
We consider a variant of range searching in which points are coloured. A query, whose input consists of an axis-aligned rectangle as well…
Web 2.0 tools, including blogs, wikis, and photo sharing and social networking sites, have made possible a more participatory Internet experience.…
Title: Natural Language in Virtual Context: Unsupervised learning of the meanings of English words and phrases from dialogue in a virtual restaurant
…
Rational cryptography has recently emerged as a very promising field of research by combining notions and techniques from cryptography and…
Page 186 of 192