Skip to main content Skip to main navigation

Publications

Displaying results 641 to 650 of 14767.

  1. Sallar Ahmadi-Pour; Sajjad Parvin; Chandan Jha; Rolf Drechsler

    FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits

    In: o.A. (Hrsg.). ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, ACM, 2025.

  2. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  3. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.

  4. Maryam Movahedifar; Lena Steinmann; Rolf Drechsler

    Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies

    In: INFORMATIK FESTIVAL 2025. Workshop Research Data and Software Competencies (RDSC-2025), located at INFORMATIK 2025, September 16, Berlin, Germany, GI, 2025.

  5. Fabian Schmeisser; Adriano Lucieri; Andreas Dengel; Sheraz Ahmed

    Spectral Occlusion - Attribution Beyond Spatial Relevance Heatmaps

    In: World Conference on Explainable Artificial Intelligence. xAI: World Conference on Explainable Artificial Intelligence (xAI-2025), July 9-11, Istanbul, Turkey, Springer Nature Switzerland, Cham, Switzerland, 2025.

  6. Jakob Fabian Lehmann; Gesa Wimberg; Serge Autexier; Agni Delvinioti; Giulio Pagliari

    Exacerbation Risk and Quality of Life Prediction for Chronic Obstructive Pulmonary Disease Patients with Complex Chronic Conditions

    In: Proceedings of the IEEE EMBC 2025. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, July 14-17, Kopenhagen, Denmark, IEEE, 2025.

  7. Uchechukwu Solomon Onyeabor; Okechukwu Onwuasoigwe; Wilfred Okwudili Okenwa; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Assessing the usability and performance of digital healthcare systems in Nigerian teaching hospitals: Challenges and future directions

    In: Digital Health, Vol. 11, Pages 1-28, SAGE Publications, 5/2025.

  8. Swathi Krishnaraja; Stefani Tirkova; Anastasia Kovalkov; Benjamin Paaßen; Kobi Gal; Niels Pinkwart

    Modeling Creativity in Education: Assessing Creativity in Students Scratch Projects: A Study on Human-AI Collaboration for Creativity Assessment

    In: Pablo Pirnay-Dummer; Dirk Ifenthaler (Hrsg.). Computer-Based Diagnostics and Systematic Analysis of Knowledge: Critical Reflections and Advancements. Pages 159-176, Advances in Analytics for Learning and Teaching (AALT), ISBN 978-3-031-87740-7 (online), 978-3-031-87739-1 (print), Springer Nature Switzerland, Cham, 4/2025.

  9. Ahmed Hassan; Niels Pinkwart; Muhammad Shafi

    Zirkus Empathico 2.0: a multiplayer serious mobile game for children with autism spectrum disorder (ASD), with a focus on enhancing social and emotional development

    In: Multimedia Tools and Applications, Pages 1-24, Springer US, 4/2025.

  10. Sylvio Rüdian; Julia Podelo; Jakub Ku¸ílek; Niels Pinkwart

    Feedback on feedback: student’s perceptions for feedback from teachers and few-shot LLMs

    In: Proceedings of the 15th International Learning Analytics and Knowledge Conference. International Conference on Learning Analytics & Knowledge (LAK), Pages 82-92, ISBN 979-8-4007-0701-8/25/03, 3/2025.

Year

More options