Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als ...
Im Rahmen des Innovative Retail Laboratory (IRL), einem anwendungsnahen Forschungslabor des DFKI, werden in enger Verbindung mit den Fachexperten von ...
Das Ziel des Vorhabens LUNARES (gefördert von der DLR und der BIG Bremen) ist die Evaluierung von State-of-the-Art Robotiktechnologien für zukünftige ...
Ziel des Konsortium ist es, Konzepte zu entwerfen und zu erproben, die notwendig sind, um staatlichen Organe, Firmen und Organisationen, die im Umfeld ...
Im Rahmen des Verbundvorhabens "BauVOGrid" soll eine erweiterbare, von den Endanwendern definierte und verifizierte Bau-Community-Lösung erarbeitet ...