Skip to main content Skip to main navigation

Publications

Displaying results 1571 to 1580 of 14584.

  1. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

  2. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  3. Shashank Mishra; Ali Nazeri; Achim Wagner; Martin Ruskow; Didier Stricker; Jason Raphael Rambach

    A Multi-Camera Vision-Based Approach for Fine-Grained Assembly Quality Control

    In: IEEE (Hrsg.). 33rd. European Signal Processing Conference (EUSIPCO-2025), 33rd European Signal Processing Conference, located at EUSIPCO 2025, September 8-12, Palermo, Italy, IEEE, 10/2025.

  4. Sogo Pierre Sanon; Akshay Sant; Hans Dieter Schotten

    Defending Against Adversarial Attacks in 6G: Practical Mitigation Approach

    In: Proceedings of the Eighth International Balkan Conference on Communications and Networking. International Balkan Conference on Communications and Networking (BalkanCom-2025), June 17-20, Piraeus, Greece, IEEE Xplore, 2025.

  5. Katharina-Maria Illgen; Lorena Göritz; Daniel Stattkus; Jan Heinrich Beinke; Oliver Thomas

    Inclusive MOOCs as an antidote to stereotype threat in education: state of the art and future directions

    In: Discover Education, Vol. 4, No. 169 (2025), Pages 1-21, Springer, 6/2025.

  6. Katharina-Maria Illgen; Laura Hein; Oliver Thomas

    Generative Künstliche Intelligenz als digitales Werkzeug für Kreativität: Status quo und Implikationen für Forschung und Praxis

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 2025, Pages 1-19, Springer, 5/2025.

  7. Daniela Risis; Jan-Micha Bodensohn; Matthias Urban; Carsten Binnig

    Towards Complex Table Question Answering Over Tabular Data Lakes

    In: Carsten Binnig; Andreas Henrich; Daniela Nicklas; Maximilian E. Schüle; Klaus Meyer-Wegener (Hrsg.). BTW2025 - Datenbanksysteme für Business, Technologie und Web - Workshopband. Workshop on Data Engineering for Data Science (DE4DS-2025), March 3-7, Bamberg, Germany, Pages 267-275, Lecture Notes in Informatics (LNI), Vol. P363, Gesellschaft für Informatik e.V. 2025.

  8. Henri Hoyez; Bruno Mirbach; Cedric Schockaert; Jason Raphael Rambach; Didier Stricker

    MISTI: Multi-Style Transfer for Multivariate Time Series

    In: IEEE (Hrsg.). 33rd. European Signal Processing Conference (EUSIPCO-2025), September 8-12, Palermo, Italy, IEEE, 2025.

  9. Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Methodology for Embedded Software Performance Estimation on RISC-V

    In: RISC-V Summit Europe. RISC-V Summit Europe, May 12-15, Paris, France, 2025.

  10. Philipp Peter Engler; Ludger van Elst; Peter Schichtel; Andreas Dengel; Sheraz Ahmed

    Time Series Generation for Augmenting Multi-Channel Automotive Audio Data

    In: Lecture Notes in Computer Science. International Conference on Artificial Neural Networks (ICANN-2025), 34th International Conference on Artificial Neural Networks, September 9-12, Kaunas, Lithuania, Lecture Notes in Computer Science (LNCS), Vol. 16070, ISBN 978-3-032-04548-5, Springer, Cham, 2025.

Year

More options