Projekte

Zeige Ergebnisse 61 bis 70 von 90
SELFIE – Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel ...

Mittelstand 4.0-Kompetenzzentrum Kaiserslautern – Mittelstand 4.0-Kompetenzzentrum Kaiserslautern

Das Mittelstand 4.0-Kompetenzzentrum Kaiserslautern ist Teil des bundesweiten Netzwerkes Mittelstand-Digital. Mit Mittelstand-Digital unterstützt das ...

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate ...

BEinCPPS – Business Experiments in Cyber Physical Production Systems

BEinCPPS (Business Experiments in Cyber Physical Production Systems) ist ein von der EU gefördertes Verbundprojekt mit einer Laufzeit von drei Jahren. ...

CAxMan – Computer Aided Technologies for Additive Manufacturing

Projekt Die Ziele und Möglichkeiten zum Einsatz computergestützter Technologien für die additive Fertigung (CAxMan) sind sehr vielfältig. Dieses ...

Smart Data Forum – Kompetenz und Innovation aus Smart Data

Während seiner Projektlaufzeit von September 2015 bis August 2019 vernetzte Smart Data Forum Nutzer und Entwickler von Smart-Data-Technologien in ...

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende ...

PRO-OPT – PRO-OPT - Big Data Produktionsoptimierung in Smart Ecosystems

PRO-OPT verfolgt das Ziel, Unternehmen in dezentralen kooperativen Strukturen (Smart Ecosystems) die effektive und intelligente Analyse großer ...

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen ...

eProcurementsysteme erlauben eine effiziente sowie finanziell und personell kostengünstige Abwicklung von Beschaffungsvorgängen in Unternehmen. ...

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence