Skip to main content Skip to main navigation

Publications

Displaying results 1071 to 1080 of 13831.

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

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

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

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

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

  6. Konstantin Kuznetsov; Sara-Jane Bittner; Abdulrahman Mohamed Selim; Michael Barz; Daniel Sonntag

    FormTwin: A Framework for Pen-based Data Collection

    In: Adjunct Proceedings of the 32nd ACM Conference on User Modeling, Adaptation and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP-2024), July 1-4, Cagliari, Italy, Pages 132-135, ISBN 979-8-4007-0466-6/24/07, ACM Digital Library, 7/2024.

  7. Mervat Zarour; Qiuheng Zhou; Sergiy Melnyk; Hans Dieter Schotten

    Adaptive Prediction Approach for 3D Geometry-based communication

    In: 2024 IEEE 100th Vehicular Technology Conference (VTC2024-Fall). IEEE Vehicular Technology Conference (VTC-2024), IEEE 100th Vehicular Technology Conference, October 7-10, Washington DC, USA, USA, IEEE Xplore, 11/2024.

  8. Annika Tjabben; Lea Bergkemper; Jan Herbst; Matthias Rüb; Christoph Lipps; Hans Dieter Schotten

    Multipath Signal Prediction for In-Body Nanocommunication with Volatile Particles

    In: European Wireless 2024; 29th European Wireless Conference. European Wireless (EW-2024), located at European Wireless 2024, September 9-11, Brno, Czech Republic, IEEE Xplore, 2024.

  9. Lorena Göritz; Daniel Stattkus; Malte Högemann; Halilcan Coban; Christian Hauff; Katharina Kolodziej; Maike Schmidt; Oliver Thomas

    Designing inclusive learning platforms for ethnic minorities

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). Lecture Notes in Informatics. GI-Informatiktage (Informatik-2024), Lock-in or log out? Wie digitale Souveränität gelingt, September 24-26, Wiesbaden, Germany, Vol. 352, Köllen Druck+Verlag GmbH, Bonn, 9/2024.

  10. Alexis T. Bernhard; Benjamin Blumhofer; Andreas Luxenburger; Daniel Porta; Martin Ruskowski; Achim Wagner

    Leverage Asset Administration Shells to Support Artificial Intelligence Planning

    In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padua, Italy, ISBN 979-8-3503-6123-0, IEEE, 10/2024.

Year

More options