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 111 bis 120 von 504
  1. Mathias Soeken; Michael Kirkedal Thomsen

    White Dots do Matter: Rewriting Reversible Logic Circuits

    In: D. Michael Miller; Gerhard W. Dueck (Hrsg.). Proceedings of the 5th International Conference on Reversible Computation. International Conference …

  2. Jan Hendrik Metzen

    Online Skill Discovery using Graph-based Clustering

    In: Journal of Machine Learning Research, Vol. W&CP 24, Pages 77-88, 2013.

  3. Luis Manuel Vaca Benitez; Niels Will; Marc Tabie; Steffen Schmidt; Elsa Andrea Kirchner; Jan Albiez

    An EMG-based assistive orthosis for upper limb rehabilitation

    In: International Conference on Biomedical Electronics and Devices. International Conference on Biomedical Electronics and Devices (BIODEVICES-2013), …

  4. Elsa Andrea Kirchner; Jan Albiez; Anett Seeland; Mathias Jordan; Frank Kirchner

    Towards Assistive Robotics for Home Rehabilitation

    In: Proceedings of the 6th International Conference on Biomedical Electronics and Devices. International Conference on Biomedical Electronics and …

  5. Robert Wille; Mathias Soeken; Nils Przigoda; Rolf Drechsler

    Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits

    In: Journal of Multiple-Valued Logic and Soft Computing, 2013.

  6. Julian Krumeich; Dirk Werth; Peter Loos

    Knowledge Management and Business Processes Learning on the Job – A Conceptual Approach and its Prototypical Implementation

    In: Dirk Malzahn (Hrsg.). eKNOW 2013, The Fifth International Conference on Information, Process, and Knowledge Management. International Conference …

  7. Mathias Soeken; Robert Wille; Rolf Drechsler

    Formale Verifikation von UML-basierten Spezifikationen - Prüfung der Korrektheit von Systementwürfen vor deren Implementierung

    In: Industrie Management - Zeitschrift für industrielle Geschäftsprozesse, Vol. 01/2013, Pages 44-48, GITO, 2013.

  8. Mathias Soeken; Robert Wille; Eugen Kuksa; Rolf Drechsler

    Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen

    In: 16. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". ITG/GMM/GI-Workshop …

  9. Jana-Rebecca Rehse; Peter Fettke; Peter Loos

    Eine Untersuchung der Potentiale automatisierter Abstraktionsansätze für Geschäftsprozessmodelle im Hinblick auf die induktive Entwicklung von Referenzprozessmodellen

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

  10. Rolf Drechsler; Daniel Große; Hoang M. Le; André Sülflow

    Synchronized Debugging across Different Abstraction Levels in System Design

    In: Embedded World Conference 2013. Embedded World Conference, February 26-28, Nuremberg, Germany, 2013.