Skip to main content Skip to main navigation

Projekte

Seite 1 von 1.

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

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

  2. 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 …

  3. 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, …

  4. 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 …

  5. 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 …

  6. 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 …

  7. 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 …

  8. 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 …

  9. 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 …

  10. SELFIE - Selbstverifikation von Elektronischen Systemen

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

  11. 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 …

  12. IGEL - Sicherer Kegelscanner

    Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen …

  13. 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 …

  14. 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 …

  15. AWE - Abstraktion und Wiederverwendung Formaler Entwicklungen

    Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.

    Partner

    • Universitä …