Skip to main content Skip to main navigation

Publications

Displaying results 1311 to 1320 of 13867.

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

    FARAD: Automated Formal Verification of Approximate Restoring Array Dividers

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bangalore, India, 2025.

  2. Sajjad Parvin; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    True-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bengaluru, India, 2025.

  3. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

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

  4. Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li

    CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

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

  5. Kerstin Wagner; Agathe Merceron; Petra Sauer; Niels Pinkwart

    A Course Recommender System Built on Success to Support Students at Risk in Higher Education.

    In: Journal of Educational Data Mining (JEDM), Vol. 16, No. 1, Pages 330-364, International Educational Data Mining, 2024.

  6. Uchechukwu Solomon Onyeabor; Wilfred Okwudili Okenwa; Okechukwu Onwuasoigwe; Omolade Ayoola Lasebikan; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Telemedicine in the age of the pandemics: The prospects of web-based remote patient monitoring systems for orthopaedic ambulatory care management in the developing economies

    In: Digital Health, Vol. 10, Pages 1-16, Sage Publications, 2024.

  7. Matthias Siegfried Ehlenz; Niels Pinkwart; Ulrik Schroeder

    A sustainable research & development ecosystem for computer-supported collaborative learning with interactive tabletop displays

    PhD-Thesis, RWTH Aachen University 2023, RWTH Aachen University, 8/2023.

  8. Md Abdul Kadir; Fabrizio Nunnari; Daniel Sonntag

    Fine-tuning of explainable CNNs for skin lesion classification based on dermatologists' feedback towards increasing trust

    2023.

  9. Dominique Bohrmann; Moritz Gobbert; Ericson Hölzchen; Ditty Mathew; Ralph Bergmann; Thomas Ellwart; Ingo Timm; Benjamin Weyers

    FlexiTeams - An Interactive Visual Representation of AI-Based Knowledge to Reorganize Operational Teams in Crises

    In: Artificial Intelligence, Social Computing and Wearable Technologies. International Conference on Applied Human Factors and Ergonomics (AHFE-2023), AHFE, 2023.

  10. Ditty Mathew; Ralph Bergmann; Benjamin Weyers; Thomas Ellwart; Dominique Bohrmann; Ericson Hölzchen

    FlexiTeam: Flexible Team and Work Organization using Process-Oriented Case-Based Reasoning

    In: ICCBR POCBR’22: Workshop on Process-Oriented Case-based Reasoning at ICCBR-2022, September, 2022, Nancy, France. International Conference on Case-Based Reasoning (ICCBR-2022), CEUR Workshop Proceedings, 2024.

Year

More options