Skip to main content Skip to main navigation

Publications

Displaying results 1911 to 1920 of 14845.

  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. Lars Nolle; Nils Meinardus; Martin Kumm; Christoph Tholen

    Bi-directional LSTM Applied to the Maritime Target Motion Analysis Problem

    In: Artificial Intelligence XLI. SGAI International Conference on Artificial Intelligence (AI-2024), 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17–19, 2024, Proceedings, Part II, December 17-19, Cambridge, United Kingdom, Pages 270-275, SGAI (SGAI 2024), Vol. 15447, Springer Nature Switzerland, Cham, 11/2024.

  4. Sanja Budimir; Johnny R. J. Fontaine; Huijts Nicole M. A; Anatal Haans; Wijnand A. IJsselstijn; Anne-Marie Oostveen; Frederic Theodor Stahl; Ryan Heartfield; George Loukas; Anatolij Bezemskij; Avgoustionos Filippoupolitis; Ivano Ras; Etienne B. Roesch

    We Are Not Equipped to Identify the First Signs of Cyber–Physical Attacks: Emotional Reactions to Cybersecurity Breaches on Domestic Internet of Things Devices

    In: Applied Sciences, Vol. 14, No. 24, Pages 1-40, MDPI, Basel, 12/2024.

  5. Max Bramer; Frederic Theodor Stahl (Hrsg.)

    44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17–19, 2024, Proceedings, Part II

    SGAI International Conference on Artificial Intelligence (AI-2024), December 17-19, Cambridge, United Kingdom, LNAI, Vol. 15447, Springer Nature Switzerland, Cham, 11/2024.

  6. Max Bramer; Frederic Theodor Stahl (Hrsg.)

    44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17–19, 2024, Proceedings, Part I

    SGAI International Conference on Artificial Intelligence (AI-2024), December 17-19, Cambridge, LNAI (LNAI), Vol. 15446, Springer Nature Switzerland, Cham, 11/2024.

  7. Wei Jiang; Hans Dieter Schotten

    A Frequency-Domain Opportunistic Approach for Spectral-Efficient Cell-Free Massive MIMO

    In: IEEE Transactions on Vehicular Technology, Vol. 74, No. 7, Pages 10772-10788, IEEE, 7/2025.

  8. Daniel Stattkus; Lorena Göritz; Katharina-Maria Illgen; Jan Heinrich Beinke; Oliver Thomas

    Overcome the gender gap: analyzing massive open online courses through the lens of stereotype threat theory

    In: Information Systems and e-Business Management, Vol. 0, Pages 1-44, Springer, 2025.

  9. Daniel Stattkus; Laura Hein; Oliver Thomas

    Bildung nach Maß: Ein Ansatz zur Adaption von Lerntexten durch generative Künstliche Intelligenz

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 0, Pages 1-18, Springer, 2/2025.

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

Year

More options