Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 141 bis 150 von 13704.
  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of a RISC-V Processor

    In: IEEE Transactions on Nanotechnology, IEEE, 2025.

  2. Context-Aware Internet-of-Things Communication via Retrieval-Augmented Generation

    In: Workshop on Next-Gen Networks through LLMs, Action Models, and Multi-Agent Systems. IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  3. Queuing Theory-Based Modeling and Optimization of a Publish/Subscribe IoT Communication System

    In: IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2025), IoT and Sensor Networks Symposium, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  4. IEEE (Hrsg.)

    IEEE International Conference on Communications

    IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE, 2025.

  5. Enabling Low-Resource Language Retrieval: Establishing Baselines for Urdu MS MARCO

    In: 47th European Conference on Information Retrieval (ECIR). European Conference on Information Retrieval (ECIR-2025), April 6-10, Lucca, Italy, ECIR, 4/2025.

  6. Design Exploration für RISC-V Prozessoren zur Optimierung von Erklärbarkeit für Maschinelles Lernen

    In: 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2025), March 11-12, Rostock, Germany, Pages 61-65, VDE, 3/2025.

  7. Roberto Venditti; Nareg Minaskan Karabid; Evmorfia Biliri; Miguel Villegas; Barry Kirwan; Carl Westin; Jekaterina Basjuka; Simone Pozzi

    Construal Level Theory (CLT) for designing explanation interfaces in operational contexts

    In: Human Interaction and Emerging Technologies: Artificial Intelligence and Future Applications. International Conference on Applied Human Factors and Ergonomics (AHFE-2025), 13th International Conference on Human Interaction & Emerging Technologies: Artificial Intelligence & Future Applications, located at IHIET-AI 2025, AHFE Open Access, 3/2025.

  8. Towards an Automated Debugging Approach for Fault Identification in Quantum Circuits

    In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

  9. Amelie Gyrard; Somayeh Abedian; Philip Gribbon; George Manias; Rick van Nuland; Kurt Zatloukal; Irina Emilia Nicolae; Gabriel Danciu; Septimiu Nechifor; Luis Marti-Bonmati; Pedro Mallol; Stefano Dalmiani; Serge Autexier; Mario Jendrossek; Ioannis Avramidis; Eva Garcia Alvarez; Petr Holub; Ignacio Blanquer; Anna Boden; Rada Hussein

    Lessons Learned From European Health Data Projects With Cancer Use Cases: Implementation of Health Standards and Internet of Things Semantic Interoperability

    In: Journal of Medical Internet Research (JMIR), Vol. 27, Page e66273, JMIR Publications, 3/2025.

  10. Hybrides wissensbasiertes Reasoning für wissensintensive Prozesse am Beispiel von Notrufabfragen

    In: Knut Hinkelmann; Thomas Hoppe; Bernhard G. Humm. Hybride KI mit Machine Learning und Knowledge Graphs: Innovative Lösungen aus der Praxis. Pages 297-318, ISBN 978-3-658-44781-6, Springer Fachmedien Wiesbaden, Wiesbaden, 3/2025.