Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 13837.

  1. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Maria Caropresse; Gillian Lovel; Daniel A Porto; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    SAT: Segment and Track Anything for Microscopy

    In: 17th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2025), February 23-25, Porto, Portugal, SCITEPRESS Digital Library, 2/2025.

  2. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Gillian Lovel; Daniel A Porto; Biana Migliori; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    Box it and Track it: A Weakly Supervised Framework for Cell Tracking

    In: DAGM German Conference on Pattern Recognition, Freiburg. Annual Symposium of the German Association for Pattern Recognition (DAGM-2025), September 24-26, Freiburg, Germany, Springer Nature, 2025.

  3. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

  4. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  5. Fatemeh Shirinzadeh; Abhoy Kole; Kamalika Datta; Saeideh Shirinzadeh; Rolf Drechsler

    A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  6. Shaoxiang Wang; Yaxu Xie; Chun-Peng Chang; Christen Millerdurai; Alain Pagani; Didier Stricker

    Uni-SLAM: Uncertainty-Aware Neural Implicit SLAM for Real-Time Dense Indoor Scene Reconstruction

    In: Proc. of. IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE/CVF, 2025.

  7. Chun-Peng Chang; Alain Pagani; Didier Stricker

    3D Spatial Understanding in MLLMs: Disambiguation and Evaluation

    In: Proc. of. IEEE International Conference on Robotics and Automation (ICRA-2025), IEEE, 2025.

  8. Sabisan Santhakumaran; Niels Benson; Elsa Andrea Kirchner

    Towards a Validation System for a THz Graphene-Based Epidermal Electronics System

    In: Proceedings of the 2025 International Conference on Mobile and Miniaturized Terahertz Systems. International Conference on Mobile and Miniaturized Terahertz Systems (ICM2TS-2025), February 23-26, Dubai, United Arab Emirates, k. A. 2/2025.

  9. Tobias Stollenwerk; Somtapa Bhattacharya; Michele Cattelan; Alessandro Ciani; Gabriele Compostella; David Headley; Johannes Klepsch; Matthias Klusch; Markus Leder; Antonio Macaluso; Kristel Michielsen; Dmytro Nabok; Anestis Papanikolaou; Alexander Rausch; Marco Schumann; Andrea Skolik; Sheir Yarkoni; Frank K. Wilhelm

    Q(AI)2: Quantum Artificial Intelligence for the Automotive Industry

    In: Matthias Klusch; Jörg Lässig; Frank Wilhelm (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 4/24, Pages 1-9, Springer, 2024.

  10. Javier Melo; Leigh Fernandez; Shoya Ishimaru

    Automatic Classification of Difficulty of Texts from Eye Gaze and Physiological Measures of L2 English Speakers

    In: IEEE Access (IEEE), Vol. 13, Pages 24555-24575, IEEE, 2025.

Year

More options