Projects

DataNord - MRI4ALL – Research Academy Projekt MRI4AII des Interdisziplinären Datenkompetenzzentrums für die Region Bremen - DataNord; Teilvorhaben:

In close cooperation within the U Bremen Research Alliance (UBRA) and with other partners, the University of Bremen is establishing a data competence …

HealthyW8 – Empowering healthy lifestyle behaviour through personalised intervention portfolios to prevent and control obesity during vulnerable stages of life

Over 30% of EU citizens at vulnerable stages and situations in life are at increased risk to transgress from healthy weight to overweight and further …

REXASI-PRO – REliable & eXplAinable Swarm Intelligence for People with Reduced mObility

Artificial intelligence (AI) is being applied widely in many domains and there is a need to realize public trust in these systems. Calls are made to …

ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …

VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …

KI-STAGING

In the KI-Staging project, the DFKI research department Cyber-Physical Systems and the ePhilos AG develop intelligent methods for the analysis of …

CONVERS – Design Automation Tool for Complex Electronic Systems

In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design …

SELFIE – Self-Verification of Electronic Systems

The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing …

MANIAC – BDD Manipulation for Approximate Computing

The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …