Skip to main content Skip to main navigation

Publications

Displaying results 3731 to 3740 of 14456.

  1. Petra Beenken; Luise-Sophie Bleckmann; Benny Björn Briesemeister; Marc Ebel; Susanne Fittkau; Caroline Grauel; Maik Günther; Doris Hanway; Claudia Heß; Heiko Holz; Isabel Hörmann; Kurt Jeschke; Tobias Kesting; Sonja Klose; Ralf Kneuper; Ralf T. Kreutzer; Nicolai Krüger; Sibylle Kunz; Visieu Lac; Christina Lagodka; Alexander Lawall; Damian Leschik; Vera Lenz-Kesekamp; Nikolaj Lunze; Jan-Paul Lüdtke; Elisabeth L' Orange; Sebastian Mertens; Manuel Muth; Gerd Nufer; Miriam O'Shea; Ban Pahlawan; Florian Perst; Marc Peter; Jan Pieper; Lavinia Celina Rahmawati; Katharina-Maria Rehfeld; Marie Salkowski; Philipp Schmid; Annkristin Schürhaus; Freddy Sikouonmeu; Neal Wessling; Klaus Wildhirt; Atilla Wohllebe; Cansu Rosa Yildirim; Tanja Marlen Zweigle; Thomas Bolz; Gabriele Schuster (Hrsg.)

    Generative Künstliche Intelligenz in Marketing und Sales: Innovative Unternehmenspraxis: Insights, Strategien und Impulse

    ISBN 978-3-658-45131-8, Springer Fachmedien Wiesbaden, Wiesbaden, 2024.

  2. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

    Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

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

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

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

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

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

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

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

  10. Tobias Wirth; Mihai Maftei; Rosa Esther Martin Peña; Iris Merget

    Towards Trusted AI: A Blueprint for Ethics Assessment in Practice

    In: Rebekka Görge; Elena Haedecke; Maximilian Poretschkin; Anna Schmitz (Hrsg.). Symposium on Scaling AI Assessments (SAIA 2024). Symposium on Scaling AI Assessments (SAIA-2024), September 30 - October 1, Cologne, Germany, Pages 7:1-7:19, Open Access Series in Informatics (OASIcs), Vol. 126, ISBN ISSN 2190-6807, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1/2025.

Year

More options