Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 541
  1. Sebastian Huhn; Stephan Eggersglüß; Rolf Drechsler

    Leichtgewichtige Datenkompressions-Architektur für IEEE-1149.1-kompatible Testschnittstellen

    In: 28. GI/GMM/ITG Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und …

  2. Hans-Ulrich Krieger

    Capturing Graded Knowledge and Uncertainty in a Modalized Fragment of OWL

    In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial …

  3. Patrick Lübbecke; Peter Fettke; Peter Loos; Christian Berres; Josef Burgard

    Konzept für eine Anwendung zur Abwicklung von Material Compliance-Anforderungen auf Basis digitaler Objektgedächtnisse

    In: Dirk Stelzer; Volker Nissen; Steffen Straßburger (Hrsg.). Multikonferenz Wirtschaftsinformatik (MKWI) 2016. Multikonferenz Wirtschaftsinformatik …

  4. Torsten Burghardt; Christina Di Valentin; Oliver Sträter; Julian Krumeich; Dimitri Raabe

    PREFLOW-Preventive Workflows: Intelligentes Assistenzsystem zur präventiven Steuerung von Arbeitsprozessen

    In: Gesellschaft für Arbeitswissenschaft e.V. (Hrsg.). Chronik Frühjahrskongress 2016. Fachtagung Gesellschaft für Arbeitswissenschaft e.V. (GfA-16), …

  5. Handling few training data: classifier transfer between different types of error-related potentials

    In: IEEE Transactions on Neural Systems & Rehabilitation Engineering, Vol. 24, No. 3, Pages 320-332, IEEE, 3/2016.

  6. Xiaofei Zhu; Claudia Niederée; Tuan Tran; Andrea Ceroni; Kaweh Djafari Naini; Nam Khanh Tran; Heiko Maus; Christian Jilek

    ForgetIT Deliverable D3.4: Strategies and Components for Managed Forgetting - Final Release

    Deliverable, ForgetIT Consortium, ForgetIT Deliverables, Vol. D3.4, 1/2016.

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

    Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1160-1163, 2016.

  8. Amr Sayed Ahmed; Daniel Große; Ulrich Kühne; Mathias Soeken; Rolf Drechsler

    Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1048-1053, 2016.

  9. Saeideh Shirinzadeh; Mathias Soeken; Pierre-Emmanuel Gaillardon; Rolf Drechsler

    Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  10. Robert Wille; Oliver Keszöcze; Stefan Hillmich; Marcel Walter; Alberto Garcia-Ortiz

    Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.