Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1421 bis 1430 von 15150.

  1. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li

    CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  3. Rune Krauss; Jan Zielasko; Rolf Drechsler

    FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  4. Vamsi Krishna Origanti; Adrian Danzglock; Frank Kirchner

    Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots

    In: Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots. IEEE/SICE International Symposium on System Integration (SII-2025), 17th, January 21-24, Munich, Germany, IEEE Xplore, 1/2025.

  5. Desiree Heim; Christian Jilek; Adrian Ulges; Andreas Dengel

    Towards Synthesizing E-Mail Conversations as Part of Knowledge Work Datasets with Large Language Models

    In: Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 24th International Conference on Knowledge Engineering and Knowledge Management (EKAW-PDWT 2024). International Conference on Knowledge Engineering and Knowledge Management (EKAW-2024), 24th International Conference on Knowledge Engineering and Knowledge Management, November 26-28, Amsterdam, Netherlands, Vol. 3967, CEUR-WS.org, 5/2025.

  6. Alice Chase; Margarita Chikobava; Matthieu Deru; Christian Hauck; Peter Poller; Alassane Ndiaye; Thomas Achim Schmeyer; Ralf Gampfer; Boris Brandherm

    Multimodales Fenster in die Vergangenheit der ehemaligen Vauban-Festung Saarlouis mittels ChatGPT

    In: Thomas Barton; Christian Müller. Angewandte Wirtschaftsinformatik - Generative KI im Kontext der Wirtschaftsinformatik. Pages 1-19, Springer Vieweg, Wiesbaden, 7/2025.

  7. Constantin Houy; Oliver Gutermuth; Sharam Dadashnia; Peter Loos

    Digitale Polizeiarbeit

    In: Tanja Klenk; Frank Nullmeier; Göttrik Wewer. Handbuch Digitalisierung in Staat und Verwaltung. Pages 649-660, ISBN 978-3-658-37372-6, Springer VS, Wiesbaden, 2/2025.

  8. Amr Gomaa; Bilal Mahdy; Niko Kleer; Antonio Krüger

    Towards a surgeon-in-the-loop ophthalmic robotic apprentice using reinforcement and imitation learning

    In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2024), October 14-18, Abu Dhabi, United Arab Emirates, Pages 6939-6946, IEEE, 2024.

  9. Nina Wiegers; Sebastian Germer; Christiane Rudolph; Katharina Rausch; Natalie Rath; Heinz Handels

    A Comparison of Imputation Techniques to Improve Lung Cancer Survival Estimation

    In: Thorsten M. Buzug; Heinz Handels; Christian Hübner; Alfred Mertins; Stefan Müller; Philipp Rostalski; Nico Bunzeck (Hrsg.). Student Conference Proceedings 2024. Student Conference on Medical Engineering Science, Lübeck, Germany, Pages 231-234, ISBN 978-3-945954-73-7, Infinite Science Publishing, 2024.

  10. Simon Kohaut; Nikolas Hohmann; Sebastian Brulin; Benedict Flade; Julian Eggert; Markus Olhofer; Jürgen Adamy; Devendra Singh Dhami; Kristian Kersting

    Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing

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

Jahr

Mehr Optionen