Aarhus Universitets logo
English
Institut for Datalogi
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.
J70 Revyen inviterer jer alle indenfor i Stakladen til et gensyn med noget af det bedste materiale fra revyerne gennem de sidste ti år!
A /triangle/, in the context of undirected graphs or social networks, is a set of 3 vertices that are all connected to each other. A /triad/ is the…
ABSTRACT:
Multi-core processors are now pervasive, spanning from embedded systems and mobile devices, to PCs, all the way to high-end servers and…
In the 'frequent items' problem one sees a sequence of items in a stream (e.g. a stream of words coming into a search query engine like
Google) and…
OK Google, I would like to visit a city like Aarhus". A seemingly simple question like this finds only disappointing answers from modern smart…
Side 79 af 108
