News Überblick

Zeige Ergebnisse 31 bis 40 von 111

Bei den zehnten RoboCup German Open in Magdeburg vom 3. bis 5. Mai 2019 konnte B-Human, das Team der Universität Bremen und des Deutschen ...

zum Artikel
B-Human bei der RoboCup German Open 2018

Anlässlich der bevorstehenden RoboCup German Open lädt B-Human – das gemeinsame Team der Universität Bremen und des Deutschen Forschungszentrums für ...

zum Artikel

Vor Markteinführung müssen Computersysteme auf ihre Korrektheit überprüft werden. Eine vollständige Verifikation ist aufgrund der Komplexität heutiger ...

zum Artikel

Gestern Abend, 5. Dezember 2018, bekamen Prof. Dr. Rolf Drechsler, Leiter des Forschungsbereichs Cyber-Physical Systems am Deutschen Forschungszentrum ...

zum Artikel

Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Der reibungslose Informationsaustausch zwischen den Hafenakteuren ist dabei ...

zum Artikel

Arithmetische Schaltkreise wie Multiplizierer kommen heute in jedem Prozessor vor. Sind sie fehlerhaft, verursacht dies hohe Kosten. Wie sich die ...

zum Artikel

Elektronische Systeme werden immer komplexer und bestehen meist aus digitalen und analogen Komponenten. Der Aufwand für die Verifikation solcher ...

zum Artikel

Das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) und die Upper Austrian Research (UAR), in ihrer Rolle als Leitgesellschaft für ...

zum Artikel

Gefördert vom Land Bremen entwickelten der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz GmbH ...

zum Artikel

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