Skip to main content Skip to main navigation

Publications

Displaying results 581 to 590 of 1724.
  1. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Data Petri Nets Meet Probabilistic Programming

    In: Andrea Marrella; Manuel Resinas; Mieke Jans; Michael Rosemann (Hrsg.). Proceedings of the 22nd International Conference on Business Process Management. Business Process Management (BPM-2024), September 1-6, Krakow, Poland, Pages 21-38, LNCS, Vol. 14940, ISBN 978-3-031-70396-6, Springer, Switzerland, 9/2024.

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

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

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

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

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

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

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

  9. Box2Go: Collaborative Interactive Infobox Filling

    In: Companion Proceedings of the ACM on Web Conference 2024. International World Wide Web Conference (WWW-2024), Singapore, Singapore, WWW '24, ISBN 9798400701726, Association for Computing Machinery, 2024.

  10. Multimodales Fenster in die Vergangenheit der ehemaligen Vauban-Festung Saarlouis mittels ChatGPT

    In: Thomas Barton; Christian Müller. Angewandte Wirtschaftsinformatik - Generative KI im Kontext der Wirtschaftsinformatik. Pages 1-19, Springer Vieweg, Wiesbaden, 12/2024.