Skip to main content Skip to main navigation

Publications

Displaying results 1641 to 1650 of 13872.

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

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

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

  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. Sabine Janzen; Prajvi Saxena; Cicy Agnes; Wolfgang Maaß

    AI-Driven Adaptive Systems for Knee Rehabilitation: Leveraging Artificial Mental Models for Personalized Patient Support

    In: Proceedings of the Conference of the German AI Service Centers 2024. Konferenz der deutschen KI-Servicezentren (KonKIS-2024), September 18-19, Göttingen, Germany, 9/2024.

  6. Wolfgang Maaß; Oliver Stegle; Sabine Janzen; Anna-Maria Hickmann; Cicy Agnes; Maxx Richard Rahman

    Improving Cardiovascular Health through AI-based Analysis of Genetic Risk Factors

    In: Proceedings of the Conference of the German AI Service Centers 2024. Konferenz der deutschen KI-Servicezentren (KonKIS-2024), September 18-19, Göttingen, Germany, 9/2024.

  7. Ilira Troshani; Thiago Gouvea; Daniel Sonntag

    Wild Data Treasures: Towards Sustainable Practices in Deep Learning for Wildlife Monitoring

    In: CHI EA '24: Extended Abstracts of the 2024 CHI Conference on Human Factors in Computing Systems. CHI Workshop on Sustaining Scalable Sustainability, Human-Centered Green Technology for Community-wide Carbon Reduction, located at ACM CHI 2024, May 11, Honolulu, HI, USA, ISBN 979-8-4007-0331-7, ACM, New York, USA, 5/2024.

  8. Lisa Grewenig; Alexander Winzig; Ralph Bergmann

    Towards a Case-Based Support for Responding Emergency Calls

    In: Juan A. Recio-Garcia; Mauricio G. Orozco-del-Castillo; Derek Bridge (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR), July 1-4, Merida, Mexico, Pages 273-288, ISBN 978-3-031-63646-2, Springer Nature Switzerland, 2024.

  9. Daniel Geißler; Bo Zhou; Hymalai Bello; Joanna Sorysz; Lala Ray; Hamraz Javaheri; Matthias Rüb; Jan Herbst; Esther Zahn; Emil Woop; Sizhen Bian; Hans Dieter Schotten; Gesche Joost; Paul Lukowicz

    Embedding Textile Capacitive Sensing into Smart Wearables as a Versatile Solution for Human Motion Capturing

    In: Nature Scientific Reports (Sci Rep), Vol. 14, No. 15797, Pages 1-14, Springer Nature, 2024.

  10. Paula Gauselmann; Christian Frings; Christian Jilek; Tobias Tempel

    A Multi-conceptual Approach to Forgetting Prose-induced Fixation in Creative Problem-solving

    In: Journal of Applied Research in Memory and Cognition (JARMAC), Vol. 0, Pages 1-27, Educational Publishing Foundation, 2024.

Year

More options