Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1271 bis 1280 von 15033.

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

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

  3. Iyadh Ben Cheikh Larbi; Ajay Madhavan Ravichandran; Aljoscha Burchardt; Roland Roller

    Integrating Text and Time-Series into (Large) Language Models to Predict Medical Outcomes

    In: - (Hrsg.). The 9th BioCreative Challenge and Workshop (BioCreative IX@IJCAI). BioCreative Workshop, 2025.

  4. Lucas Orth

    On-device AI: Methoden zur lokalen Ausführung tiefer neuronaler Netze im Webbrowser

    Mastersthesis, Universität Trier, 2025.

  5. Sarah Stockreiser

    Digitale Lernumgebungen vs. Traditionelle Präsenskurse - Eine Untersuchung zur Unterstützung und Optimierung individueller Studienbedürfnisse

    Mastersthesis, Universität Trier, 2025.

  6. Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Felix Ingrand; Uwe Köckemann; Fabio Patrizi; Alessandro Saetti; Ivan Serina; Sebastian Stock

    Unified Planning: Modeling, manipulating and solving AI planning problems in Python

    In: SoftwareX, Vol. 29, Elsevier, 2/2025.

  7. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  8. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

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

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

Jahr

Mehr Optionen