Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 321 bis 330 von 15094.

  1. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Scalability Matters: Future-Proof Formal Verification of a RISC-V Arithmetic Logic Unit

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  2. Sallar Ahmadi-Pour; Chandan Jha; Rolf Drechsler

    NPN-ApproxLib: DNN-Aware Approximate Multiplier Design via NPN Classes

    In: Proceedings of the 8th IEEE International Conference on Artificial Intelligence Circuits and Systems. IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS-2026), September 16-18, Ha Long Bay, Viet Nam, IEEE, 2026.

  3. Sallar Ahmadi-Pour; Luca Müller; Rolf Drechsler

    Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  4. Fynn Meyer; Leon Frölje; Lennart Weingarten; Kamalika Datta; Abhoy Kole; Christoph Lüth; Rolf Drechsler

    An Efficient Encoding for Subset Sum Problem Exploiting QFT-Based Arithmetic Operators

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE), September 13-18, IEEE, 2026.

  5. Jan Ole Berndt; Marcus Grum; Kyra Göbel; Annette Kluge

    Intentional Forgetting with Intelligent Systems - Developing Dynamic Capabilities for Work and Organizations

    Progress in IS, ISBN 978-3-032-17621-9, Springer, Cham, 7/2026.

  6. Jan Ole Berndt; Lukas Reuter; Anna-Sophie Ulfert-Blank; Benedikt Graf; Conny Antoni; Thomas Ellwart; Ingo Timm

    Planning to Forget: A Simulation of Cognitive Workload in Emergency Response Teams

    In: Jan Ole Berndt; Marcus Grum; Kyra Göbel; Annette Kluge. Intentional Forgetting with Intelligent Systems. Pages 191-216, Progress in IS, ISBN 978-3-032-17620-2, Springer, Cham, 7/2026.

  7. Chantale Lauer; Peter Pfeiffer; Alexander Michael Rombach; Nijat Mehdiyev

    Assessing the business process modeling competences of large language models

    In: Information Systems (IS), Vol. 142, Pages 1-24, Elsevier, 2026.

  8. Peter Remmers; Aljoscha Burchardt; Birgit Beck

    23 Ethische Aspekte künstlicher Intelligenz

    In: Tanya Braun; Eyke Hüllermeier; Ute Schmid; Günther Görz. Handbuch der Künstlichen Intelligenz. Pages 749-768, ISBN 9783111386690, De Gruyter Oldenbourg, 2026.

  9. Gabriela Middelbeck; Sarra Majri; Lars Fischer; Dieter Hutter; Manuel Schaefer; Michael Teucke; Jan Stockbruegger; Michael Freitag

    SharePort: Enhancing Resilience of Maritime Port Infrastructures through Trustworthy Resource Sharing

    In: Book of Extended Abstracts - MARESEC 2026. European Workshop on Maritime Systems Resilience and Security (MARESEC-2026), June 24-25, Bremerhaven, Germany, Zenodo, 6/2026.

  10. Sebastian Röttgermann; Jan Christoph Krause; Martin Atzmueller

    Eine skalierbare Testumgebung für die reproduzierbare Bewertung von Sensorik und Perception-Algorithmen für mobile Arbeitsmaschinen

    In: 12. IFToMM D-A-CH Konferenz 2026, Otto von Guericke Universität Magdeburg. IFToMM D-A-CH Konferenz, February 19-20, Magdeburg, Germany, DuEPublico 2, 2/2026.

Jahr

Mehr Optionen