Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 8918.
  1. Martha Schnieber; Rolf Drechsler

    Automated Polynomial Formal Verification Using Generalized BDD Patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2024.

  2. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2024.

  3. Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits

    In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 20, No. 4, Pages 1-19, ACM, 10/2024.

  4. Daphne Theodorakopoulos; Frederic Theodor Stahl; Marius Lindauer

    Hyperparameter Importance Analysis for Multi-Objective AutoML

    In: Ulle Endriss; Francisco S. Melo; Kerstin Bach; Alberto Bugarín-Diz; José M. Alonso-Moral; Senén Barro; Fredrik Heintz (Hrsg.). Frontiers in Artificial Intelligence and Applications. European Conference on Artificial Intelligence (ECAI-2024), October 19-24, Santiago de Compostela, Spain, Pages 1100-1107, FAIA, Vol. 392, ISBN 978-1-64368-548-9, IOS Press, 10/2024.

  5. Occiglot at WMT24: European open-source large language models evaluated on translation

    In: Philipp Koehn; Barry Haddow; Tom Kocmi; Christof Monz (Hrsg.). Proceedings of the Ninth Conference on Machine Translation. Conference on Machine Translation (WMT-24), located at EMNLP 2024, November 15-16, Miami, Florida, USA, Association for Computational Linguistics, 11/2024.

  6. Passant Elagroudy; Agnes Grünerbl; Giulia Barbareschi; Jan Spilski; Kai Kunze; Thomas Lachmann; Paul Lukowicz

    mobiCHAI - 1st International Workshop on Mobile Cognition-Altering Technologies (CAT) using Human-Centered AI

    In: MobileHCI '24 Adjunct: Adjunct Proceedings of the 26th International Conference on Mobile Human-Computer Interaction. International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI-2024), September 30 - October 3, Melbourne, Australia, ACM, 2024.

  7. Challenging the Standards of Mental Care: An Analysis of Self-Rating with respect to Sensor based State Detection

    In: UbiComp '24: Companion of the 2024 on ACM International Joint Conference on Pervasive and Ubiquitous Computi. International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp-2024), October 5-9, Melbourne, Australia, ACM, 2024.

  8. Evaluation of Transformer Empowered Channel Prediction for 5G and Beyond Communication

    In: 2024 IEEE 100th Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC), October 7-10, Washington D.C. D.C. USA, IEEE, 2024.

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

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