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 111 bis 120 von 416
  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, …

  2. 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, …

  3. 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, …

  4. 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, …

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

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

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

  10. 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 …