Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2015
Remove all filters
Displaying results 111 to 120 of 540.

  1. Joachim Hertzberg

    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 Technikrecht im November 2013. Pages 63-73, ISBN 978-3-8487-1890-0, Nomos, Baden-Baden, 2015.

  2. 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 3-6, Romania, Sibiu, 2015.

  3. 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.

  4. 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 Systems-on-Chip (ReCoSoc-2015), June 29 - July 1, Bremen, Germany, 2015.

  5. 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.

  6. 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.

  7. 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.

  8. Dirk Weißenborn; Leonhard Hennig; Feiyu Xu; Hans Uszkoreit

    Multi-objective Optimization for the Joint Disambiguation of Nouns and Named Entities

    In: 53nd Annual Meeting of the Association for Computational Linguistics, July. Annual Meeting of the Association for Computational Linguistics (ACL-15), July 27-30, Beijing, China, ACL, 2015.

  9. Stephan Weyer; Stefanie Fischer

    Gemeinschaftsprojekt Industrie 4.0 – Fortschritt im Netzwerk

    In: Zeitschrift für wirtschaftlichen Fachbetrieb (ZWF), Vol. 01-02, Pages 50-53, Carl Hanser Verlag, München, 1/2015.

  10. Michael Kirkedal Thomsen; Mathias Soeken; Robin Kaarsgaard

    Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, France, 2015.

Year