Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 251 bis 260 von 14988.
  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. InEKFormer: A Hybrid State Estimator for Humanoid Robots

    In: Proceedings of IEEE International Conference on Advanced Robotics (ICAR). International Conference On Advanced Robotics (ICAR-2025), December 2-5, San Juan, Argentina, Pages 833-840, IEEE, 1/2026.

  6. Memristor-Based In-Memory Logic Design Styles for Neuromorphic and AI Computing

    In: Sébastien Ziegler; Renáta Radócz; Adrian Quesada Rodriguez; Sara Nieves Matheu Garcia. Springer Nature Handbook of Industrial Internet of Things. Springer, 2026.

  7. Smart Wheelchair with Semi- and Fully Autonomous Navigation

    In: Proceedings of the 41st CSUN Assistive Technology Conference. CSUN Assistive Technology Conference (ATC-2026), March 9-13, Anaheim, USA, 2026.

  8. Enabling Non-smart Assets Using Peripheral Digital Twins

    In: Krishnaswami Srihari; Mohammad T. Khasawneh; Sangwon Yoon; Daehan Won (Hrsg.). Flexible Automation and Intelligent Manufacturing: The Future of Automation and Manufacturing: Intelligence, Agility, and Sustainability. International Conference on Flexible Automation and Intelligent Manufacturing (FAIM-2025), Cham, Pages 240-253, ISBN 978-3-032-07675-5, Springer Nature Switzerland, 2026.

  9. Juan Trujillo; Ana Lavalle; Alejandro Reina-Reina; Jorge García-Carrasco; Alejandro Maté; Wolfgang Maaß

    An integrated requirements framework for analytical and AI projects

    In: Data & Knowledge Engineering (DKE), Vol. 161, Page 102493, Elsevier, 2026.