Skip to main content Skip to main navigation

Publications

Displaying results 1231 to 1240 of 5313.

  1. Dietmar Seipel; Marcel Waleska; Daniel Weidner; Sven Rausch; Martin Atzmueller

    Post--Mining on Association Rule Bases

    In: Proc. European Conference on Artificial Intelligence Workshops. European Conference on Artificial Intelligence (ECAI-2023), Pages 23-35, Springer, 2024.

  2. Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Felix Ingrand; Uwe Köckemann; Fabio Patrizi; Alessandro Saetti; Ivan Serina; Sebastian Stock

    Unified Planning: Modeling, manipulating and solving AI planning problems in Python

    In: SoftwareX, Vol. 29, Elsevier, 2/2025.

  3. Sylke Piéch

    KI auf Führungsebene

    In: TOYS - trade & trends, Vol. 82, No. M 8415 E, Pages 8-10, Göller Verlag GmbH, Baden Baden, 9/2024.

  4. Sylke Piéch

    Besseres Teammanagement durch KI

    In: changement! - Veränderungsprozesse aktiv und erfolgreich gestalten, Vol. 74, No. 7, Pages 24-27, Handelsblatt Media Group, Hamburg, 11/2024.

  5. Sylke Piéch

    Die Auswirkungen der künstlichen Intelligenz auf die Zukunft der Arbeit

    In: S. Basel. J.; Manchen Spörri. Angewandte Psychologie für die Wirtschaft. Pages 23-26, ISBN 978-3-662-68558-7, Springer Berlin, Heidelberg, 9/2024.

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

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

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

  9. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

  10. Ahmed H. Elsayed; Tarek Elmihoub; Christoph Manss; Andre Miedtank; Lars Nolle; Frederic Theodor Stahl

    Interactive Simulator Framework for XAI Applications in Aquatic Environments

    In: Max Bramer; Frederic Theodor Stahl (Hrsg.). Artificial Intelligence XLI - SGAI 2024. SGAI International Conference on Artificial Intelligence (AI-2024), 44th SGAI International Conference on Artificial Intelligence, December 17-19, Cambridge, United Kingdom, Pages 144-157, Lecture Notes in Computer Science, Vol. 15446, ISBN 978-3-031-77915-2, Springer Nature Switzerland AG, 11/2024.

Year

More options