Skip to main content Skip to main navigation

Publications

Displaying results 1411 to 1420 of 14849.
  1. Martin Kuhn; Yannik Warnecke; Daniel Preciado-Marquez; Joscha Grüger; Laura Isabell Bley; Michael Storck; Carsten Weishaupt; Ralph Bergmann; Stephan Alexander Braun

    Clinical Decision Support for Skin Tumor Treatment: A Case-Based Reasoning Approach

    In: Isabelle Bichindaritz; Beatriz López (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR), 33rd International Conference on Case-Based Reasoning, located at ICCBR-2025, June 30 - July 3, Biarritz, France, Pages 407-422, ISBN 978-3-031-96559-3, Springer Nature Switzerland, 2025.

  2. Alessandro Umbrico; Sebastian Stock; Martin Atzmueller; Amadeo Cesta; Elisa Foderaro; Joachim Hertzberg; Oscar Lima; Juan Carlos Saborio; Marc Vinci; Nicola Pedrocchi; Andrea Orlandini

    Towards Reconfigurability of Plan-based Controllers through Metacognition

    In: Proceedings of the 17th International Conference on Social Robotics + AI. International Conference on Social Robotics (ICSR-2025), September 10-12, Naples, Italy, Springer, 2025.

  3. Tobias Dreesbach; Léon Dankert; Jonas Ruhe; K. Valerie Carl; Oliver Hinz; Oliver Thomas

    Data Unlocked – Ein Modell zur anwendungsübergreifenden Nutzung persönlicher Daten im Smart-Living-Kontext

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. Open Data, Pages 1-18, Springer Nature, 2025.

  4. Benjamin Alt; Sebastian Bast; Matthias Babel; Julian Buitmann; Lars Creutz; Guido Dartmann; Marvin Ehaus; Thomas Engel; Fabian Gast; Nina Großegesse; Achim Guldner; Nils Jahnke; David Jilg; Marc-Fabian Körner; Justus Leskow; Johannes Mundorf; Stefan Naumann; Alexandra Pehlken; Marvin Schacht; Leo Schick; Tobias Schlagenhauf; Alexander Schultheis; Karsten Schörner; Sebastian Straub; Jens Strüker; Ralph Traphöner; Moritz-André Weiher

    Bewertung von Edge-Cloud-Systemen: Vorgehen, Instrumente und Metriken

    Institut für Innovation und Technik (iit) in der VDI/VDE Innovation + Technik GmbH, 2025.

  5. Gerrit Großmann; Luca Bortolussi; Verena Wolf

    Efficient simulation of non-Markovian dynamics on complex networks

    In: Hocine Cherifi (Hrsg.). PLOS ONE, Vol. 15, No. 10, Pages 1-18, PLOS ONE, 10/2020.

  6. Linar Mikeev; Werner Sandmann; Verena Wolf

    Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks

    In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.

  7. Harald Fecher; Martin Leucker; Verena Wolf

    Don't Know in Probabilistic Systems

    In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.