Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 481 bis 490 von 14494.

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

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

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

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

  5. Martha Schnieber; Rolf Drechsler

    Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits

    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. Siphesihle Sithungu; Christoph Lipps

    Critical Infrastructure Security and the Role of AI: An Overview

    In: Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), Kaiserslautern, Rheinland-Pfalz, Germany, Academic Conferences International, 6/2025.

  7. Clemens Möllenhoff; Bharat Agarwal; Jan Herbst; Matthias Rüb; Thomas Petzold; Tobias Pabst; Ralf Irmer; Christoph Lipps; Hans Dieter Schotten; Thomas Neumuth; Max Rockstroh

    Towards 6G-connected Healthcare: Perspectives, Risks and Real-World Applications for Smart Hospitals

    In: Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), July 14-17, Copenhagen, Denmark, IEEE, 7/2025.

  8. David Rother; Franziska Herbert; Fabian Kalter; Dorothea Koert; Joni Pajarinen; Jan Peters; Thomas H. Weisswange

    Entropy based blending of policies for multi-agent coexistence

    In: International Journal on Autonomous Agents and Multi-Agent Systems (JAAMAS), Vol. 39, No. 1, Pages 1-28, Springer, 5/2025.

  9. Montserrat Díaz-Carrasco; Ana Luisa Ruiz; Javier Viñals; Mathieu Deremetz; Pierre Letier; Christoper Zeis; Thomas A. Schervan; Wiebke Brinkmann; Mehmed Yüksel; Utku Akinci; Fabien Marty; Mattisse Briand; Raphaél Boissonnade

    Space USB: defining an enhanced standardization level for Space Standard Interconnects

    In: ASTRA 2025 Proceedings. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2025), 18th Symposium on Advanced Space Technologies in Robotics and Automation, located at ASTRA-2025, October 7-9, Scheltema, Leiden, Netherlands, ESA, 2025.

  10. Mehmed Yüksel; Wiebke Brinkmann; Utku Akinci; Raphael Boissonnade; Come Berger; Montserrat Diaz-Carrasco; Ana Luisa Ruiz Perez; Thomas A. Schervan; Christopher Zeis; Pierre Letier; Mathieu Deremetz; Fabien Marty; Matisse Briand

    Towards Sustainable Space Ecosystem: A State of the Art Survey on Standardizing Spacecraft Service Interfaces for Modular Orbital Systems

    In: IAC 2025 Proceedings. International Astronautical Congress (IAC-2025), 76th International Astronautical Congress, September 29 - October 3, Sydney, AU-NSW, Australia, IAF, 2025.

Jahr

Mehr Optionen