Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1311 bis 1320 von 15198.

  1. Max Upravitelev; Premtim Sahitaj; Arthur Hilbert; Veronika Solopova; Jing Yang; Nils Feldhaus; Tatjana Anikina; Simon Ostermann; Vera Schmitt

    Exploring semantic filtering heuristics for efficient claim verification

    In: Proceedings of the Eighth Fact Extraction and VERification Workshop (FEVER). Workshop on Fact Extraction and Verification (FEVER-2025), July 31, Vienna, Austria, Pages 229-237, ISBN 978-1-959429-53-1, Association for Computational Linguistics, 7/2025.

  2. Robert Belanec; Simon Ostermann; Ivan Srba; Marie Bielikova

    Task prompt vectors: Effective initialization through multi-task soft prompt transfer

    In: Machine Learning and Knowledge Discovery in Databases. Research Track and Applied Data Science Track. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD-2025), September 15-19, Porto, Portugal, Pages 77-94, Lecture Notes in Computer Science (LNAI), Vol. 16020, Springer, Berlin, Heidelberg, 10/2025.

  3. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  4. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  5. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.

  6. Rolf Drechsler; Christina Plump; Bernhard Berger

    Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  7. Ruidi Qiu; Yalin Zhang; Rolf Drechsler; Tsungyi Ho; Ulf Schlichtmann; Bing Li

    ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  8. Natalia Piaseczna; Rafal Doniec; Konrad Duraj; Szymon Sieciński; Marek Jędrychowski; Ewaryst Tkacz; Marcin Grzegorzek

    Distinguishing Drivers with Smart Glasses Data and Deep Neural Network

    In: Ireneusz Czarnowski; Marek Jasiński (Hrsg.). IEEE EUROCON 2025 - 21st International Conference on Smart Technologies. IEEE International Conference on Smart Technologies (EUROCON-2025), June 4-6, Gdynia, Poland, Pages 1-6, Institute of Electrical and Electronics Engineers, 6/2025.

  9. Yuzhou Wang; Xiaojie Li; Frank Kulwa; Xiaoyan Li; Shuochen Tai; Shuaiyi Tian; Kunyang Teng; Marcin Grzegorzek; Xinyu Huang; Tao Jiang; Chen Li

    A Microscopic Image Processing Platform for Multi-class Cell Segmentation Using Deep Learning

    In: Intelligent Medicine, Vol. not yet assigned, Page not yet assigned, Elsevier, 9/2025.

  10. Anna Kordowski; Ina Hohensee; Vivian Tetzlaff-Lelleck; Franziska Schmelter; Yves Laumonnier; Lennart Jablonski; Artur Piet; Anna Exner; Md Abid Hasan; Nicole Heßler; Yaser Hatem; Inke König; Marcin Grzegorzek; Christian Sina

    INDICATE-FH - Neue Wege in der Diagnostik und Therapie von Nahrungsmittelunverträglichkeiten - Technologische Neuerungen zur Verbesserung der Diagnostik und Therapie von Weizenunverträglichkeit

    12/2025.

Jahr

Mehr Optionen