Skip to main content Skip to main navigation

Publications

Displaying results 2001 to 2010 of 15039.

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

    Conversational XAI and Explanation Dialogues

    In: Koji Inoue; Yahui Fu; Agnes Axelsson; Atsumoto Ohashi; Brielen Madureira; Yuki Zenimoto; Biswesh Mohapatra; Armand Stricker; Sopan Khosla (Hrsg.). Proceedings of the 20th Workshop of Young Researchers' Roundtable on Spoken Dialogue Systems. Young Researchers' Roundtable on Spoken Dialogue Systems (YRRSDS-2024), located at Annual SIGdial Meeting on Discourse and Dialogue, Kyoto, Japan, Pages 1-4, Association for Computational Linguistics, 9/2024.

  8. Elsa Andrea Kirchner

    Embeeded signal processing for robot control and learning in Human-Robot Interaction

    In: Elsa Andrea Kirchner (Hrsg.). Annual Conference of the German Society for Biomedical Engineering. Annual Conference of the German Society for Biomedical Engineering (BMT), September 18-20, Stuttgart, k. A. 2024.

  9. Maaike H. T. de Boer; Quirine S. Smit; Michael van Bekkum; André Meyer-Vitali; Thomas Schmid

    Modular Design Patterns for Generative Neuro-Symbolic Systems

    In: Ludwig-Maximilians-Universität München Bruno Sartini; LISN Joe Raad; EURECOM Pasquale Lisena; King’s College London Albert Meroño Peñuela; Institute for Artificial Intelligence Michael Beetz; Vrije Universiteit Amsterdam Inès Blin; Cluster of Excellence Cognitive Interaction Technology (CITEC) Philipp Cimiano; University of Manchester Jacopo de Berardinis; L3S Research Center Simon Gottschalk; Vrije Universiteit Amsterdam Filip Ilievski; King’s College London Nitisha Jain; King’s College London Jongmo Kim; Institute for Artificial Intelligence Michaela Kümpel; Knowledge Media Institute Enrico Motta; Vrije Universiteit Amsterdam Ilaria Tiddi; Cluster of Excellence Cognitive Interaction Technology (CITEC) Jan-Philipp Töberg (Hrsg.). Joint Proceedings of the ESWC 2024 Workshops and Tutorials. European Semantic Web Conference (ESWC-2024), GeNeSy, located at 21th European Semantic Web Conference, May 26-27, Hersonissos, Greece, CEUR Workshop Proceedings, 5/2024.

  10. Chao Qian; Andreas Erbslöh; Patrique Fiedler; Elsa Andrea Kirchner; Gregor Schiele

    Concept for an EEG-based Gaming-Controller with Embedded Machine Learning Support

    In: BMT 2024 - 58th Annual Conference of the German Society. Annual Conference of the German Society for Biomedical Engineering (BMT-2024), September 18-20, Stuttgart, Germany, VDE DGBMT, 2024.

Year

More options