Skip to main content Skip to main navigation

Publications

Displaying results 1011 to 1020 of 13866.

  1. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2025.

  2. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  3. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.

  4. Qianli Wang; Tatiana Anikina; Nils Feldhus; Simon Ostermann; Sebastian Möller; Vera Schmitt

    Cross-Refine: Improving Natural Language Explanation Generation by Learning in Tandem

    In: Marianna Apidianaki; Hend Al-Khalifa; Barbara Di Eugenio; Steven Schockaert (Hrsg.). 31th International Conference on Computational Linguistics 2025. International Conference on Computational Linguistics (COLING-2025), January 19-24, Abu Dhabi, United Arab Emirates, International Conference on Computational Linguistics, 2025.

  5. Mohamed Rihan; Dirk Wübben; Abhipshito Bhattacharya; Marina Petrova; Xiaopeng Yuan; Anke Schmeink; Amina Fellan; Shreya Tayade; Mervat Zarour; Daniel Lindenschmitt; Hans Schotten; Armin Dekorsy

    Unified 3D Networks: Architecture, Challenges, Recent Results, and Future Opportunities

    In: IEEE Open Journal of Vehicular Technology (OJVT), Vol. 1, Pages 1-32, IEEE Xplore, 2024.

  6. Christoph Manss

    Multi-Agent Exploration under Sparsity Constraints

    PhD-Thesis, TU Delft, 2024.

  7. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

  8. Ahmed H. Elsayed; Tarek Elmihoub; Christoph Manss; Andre Miedtank; Lars Nolle; Frederic Theodor Stahl

    Interactive Simulator Framework for XAI Applications in Aquatic Environments

    In: Max Bramer; Frederic Theodor Stahl (Hrsg.). Artificial Intelligence XLI - SGAI 2024. SGAI International Conference on Artificial Intelligence (AI-2024), 44th SGAI International Conference on Artificial Intelligence, December 17-19, Cambridge, United Kingdom, Pages 144-157, Lecture Notes in Computer Science, Vol. 15446, ISBN 978-3-031-77915-2, Springer Nature Switzerland AG, 11/2024.

  9. Vamsi Krishna Origanti; Adrian Danzglock; Frank Kirchner

    Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots

    In: Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots. IEEE/SICE International Symposium on System Integration (SII-2025), 17th, January 21-24, Munich, Germany, IEEE Xplore, 1/2025.

  10. Desiree Heim; Christian Jilek; Adrian Ulges; Andreas Dengel

    Investigating the Configurability of LLMs for the Generation of Knowledge Work Datasets

    In: ICAART 2025. International Conference on Agents and Artificial Intelligence (ICAART-2025), February 23-25, Porto, Portugal, Pages 821-828, Vol. 3, ISBN 978-989-758-737-5, SciTePress, 2025.

Year

More options