2009.12.11 | Featured
Associate Professor Erik Ernst, Department of Computer Science, has been awarded the Dahl-Nygaard Junior Prize for 2010. The prize is awarded by the Association Internationale pour les Technologies Objets (AITO). It is named after the Norwegian computer science pioneers Ole-Johan Dahl and Kristen Nygaard, whose research established the dominating…
2009.12.11 | Featured
Associate Professor Erik Ernst, Department of Computer Science, has been awarded the Dahl-Nygaard Junior Prize for 2010. The prize is awarded by the Association Internationale pour les Technologies Objets (AITO). It is named after the Norwegian computer science pioneers Ole-Johan Dahl and Kristen Nygaard, whose research established the dominating…
2009.12.02 | Featured
On november 17 Department of Computer Science and Google Aarhus hosted a lecture with Vint Cerf 'father of the internet' . A Packed 'Large Auditorium' heard Vint Cerf's inspiring talk titled: "Mobile and the Interplanetary Internet (Bundle Protocol on Earth and beyond)"
Fault Tolerance From a Cellular Biology PerspectiveSpeaker: Carolyn L. Talcott, Stanford Research Institutehttp://blackforest.stanford.edu/clt/Abstract:We will give a high level overview of a wide range of `fault tolerance' mechanisms at the cellular level of biological systems. We will then consider `fault tolerance' mechanismes in the immune…
Title: Approximating the Mode and Determining Labels with Fixed FrequencySpeaker: Jakob Truelsen, Aarhus UniversityAbstract: In this talk we present a data structure to do a 3-approximation of the range mode with constant time quires and linear space. We present a data structure doing a (1+eps)-approximation of the range mode in O(log(1/eps)) time…
Everyone knows the determinant of a square matrix. The permanent is less known though it is almost the same thing, one just omits all the switching of signs. Note that in characteristic 2 the permanent and determinant are the same thing. One can compute the determinant of a given matrix in polynomial time using Gaussian elimination. However this…
Title: Symbolic Systems Biology: Using Formal Methods Tools to Model Biological ProcessesSpeaker: Carolyn L. Talcott, Stanford Research Institute, ttp://blackforest.stanford.edu/clt/Time and place: Thursday, 3.12.2009, 15:00-16:00, Ada-018Abstract: Symbolic systems biology (SSB) is an approach to computational modeling of biological systems…
Fault Tolerance From a Cellular Biology PerspectiveSpeaker: Carolyn L. Talcott, Stanford Research Institutehttp://blackforest.stanford.edu/clt/Abstract:We will give a high level overview of a wide range of `fault tolerance' mechanisms at the cellular level of biological systems. We will then consider `fault tolerance' mechanismes in the immune…
Så'n gik det til da farfar var ungFor godt 50 år siden kom jeg til Aarhus Universitet som studerende, og jeg har haft nær tilknytning til stedet lige siden.Jeg vil fortælle lidt om studenterlivet, universitetet og byen dengang, om en lille afstikker til USA, og om den spæde begyndelse til datalogi i Aarhus og Datalogisk Institut.
Title: Coresets and Sketches for High Dimensional Subspace Approximation ProblemsSpeaker: Morteza Monemizadeh, University of DortmundAbstract:We consider the problem of approximating a set $P$ of $n$ points in $\\Re^d$ by a $j$-dimensional subspace under the $\\ell_p$ measure, in which we wish to minimize the sum of $\\ell_p$ distances from each…
Title: Dynamic 3-sided Planar Range Queries with Expected Doubly Logarithmic TimeSpeaker: Kostas Tsakalidis, Aarhus UniversityAbstract: We consider the problem of maintaining dynamically a set of points in the plane and supporting range queries of the type $[a,b]\\times(- \\infty, c]$. We assume that the inserted points have their x-coordinates…
Til dig som gerne vil lære, hvordan du formidler og argumenterer på en god, overbevisende og videnskabelig måde! Tilmeld dig oplægget "DIN FORMIDLING", som sætter fokus på, hvordan du lærer at skrive bedre. Du introduceres til konkrete værktøjer, der styrker din disposition, dit sprog og din argumentation, så det gode forarbejde bliver godt…
SK: 5211
SK: 5211
SK: 5211
Cand. scient. Kristian Ellebæk Kjær forsvarer torsdag d. 17. december kl. 13.15 sin ph.d.- afhandling med titlen "Participatory Middleware Design" ved et offentligt forsvar på Datalogisk Institut, Aarhus Universitet.Kristian Ellebæk Kjær har gennemf¿rt ph.d.-studiet ved Datalogisk Institut under Det Naturvidenskabelige Fakultet ved Aarhus…