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!
Abstract: Using an homomorphic authenticator (HA) scheme (e.g.?, ?homomorphic MAC or signature?) a user, Alice, can authenticate a collection of data…
Join the crowd! Fuel and charge! Dig deep!
We present partial evaluation by specialization-safe normalization, a novel partial evaluation technique that is Jones-optimal, that can be…
Title: Local Rule-Based Explanation of Black Box Decision Systems
Speaker: Franco Turini (University of Pisa)
The recent years have…
Side 88 af 108
