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 500
  1. Robert Wille; Mathias Soeken; Christian Otterstedt; Rolf Drechsler

    Improving the Mapping of Reversible Circuits to Quantum Circuits Using Multiple Target Lines

    In: 18th Asia and South Pacific Design Automation Conference. Asia and South Pacific Design Automation Conference (ASP-DAC-2013), 18th, January 22-25, …

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

  3. Jan Hendrik Metzen

    Online Skill Discovery using Graph-based Clustering

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

  4. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  5. Christoph Igel; Martin Haag

    Innovative e-Learning Technologies in Medicine and Healthcare.

    In: M. Fischer; N Graf (Hrsg.). GMS Medical Informatics, Biometry and Epidemiology (MIBE), 2013.

  6. Stephan Baumann; Rafael Schirru; Joachim Folz

    Filtering Relevant Facebook Status Updates for Users of Mobile Devices

    In: Joaquim Filipe; Ana Fred (Hrsg.). Proceedings of the 5th International Conference on Agents and Artificial Intelligence. International Conference …

  7. Shanker Keshavdas; Geert-Jan Kruijff

    Functional Mapping For Human-Robot Collaborative Exploration

    In: Proceedings of the 2013 IASTED Symposium on Artificial Intelligence And Applications. IASTED International Conference on Artificial Intelligence …

  8. Bertold Bongardt

    Sheth-Uicker convention revisited

    In: Mechanism and Machine Theory, Vol. 69, Pages 200-229, Elsevier, 7/2013.

  9. Lan Yue Ji; Frank Kirchner

    Reducing Intersample Ripple of Actuator in Multirate Environment by A Joint Space Interpolator

    In: The 6th IFAC Symposium on Mechatronic Systems. IFAC Symposium on Mechatronic Systems (Mechatronics-2013), 6th, April 10-12, Hangzhou, China, …

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

    Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation

    In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.