Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 581 bis 590 von 13858.
  1. Sana Hassan Imam; Rolf Drechsler

    Let’s Brainstorm: Personalized Chatbot Prototype as Creativity Partner in Idea Crowdsourcing Platforms

    In: Diginomics Summer Conference. Diginomics Summer Conference, Bremen, Germany, 2024.

  2. Mohammad Reza Heidari Iman; Sallar Ahmadi-Pour; Rolf Drechsler; Tara Ghasempouri

    Processor Vulnerability Detection with the Aid of Assertions: RISC-V Case Study

    In: IEEE Nordic Circuits and Systems Conference (NorCAS). IEEE Nordic Circuits and Systems Conference (NorCAS-2024), October 29-30, Lund, Sweden, 2024.

  3. Daniel Sonntag; Thiago Gouvea; Michael Barz; Aliki Anagnostopoulou; Siting Liang; Sara-Jane Bittner; Franziska Scheurer

    The Interactive Deep Learning Enterprise (No-IDLE) meets ChatGPT

    German Research Center for AI, DFKI Technical Report, 2024.

  4. Jonathan Babel; Leon Cedric Danter; Gonzalo Paz Delgado; Raúl Domínguez; Yogeshkarna Govindaraj; Mehmed Yüksel; Frank Kirchner

    Tether management and docking system for multi-robot rappelling into lunar lava tubes

    In: 75th International Astronautical Congress. International Astronautical Congress (IAC-2024), October 14-18, Milan, Italy, International Astronautical Federation (IAF), 2024.

  5. Benjamin Blumhofer; Marco Simon; Alexandra Ritter; Laura-Marie Weil; Tatjana Legler; Martin Ruskowski

    Capability Skill Service Model as enabler for Intralogistics 4.0: A Review

    In: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2024), May 12-15, St. Louis, MO, USA, Pages 1-8, IEEE, 2024.

  6. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Data Petri Nets Meet Probabilistic Programming

    In: Andrea Marrella; Manuel Resinas; Mieke Jans; Michael Rosemann (Hrsg.). Proceedings of the 22nd International Conference on Business Process Management. Business Process Management (BPM-2024), September 1-6, Krakow, Poland, Pages 21-38, LNCS, Vol. 14940, ISBN 978-3-031-70396-6, Springer, Switzerland, 9/2024.

  7. Martha Schnieber; Rolf Drechsler

    Automated Polynomial Formal Verification Using Generalized BDD Patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2024.

  8. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2024.

  9. Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits

    In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 20, No. 4, Pages 1-19, ACM, 10/2024.

  10. Elke Warmerdam; Christian Wolff; Marcel Orth; Tim Pohlemann; Bergita Ganse

    Long-term continuous instrumented insole-based gait analyses in daily life have advantages over longitudinal gait analyses in the lab to monitor healing of tibial fractures

    In: Frontiers in Bioengineering and Biotechnology, Vol. 12, Pages 0-0, Frontiers, 2024.