Skip to main content Skip to main navigation

Publications

Displaying results 1031 to 1040 of 13866.

  1. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  2. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  3. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

  4. Muhammad Moiz Sakha; Florian Daiber; Christoph Tieben; Matthias Enders

    Virtual Breeding Nursery: Towards a VR Digital Twin for Plant Breeding

    In: Proceedings of the 2024 ACM Symposium on Spatial User Interaction. ACM Symposium on Spatial User Interaction (SUI-2024), New York, NY, USA, SUI '24, ISBN 9798400710889, Association for Computing Machinery, 2024.

  5. Maxx Richard Rahman; Ruoxuan Liu; Wolfgang Maaß

    Incorporating Metabolic Information into LLMs for Anomaly Detection in Clinical Time-Series

    In: Time Series in the Age of Large Models Workshop at Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), NeurIPS, 2024.

  6. Joe Watson; Benedikt Hahner; Boris Belousov; Jan Peters

    Tractable Bayesian Dynamics Priors from Differentiable Physics for Learning and Control

    In: 40th Anniversary of the IEEE International Conference on Robotics and Automation (ICRA@40). IEEE International Conference on Robotics and Automation (ICRA-2024), September 23-26, Rotterdam, Netherlands, IEEE, 2024.

  7. Christiane Rudolph; Sebastian Germer; Alice Nennecke; Henrik Kusche; Louisa Labohm; Natalie Rath; Katharina Rausch; Bernd Holleczek; Heinz Handels; Alexander Katalinic

    Künstliche Intelligenz (KI) in der Krebsregistrierung: Methoden, Herausforderungen und erste Ergebnisse des AI-Care-Datensatzes

    Jahrestagung der Deutschen Gesellschaft für Epidemiologie (DGEpi) 2024, German Medical Science GMS Publishing House, 2024.

  8. Sebastian Germer; Christiane Rudolph; Louisa Labohm; Alexander Katalinic; Natalie Rath; Katharina Rausch; Bernd Holleczek; AI-Care Working Group; Heinz Handels

    Survival analysis for lung cancer patients: A comparison of Cox regression and machine learning models

    In: International Journal of Medical Informatics (IJMEDI), Vol. 191, Pages 105607-105607, Elsevier, 8/2024.

  9. Sungho Suh; Vitor Fortes Rey; Paul Lukowicz

    Wearable Sensor-Based Human Activity Recognition for Worker Safety in Manufacturing Line

    In: John Soldatos. Artificial Intelligence in Manufacturing: Enabling Intelligent, Flexible and Cost-Effective Production Through AI. Pages 303-317, ISBN 978-3-031-46452-2, Springer Nature Switzerland, Cham, 2024.

  10. Kerstin Wagner; Agathe Merceron; Petra Sauer; Niels Pinkwart

    A Course Recommender System Built on Success to Support Students at Risk in Higher Education.

    In: Journal of Educational Data Mining (JEDM), Vol. 16, No. 1, Pages 330-364, International Educational Data Mining, 2024.

Year

More options