Skip to main content Skip to main navigation

Publications

Displaying results 301 to 310 of 13867.

  1. Sabine Janzen; Hannah Stein; Katharina Trinley; Cicy Agnes; Vaibhav Jain; Karan Rajeshkar; Nirav Shenoy; Anika Rusch; Sujatro Ghosh; Wolfgang Maaß

    ESCADE: Energy-efficient Artificial Intelligence for Cost-effective and Sustainable Data Centers

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

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

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

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

  5. Janne Janzen; Christoph Stoeffler; Dimitrios Rakovitis; Heiner Peters; Mahdi Javadi; Sankaranarayanan Natarajan; Frank Kirchner

    SHIVAA - an Autonomous Strawberry Picking Robot for Open Fields

    In: 1st German Robotics Conference. German Robotics Conference (GRC-2025), March 13-15, Nürnberg, Germany, n.n. 3/2025.

  6. Claudia Hauff; Craig Macdonald; Dietmar Jannach; Gabriella Kazai; Franco Maria Nardini; Fabio Pinelli; Fabrizio Silvestri; Nicola Tonellotto (Hrsg.)

    Advances in Information Retrieval: 47th European Conference on Information Retrieval

    European Conference on Information Retrieval (ECIR-2025), 47th European Conference on Information Retrieval, located at ECIR, April 6-10, Lucca, Italy, Italy, Lecture Notes in Computer Science (LNCS), Vol. 15575, ISBN 978-3-031-88717-8, Springer, Springer Cham, 4/2025.

  7. Abhoy Kole; Mohammed E. Djeridane; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

    In: ACM Journal on Emerging Technologies in Computing Systems, ACM, 2025.

  8. C. Qian; J. Urain; K. Zakka; Jan Peters

    PianoMime: Learning a Generalist, Dexterous Piano Player from Internet Demonstrations

    In: Volume 270: Conference on Robot Learning. Conference on Robot Learning (CoRL-2024), CoRL, 2024.

  9. N. Becker; K. Sovailo; C. Zhu; E. Gattung; K. Hansel; T. Schneider; Y. Zhu; Y. Hasegawa; Jan Peters

    Integrating and Evaluating Visuo-tactile Sensing with Haptic Feedback for Teleoperated Robot Manipulation

    In: 40th Anniversary of the IEEE International Conference on Robotics and Automation (ICRA@40). IEEE International Conference on Robotics and Automation (ICRA-2024), IEEE, 2024.

  10. P. Kicki; Tateo; Puze Liu; J. Guenster; Jan Peters; K. Walas

    Bridging the gap between Learning-to-plan, Motion Primitives and Safe Reinforcement Learning

    In: Volume 270: Conference on Robot Learning. Conference on Robot Learning (CoRL-2024), CoRL, 2024.

Year

More options