Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1511 bis 1520 von 8803.

  1. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more -- Using Boolean literals to solve 2048

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  2. Luca Müller; Rolf Drechsler

    SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  3. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  4. Abhoy Kole; Kamalika Datta; Rolf Drechsler

    Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability

    In: 37th IEEE International System-on-Chip Conference. IEEE International System-on-Chip Conference (SOCC-2024), September 16-19, Dresden, Germany, 2024.

  5. Aliki Anagnostopoulou; Thiago Gouvea; Daniel Sonntag

    Enhancing Journalism with AI: A Study of Contextualized Image Captioning for News Articles using LLMs and LMMs

    Trustworthy Interactive Decision-Making with Foundation Models Workshop @ IJCAI 2024, 8/2024.

  6. Tarek Elmihoub; Abdulhakim El Gadi Gadi; Lars Nolle; Frederic Theodor Stahl

    On Object Detection and Explainability with Sonar Imagery

    In: 2024 IEEE 4th International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA). IEEE International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA-2024), May 19-21, Tripoli, Libyan Arab Jamahiriya, Pages 1-8, ISBN 979-8-3503-7263-2, IEEE Xplore, New Jersey, 7/2024.

  7. Christoph Michael Tholen; Lars Nolle

    On the performance evaluation of synchronous and asynchronous parallel particle swarm optimisation

    In: ECMS 2024, 38th Proceedings. International Conference on Modelling and Simulation (ECMS-2024), June 4-7, Crakow, Poland, Pages 1-7, ISBN 978-3-937436-84-5, ECMS, 6/2024.

  8. Christoph Michael Tholen; Lars Nolle; Jochen Wollschläger; Frederic Theodor Stahl

    Model Generalisation for Predicting the Amount of Photosynthetically Available Radiation in the Water Column from Freefall Profiler Observations

    In: ECMS 2024, 38th Proceedings. International Conference on Modelling and Simulation (ECMS-2024), June 4-7, Crakow, Poland, Pages 1-6, ISBN 978-3-937436-84-5, ECMS, United Kingdom, 6/2024.

  9. Andrej Lejman; Oliver Ferdinand; Frederic Theodor Stahl

    P20 - Eine integrierte Datenstromverarbeitung zur Erfassung von Umweltlagebildern

    In: 22. GMA/ITG-Fachtagung Sensoren und Messsysteme 2024. GMA/ITG-Fachtagung, June 11-12, Nürnberg, Germany, Pages 499-504, ISBN 978-3-910600-01-0, Copernicus Publications, Göttingen, 6/2024.

  10. Gregor Duwe; Dominique Mercier; Crispin Balthasar Wiesmann; Markus Junker; Axel Haferkamp; Andreas Dengel; Thomas Höfner

    Einsatz neuer Technologien: Künstliche Intelligenz in der medizinischen Entscheidungsfindung – Status quo und Perspektiven einer interdisziplinären Herausforderung

    In: Mario A. Pfannstiel. Technologien und Technologiemanagement im Gesundheitswesen. Pages 669-731, ISBN 978-3-658-43860-9, Springer, Wiesbaden, 8/2024.

Jahr

Mehr Optionen