Projekte

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

In enger Zusammenarbeit innerhalb der U Bremen Research Alliance (UBRA) und mit weiteren Partnern etabliert die Universität Bremen ein …

HealthyW8 – Stärkung eines gesunden Lebensstils durch personalisierte Interventionsportfolios zur Prävention und Kontrolle von Adipositas in vulnerablen Lebensphasen

Mehr als 30 % der EU-Bürger in vulnerablen Lebensphasen und Lebenssituationen sind einem erhöhten Risiko ausgesetzt, von einem gesunden Gewicht zu …

REXASI-PRO – Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität

Künstliche Intelligenz (KI) wird in vielen Bereichen weit verbreitet eingesetzt, und es ist notwendig, Vertrauen in diese Systeme in der breiten …

ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt …

VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen …

VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der …

KI-STAGING – Intelligente Verfahren zur Analyse von Artikelbeschreibungen

Im Projekt KI-Staging entwickeln der DFKI-Forschungsbereich Cyber-Physical Systems und die ePhilos AG intelligente Verfahren zur Analyse von …

CONVERS – Entwurfsautomatisierung für komplexe Elektroniksysteme

Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen …

SELFIE – Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …

MANIAC – Manipulation von BDDs für Approximate Computing

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate …