Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 333.
  1. Complete and Efficient Verification for a RISC-V Processor using Formal Verification

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

    In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.

  3. Ankit Bende; Simranjeet Singh; Chandan Jha; Tim Kemper; Felix Cüppers; Christopher Bengel; Andre Zambanini; Dennis Nielinger; Sachin Patkar; Rolf Drechsler; Rainer Waser; Farhad Merchant; Vikas Rana

    Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array

    In: 37 International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 2024.

  4. Jilliam Maria Diaz Barros; Chen-Yu Wang; Jameel Malik; Abdalla Elsayed Abdou Elsayed Mohamed Arafa; Didier Stricker

    SynthSL: Expressive Humans for Sign Language Image Synthesis

    In: Proceedings of the 18th IEEE International Conference on Automatic Face and Gesture Recognition. IEEE International Conference on Automatic Face …

  5. In-Domain Inversion for Improved 3D Face Alignment on Asymmetrical Expressions

    In: Proceedings of the 18th IEEE International Conference on Automatic Face and Gesture Recognition. IEEE International Conference on Automatic Face …

  6. Wei Jiang; Qiuheng Zhou; Jiguang He; Mohammad Asif Habibi; Sergiy Melnyk; Mohammed El-Absi; Bin Han; Marco Di Renzo; Hans Dieter Schotten; Fa-Long Luo; Tarek S. El-Bawab; Markku Juntti; Merouane Debbah; Victor C. M. Leung

    Terahertz Communications and Sensing for 6G and Beyond: A Comprehensive Review

    In: IEEE Communications Surveys & Tutorials, Vol. 26, Pages 1-56, IEEE Xplore, 12/2024.

  7. Eine Typologie zur Analyse des Einsatzes von KI-Methoden in der beruflichen Bildung

    In: BWP-Zeitschrift, Vol. 1/2024 (53), Pages 13-17, Bundesinstitut für Berufliche Bildung, Bonn, 1/2024.

  8. 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 Machine Learning Research. AAAI Workshop on AI for Education (AI4ED-2024), Bridging Innovation and Responsibility, located at AAAI …

  9. Data Collection of Real-Life Knowledge Work in Context: The RLKWiC Dataset

    In: Amin Mobasheri (Hrsg.). Communications in Computer and Information Science. International Conference on Information Management (ICIM-2024), …