Skip to main content Skip to main navigation

Publications

Displaying results 1581 to 1590 of 14682.

  1. Niels Pinkwart; Leo Sylvio Rüdian

    Prompt Engineering zur Generierung von Sprachlerninhalten

    In: Informatik Spektrum, Pages 1-9, Springer Berlin Heidelberg, 9/2024.

  2. Annette Spellerberg; Klaus J. Beckmann; Emilia Bruck; Dirk Engelke; Martina Hülz; Stefan Höffken; Florian Koch; Jens Libbe; Martin Memmel; Frank Othengrafen; Eva Maria Reinecke; Eva Schweitzer

    Künstliche Intelligenz in der Raumentwicklung - Impulse für die Praxis und Forschung

    In: ARL - Akademie für Raumentwicklung in der Leibniz-Gemeinschaft (Hrsg.). Positionspapiere aus der ARL, Vol. 151, Pages 1-9, Verlag der ARL, 2024.

  3. Pragati Jaiswal; Tewodros Amberbir Habtegebrial; Didier Stricker

    1D-DiffNPHR: 1D Diffusion Neural Parametric Head Reconstruction using a single image

    In: Proceedings of the 14th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2025), February 23-25, Porto, Portugal, SCITEPRESS (Science and Technology Publications, Lda), 2025.

  4. Nijat Mehdiyev; Maxim Majlatow; Peter Fettke

    Augmenting post-hoc explanations for predictive process monitoring with uncertainty quantification via conformalized Monte Carlo dropout

    In: Data & Knowledge Engineering (DKE), Vol. 156 (March 2025), Pages 1-29, Elsevier B.V. 12/2024.

  5. Jan Gronewald; Alexander Michael Rombach; Sebastian Stephan; Peter Fettke

    Anomaly Detection in General Ledger Data: Results from a Hybrid Approach

    1st International Conference on Auditing and Artificial Intelligence, 2024.

  6. Sebastian Stephan; Josip Lovrekovic; Peter Fettke

    Addressing the Schema Representation Problem in Process Models Using Petri Nets - First Results Illustrated by the Dining Philosophers Problem

    In: Wirtschaftsinformatik 2024 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2024), September 16-19, Würzburg, Germany, AIS Electronic Library (AISeL), 9/2024.

  7. Akshaya Dharmaraj

    Open Journal Citation Ranking

    Mastersthesis, Rheinland-Pfälzische Technische Universität Kaiserslautern–Landau, 5/2023.

  8. Serge Autexier

    On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice

    In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.

  9. Sahar Abdelnabi; Amr Gomaa; Sarath Sivaprasad; Lea Schönherr; Mario Fritz

    Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation

    In: Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), located at The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track, December 10-15, Vancouver, British Columbia, Canada, NeurIPS, 2024.

  10. Felix Goldau

    Adaptive Degrees of Freedom for Shared Control of Assistive Robots

    PhD-Thesis, Universität Bremen, Bremen, 10/2024.

Year

More options