Explore-projekter

Strategiske, tværgående forskningsprojekter, ledet af DIREC-forskere – og ofte i samarbejde med eksterne samarbejdspartnere – har til formål at levere værdi for både den videnskabelige verden og samfundet.Explore-projekterne er små agile forskningsprojekter med det formål at screene nye ideer.

Explore project

Cyber-Physical Systems with Humans in the Loop

Constructing cyber-physical systems with humans in the loop is important in many application areas to enable a close co-operation between humans and machines. However, there are also many challenges to overcome when constructing such systems with current software technologies and human-centered design approaches.

Læs mere »
Explore project

Re-Use of Robotic-data in Production through search, simulation and learning

En robotdatabase med information om tidligere robotløsninger kan spare produktionsvirksomheder tid og penge og gøre det muligt også for mindre firmaer at automatisere deres produktion. Det er konklusionen i ReRoPro-projekt. Det lyder måske lige til, men der er en række udfordringer forbundet med at lave en robotdatabase. Med input fra industrien og internationale eksperter, har forskerne nu fået en langt bedre forståelse af udfordringerne.

Læs mere »
Explore project

Algorithms education via animation videos

Several highly popular YouTube channels for mathematics and other scientific content (e.g., 3blue1brown, Numberphile, Veritasium) with millions of views indicate that learners may respond very positively to professionally produced educational videos. This project aims at creating and evaluating an initial library of such videos to supplement teaching in algorithms.

Læs mere »
Explore project

Ergonomic & Practical Effect Systems

Effect systems are currently a hot research subject in type theory. Yet many effect systems, whilst powerful, are very complicated to use, particularly by programmers that are not experts at type theory. Effect systems with inference can provide useful guarantees to programming languages, while being simple enough to be used in practice by everyday programmers.

Læs mere »
Explore project

Verifiable and Robust AI

The challenge to the research community is how to extend existing verification technologies to cope with software systems comprising AI components. This is an unchartered territory and one of the most pressing research challenges in AI. The industrial importance of this topic is closely related to the question of liability in case of malfunctioning products. Over a 4-month period the explore project will provide a state-of-the-art survey and identify research directions to be followed.

Læs mere »
Explore project

Explainable AI

Artificial Intelligence brings the promise of technological means to solve problems that previously were assumed to require human intelligence, and ultimately provide human-centered solutions that are both more effective and of higher quality in a synergy between the human and the AI system than solutions that are provided by humans or by an AI system alone.

Læs mere »