Skip to main content Skip to main navigation

Publications

Displaying results 541 to 550 of 13867.
  1. Martha Schnieber; Rolf Drechsler

    Automated Polynomial Formal Verification Using Generalized BDD Patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2024.

  2. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2024.

  3. Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits

    In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 20, No. 4, Pages 1-19, ACM, 10/2024.

  4. Human-Robot Collaboration System Setup for Weed Harvesting Scenarios in Aquatic Lakes

    IROS 2024 Workshop on Maritime Heterogeneous Unmanned Robotic Systems (MHURS), arXiv.org, 10/2024.

  5. Christian Wolff; Patrick Steinheimer; Elke Warmerdam; Tim Dahmen; Philipp Slusallek; Christian Schlinkmann; Fei Chen; Marcel Orth; Tim Pohlemann; Bergita Ganse

    Characteristic Changes of the Stance-Phase Plantar Pressure Curve When Walking Uphill and Downhill: Cross-Sectional Study

    In: Journal of Medical Internet Research (JMIR), Vol. 26, Page e44948, JMIR Publications, 5/2024.

  6. Embeeded signal processing for robot control and learning in Human-Robot Interaction

    In: Elsa Andrea Kirchner (Hrsg.). Annual Conference of the German Society for Biomedical Engineering. Annual Conference of the German Society for Biomedical Engineering (BMT), September 18-20, Stuttgart, k. A. 2024.

  7. Maaike H. T. de Boer; Quirine S. Smit; Michael van Bekkum; André Meyer-Vitali; Thomas Schmid

    Modular Design Patterns for Generative Neuro-Symbolic Systems

    In: Ludwig-Maximilians-Universität München Bruno Sartini; LISN Joe Raad; EURECOM Pasquale Lisena; King’s College London Albert Meroño Peñuela; Institute for Artificial Intelligence Michael Beetz; Vrije Universiteit Amsterdam Inès Blin; Cluster of Excellence Cognitive Interaction Technology (CITEC) Philipp Cimiano; University of Manchester Jacopo de Berardinis; L3S Research Center Simon Gottschalk; Vrije Universiteit Amsterdam Filip Ilievski; King’s College London Nitisha Jain; King’s College London Jongmo Kim; Institute for Artificial Intelligence Michaela Kümpel; Knowledge Media Institute Enrico Motta; Vrije Universiteit Amsterdam Ilaria Tiddi; Cluster of Excellence Cognitive Interaction Technology (CITEC) Jan-Philipp Töberg (Hrsg.). Joint Proceedings of the ESWC 2024 Workshops and Tutorials. European Semantic Web Conference (ESWC-2024), GeNeSy, located at 21th European Semantic Web Conference, May 26-27, Hersonissos, Greece, CEUR Workshop Proceedings, 5/2024.

  8. Chao Qian; Andreas Erbslöh; Patrique Fiedler; Elsa Andrea Kirchner; Gregor Schiele

    Concept for an EEG-based Gaming-Controller with Embedded Machine Learning Support

    In: BMT 2024 - 58th Annual Conference of the German Society. Annual Conference of the German Society for Biomedical Engineering (BMT-2024), September 18-20, Stuttgart, Germany, VDE DGBMT, 2024.

  9. Supreeth Mysore Venkatesh; Antonio Macaluso; Marlon Nuske; Matthias Klusch; Andreas Dengel

    Q-seg: Quantum annealing-based unsupervised image segmentation

    In: ArXiv e-prints (arxiv), Vol. arXiv:2311.12912, Pages 1-8, arXiv, 2023.

  10. Adaptive AI Systems in Knee Rehabilitation: Integrating Artificial Mental Models for Personalized Patient Support

    In: 13. Jahreskongress der Deutschen Kniegesellschaft. Jahreskongress der Deutschen Kniegesellschaft (DKG-2024), November 8-9, Hamburg, Germany, DKG, 11/2024.