Skip to main content Skip to main navigation

Publications

Displaying results 951 to 960 of 13866.
  1. Yilong Zang; Lingfei Ren; Yue Li; Zhikang Wang; David Antony Selby; Zheng Wang; Sebastian Vollmer; Hongzhi Yin; Jiangning Song; Junhang Wu

    Rethinking Cancer Gene Identification through Graph Anomaly Analysis

    In: The 39th Annual AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2025), 39th, February 25 - March 4, Philadelphia, PA, USA, Association for the Advancement of Artificial Intelligence, 2025.

  2. Had enough of experts? Elicitation and evaluation of Bayesian priors from large language models

    In: NeurIPS 2024 Workshop on Bayesian Decision-making and Uncertainty. Neural Information Processing Systems (NeurIPS-2024), Workshop on Bayesian Decision-making and Uncertainty, located at NeuIPS-2024, December 14, Vancouver, BC, Canada, NeurIps Foundation, 2024.

  3. AIDEN: Automatic Speaker Notes Creation and Navigation for Enhancing Online Learning Experience.

    In: Recent Advanced in Natural Language Processing. International Conference on Recent Advances in Natural Language Processing (RANLP-2025), September 8-10, Varna, Bulgaria, Association for Computational Linguistics, 9/2025.

  4. Do LLMs fail in bridging generation?

    In: Ngoc Duyen Tanja Tu; Annelen Brunner; Christian Lang (Hrsg.). Journal for Language Technology and Computational Linguistics (JLCL), Vol. 38, No. 2, Pages 77-95, ACL Anthology, 7/2025.

  5. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Maria Caropresse; Gillian Lovel; Daniel A Porto; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    SAT: Segment and Track Anything for Microscopy

    In: 17th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2025), February 23-25, Porto, Portugal, SCITEPRESS Digital Library, 2/2025.

  6. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Gillian Lovel; Daniel A Porto; Biana Migliori; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    Box it and Track it: A Weakly Supervised Framework for Cell Tracking

    In: DAGM German Conference on Pattern Recognition, Freiburg. Annual Symposium of the German Association for Pattern Recognition (DAGM-2025), September 24-26, Freiburg, Germany, Springer Nature, 2025.

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

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

  8. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  9. A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  10. Martha Schnieber; Rolf Drechsler

    Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.