Projekte

Aktive Filter:

Zeige Ergebnisse 1 bis 4 von 4.

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 mit begrenzten Ressourcen und unter anspruchsvolle
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 Korrektheit im allgemeinen keine verlässliche Au
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 RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro
SIRKA – Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität

In vielen körperlich anstrengenden Berufen bilden stark belastende Bewegungsabläufe ein erhebliches Risiko für Berufskrankheiten in der zweiten Lebenshälfte. Das Projekt SIRKA möchte einen „Sensoranzu