Projects

Fast&Slow – Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable statement …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …

SecProPort – Scalable Security Architectures for Commercial Workflows in German Harbors

Modern sea as well as domestic ports are more and more controlled by IT-systems. Each of the players involved in port operations (like terminal …

KI-STAGING

In the KI-Staging project, the DFKI research department Cyber-Physical Systems and the ePhilos AG develop intelligent methods for the analysis of …

aiPhilos – Developing a search engine for the B2C area using artificial intelligence.

The goal of the project is to adapt the results of the projects "KI-Suche" to the B2C area. In doing so, search queries from mobile devices to diverse …

WaRoBema – Maintainable Role-Based Rights Management

The industrial partner employs concepts of role-based access controls within several of its applications. They allow a description and implementation …

KI-Suche – Developing a Search Machine using Principles of Artificial Intelligence

eProcurementsysteme allow for an efficient as well as cheap (with respect to personnel as well as financial costs) handling of consumable orderings in …