Skip to main content Skip to main navigation

Publications

Displaying results 611 to 620 of 13867.
  1. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Lower bound proof for the size of BDDs representing a shifted addition

    In: Information Processing Letters, Vol. 24, Pages 140-151, IEEE, 2025.

  2. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more: Using Boolean literals to solve 2048

    In: IT - information technology (IT), Vol. 66, Pages 4-5, De Gruyter Brill, 2025.

  3. Lennart Weingarten; Kamalika Datta; Sallar Ahmadi-Pour; Abhoy Kole; Rolf Drechsler

    Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs

    In: Design and Verification of Cyber-Physical Systems: From Theory to Applications, Science Direct, 2025.

  4. Sabine Janzen; Hannah Stein; Lotfy Abdel Khaliq; Florian Hergert; Wolfgang Maaß

    Designing Decision Support Systems for Rural Mobility Enhancement

    In: Proceedings of the 30th International Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD). International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD-2025), located at CAiSE 2025, Vienna, Austria, 6/2025.

  5. Spatio-Temporal Diffusion Model for Satellite Imagery

    In: Proceedings of The Eleventh International Conference on Remote Sensing and Geoinformation of Environment (RSCy). Workshop in Artificial Intelligence Applications in Earth Observation and Geoinformatics, located at RSCy 2025, March 19, Paphos, Cyprus, SPIE, 2025.

  6. Robert Leist; Hans-Jürgen Profitlich; Daniel Sonntag

    An AI-driven Clinical Decision Support System for the Treatment of Diabetic Retinopathy and Age-related Macular Degeneration

    In: Joint Proceedings of the ACM IUI Workshops 2025. Workshop on Intelligent and Interactive Health User Interfaces (HealthIUI-2025), located at IUI-2025, March 24, Cagliary, Italy, Association of Computing Machinery, New York, NY, United States, 5/2025.

  7. Bo Zhou; Mengxi Liu; Sizhen Bian; Daniel Geißler; Paul Lukowicz; Jose Miranda; Jonathan Dan; David Atienza; Mohamed Riahi; Nobert Wehn; Russel Torah; Sheng Yong; Jidong Liu; Stephen Beeby; Magdalena Kohler; Berit Greinke; Junchun Yu; Vincent Nierstrasz; Leila Sheldrick; Rebecca Stewart; Tommaso Nieri; Matteo Maccanti; Daniele Spinelli

    MULTI-PARTNER PROJECT: SUSTAINABLE TEXTILE ELECTRONICS (STELEC)

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

  8. N. Bohlinger; G. Czechmanowski; M. Krupka; P. Kicki; K. Walas; Jan Peters; D. Tateo

    One Policy to Run Them All: an End-to-end Learning Approach to Multi-Embodiment Locomotion

    In: CoRL 2024 Workshop on Morphology-Aware Policy and Design Learning Workshop. Conference on Robot Learning (CoRL-2024), CoRL, 2024.

  9. Eye Movement in a Controlled Dialogue Setting

    In: Proceedings of the 2024 Symposium on Eye Tracking Research & Applications. Symposium on Eye Tracking Research & Applications (ETRA-2024), June 4-7, Glasgow, United Kingdom, Association for Computing Machinery, 6/2024.

  10. M. Kornmann; Q. He; A. Kshirsagar; K. Ploeger; Jan Peters

    Learning to Accurately Throw Paper Planes

    In: CoRL 2024 Workshop on Learning Robot Fine and Dexterous Manipulation: Perception and Control. Conference on Robot Learning (CoRL-2024), CoRL, 2024.