Skip to main content Skip to main navigation

Publications

Displaying results 1941 to 1950 of 15207.
  1. Cable Tester’

    Poster, DFKI GmbH, DFKI Documents (D), Vol. 15-02, 6/2015.

  2. Martin Zenzes

    Advanced introduction on NDLCom’

    Bericht, DFKI GmbH, DFKI Documents (D), Vol. 15-02, 6/2015.

  3. A short Introduction of the CASCADE Catheter Driver and the INCASS MagnetCrawler II

    Bericht, DFKI GmbH, Universität Bremen, DFKI Documents (D), Vol. 15-02, 6/2015.

  4. Beata Turonova; Lukas Marsalek; Philipp Slusallek

    On geometric artifacts in cryo electron tomography

    In: Ultramicroscopy, Vol. 163, Pages 48-61, Elsevier B.V. 4/2016.

  5. Smart Factory Systems – Fostering Cloud-based Manufacturing based on Self-Monitoring Cyber-Physical Systems

    In: International Journal on Advances in Systems and Measurements, Vol. 9, No. 1 & 2, Pages 91-101, IARIA, 7/2016.

  6. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study

    In: Forum on specification & Design Languages. Forum on Specification & Design Languages (FDL), September 14-16, Bremen, Germany, 2016.

  7. Amr Sayed Ahmed; Daniel Große; Mathias Soeken; Rolf Drechsler

    Equivalence Checking Using Gröbner Bases

    In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016), October 3-6, Mountain View, USA, 2016.

  8. Hendrik Wöhrle; Johannes Teiwes; Marc Tabie; Elsa Andrea Kirchner

    Embedded Brain Reading in a Complex Virtual Environment

    Poster, DFKI GmbH, Universität Bremen, DFKI Documents (D), Vol. 14-07, 11/2014.

  9. Embedded Brain Reading

    Poster, DFKI GmbH, Universität Bremen, DFKI Documents (D), Vol. 14-07, 11/2014.

  10. Martin Schröer

    Gesture Concept and Current State’

    Bericht, DFKI GmbH, DFKI Documents (D), Vol. 14-07, 11/2014.