Skip to main content Skip to main navigation

Publications

Displaying results 1541 to 1550 of 14903.

  1. Jonathan Stengl

    Entwicklung einer Webanwendung zur vorlagenbasierten Dokumentgenerierung mit Sprach- und LLM-Integration

    Mastersthesis, Universität Trier, 2025.

  2. Lucas Orth

    On-device AI: Methoden zur lokalen Ausführung tiefer neuronaler Netze im Webbrowser

    Mastersthesis, Universität Trier, 2025.

  3. Sarah Stockreiser

    Digitale Lernumgebungen vs. Traditionelle Präsenskurse - Eine Untersuchung zur Unterstützung und Optimierung individueller Studienbedürfnisse

    Mastersthesis, Universität Trier, 2025.

  4. Julian Marx

    GPT-Modelle in Scrum: Potentiale zur Steigerung von Effizienz und Qualität

    Mastersthesis, Universität Trier, 2025.

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

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

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

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

  9. Robin Drees

    Von der Auktion zum Kunden: KI-gestützte Logistikoptimierung für den Weinhandel

    Mastersthesis, Universität Trier, 2025.

  10. Nicolas Düro

    Adaptive Auswahl und Konfiguration von Case Base Maintenance Methoden: ein datengetriebener Ansatz

    Mastersthesis, Universität Trier, 2025.

Year

More options