Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 4 von 4
  1. Adra-e – AI, Data and Robotics ecosystem

    Adra-e – AI, Data and Robotics ecosystem

    Adra-e – Unterstützung der AI, Data and Robotics Community bei der Entwicklung eines nachhaltigen europäischen Ökosystems Adra-e ist eine sog. …

  2. BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

    BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

    Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat eine Studie zum Thema „Sicherheit von KI-Systemen: Symbolische und Hybride …

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

    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 …

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

    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 …