Skip to main content Skip to main navigation

Publications

Displaying results 1421 to 1430 of 14829.

  1. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-Like Reasoning for Text-to-SQL

    In: Novel Optimizations for Visionary AI Systems Workshop at SIGMOD 2025. Novel Optimizations for Visionary AI Systems Workshop (NOVAS-2025), located at SIGMOD 2025, June 22, Berlin, Germany, SIGMOD, 2025.

  2. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  3. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  4. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  5. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  6. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

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

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

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

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

Year

More options