Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 14695.
  1. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  3. A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  4. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

  5. Jonas Schmidinger; Viacheslav Barkov; Sebastian Vogel; Martin Atzmueller; Gerard B.M. Heuvelink

    Kriging prior regression: A case for kriging-based spatial features with TabPFN in soil mapping

    In: Computers and Electronics in Agriculture, Vol. 243, Pages 1-17, Elsevier, 2026.

  6. Utilitarismus und das Problem kollektiven Handelns

    In: Vuko Andrić; Bernward Gesang (Hrsg.). Handbuch Utilitarismus. Pages 163-176, Springer-Verlag, 2026.

  7. A Scene Graph Backed Approach to Open Set Semantic Mapping

    In: Proceedings of the 2026 AAAI Spring Symposium Series. AAAI Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE-2026), April 7-9, San Francisco, CA, USA, AAAI Press, 2026.

  8. Myrthe L. Tielman; Morgan Bailey; Francesco Frattolillo; Carolina Centeio Jorge; Anna-Sophie Ulfert; André Meyer-Vitali

    Multidisciplinary Perspectives on Human-AI Team Trust

    In: Interaction Studies (IS), Vol. 26, No. 2, Pages 164-199, John Benjamins, 2/2026.

  9. Malte Högemann; Christian Hauff; Oliver Thomas

    Von Schatten-IT zu Schatten-KI durch ChatGPT: Herausforderungen und Handlungsempfehlungen aus deutschen Unternehmen

    In: Wirtschaftsinformatik & Management (WuM), Vol. Online first - wird nachgereicht, Pages 1-8, Springer, 2/2026.