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 504
  1. Robert Wille; Nils Przigoda; Rolf Drechsler

    A Compact and Efficient SAT Encoding for Quantum Circuits

    In: IEEE AFRICON 2013 Proceedings. IEEE AFRICON (AFRICON-13), September 9-12, Mauritius, Mauritius, IEEE, 2013.

  2. Javier Hidalgo Carrió

    Navigation and Slip Kinematics for High Performance Motion Models

    In: 12th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and …

  3. Y. Nevatia; F. Bulens; J. Gancet; Y. Gao; S. Al-Mili; R. Kandiyil; Roland Sonsalla; Martin Fritsche; Thomas Vögele; E. Allouis; K. Skocki; S. Ransom; C. Saaj; M. Matthews; B. Yeomans; L. Richter; T.P. Kaupisch

    Safe Long-Range Traversal for Planetary Rovers through Forward Sensing

    In: Proceedings of the 12th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in …

  4. Jörn Hees; Mohamed Khamis; Ralf Biedert; Slim Abdennadher; Andreas Dengel

    Collecting Links between Entities Ranked by Human Association Strengths

    In: Philipp Cimiano; Óscar Corcho; Valentina Presutti; Laura Hollink; Sebastian Rudolph (Hrsg.). ESWC. Extended Semantic Web Conference (ESWC-13), The …

  5. Rafael Schirru

    Contextualized Recommendations for the Socio-Semantic Web

    PhD-Thesis, DFKI GmbH, 2013.

  6. Alexandra Theobalt; Andreas Emrich; Dirk Werth; Peter Loos

    A Conceptual Architecture for an ICT-based Personal Health System for Cardiac Rehabilitation

    In: Proceedings of the 2013 Americas Conference on Information Systems. Americas Conference on Information Systems (AMCIS-13), August 14-17, Chicago, …

  7. Cone of Influence Analysis at the Electronic System Level Using Machine Learning

    In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital …

  8. Shuo Yang; Robert Wille; Daniel Grosse; Rolf Drechsler

    Minimal Stimuli Generation in Simulation-based Verification

    In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital …

  9. Joachim Caspar; Christina Di Valentin; Sebastian Maier; Dirk Mayer; Anton Pussep; Markus Schief

    Vom Geschäftsmodell zum Geschäftsprozess und zurück - Konfiguration, Analyse, Transformation, Controlling

    In: Susanne Strahinger (Hrsg.). HMD - Praxis der Wirtschaftsinformatik, Vol. 50, No. 292, Pages 1-11, dpunkt, Heidelberg, 8/2013.

  10. Christina Di Valentin; Andreas Emrich; Dirk Werth; Peter Loos

    Business Modeling in the Software Industry: Conceptual Design of an Assistance System

    In: Lecture Notes in Business Information Processing. Practice-driven driven Research on Enterprise Transformation (PRET-13), Practice-driven Research …