Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 111 bis 120 von 14949.
  1. Automation of Polynomial Formal Verification using Large Language Models

    In: 44th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2026), April 27-29, Napa, USA, 2026.

  2. LLM-based Generation of High-Level Benchmarks for MVL Designs

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2026), May 19-21, Sendai, Japan, 2026.

  3. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Integrating Optical Probing Security Evaluation Framework Into ASIC Design Flow

    In: Workshop on Nano Security on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  4. Can Explainability Metrics Improve Genetic Programming? Lessons from 2048

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2026), July 13-17, San José, Costa Rica, 2026.

  5. Lauren Paul; Sebastian Hübner; Christina Plump; Bernhard J. Berger; Rolf Drechsler

    A Comparison of Repositioning and Scheduling Algorithms for the Ride-Hailing Problem

    In: 49th German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-2026), August 11-14, Bremen, Germany, 2026.

  6. Bilgin Osmanodja; Jakob Joachim Spencker; Ömer Ege Ömerouglu; Zeineb Sassi; Sascha Eickmann; Roland Roller; Aljoscha Burchardt; Michael Hahn; Tabea Otten; Peter Dabrock; others

    Decisional preferences and distress among kidney transplant recipients with impaired graft function

    In: Transplant International, Vol. 39, Pages 1-4, Frontiers Media SA, 2026.

  7. Guillermo Lopez-Garcia; Jose Miguel Acitores Cortina; Jacob Berkowitz; Joey Chan; Sumon Kanti Dey; Ivan Flores Amaro; Fernando Gallego; Lauren Gryboski; Ari Z Klein; Farnoush Zeidi Kolehparcheh15; others

    Overview of the 11th Social Media Mining for Health (# SMM4H) and Health Real-World Data (HeaRD) Shared Tasks at ACL 2026

    In: The 11th Social Media Mining for Health Research and Applications (SMM4H-HeaRD 2026) Workshop and Shared Tasks. Social Media Mining for Health Research and Applications Workshop (SMM4H-2026), Pages 1-10, ACL, 2026.

  8. Zeineb Sassi; Sascha Eickmann; Roland Roller; Bilgin Osmanodja; Jakob Joachim Spencker; Ömer Ege Ömerouglu; Aljoscha Burchardt; Michael Hahn; Peter Dabrock; Sebastian Möller; others

    Human-AI Interaction in Kidney Transplant Decision Support Systems: Qualitative Study of Patient and Support Person Expectations

    In: Journal of Medical Internet Research (JMIR), Vol. 28, Pages 1-13, JMIR Publications Toronto, Canada, 2026.

  9. Bilgin Osmanodja; Jakob Joachim Spencker; Ömer Ege Ömerouglu; Zeineb Sassi; Roland Roller; Sascha Vu-Eickmann; Hannah Thomas; Aljoscha Burchardt; Michael Hahn; Tabea Otten; others

    Randomized trial of electronic health record implemented AI risk prediction in kidney transplant care

    In: npj Digital Medicine, Vol. 9, No. 1, Pages 1-10, Nature Publishing Group UK London, 2026.

  10. MultiGraSCCo: A Multilingual Anonymization Benchmark with Annotations of Personal Identifiers

    In: Proceedings of the 15th Language Resources and Evaluation Conference (LREC). International Conference on Language Resources and Evaluation (LREC-2026), Pages 1-10, LREC, 2026.