Projekte

Seite 1 von 1.

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 …
FAIRe - Frugal Artificial Intelligence in Resource-limited environments
Künstliche Intelligenz (KI) findet zunehmend vielfältige Anwendungen in der physischen Welt, insbesondere auf eingebetteten, cyber-physischen Geräten …
SASPIT - Eine Sichere Sensorplattform für das Internet der Dinge
Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, …
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 …
KIMBi - Auf dem Weg zur KI-gestützten intelligenten Magnetresonanz-Bildgebung
Es soll ein System entwickelt werden, das die Magnetresonanztomographie (MRT) für KI-Anwendungen zugänglich macht. Die MRT ist die flexibelste und …
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 …
VeryHuman - Komplexes Verhalten Humanoider Roboter Lernen und Verifizieren
Die Validierung von Systemen in sicherheitsrelevanten Situationen ist ein inhärent schwieriges Problem, wenn deren Verhalten über Lernalgorithmen …
KI-SIGS - KI-Space für intelligente Gesundheitssysteme
Im Projekt KI-SIGS (KI-Space für intelligente Gesundheitssysteme) bündeln Unternehmen, Universitäten und Forschungseinrichtungen aus Norddeutschland …
Fast&Slow - Kombination Symbolischer und Subsymbolischer Methoden
Deep-Learning-Verfahren werden in vielen Anwendungsgebieten
eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre …
SELFIE - Selbstverifikation von Elektronischen Systemen
Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …
SPECifIC - Quality-driven Design Flow using Formal Specifications and Functional Change Management
Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem …
IGEL - Sicherer Kegelscanner
Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen …
SAMS - Sicherungskomponente für Autonome Mobile Systeme
Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit …
PGKit - Generische Benutzerschnittstellen für interaktive Theorembeweiser
Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware …
AWE - Abstraktion und Wiederverwendung Formaler Entwicklungen
Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.
Partner
- Universitä …

Partner