Projects

GenMod – Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic

This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic ...

IRL – Laboratory for Innovative Retail Technology in cooperation with Globus

Within the Innovative Retail Laboratory (IRL), an application-oriented research laboratory of the DFKI, innovative technologies for the retail of ...

InterGeo – Interactive Geometry for Europe

Partners University of Education Schwäbisch Gmünd, Université Montpellier, Cabrilog SAS, University of Bayreuth, Université du Luxembourg, University ...

Förderprogramm Theseus_Med_KM – Support Program THESEUS MEDICO

The vision of the application scenario MEDICO is: Establishing of image syntax and semantics based on image vocabularies to build an intelligent ...

SpaceClimber – A Semi-Autonomous Free-Climbing Robot for the Exploration of Crater Walls and Bottoms

The goal of the "SpaceClimber" project is the development of a biologically inspired, energy-efficient and adaptively free-climbing robot for steep ...

Lunares – Reconfigurable Robots for Extraterrestrial Exploration

The aim of this project (funded by the DLR and BIG Bremen) is the evaluation of state-of-the-art robot technologies for future cooperative, ...

Verisoft XT – Verisoft XT

Verisoft XT is a three-year research project funded by the German Federal Ministry of Education and Research (BMBF). Project management agency is the ...

SoKNOS_WW – Service-orientierte ArchiteKturen zur Unterstützung von Netzwerken im Rahmen Oeffentlicher Sicherheit

Ziel des Konsortium ist es, Konzepte zu entwerfen und zu erproben, die notwendig sind, um staatlichen Organe, Firmen und Organisationen, die im Umfeld ...

BauVOGrid – Grid-basierte Plattform für die Virtuelle Organisation im Bauwesen

Partners Institut für Bauinformatik der Technischen Universität Dresden (Projektkoordinator), Fraunhofer-Institut für Rechnerarchitektur und ...

IVIP – Intelligente Vernetzung verteilter Informationsquellen zur betriebs- und standortspezifischen Planung der Energiepflanzenerzeugung

Intelligent integration of source of information for business specific, location based planning for the production of energy crops (German: ...