Skip to main content Skip to main navigation

Publications

Displaying results 1371 to 1380 of 14734.
  1. Ruud. J. R. Den Hartigh; L. Rens A. Meerhoff; Nico W. Van Yperen; Niklas D. Neumann; Jur J. Brauers; Wouter G. P. Frencken; Ando Emerencia; Yannick Hill; Sebastiaan Platvoet; Martin Atzmueller; Koen A. P. M. Lemmink; Michel S. Brink

    Resilience in Sports: A Multidisciplinary, Dynamic, and Personalized Perspective

    In: International Review of Sport and Exercise Psychology, Vol. 17, No. 1, Pages 564-586, Routledge, 2024.

  2. Arnab Ghosh Chowdhury; David Massanés; Steffen Meinert; Martin Atzmueller

    A Framework for Explanation-Aware Visualization and Adjudication in Object Detection: First Results and Perspectives

    In: J.M. Ferrández Vicente; M. Val Calvo; H. Adeli (Hrsg.). Artificial Intelligence for Neuroscience and Emotional Systems. International Conference on the Interplay between Natural and Artificial Computation (IWINAC-2024), June 4-7, Olhâo, Portugal, Pages 496-506, Lecture Notes in Computer Science (LNCS), Vol. 14674, Springer, Cham, 5/2024.

  3. Harihara Bharathy Swaminathan; Aron Sommer; Uri Iurgel; Andreas Becker; Martin Atzmüller

    Change Detection in Automotive Radar Based Occupancy Maps Using Siamese Networks

    In: 2024 International Radar Symposium (IRS). International Radar Symposium (IRS-2024), located at Microwave and Radar Week (MRW 2024), July 2-4, Poland, Pages 56-61, IEEE, 2024.

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

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

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

  7. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  8. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  9. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.