Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 251 bis 260 von 4494.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra

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

  2. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of Structurally Simple Multipliers

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

  3. Till Schnittka; Majd Assaad; Abhoy Kole; Rolf Drechsler

    Low T-Depth Clifford+T Decomposition of Large Toffoli Gates using Dynamic Phase Correction

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

  4. Jan Tauberschmidt; Sophie Fellenz; Sebastian Vollmer; Andrew B. Duncan

    Physics-Constrained Fine-Tuning of Flow-Matching Models for Generation and Inverse Problems

    In: The Fourteenth International Conference on Learning Representations. International Conference on Learning Representations (ICLR), located at ICLR-2026, April 23-27, Rio de Janeiro, Brazil, ICLR, 2026.

  5. Mohamed Karim Belaid; Maximilian Rabus; Eyke Hüllermeier

    Uncertainty Quantification in Pairwise Difference Learning for Classification

    In: Machine Learning, Vol. 115, No. 1, Pages 12-12, Springer, 2026.

  6. Anja Henke; Jason M Harley; Negar Matin; Johann Chevalère; Verena V Hafner; Niels Pinkwart; Rebecca Lazarides

    Multimodal perspectives on affective dynamics in an intelligent tutoring system

    In: Learning and Instruction, Vol. 103, Pergamon, 1/2026.

  7. Rezaul Tutul; Ilona Buchem; André Jakob; Niels Pinkwart

    Evaluating Intrinsic Motivation in Robot-Supported Quiz-Based Learning: A Comparative Study of Verbal-Only and Multimodal Feedback with Sound Input

    In: Acta Informatica Pragensia, Vol. 15, No. 1, Pages 109-125, Prague University of Economics and Business, 1/2026.

  8. Dayananda Herurkar; Jörn Hees; Vesselin Tzvetkov; Andreas Dengel

    Tabular Data Adapters: Pseudo-Labeling Unlabeled Private Tabular Data for Outlier Detection

    In: IEEE Access (Hrsg.). IEEE Access (IEEE), Vol. 14, Pages 25691-25705, IEEE, 2/2026.

  9. Dayananda Herurkar; Ahmed Anwar; Sebastian Palacio; Jörn Hees; Andreas Dengel

    Fin-Fed-OD: Enhancing Outlier Detection Using Federated Learning on Financial Tabular Data

    In: International Conference on Federated Learning Technologies and Applications (FLTA). International Conference on Federated Learning Technologies and Applications (FLTA-2025), located at FLTA25, October 14-17, Dubrovnik, Croatia, Pages 40-47, DFKI Research Reports (RR), ISBN 979-8-3315-5670-9, IEEE, 1/2026.

  10. Samuel Hill

    Adaptive Trust Infrastructures for AI: From an AI ClinicalTrials.gov framework to a Human-AI Workforce

    In: Mark Nitzberg; Stuart Russell; Atoosa Kasirzadeh; Jime Fernandez Fisac; Adam Gleave (Hrsg.). Proceedings of the Second Annual Conference of International Association for Safe and Ethical Artificial Intelligence. Annual Conference of The International Association for Safe & Ethical Artificial Intelligence (IASEAI-2026), February 24-26, Paris, France, IASEAI, 2/2026.

Jahr

Mehr Optionen