Skip to main content Skip to main navigation

Publications

Displaying results 1491 to 1500 of 14774.

  1. Judith Bütefür; Mathias Trampler; Elsa Andrea Kirchner

    Technical Test of a Dry Electrode Headset for EEG Measurement Under Microgravity

    In: Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), located at BIOSTEC 2024, Rom, Italy, ISBN 978-3-031-96899-0, Springer, Cham, 8/2025.

  2. Jonathan Levin Behrens; Jonas Schulz; Felix Goldau; Christian Kowalski; Daniel Dorniok; Sandra Hellmers; Stephanie Raudies; Rebekka Stellfeldt; Yashaswini Shivashankar; Niels Will; Serge Autexier; Cletus Brauer; Thomas Breisig; Andreas Hein; Manfred Hülsken-Giesler

    Interdisciplinary Development and Reflection of a Robotic System for Nursing: An Overview of the AdaMeKoR Project

    In: International Journal of Social Robotics, Vol. Special Issue, Pages 1-19, Springer, 9/2025.

  3. Dirk Heimann; Felix Wiebe; Tahereh Abad; Elie Mounzer; Tangyou Huang; Frank Kirchner; Shivesh Kumar

    Iterative Linear Quadratic Regulator for Quantum Optimal Control

    In: Proceedings of the Sixth IEEE International Conference on Quantum Computing and Engineering. IEEE International Conference on Quantum Computing and Engineering (QCE-2025), August 31 - September 5, Albuquerque, New Mexico, USA, IEEE Xplore, 9/2025.

  4. Timo P. Gros; Nicola Müller; Daniel Fiser; Isabel Valera; Verena Wolf; Jörg Hoffmann

    Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior

    In: The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia, AAAI Press, 2025.

  5. Anthony Kiggundu; Bin Han; Hans Dieter Schotten

    Information Bulletin Strategy in Impatient Queuing

    In: IEEE CSCN Conference Proceedings. IEEE Conference on Standards for Communications and Networking (IEEE CSCN-2025), September 15-17, Bologna, Italy, IEEE Xplore, 10/2025.

  6. Zhifei Li; Gerrit Großmann; Verena Wolf

    Enhancing GNNs with Architecture-Agnostic Graph Transformations: A Systematic Analysis

    In: Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol. International Conference on Complex Networks and Their Applications. Pages 183-194, Springer Nature Switzerland, 2024.

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

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

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

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

Year

More options