2009.04.23 | Featured
Maintaining a website is an ongoing process. We therefore hope all employees and students will take responsibility for the site and help us with information that can improve it and keep it updated at all times. www.cs.au.dk is still in a working progress and feedback is very welcome and can be sent to webudvalg@cs.au.dk.
2009.04.23 | Featured
Maintaining a website is an ongoing process. We therefore hope all employees and students will take responsibility for the site and help us with information that can improve it and keep it updated at all times. www.cs.au.dk is still in a working progress and feedback is very welcome and can be sent to webudvalg@cs.au.dk.
2009.04.01 |
Lars Arge has developed a new software system called TerraSTREAM to predict flooding areas in Denmark. "It is imperative that we are able to model flooding. To control the consequences of flooding the authorities must know exactly where it will strike. Our software can calculate this for the entire Danish area in one working procedure, and as far…
AbstractIn this thesis we are presenting different techniques for analysing algorithmsdesigned for skew access sequences along with properties, which categorises thesealgorithms. Furthermore are we describing some related data structures, whichsupport the working set, queueish, emphdynamic finger and the unified property.We also describe how to…
Informationsmøde om PhD studiet ved DatalogiskInstitutTorsdag d. 2/4 kl. 16:15 i Turing 014 afholdesinformationsmøde for alle der er interesseret i at søge ind som PhD studerende ved Datalogisk Institut. BEMÆRK: Den næste deadline for ansøgning er flyttet frem til 15/4 2009. Det er en god ide at deltage, også selvom man blotovervejer at søge, og…
Making it pervasive: computing, healthcare anduser innovationby Morten KyngComputing is undergoingfundamental changes as computation literally moves out of the box and begins to pervade our environment. Visions of (almost) almighty, intelligent agents taking care of our needs even before we know we have them are abundant. But current reality is…
Speaker: Simon Kristensen, University of Aarhus, Department of MathematicsAbstract: Diophantine approximation is the quantitative study of the density of the rational numbers inside the real numbers. A fruitful analogue over function fields in positive characteristic has been developed over the years.This setup has been applied toproblems in…
Infrastructure Support for Collaborative Pervasive Computing SystemsAbstractCollaborative Pervasive Computing Systems (CPCS) are currently being deployed to support areas such as clinical work, emergency situations, education, ad-hoc meetings, and other areas involving information sharing and collaboration.These systems allow the users to work…
"Interaction and Infrastructure: Taking a Human-Centered View on Networking"We often think of the "user experience" as being an application layer concern,something that can be applied in a thin veneer of menus and graphics atop a software and hardware infrastructure. In this talk I'd like to challenge that notion, to argue that concerns of…
AbstractAs we engage in an increasing number of activities involving computational devices distributedin our environment, organizing and managing these activities becomes harder. The dissertation presents an approach to activity-based computing focusing on the distributed interaction between software systems and the individuals using them. The…
Title: Kinetic spannerSpeaker: Mohammad Ali Abam, Aarhus UniversityAbstract:We present a new $(1+\\eps)$-spanner for sets of $n$ points in $\\Reals^d$.Our spanner has size $O(n/\\eps^{d-1})$ and maximum degree $O(\\log^d n)$.The main advantage of our spanner is thatit can be maintained efficiently as the points move: Assuming the trajectories of…
There is coffee and cake at this seminar.Abstract: Given a set P of n points in d-dimensional space, a unit-disk graph is a graph built with P as the vertex set, by connecting two vertices (i.e., points) if and only if their Euclidean distance is at most one. We are interested in problems related to the maximum cliques in a unit-diskgraph.These…
Title: Lower Bounds in Compressed SensingSpeaker: Eric Price, Massachusetts Institute of Technology (MIT)Abstract:Compressed sensing is a method for reconstructing a sparse signal from a low-rank linear sketch.This is useful because many real-world signals have sparserepresentations in some basis; for example, images are sparse in the wavelet…
Title: Revisiting Norm Estimation in Data StreamsSpeaker: Jelani Nelson, Massachusetts Institute of Technology (MIT)Abstract:The problem of estimating the pth moment Fp (p nonnegative and real) in data streams is as follows. There is a vector x which starts at 0, and many updates of the form x_i ? x_i + v come sequentially in a stream. The…
Cand. polyt. Simon Tjell forsvarer torsdag d. 28. april kl. 13.15 sin ph.d.-afhandling med titlen: 'FormalRequirements Modeling for Reactive Systems with Coloured Petri Nets' ved et offentligt forsvar i lokale ADA-333, Datalogisk Institut, Aarhus Universitet.Simon Tjell har gennemført ph.d.-studiet ved Datalogisk Institut under Det…