BiRC: Bioinformatics Research Center

Goals

The research at BiRC focuses on developing computational methods for collecting, handling and analyzing biological data. It ranges from formulating models and theories about biological systems, to constructing algorithms and developing computer programs. It involves expertise in many traditional disciplines including biology, molecular biology, statistics, physics, chemistry, and computer science. Further information can be obtained at http://www.birc.dk

Further project information.

BRICS: Basic Research in Computer Science - International PhD School with associated Research Laboratory

Goals

The aim is to maintain the PhD School as an international competitive graduate school and recruit PhD students of high international standards, aiming at making its PhD candidates attractive for a wide spectrum of employers in private and public research and development institutions, in Denmark and abroad. BRICS is based on a commitment to develop theoretical computer science, covering core areas such as Semantics of Computation, Logic, Algorithms and Data Structures, Complexity Theory, Data Security and Cryptology, and Verification, as well as a number of spin-off activities including Web Technology, Quantum Informatics, Bio Informatics, and Networks and Distributed Real-Time Systems. Further information can be obtained at http://www.brics.dk

Further project information.

CACE: Computer Aided Cryptographic Engineering

Goals

Målet med CACE er at gøre det langt nemmere at integrere kryptografi i IT systemer generelt. Dette opnåes ved at udvikle programmeringssprog og andre interfaces, der tillader at specificere de overordnede sikkerhedsmål, uden at skulle ind i tekniske detaljer vedrørende den kryptografi, der skal bruges for at opnå målene.

Further project information.

CAGT: Center for Algorithmic Game Theory

Goals

The purpose of the center is to explore two related research directions: • Game theoretic analysis of algorithms and protocols, in particular cryptographic protocols. • Algorithmic analysis of finitely represented games Web: http://www.daimi.au.dk/cagt/index.html

Further project information.

CfPC: Center for Pervasive Computing

Goals

Pervasive computing is the next generation computing environment with computers everywhere, for everyone, at all times. Information and communication technology will be an integrated part of our environments: from toys, milk cartons and desktops to cars, factories and whole city areas - with integrated processors, sensors, and actuators connected via high-speed networks and combined with new visualisation devices ranging from projections directly into the eye to large panorama displays. The centre is an open partnership between trades and business and public research institutions. The centre performs research in the core areas of pervasive computing including:

• Object-Technology
• Interactive Workspaces
• Human Computer Interaction
• New Ways of Working
• Pervasive Healthcare
• Computer Supported Cooperative Work (CSCW)
• Mobile Systems and Wireless Communication
• Advanced Visualisation and Interaction
• Embedded Systems - Embodied Agents
• Sound as Media
• Modelling, Validation and Capacity Planning of Concurrent and Distributed Systems

Most of the work in the Centre for Pervasive Computing is organised as research projects involving both companies and universities. Many projects cut across research areas and practically all projects involve several traditional research disciplines. Further information can be obtained at http://www.pervasive.dk/

Further project information.

CoMa - Computational Mathematics

Goals

Projektets formål er forskning i grænseområdet mellem datalogi og matematisk, specielt i emnerne computational complexity theory, computational game theory, computational algebra, computational number theory og numerisk analyse.

Further project information.

COMODO: Computational Models and Tools for Drug Discovery

Goals

Målet er at skabe nye metoder til udvikling af lægemidler. I dag sker størstedelen af lægemiddeludviklingen via eksperimenter i laboratoriet. Et alternativ er computersimulerede eksperimenter, som muliggør hurtigere identifikation af potentielle lægemidler. Det kan bl.a. gøres ved at benytte molekylær docking software til at gennemsøge en database af virtuelle lægemiddelkandidater. Projektet vil forsøge at udvikle en ny generation af modeller og værktøjer inden for molekylær docking, som bygger på en mere nøjagtig simulering af de kemiske processer, der finder sted i menneskekroppen. Projektet vil løbende integrere resultaterne i et softwareprodukt, som valideres af de erhvervsvirksomheder, der er tilknyttet projektet, nemlig Molegro aps. og Nuevolution.

Further project information.

CPN: CPN Centre for Modelling, Validation, and Capacity Planning of Concurrent and Distributed Systems

Goals

The centre focuses on the application of Coloured Petri Nets (CP-nets or CPN) for analysis of systems. The centre covers three main areas:

• Design and analysis of communication protocols and other kinds of distributed systems.
• Performance analysis and capacity planning.
• Tools, algorithms, and techniques to support the two areas above.

The work is organised as a number of projects in which CP-nets are used for modelling, validation and/or capacity planning of systems. A typical project runs for 6-12 months and cooperate with an industrial project. The Centre is a continuation and extension of the HP-CPN Centre and the CPN2000 project. It is part of Center for Pervasive Computing. Further information can be obtained at http://www.daimi.au.dk/CPnets

Further project information.

eGov+: Exploring Design and Use of Transparent and Tailorable IT in Local Government beyond Web 2.0

Goals

The aim of the project is to lead the Danish municipal administration towards IT-based cooperation between the citizens and the administration.

Further project information.

Family

Goals

Det væsentligste mål for dette projekt er at udvikle oversættelsesteknikker, som kan håndtere avancerede objekt-orienterede sprogmekanismer, herunder specielt familiepolymorfi og dynamisk arv.

Further project information.

FSIM: Controlling High Resolution Fluid Simulations

Goals

Formålet med FSIM forskningsprojektet er at udvikle matematiske modeller såvel som effektive data strukturer og algoritmer til væske simulering inden for computer grafik. Computer grafik området stiller yderligere krav end traditionel computational fluid mechanics. Specielt har FSIM projektet til formål at forbedre den visuelle opførsel af væske-simuleringer gennem tilføjelse af flere detaljer, samt at udvikle nye metoder, der gør det muligt at kontrollere væskens bevægelser gennem intuitive kontrol-mekanismer baseret på underliggende matematiske modeller. Resultaterne af FSIM projektet kan løbende følges på: http://www.daimi.au.dk/~bang/

Further project information.

Galileo - Based Pervasive Positioning

Goals

Udvikling af en platform, der gør det nemt og hurtigt for danske virksomheder at udvikle produkter og services, der udnytter Galileo-satellitpositioneringssystemet. Der vil i platformen være fokus på positionering inden for anvendelsesområder som f.eks. flynavigation, præcisionsjordbehandling, sporing af kvæg, sporing af redningsmandskab ved redningsaktioner, tryghedsskabende overvågning af ældre og syge, samt positioneringsstøtte til sport og fritidsaktiviteter. Systemet vil give langt større nøjagtighed end GPS, og det vil virke indendørs - i modsætning til GPS. Web: www.interactivespaces.net/

Further project information.

Home Port

Goals

Home Port’, som projektet hedder, har som mål at udvikle en prototype på en kontrolenhed, der vil kunne styre en række separate trådløse systemer. Det vil gøre det let og effektivt for forbrugeren at styre husholdningens energiforbrug – f.eks. ved at man ved et tryk på en enkelt knap kan slukke for alle elektriske apparater og skrue ned for varmen, eller ved at man kan sætte vaskemaskinen eller andre strømforbrugende apparater til at starte på de tidspunkter på døgnet, hvor elektriciteten er billigst at producere. De første skridt på vejen er at gøre de mange forskellige trådløse apparater i stand til at kommunikere med én fælles kontrolenhed – og at gøre enheden let at betjene, så den kan benyttes af helt almindelige forbrugere. Det er de ting, der forhåbentlig ligger klar til brug i februar 2010, når Home Port-projektet afsluttes. Læs mere her: http://alexandra.dk/nyhedsbrev/juni08/energistyring.htm

Further project information.

HYDRA - Networked Embedded System middleware for Heterogeneous physical devices in a distributed architecture

Goals

The overall purpose of the project is to develop embedded, service-oriented middleware and software development tools for pervasive computing/ambient intelligence. The research at DAIMI centers around creating reflective, embedded pervasive computing systems among others by applying and extending Autonomic Computing techniques. Such middleware will eventually allow for more reliable, reactive, and performant pervasive computing systems. Further project information: http://www.hydramiddleware.eu

Further project information.

HYMOS: Hybrid Functionals for Metal Oxide Surfaces and Nano-particles

Goals

The project concerns the determination of the properties of oxide materials by means of quantum mechanical calculations. We propose to develop new methodology for performing such calculations. This includes software for setting up and visualizing crystal structures and the development of new methods for performing quantum mechanical computer calculations using techniques from numerical analysis and algorithmics.

Further project information.

IK-BDSI

Goals

Konsortiet bag Brugerdrevet Sundhedsinnovation ønsker at udvikle en åben IT-infrastruktur og en række sundhedsydelser, der kan lette kommunikationen mellem de ældre, pårørende og sundhedspersonale, som fx læge og hjemmesygeplejerske. Løsningerne skal give de ældre et bedre indblik i eget helbred og muligheder for en mere aktiv rolle i egen behandling samtidig med at kommunikationen og kvaliteten af behandlingen øges. De nye serviceydelser skal udvikles i tæt samarbejde med de ældre og projektet vil udvikle prototyper for services, som afprøves i deltagernes eget hjem.

Further project information.

ISIS Katrinebjerg - Competence Centre for Interactive Spaces, IT in healthcare and Software

Goals

ISIS Katrinebjerg is one of the four competence centres established as part of the Transregional business development co-operation Jutland-Funen - www.jylland-fyn.dk. The overall goal of ISIS Katrinebjerg is to enhance competence development between public and private organizations. ISIS Katrinebjerg will carry out joint projects in the areas (1) Interactive buildings, spaces and city spaces, (2) Pervasive healthcare (use of pervasive computing withion the healthcare sector), and (3) Software - object-technology. Further information may be obtained at: http://www.isis.alexandra.dk

Further project information.

ITSCI: IT Security for Citizens

Goals

The project aims to solve two basic problems: first, existing hard- and softwareproducts often do not communicate security in a way that ordinary users can understand and relate to. This can degrade security because users take security-related decisions based on incomplete or wrong information. Second, security-related solutions such as digital signature systems or netbank systems are often tied to one particular computer, and thus mobility and flexibility suffer. Also, this type of solution can often be broken by a sufficiently severe attack on only a single machine. Web: http://www.daimi.au.dk/research/areas/human-computer-interaction/itsci

Further project information.

LAWP : Languages and Analyses for Web Programming

Goals

Errors in programs are a well-known problem, both to programmers and users. Modern Web-based software systems are being built from components that in complicated ways communicate with each other and the users. With the increasing prevalence and complexity of the Web, the consequences of programming errors are becoming problematic. Development of modern Web programs requires knowledge of a myriad of programming languages and systems, communication protocols, data formats, and description formats for services and data. The hypothesis behind the LAWP project is that more robust and maintainable Web software can be made by developing new programming languages and techniques for automatic analysis of programs being specialized to concrete application areas within Web programming. Web: www.brics.dk/~amoeller/LAWP/

Further project information.

LOCUSTS: Dynamically Adaptive Pervasive Computing through Cyber Foraging

Goals

The purpose of the Locusts project is to extend distributed software architectures, so that computers dynamically can utilise resources (storage, network, display, computation, etc) available at other nearby computers.This would allow small devices such as mobile phones to do tasks that they themselves cannot do satisfactorily on their own, but in conjunction with other, more powerful, computers are able to perform. Web: http://www.interactivespaces.net/projects/Locusts/

Further project information.

MADALGO: Center for Massive Data Algorithmics

Goals

The high-level objectives of MADALGO are 1) to significantly advance the fundamental algorithmic knowledge in the area of efficient processing of massive datasets; 2) train the next generation of researchers in a truly world-leading and international environment; and 3) to be a catalyst for multidisciplinary collaborative research on massive dataset issues in commercial and scientific applications. To meet these goals, the centre builds on a strong international core research teams (consisting of researchers from University of Aarhus, Massachusetts Institute of Technology and the Max-Planck Institute for Informatics), as well as a focus on the four core research areas I/O-efficient algorithms, cache-oblivious algorithms, streaming algorithms, and algorithm engineering. Web: http://www.madalgo.au.dk/

Further project information.

MHC: The Mobile Home Center - Home is where you are

Goals

The objective is to develop B&O products and services to support a global sense of home by enabling users to experience and produce media in different homes or while away from home. This is achieved through development of a Mobile Home Center (MHC), i.e. a hub to establish secure connections to the main home and media servers, to support users in experiencing home media on equipment available anywhere, anytime. The MHC challenges calls for research in several pervasive computing areas. The challenges will be addressed by new PhD students and senior researchers. The results of the project are: a prototype MHC infrastructure; a mobile product interface, e.g. a mobile phone, which is the key to secure and seamless access to home media; and an interaction paradigm for future mobile and global media experiences across changing contexts. The envisioned MHC goes beyond what individual media products, e.g. iPods and phones offer today. The success criteria of the project are to deliver industrial prototypes that nourish B&O product development as well as to publish general concepts for experiencing “home is where you are”. Digital and mobile media are rapidly growing businesses worldwide, and B&O is in an ideal position to address the high-end market with products for customers with multiple homes and extensive travel activity.

Further project information.

MOBISEQ: Mobile Quantum Security

Goals

Målet med dette projekt er at demonstrere, at nano-teknologi kombineret med udvikling af nye kryptologiske metoder kan føre til billigere, hurtigere og mere mobilt udstyr til kvantekommunikation. Visionen er at nå frem til teknologi der kan konkurrere med konventionelle metoder på hastighed og sikkerhed, og kan integreres med eksisterende infrastrukturer.

Further project information.

ScalPL - A Scalable Programming Language

Goals

Projektet har som formål at udvikle et skalerbart programmeringssprog, som lader programmører udvikle nye domænespecifikke programmer. Der største udfordring for forskergruppen bliver at kombinere resultaterne fra en række meget forskellige discipliner som for eksempel logik, videnfremstilling, typeteori, modulsystemer, objekt- og funktionelprogrammering, designmønstre og aspekt- og modeldreven programmering.

Further project information.

SensoByg: Sensorbaseret overvågning i byggeriet

Goals

Formålet med projektet er at udvikle prisbillige, driftsikre overvågningssystemer til byggeriet og til andre store konstruktioner ved hjælp af indlejret, trådløs sensorteknologi og intelligente beslutningsstøtteværktøjer. Der fokuseres på overvågning af fugt og temperatur i byggeriet via trådløse sensorer. De største udfordringer ligger i indlejring af sensorer i beton og trådløs overførsel i konstruktioner mellem de enkelte sensorer. Overvågningssystemerne søges udviklet så generelle, at de let kan tilpasses andre sensorer til overvågning af øvrige relevante parametre i store konstruktioner generelt. Web: http://www.sensobyg.dk/

Further project information.

TERRAIN - Efficient Handling of Massive Heterogeneous Terrain Data

Goals

The goal of the project is to develop algorithms that are capable of (efficiently) processing the massive terrain datasets that are generated by modern sensor technologies (such as LIDAR). The algorithms will be used to dramatically speed up terrain data processing software, thereby leading the way for full utilization of the new sensor technologies. The project is performed in a close collaboration with a terrain data producer (COWI A/S), as well as terrain data users (environmental researcher at the faculty of agricultual sciences). Web: http://www.daimi.au.dk/~large

Further project information.

UrbanWeb: A Mobile Social Context-Aware Web Infrastructure

Goals

The UrbanWeb project explores an open Web approach to pervasive computing and aims especially at urban environments. The project hypothesizes that pervasive computing and recent trends in Web technologies (e.g. Web Mashups (service aggregation), collaborative tagging, social filtering, etc., often described as Web 2.0 techniques) can be combined to create an open, highly scaleable, contextaware architecture that supports true pervasive information applications and services which not only adapt to the users’ physical and social context, but also let users actively contribute to the information available in both private and public places. The project has a number of foci, including Infrastructure, Structuring mechanisms, Context matching, and Interaction techniques.

Further project information.