Skip to main content Skip to main navigation

Publications

Displaying results 1521 to 1530 of 13867.
  1. 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.

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

  3. Dan Hudson; Martin Atzmueller

    Subgroup Discovery with SD4Py

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

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

  5. Harihara Bharathy Swaminathan; Aron Sommer; Andreas Becker; Martin Atzmueller

    Spatial Change Detection Using Automotive Radar

    In: Proc. IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE Intelligent Transportation Systems Conference (IEEE ITSC-2023), Pages 4066-4071, IEEE, 2023.

  6. Peculiarities of Counterfactual Point Process Generation

    In: Jianwu Wang; Sahara Ali; Yanan Xin (Hrsg.). 32nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis (STCausal-2024), 1st ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis, located at 32nd ACM SIGSPATIAL, October 29 - November 1, Atlanta, GA, USA, ISBN 979-8-4007-1154-1/24/10, Association for Computing Machinery, New York, NY, United States, 11/2024.

  7. Alberto Acebes; Serge Autexier; Marjolein Brusse-Keizer; Agni Delvinioti; Thrasyvoulos Giannakopoulos; Christiane Grünloh; Florian Hahn; Rain Jögi; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Kostas Lamprinoudakis; Jakob Lehmann; Danae Lekka; Anke Lenferink; Federico Mazzone; Guilio Pagliari; Stefano Patarnello; Aristodemos Pnevmatikakis; Jarno Raid; Monique Tabak; Job Van Der Palen; Gesa Wimberg

    RE-SAMPLE Platform for training and use of COPD exacerbation risk prediction models

    In: European Respiratory Journal (ERJ), Vol. 64, No. suppl 68, Page 1, ERS, 11/2024.

  8. On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice

    In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.

  9. Andreas Weinand; Sachinkumar B. Mallikarjun; Christoph Lipps; Hans Dieter Schotten

    Multi-bit Secret Key Generation for LoRaWAN based 6G mMTC using Autoencoders

    In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC-2024), September 2-5, Valencia, Spain, IEEE, 2024.