Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 14804.
  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

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

  2. F. Lalchhandama; Kamalika Datta; Rolf Drechsler; Sandip Chakraborty; Indranil Sengupta

    Practicality of MAGIC NOR in a 1T1M Crossbar Array for In-memory Computing

    In: Journal of Circuits, Systems and Computers, Vol. 31, No. 04, World Scientific, 2026.

  3. How Much Context Matters? A Comparison for Skeleton-Based Activity Recognition

    In: 2026 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2026), March 9-12, Hakodate, Japan, IEEE, 2026.

  4. Utilitarismus und das Problem kollektiven Handelns

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

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

  6. Hui Wang; Hans D. Schotten; Stefan M. Goetz

    Ultra-Fast Wireless Energy Hacking for Roadway Charging: Overcoming Frequency-Varying Encryption and Parameter Drift

    In: IEEE Transactions on Transportation Electrification, Vol. 12, No. 1, Pages 1188-1197, IEEE, 2/2026.

  7. Biophysics-Enhanced Neural Representations for Patient-Specific Respiratory Motion Modeling

    In: Machine Learning for Biomedical Imaging (MELBA), Vol. 2026 - MELBA–BVM 2025 Special Issue, Pages 148-159, MELBA, 2026.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

    In: SN Computer Science (SNCS), Springer Nature, 2026.

  9. Auf dem Weg zu einer KI-gestützten Gewässer- und Wasseransammlungsdetektion zur adaptiven Steuerung von Pflanzenschutz- und Düngerapplikation auf Landmaschinen

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft -- Referate der 46. GIL-Jahrestagung. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2026), Gesellschaft für Informatik e.V. 2026.