Skip to main content Skip to main navigation

Publications

Displaying results 101 to 110 of 578.
  1. Roland Sonsalla; Yashodhan Nevatia; Martin Fritsche; Joel Bessekon; Jeremi Gancet; Frank Kirchner

    Design of a High Mobile Micro Rover within a Dual Rover Configuration for Autonomous Operations

    In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2014). International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-2014), International Symposium on Artificial Intelligence, Robotics and Automation in Space, June 17-19, Montreal, Canada, 6/2014.

  2. Stephan Eggersglüß; Görschwin Fey; Ilia Polian

    Test digitaler Schaltkreise

    Oldenbourg, 2014.

  3. Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit

    In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14), May 13-15, Warschau, Poland, VDE, 2014.

  4. Claudia Peersman; Christian Schulze; Awais Rashid; Margaret Brennan; Carl Fischer

    iCOP: Automatically Identifying New Child Abuse Media in P2P Networks

    In: Proceedings of the International Workshop on Cyber Crime 2014. IEEE International Workshop on Cyber Crime (IWCC-2014), May 18, San Jose, CA, USA, Springer, 5/2014.

  5. Eleonora Schönborn; Kamalika Datta; Robert Wille; Indranil Sengupta; Hafizur Rahaman; Rolf Drechsler

    Optimizing DD-based Synthesis of Reversible Circuits using Negative Control Lines

    In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems - Proceedings. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-14), April 23-25, Warschau, Poland, 2014.

  6. Oliver Keszöcze; Robert Wille; Tsung-Yi Ho; Rolf Drechsler

    Exact One-pass Synthesis of Digital Microfluidic Biochips

    In: Design Automation Conference - Proceedings. Design Automation Conference (DAC-14), June 1-5, San Francisco, USA, 2014.

  7. Thomas Bauereiß; Dieter Hutter

    Possibilistic information flow security of workflow management systems

    In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014), located at European Joint Conferences on Theory and Practice of Software, April 5-13, Grenoble, France, EPTCS, Vol. 148, Electronic Proceedings in Theoretical Computer Science, 2014.

  8. Thomas Bauereiß; Dieter Hutter

    Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS

    In: F. Cuppens; N. Cuppens-Boulahia (Hrsg.). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information Security and Privacy Conference (SEC-2014), June 2-4, Marrakech, Morocco, Pages 250-256, IFIP Advances in Information and Communication Technology, Springer, 2014.

  9. Sankaranarayanan Natarajan; Sebastian Kasperski; Markus Eich

    An Autonomous Mobile Manipulator for Collecting Sample Containers

    In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2014). International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-2014), June 17-19, Montreal, Canada, 6/2014.

  10. Exploratory Search on Mobile Devices

    PhD-Thesis, German Research Center for Artificial Intelligence and Saarland University, Saarbrücken Dissertations in Computational Linguistics and Language Technology, Vol. 38, universaar, Saarbrücken, 3/2014.