Skip to main content Skip to main navigation

Publications

Displaying results 1531 to 1540 of 15039.

  1. Rune Krauss; Jan Zielasko; Rolf Drechsler

    FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  3. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  4. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

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

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

  7. Mai Geisen; Abhishek Samanta; Khaleel Asyraaf Mat Sanusi; Nghia Duong-Trung; Milos Kravcik; Stefanie Klatt

    Visual and Tactile Information Provision in Golf: Conceptualization of a Training Application Incorporating Wearable Devices and Extended Reality

    In: 2024 21st International Conference on Information Technology Based Higher Education and Training. International Conference on Information Technology Based Higher Education and Training (ITHET-2024), November 6-8, Paris, France, ISBN 979-8-3315-1663-5, IEEE, 11/2024.

  8. Jayasankar Santhosh; Andreas Dengel; Shoya Ishimaru

    Gaze-Driven Adaptive Learning System With ChatGPT-Generated Summaries

    In: IEEE Access (IEEE), Vol. 12, Pages 173714-173733, IEEE, 2024.

  9. Mohammad Sadil Khan; Sankalp Sinha; Talha Uddin Sheikh; Didier Stricker; Sk Aziz Ali; Muhammad Zeshan Afzal

    Text2CAD: Generating Sequential CAD Models from Beginner-to-Expert Level Text Prompts

    In: The Thirty-Eighth Annual Conference on Neural Information Processing Systems. Neural Information Processing Systems (NeurIPS-2024), December 10-15, Vancouver, British Columbia, Canada, Pages 7552-7579, Vol. 37, Neural Information Processing Systems, 1/2025.

  10. Lars Nolle; Nils Meinardus; Martin Kumm; Christoph Michael Tholen

    Bi-directional LSTM Applied to the Maritime Target Motion Analysis Problem

    In: Artificial Intelligence XLI. SGAI International Conference on Artificial Intelligence (AI-2024), 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17–19, 2024, Proceedings, Part II, December 17-19, Cambridge, United Kingdom, Pages 270-275, SGAI (SGAI 2024), Vol. 15447, Springer Nature Switzerland, Cham, 11/2024.

Year

More options