Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 281 bis 290 von 13867.
  1. 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.

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

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

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

  5. AI Act / KI-VO und Standardisierung

    In: Helmut Reimer; Benedikt Buchner; Dirk Fox; Britta Alexandra Mester (Hrsg.). Datenschutz und Datensicherheit (DuD), Vol. 49, No. 4, Pages 241-244, Springer Nature, 4/2025.

  6. Quality of experience of German machine translation and automatic text summarization

    In: Sven Grawunder (Hrsg.). Elektronische Sprachsignalverarbeitung 2025 - Tagungsband der 36. Konferenz. Elektronische Sprachsignalverarbeitung (ESSV-2025), March 5-7, Halle/Saale, Germany, Pages 212-222, Studientexte zur Sprachkommunikation, Vol. 110, ISBN 978-3-95908-803-9, TUDpress, Dresden, 2025.

  7. Sallar Ahmadi-Pour; Sangeet Saha; Klaus McDonald-Maier; Rolf Drechsler

    MESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time SystemsMESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time Systems

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  8. Gregor Duwe; Dominique Mercier; Verena Kauth; Kerstin Moench; Vikas Rajashekar; Markus Junker; Andreas Dengel; Axel Haferkamp; Thomas Hoefner

    Development of an artificial intelligence-generated, explainable treatment recommendation system for urothelial carcinoma and renal cell carcinoma to support multidisciplinary cancer conferences

    In: European Journal of Cancer (EJC), Vol. 220, No. 115367, Pages 1-8, Elsevier Ltd. 3/2025.

  9. Sergio Genovesi; Martin Haimerl; Iris Merget; Samantha Morgaine Prange; Otto Obert; Susanna Wolf; Jens Ziehn

    Evaluating Dimensions of AI Transparency: A Comparative Study of Standards, Guidelines and the EU AI Act

    In: Rebekka Görge; Elena Haedecke; Maximilian Poretschkin; Anna Schmitz (Hrsg.). Symposium on Scaling AI Assessments (SAIA 2024). Symposium on Scaling AI Assessments (SAIA-2024), September 30 - October 1, Cologne, Germany, Pages 10:1-10:17, Open Access Series in Informatics (OASICS), Vol. 126, ISBN ISSN 2190-6807, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1/2025.