Aarhus Universitets logo
English
In the aftermath of major natural disasters, governments, aid agencies, and affected populations all engage in practices of sense-making to gauge the…
Abstract: In this talk, I will present some recent results on an important graph mining problem known as the edge sign prediction problem: can we…
Abstract:
Logic and semantics are important tools in computer science. For instance, they allow us to verify both large computer programs and large…
Computational thinking is becoming a fundamental skill for everyone, not just for computer scientists. Presently, the need for this skill…
Side 66 af 78