Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 251 bis 260 von 15207.
  1. Wolfgang Maaß; Hyoil Han; Hasan Yasar

    Bridging conceptual modeling and machine learning

    In: Data & Knowledge Engineering (DKE), Vol. 0, Pages 0-0, Elsevier, 8/2026.

  2. Wolfgang Maaß; Iris Reinhartz-Berger

    AI-Intent: A Conceptual Modeling Framework for Accountable Multi-Agent AI Systems

    In: ER 2026. International Conference on Conceptual Modeling (ER-2026), 45th International Conference on Conceptual Modeling, located at ER 2026, October 5-8, St. John's, NL, Canada, Springer, 10/2026.

  3. FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits

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

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

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

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

  7. Yassine El Kheir; Arnab Das; Yixuan Xiao; Xin Wang; Feidi Kallel; Enes Erdem Erdogan; Ngoc Thang Vu; Tim Polzehl; Sebastian Moeller (Hrsg.)

    DeepFense: A Unified, Modular, and Extensible Framework for Robust Deepfake Audio Detection

    Conference in the Annual Series of Interspeech Events (INTERSPEECH-2026), located at Interpseech-2026, October 26 - November 2, Sydney, New South Wales, Australia, ISCA, ISCA, 10/2026.

  8. Right for the Wrong Reasons? Evaluating Plausibility and Behavioral Change in Explanation-Guided Learning

    In: Proceedings of the 3rd International Conference on Explainable AI for Neural and Symbolic Methods (EXPLAINS 2026). International Conference on Explainable AI for Neural and Symbolic Methods (EXPLAINS-2026), 3rd International Conference on Explainable AI for Neural and Symbolic Methods, located at IJCCI-2026, October 28-30, Angers, France, Communications in Computer and Information Science, Springer, 2026.

  9. Can Generative Adversarial Networks Compete Against Diffusion Models at Generating Time Series?

    In: Proceedings of the 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), 18th International Conference on Agents and Artificial Intelligence, March 5-7, Marbella, Spain, SCITEPRESS, 2026.