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 81 bis 90 von 540
  1. Alexis Heloir; Fabrizio Nunnari

    Toward an intuitive sign language animation authoring system for the deaf

    In: Universal Access in the Information Society, Vol. 15, Pages 1-11, Springer Berlin Heidelberg, 2015.

  2. Iman Awaad; Gerhard K. Kraetzschmar; Joachim Hertzberg

    The Role of Functional Affordances in Socializing Robots

    In: International Journal of Social Robotics, Vol. 2015, Pages ??-??, Springer Netherlands, 3/2015.

  3. Technische Gestaltungsoptionen für autonom agierende Komponenten und Systeme

    In: Eric Hilgendorf; Sven Hötitzsch (Hrsg.). Das Recht vor den Herausforderungen der modernen Technik. Beiträge der 1. Würzburger Tagung zu …

  4. Fabian Quint; Katharina Mura; Dominic Gorecky

    In-factory learning – Qualification for the factory of the future

    In: International Conference on Manufacturing Science and Education. International Conference on Manufacturing Science and Education (MSE-2015), June …

  5. Fabian Quint

    Mobile Assistenzsysteme für einen vereinfachten Wissensaustausch - Anforderungen & Lösungsansätze aus der Praxis im Projekt AmbiWise

    1. Wissensmanagement-Tagen für Industrie und Produktion 4.0 , Stuttgart, 6/2015.

  6. Rolf Drechsler; Martin Fränzle; Robert Wille

    Envisioning Self-Verification of Electronic Systems

    In: 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Symposium on Reconfigurable Communication-centric …

  7. Rolf Drechsler; Ulrich Kühne

    Formal Modeling and Verification of Cyber-Physical Systems

    In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. Springer, 2015.

  8. Philipp Niemann; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler

    QMDDs: Efficient Quantum Function Representation and Manipulation

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2015.

  9. Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler

    Embedding of Large Boolean Functions for Reversible Logic

    In: Journal on Emerging Technologies in Computing Systems (JETC), 2015.

  10. Jan Sutter; Kristian Sons; Philipp Slusallek

    A CSS Integration Model for Declarative 3D

    In: Proceedings of the 20th International Conference on 3D Web Technology. ACM International Conference on 3D Web Technology (Web3D-15), 20th …