Skip to main content Skip to main navigation

Publications

Displaying results 591 to 600 of 11362.

  1. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more -- Using Boolean literals to solve 2048

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

  2. Luca Müller; Rolf Drechsler

    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, Germany, 2024.

  3. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    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, Germany, 2024.

  4. Abhoy Kole; Kamalika Datta; Rolf Drechsler

    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, 2024.

  5. 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.

  6. Stanislav Frolov; Brian Moser; Andreas Dengel

    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, 2024.

  7. Stanislav Frolov; Brian Moser; Sebastian Palacio; Andreas Dengel

    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.

  8. Malte Luttermann; Ralf Möller; Mattis Hartwig

    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 Artificial Intelligence (KI-2024), September 25-27, Würzburg, Germany, Pages 175-189, Vol. 14992, Springer, 8/2024.

  9. Yannic Elser; Stefanie Schierholz; Malte Maria Sieren; Sofija Engelson; Lennart Berkel; Jan Ehrhardt; Heinz Handels; Timo Kepp; Joshua Niemeijer

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

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

  10. Christoph Stoeffler; Janne Janzen; Adriano del Río; Heiner Peters

    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 Engineering (CASE-2024), located at 20th International Conference on Automation Science and Engineering (CASE), August 28 - September 1, Bari, Puglia, Italy, IEEE XPlore, 2024.

Year

More options