Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4484

56 Team Members
Filters -> Year: 2025
161
TITLE: Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges
AUTHORS: Aubard, M; Madureira, A; Teixeira, L ; Pinto, J;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
162
TITLE: Sound Design for Electric Vehicles: Enhancing Safety and User Experience Through Acoustic Vehicle Alerting System (AVAS)
AUTHORS: Ana Raquel Rodrigues Ferraz Esteves; Eduardo Miguel Campos Magalhães; Gilberto Bernardes De Almeida ;
PUBLISHED: 2025, SOURCE: 2025 SAE Noise and Vibration Conference and Exhibition, NVC 2025 in SAE Technical Papers, VOLUME: 1
163
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
164
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659
165
TITLE: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
166
TITLE: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 505-517
167
TITLE: Survey about Teachers' Perspective on Software Testing Education
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
168
TITLE: Survey on machine learning applied to CNC milling processes
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
169
TITLE: Survival Analysis-Based System for Predictive Maintenance Optimization
AUTHORS: Beatriz Coutinho; Margarida Moreira; Eliseu Moura Pereira; Gil Gonçalves ;
PUBLISHED: 2025, SOURCE: SN Comput. Sci., VOLUME: 6, ISSUE: 7, PAGES: 766
170
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
171
TITLE: The Co-Design Process Behind CogniSpace: A Serious Game for Cognitive and Psychosocial Rehabiliation
AUTHORS: Eliana Silva; Carolina Figueira; Luís Paulo Reis ; Marta Parreira; Ana Ramos; Catarina Fernandes; Marta Reis; Sara Araújo Silva;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4
172
173
TITLE: Time Series Data Augmentation as an Imbalanced Learning Problem
AUTHORS: Cerqueira, Vitor ; Moniz, Nuno; Inacio, Ricardo; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 335-346
174
175
TITLE: Towards Utilizing Robust Radiance Fields for 3D Reconstruction of Breast Aesthetics
AUTHORS: Gonçalo Pinto; Mohammad Hossein Zolfagharnasab; Luís F Teixeira ; Helena Cruz; Maria João Cardoso; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: 2nd Deep Breast Workshop on Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care, Deep-Breath 2025, held in conjunction with the 28th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2025 in Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care - Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16142, PAGES: 279-288
176
TITLE: TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly
AUTHORS: Ferreira, Jose Pedro; Bispo, Joao ; Lima, Susana;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 71-83
177
TITLE: Unimodal Distributions for Ordinal Regression
AUTHORS: Jaime S Cardoso ; Ricardo P M Cruz ; Tomé Albuquerque ;
PUBLISHED: 2025, SOURCE: IEEE Trans. Artif. Intell., VOLUME: 6, ISSUE: 9, PAGES: 2498-2509
178
TITLE: Unsupervised contrastive analysis for anomaly detection in brain MRIs via conditional diffusion models
AUTHORS: Cristiano Patrício ; Carlo Alberto Barbano; Attilio Fiandrotti; Riccardo Renzulli; Marco Grangetto; Luís F Teixeira ; João C Neves;
PUBLISHED: 2025, SOURCE: Pattern Recognition Letters, VOLUME: 199, PAGES: 82-89
179
TITLE: User Behavior in Sports Search: Entity-Centric Query and Click Log Analysis
AUTHORS: João Damas; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence, PAGES: 276-288
180
TITLE: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTHORS: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.23696

Results per Page: 20.
Page 9 of 225. Total results: 4484.