Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 181 bis 190 von 15056.
  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. 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.

  5. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

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

  6. Integrated Sensing and Communications over Hierarchical Cellular and Cell-Free MIMO Systems

    In: IEEE (Hrsg.). IEEE Globecom. IEEE Global Communications Conference (Globecom-2026), December 7-11, Macau, China, IEEE, 12/2026.

  7. Novel class identification: A human-in-the-loop approach for efficient species recognition in bioacoustic data

    In: Jeffrey W. Doser (Hrsg.). Methods in Ecology and Evolution, Pages 1-18, Wiley Online Library, 7/2026.

  8. Quentin Halbach; Vibhu Kaushik; Aheli Saha; Nguyen H. P. Nguyen; Arne Roennau; Chiara Bartolozzi; Alessio Franci; Elisabetta Chicca; René Schuster; Claudia Lenk

    Towards Adaptive Neuromorphic Sensing based on Active Efficient Coding

    International Workshop on Active Inference (IWAI), 2026.