Skip to main content Skip to main navigation

Publications

Displaying results 1461 to 1470 of 13867.
  1. BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  2. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  3. 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.

  4. Augmentation of Semantic Processes for Deep Learning Applications

    In: Applied Artificial Intelligence, Vol. 39, No. 1, Pages 1-48, Taylor & Francis, 2025.

  5. Jonas Wahl; Jakob Runge

    Separation-Based Distance Measures for Causal Graphs

    In: Proceedings of The 28th International Conference on Artificial Intelligence and Statistics. International Conference on Artificial Intelligence and Statistics (AISTATS-2025), May 3-5, Mai Khao, Thailand, Pages 3412-3420, PMLR, Vol. 258, Proceedings of Machine Learning Research, 2025.

  6. Rupert Richard Alexander Bourne; Maria Vittoria Cicinelli; David Antony Selby; Tabassom Sedighi; Ian H Tapply; Ian McCormick; Jost B Jonas; Mohammad H Abdianwall; Mukharram M Bikbov; Tasanee Braithwaite; Matthew J Burton; Vera Carneiro; Robert J Casson; Ching-Yu Cheng; Nathan G Congdon; Catherine Creuzot-Garcher; Leon B Ellwein; Mohammad Hassan Emamian; Akbar Fotouhi; Timothy R Fricke; David S Friedman; João M Furtado; Ronnie George; Noopur Gupta; Xiaotong Han; Hassan Hashemi; Mingguang He; Abba Hydara; Aiko Iwase; Gyulli Kazakbaeva; Rajiv B Khandekar; Rohit C Khanna; Fatima Kyari; Luisa C Luque; Srinivas Marmamula; Andreas Müller; Vinay Nangia; Kovin S Naidoo; Jacqueline Ramke; Paisan Ruamviboonsuk; Solange R Salomão; Hugh R Taylor; Yih C Tham; Fotis Topouzis; Rohit Varma; Lingam Vijaya; Ningli Wang; Ya Xing Wang; Tien Y Wong; Hua Yan; Seth R Flaxman; Stuart Keel; Serge Resnikoff; Wondu Alemayehu; Aries Arditi; Alessandro Arrigo; Mukharram M Bikbov; Rupert R A Bourne; Tasanee Braithwaite; Alain M Bron; Matthew Burton; Robert J Casson; Ching-Yu Cheng; Maria Vittoria Cicinelli; Nathan G Congdon; Reza Dana; Monte A Del Monte; jenny P deva; Mo Dirani; Laura Dreer; Joshua R Ehrlich; Leon B Ellwein; Arthur G Fernandes; Seth Flaxman; Tim R Fricke; David S Friedman; João M Furtado; Gus Gazzard; Ronnie George; Billy R Hammond; Mary Elizabeth Hartnett; April D Ingram; Jost B Jonas; Songhomitra Panda-Jonas; Rim Kahloun; John H Kempen; Moncef Khairallah; Rohit C Khanna; Judy E Kim; Van C Lansingh; Janet L Leasher; Nicolas Leveziel; Jennifer Lim; Hans LIMBURG; Julie-Anne Little; Ian McCormick; Alan R Morse; David C Musch; Kovin S Naidoo; Vinay Nangia; Michal Nowak; Maurizio Battaglia Parodi; Konrad Pesudovs; Tunde Peto; Jacqueline Ramke; Pradeep Y Ramulu; Serge Resnikoff; Alan L Robin; Luca Rossetti; Tabassom Sedighi; Janet B Serle; Tueng T Shen; Rita S. Sitorus; Dwight Stambolian; Nina Tahhan; Ian Tapply; Hugh R Taylor; Yih Chung Tham; Fotis Topouzis; Miltiadis K Tsilimbaris; Rohit Varma; Gianni Virgili; Ya Xing Wang; Ningli Wang; Sheila K West; Tien Y Wong; Roger Acevedo-Castellón; Heba AlSawahli; Hery Harimanitra Andriamanjato; Ahmad Ashraf Amalius; Rosario Barrenechea; Fernando Barria von Bisschoffshausen; Ileana Brea; Anthea M Burnett; Seiha Do; Joseph Enyegue oye; Robert P Finger; Marcelo Gallarreta; Aida Giloyan; Olivia OG Gomez; Pedro A Gomez-Bastar; Reeta Gurung; Esmael Habtamu; Levi Kandeke; Jefitha Karimurio; Moses K Kasadhakawo; Joseph L Kerkula; Susan SA Kikira; Sucheta Kulkarni; Van C Lansingh; Nor T Lepcha; Wanjiku C Mathenge; Jean-Aimé Mfungwa Kibala; Nahed Mikki; Sailesh Kumar Mishra; Furahini G Mndeme; Seyed Farzad Mohammadi; Manfred Mörchen; Nasiru Muhammad; János Németh; Joshua FA Owoeye; Yawo S Prempe; Muhammad Mansur Rabiu; Alice V Ramyil; Lutfah Rif'ati; Shalinder Sabherwal; Yuddha D Sapkota; Nicholas J Sargent; Tony O Ukety; Davaatseren Uranchimeg; Anselmo Jacinto Vilanculos; Joseph W Wachira; Min Wu; Biaxiang Xiao; Mariano Yee Melgar; Xiu Juan Zhang

    Effective refractive error coverage in adults: a systematic review and meta-analysis of updated estimates from population-based surveys in 76 countries modelling the path towards the 2030 global target

    In: The Lancet Global Health, Vol. 1, Pages 1-10, Elsevier Ltd, 2025.

  7. Jan Christoph Krause; Sebastian Röttgermann; Alexander Tauber; Jens Herbers; Stefan Menke; Mark Niemeyer; Lutz Plagge; Benedikt Thy; Hannes Hollmeier; Stefan Stiene; Joachim Hertzberg

    Field Trials and Evaluation Methods for Sensors used in Perception Systems for Autonomous Machinery with Respect to SOTIF

    In: LAND.TECHNIK AgEng 2024. International Conference on Agricultural Engineering (AgEng-2024), November 6-7, Osnabrück, VDI Verlag, 2024.

  8. Yassine El Kheir; Younes Samih; Suraj Maharjan; Tim Polzehl; Sebastian Möller

    Comprehensive Layer-wise Analysis of SSL Models for Audio Deepfake Detection

    In: Luis Chiruzzo; Alan Ritter; Lu Wang (Hrsg.). Findings of the Association for Computational Linguistics: NAACL 2025. Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics (NAACL-2025), April 29 - May 4, Albuquerque, USA, Pages 4070-4082, ISBN 979-8-89176-195-7, Association for Computational Linguistics, 4/2025.

  9. FitCF: A Framework for Automatic Feature Importance-guided Counterfactual Example Generation

    In: Mohammad Taher Pilehvar; Ekaterina Shutova; Wanxiang Che; Joyce Nabende (Hrsg.). Findings of the Association for Computational Linguistics: ACL 2025. Annual Meeting of the Association for Computational Linguistics (ACL-2025), The 63rd Annual Meeting of the Association for Computational Linguistics, located at ACL 2025 Findings, July 27 - August 1, Vienna, Austria, Association for Computational Linguistics, 2025.

  10. Thorsten Krause; Lorena Göritz; Robin Gratz

    The Effect of Gender De-biased Recommendations — A User Study on Gender-specific Preferences

    In: CHI '25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2025), Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, April 26 - May 1, Yokohama, Japan, Pages 1-16, No. 1000, ISBN 9798400713941, Association for Computing Machinery, New York, NY, USA, 5/2025.