Skip to main content Skip to main navigation

Publications

Displaying results 241 to 250 of 13639.

  1. Federico Cruciani; Stefan Gerd Fritsch; Ian Cleland; Vitor Fortes Rey; Chris Nugent; Paul Lukowicz

    Few-Shot Human Activity Recognition Using Lightweight Language Models

    In: 2025 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2025), 7th International Conference on Activity and Behavior Computing, April 21-25, Abu Dhabi, United Arab Emirates, IEEE, 2025.

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

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

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

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

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

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

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

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

  10. Leo Wanner; Daniel Bowen; Marta Burgos; Ester Carrasco; Jan Černocký; Toni Codina; Jevgenijs Danilins; Steffi Davey; Joan de Lara; Eleni Dimopoulou; Ekaterina Egorova; Christine Gebhard; Jens Grivolla; Elena Jaramillo-Rojas; Matthias Klusch; Athanasios Mavropoulos; Maria Moudatsou; Artemisia Nikolaidou; Dimos Ntioudis; Irene Rodríguez; Mirela Rosgova; Yash Shekhawat; Alexander Shvets; Oleksandr Sobko; Grigoris Tzionis; Stefanos Vrochidis

    Support of Migrant Reception, Integration, and Social Inclusion by Intelligent Technologies

    In: Information, Vol. 15, No. 11, Pages 686-718, MDPI, 2024.

Year

More options