Projekte

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

SecProPort – Skalierbare Sicherheitsarchitekturen für die Geschäftsprozesse in deutschen Häfen

Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Jeder der am Hafentransport beteiligten Akteure (wie z.B. Terminalbetreiber, Reeder, Spediteure, Betreiber von Hafen-IT, Bahn,

KI-STAGING – Intelligente Verfahren zur Analyse von Artikelbeschreibungen

Im Projekt KI-Staging entwickeln der DFKI-Forschungsbereich Cyber-Physical Systems und die ePhilos AG intelligente Verfahren zur Analyse von Artikelbeschreibungen, um Artikel einheitlich in Katalogen

aiPhilos – KI-Suche für den B2C-Bereich

Ziel des Projektes ist die Übertragung der Ergebnisse des Projektes „KISuche“ auf den B2C-Bereich. Dabei sollen am Ende über mobile Endgeräte in diverse eShops gesprochene Suchanfragen mit zielgenauen

WaRoBema – Wartbares rollenbasiertes Berechtigungsmanagement

Der Industriepartner hat in verschiedenen Anwendungen Konzepte der rollenbasierten Zugriffskontrolle (RBAC) und Sicherheitsregeln umgesetzt, mit denen sich zusätzliche Sicherheitsanforderungen (wie z.

KI-Suche – Entwicklung einer den Prinzipien der Künstlichen Intelligenz folgenden Suchmaschine

eProcurementsysteme erlauben eine effiziente sowie finanziell und personell kostengünstige Abwicklung von Beschaffungsvorgängen in Unternehmen. Mitarbeiter/-innen wählen hier die gewünschten Artikel ü