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 81 to 90 of 413.
  1. SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, …

  2. Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, …

  3. Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability

    In: 37th IEEE International System-on-Chip Conference. IEEE International System-on-Chip Conference (SOCC-2024), September 16-19, Dresden, Germany, …

  4. Sana Hassan Imam; Christopher A. Metz; Lars Hornuf; Rolf Drechsler

    Determining the Effect of Feedback Quality on User Engagement on Idea Crowdsourcing Platforms using an AI model

    In: Jeffrey Nichols (Hrsg.). Proceedings of the ACM on Human-Computer Interaction (PACMHCI), Vol. 08, ACM, 2024.

  5. SpotDiffusion: A Fast Approach For Seamless Panorama Generation Over Time

    In: IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE, …

  6. ObjBlur: A Curriculum Learning Approach With Progressive Object-Level Blurring for Improved Layout-to-Image Generation

    In: 32nd ACM Multimedia Conference. ACM International Conference on Multimedia (ACM MM-2024), ACM Digital Library, 2024.

  7. Towards Privacy-Preserving Relational Data Synthesis via Probabilistic Relational Models

    In: Andreas Hotho; Sebastian Rudolph (Hrsg.). Proceedings of the Forty-Seventh German Conference on Artificial Intelligence. German Conference on …

  8. Y. Elser; S. Schierholz; M. Sieren; S. Engelson; L. Berkel; J Ehrhardt; H Handels; T Kepp; J. Niemeijer

    Analyse mediastinaler Lymphknoten mittels neuronaler Netze: Ein Vergleich von zusätzlichen Eingabebildern mit anatomischem Vorwissen zur verbesserten Fokussierung des Netzwerks

    In: RöFo-Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren, Vol. 196, No. S 01, Pages S57-S58, Georg Thieme Verlag, 2024.

  9. Design Analysis of a Novel Belt-Driven Manipulator for Fast Movements

    In: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE). IEEE International Conference on Automation Science and …

  10. Daniel Lukats; Oliver Zielinski; Axel Hahn; Frederic Theodor Stahl

    A benchmark and survey of fully unsupervised concept drift detectors on real-world data streams

    In: International Journal of Data Science and Analytics, Vol. 18, No. 3, Pages 1-31, Springer Nature, Switzerland, 8/2024.