Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 121 to 130 of 536.
  1. Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation

    In: 3rd International Verification and Security Workshop (IVSW). International Verification and Security Workshop (IVSW-03), July 2-4, Platja d'Aro, …

  2. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers

    In: International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2018), November 5-8, …

  3. Shreya Tayade; Peter Rost; Andreas Maeder; Hans D. Schotten

    Delay constrained Energy Optimization for Edge Cloud Offloading

    In: 2018 IEEE International Conference on Communications (ICC). IEEE International Conference on Communications (ICC-2018), May 20-24, Kansas City …

  4. Ingo J. Timm; Steffen Staab; Michael Siebers; Claudia Schon; Ute Schmid; Kai Sauerwald; Lukas Reuter; Marco Ragni; Claudia Niederée; Heiko Maus; Gabriele Kern-Isberner; Christian Jilek; Paulina Friemann; Thomas Eiter; Andreas Dengel; Hannah Dames; Tanja Bock; Jan Ole Berndt; Christoph Beierle

    Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges

    In: KI 2018: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2018), 41st, September 24-28, Berlin, Germany, …

  5. Zubair Jaleel

    Online and Offline Analysis of Agricultural Machine Fleet data – Big Data Architecture Design and Evaluation

    Mastersthesis, Technische Universität Kaiserslautern, 5/2018.

  6. Oliver Keszöcze; Philipp Niemann; Arved Friedemann; Rolf Drechsler

    On the complexity of design tasks for Digital Microfluidic Biochips

    In: Microelectronics Journal, Vol. 78, Pages 35-45, Elsevier, 2018.

  7. Thierry Declerck; Rachele Sprugnoli

    Considerations about Uniqueness and Unalterability for the Encoding of Biographical Data in Ontologies

    In: Antske Fokkens; Serge ter Braake; Ronald Sluijter; Paul Arthur; Eveline Wandl-Vogt (Hrsg.). Proceedings of the Second Conference on Biographical …

  8. Patrik Feth; Mohammed Naveed Akram; René Schuster; Oliver Wasenmüller

    Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning

    In: Proceedings of the 1st International Workshop on Artificial Intelligence Safety Engineering 2018 |. International Workshop on Artificial …

  9. Oliver Gutermuth; Sharam Dadashnia; Constantin Houy; Peter Fettke

    Process-Mining-unterstützte Ad-hoc-Produktionsplanung - Konzept und prototypische Implementierung

    In: Christian Czarnecki; Carsten Brockmann; Eldar Sultanow; Agnes Koschmider; Annika Selzer (Hrsg.). Workshops der INFORMATIK 2018 - Architekturen, …