Projekte

ExaVerse – Extension Verification Environment

Das Design moderner Chiparchitekturen tendiert zunehmend zu heterogenen Strukturen, bei denen spezialisierte Berechnungen von optimierten ...

RIG – Robotics Institute Germany

Robotics Institute Germany, nationales Verbundprojekt der Robotik-Forschung in Deutschland, unter Koordination der TU München Das Robotics Institute ...

M-RoCK – Modellierung der Mensch-Maschine-Interaktion zur kontinuierlichen Verbesserung des Roboterverhaltens

M-Rock ist Teil der X-Rock Entwicklungen, die es Anwendern ermöglichen sollen, persönliche Assistenten ohne jegliches Expertenwissen zu entwerfen, und ...

SPAICER – Skalierbare adaptive Produktionssysteme durch KI-basierte Resilienzoptimierung

Der Innovationswettbewerb „Künstliche Intelligenz als Treiber für volkswirtschaftlich relevante Ökosysteme“ (KI-Innovationswettbewerb) des ...

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

EVAREST – Erzeugung und Verwertung von Datenprodukten in der Lebensmittelindustrie durch Smart Services

Ziel des Projektes ist die Entwicklung und Verwertung von Datenprodukten als Wirtschaftsgut im Ökosystem der Lebensmittelproduktion auf Basis einer ...