Skip to main content Skip to main navigation

Publications

Displaying results 1881 to 1890 of 14740.
  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. 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.

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

  7. A Controller for Adaptive Neuromorphic Sensing using Active Efficient Coding

    In: Proceedings of the International Workshop on Reliable and Sustainable Neuromorphic Hardware. International Workshop on Reliable and Sustainable Neuromorphic Hardware, May 28-30, York, United Kingdom, 2025.

  8. ParticleSAM: Small Particle Segmentation for Material Quality Monitoring in Recycling Processes

    In: Proceedings of the 33rd European Signal Processing Conference (EUSIPCO 2025). European Signal Processing Conference (EUSIPCO-2025), 33rd European Signal Processing Conference, September 8-12, Palermo, Italy, IEEE, 2025.

  9. Parallel Transmission Aware Co-Design: Enhancing Manipulator Performance Through Actuation-Space Optimization

    In: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2025), October 19-25, Hangzhou, China, IEEE, 10/2025.

  10. Isaac Sim Integrated Digital Twin for Feasibility Checks in Skill-Based Engineering

    In: 34th International Conference on Robotics in Alpe-Adria-Danube Region. International Conference on Robotics in Alpe-Adria-Danube Region (RAAD-2025), June 18-20, Belgrade, Serbia, Springer, 2025.