Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 171 bis 180 von 14473.

  1. Maryam Movahedifar; Lena Steinmann; Rolf Drechsler

    Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies

    In: INFORMATIK FESTIVAL 2025. Workshop Research Data and Software Competencies (RDSC-2025), located at INFORMATIK 2025, September 16, Berlin, Germany, GI, 2025.

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

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

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

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

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

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

  8. Friederike Fröbel; Carina Lange; Philipp Gschwendtner; Ousia Foli-Bebe; Séti Afanou; Victoire Tsamedi; Gesche Joost

    If I were a digital application, I would be ChatGPT: Student perspectives on digital technology in Togo

    In: Proceedings of the 5th Biennial African Human Computer Interaction Conference (AfriCHI 2025). Biennial African Human Computer Interaction Conference (AfriCHI-2025), November 4-8, Cairo, Egypt, ISBN 979-8-4007-1849-6/25/11, ACM, 2025.

  9. Lukas Skuras; Shubham Vyas; Bilal Wehbe; Frank Kirchner

    Trajectory Optimization and Control of Hydrobatic Out-of-Water Maneuvers for Icy Moon Exploration

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

  10. Shubham Vyas; Franek Stark; Rohit Kumar; Hannah Isermann; Jonas Haack; Mihaela Popescu; Jakob Middelberg; Dennis Mronga; Frank Kirchner

    Quadrupeds for Planetary Exploration: Field Testing Control Algorithms on an Active Volcano

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

Jahr

Mehr Optionen