Skip to main content Skip to main navigation

Publications

Displaying results 1111 to 1120 of 15094.

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

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

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

    An adaptive hierarchical control framework for quadrupedal robots in planetary exploration

    In: Proceedings of 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, 2025.

  4. Maurice Kraus; David Steinmann; Antonia Wüst; Andre Kokozinski; Kristian Kersting

    Right on Time: Revising Time Series Models by Constraining their Explanations

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2402.12921, Pages 1-31, arXiv, 2024.

  5. Cedric Derstroff; Jannis Brugger; Jannis Blüml; Mira Mezini; Stefan Kramer; Kristian Kersting

    Amplifying Exploration in Monte-Carlo Tree Search by Focusing on the Unknown

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2402.08511, Pages 1-10, arXiv, 2024.

  6. Antonia Wüst; Wolfgang Stammer; Quentin Delfosse; Devendra Singh Dhami; Kristian Kersting

    Pix2Code: Learning to Compose Neural Visual Concepts as Programs

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2402.08280, Pages 1-24, arxiv, 2024.

  7. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  9. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  10. Yorman Munoz; Wenqing Dai; Sachinkumar B. Mallikarjun; Michael Zentarra; Christoph Lipps; Hans Dieter Schotten

    Towards Smart Resource Distribution in V2X Dynamic Networks: A Modular RIS Approach

    In: 28. ITG Fachtagung Mobilkommunikation. VDE/ITG Fachtagung Mobilkommunikation (MKT-2024), May 15-16, Osnabrück, Germany, ITG, 5/2024.

Year

More options