Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 13639.

  1. Sabine Janzen; Prajvi Saxena; Cicy Agnes; Muhammad Ebad Ullah Khan; Amr Gomaa; Michael Feld; André Zenner; Pascal Lessel; Julian Wolter; Florian Daiber; Rafael Math; Niko Kleer; Tim Schwartz; Antonio Krüger; Wolfgang Maaß

    FEDWELL: Life-Long Federated User and Mental Modeling for Health and Well-being

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

    Preserving and Improving Verifiability of Circuits Based on Local Transformations

    In: 26th IEEE Latin American Test Symposium 2025. IEEE Latin American Test Symposium (LATS-2025), March 11-14, San Andres, Colombia, 2025.

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

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

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

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

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

  8. Prathap Kashyap; Alireza Javanmardi; Pragati Jaiswal; Alain Pagani; Gerd Reis

    Spatio-Temporal Diffusion Model for Satellite Imagery

    In: Proceedings of. International Conference on Remote Sensing and Geoinformation of Environment (RSCy-2025), SPIE, 2025.

  9. Desiree Heim; Lars-Peter Meyer; Markus Schröder; Johannes Frey; Andreas Dengel

    How do Scaling Laws Apply to Knowledge Graph Engineering Tasks? The Impact of Model Size on Large Language Model Performance

    In: Proceeding of the Workshop on Evaluation of Language Models in Knowledge Engineering co-located with the 22th Extended Semantic Conference. Extended Semantic Web Conference (ESWC-2025), 2nd Workshop on Evaluation of Language Models in Knowledge Engineering, located at ESWC 2025, June 1-5, Portoroz, Slovenia, CEUR Workshop Proceedings, 2025.

  10. Christian Wolff; Elke Warmerdam; Tim Dahmen; Tim Pohlemann; Philipp Slusallek; Bergita Ganse

    New Parameters Based on Ground Reaction Forces for Monitoring Rehabilitation Following Tibial Fractures and Assessment of Heavily Altered Gait

    In: Sensors, Vol. 25, No. 8, Pages 0-0, MDPI, 4/2025.

Jahr

Mehr Optionen