Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 14486.
  1. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  2. Mohammad Reza Heidari Iman; Rolf Drechsler; Chandan Jha; Ali Azarpeyvand; Tara Ghasempouri; Sharjeel Imtiaz; Jaan Raik; Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli; Giorgio Di Natale

    Application of Functional Verification Techniques in Hardware Trust

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  3. RegDiff: Regression Diffusion for Earth Observation

    IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2025), August 3-8, Brisbane, Australia, IEEE, 8/2025.

  4. Informed Learning for efficient Crop Yield Prediction

    IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2025), August 3-8, Brisbane, Australia, IEEE, 2025.

  5. Performance Gains in Quantum SAT Solvers Using ESOP Encoding

    In: Proceedings of the Workshop on Formal Methods in Quantum Computing (FMQC 2025). Workshop on Formal Methods in Quantum Computing (FMQC-2025), located at CONFEST 2025, August 25, Aarhus, Denmark, 2025.

  6. Fast and Scalable MAGIC-Based Wallace Tree Multiplier for In-Memory Computing

    In: Proceedings of the 2025 IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC). IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC-2025), October 8-10, Dresden, Germany, IEEE, 2025.

  7. Jose Giraldo; Alex Peiró-Lilja; Carme Armentano-Oller; Rodolfo Zevallos; Cristina España-Bonet

    Evaluating Speech Enhancement Performance Across Demographics and Language

    In: Interspeech 2025. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2025), Rotterdam, Netherlands, Pages 1353-1357, Interspeech, 2025.

  8. Roland Roller; Michael Hahn; Ajay Madhavan Ravichandran; Bilgin Osmanodja; Florian Oetke; Zeineb Sassi; Aljoscha Burchardt; Klaus Netter; Klemens Budde; Anne Herrmann; Tobias Strapatsas; Peter Dabrock; Sebastian Möller

    One Size Fits None: Rethinking Fairness in Medical AI

    In: Proceedings of the 6th Workshop on Gender Bias in Natural Language Processing (GeBNLP). Workshop on Gender Bias in Natural Language Processing (GeBNLP-2025), located at ACL 2025, August 1, VIenna, Austria, Pages 282-289, ISBN 979-8-89176-277-0, ACL, 8/2025.

  9. SciVQA 2025: Overview of the First Scientific Visual Question Answering Shared Task

    In: Tirthankar Ghosal; Philipp Mayr; Amanpreet Singh; Aakanksha Naik; Georg Rehm; Dayne Freitag; Dan Li; Sonja Schimmler; Anita De Waard (Hrsg.). Proceedings of the Fifth Workshop on Scholarly Document Processing (SDP 2025). Annual Meeting of the Association for Computational Linguistics (ACL), located at ACL 2025, Vienna, Austria, Pages 182-210, ISBN 979-8-89176-265-7, Association for Computational Linguistics, 2025.

  10. Abdelrhman Bassiouny; Ahmed H. Elsayed; Zoe Falomir; Angel P. del Pobil

    UJI-Butler: A Symbolic/Non-symbolic Robotic System that Learns Through Multi-modal Interaction

    In: International Journal of Social Robotics, Vol. 17, No. -, Pages 2883-2903, Springer, 3/2025.