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

AuthID: I-000-0K9


Publications Count: 3918

48 Team Members
Filters -> Year: 2025
101
TÍTULO: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PÁGINAS: 138-142
102
TÍTULO: Leveraging Physics-Informed Neural Networks as Solar Wind Forecasting Models
AUTORES: Nuno Costa; Filipa S Barros; João J G Lima ; Rui F Pinto; André Restivo ;
PUBLICAÇÃO: 2024, FONTE: 32nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2024, Bruges, Belgium, October 9-11, 2024, PÁGINAS: 425-430
103
TÍTULO: LINKING GREAT PARTNERS FOR ENTREPRENEURSHIP EDUCATION
AUTORES: Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: INTED Proceedings - INTED2024 Proceedings
104
TÍTULO: LITERATURE REVIEW ON THE APPLICATION OF ENTRECOMP FRAMEWORK IN UNIVERSITY SETTINGS
AUTORES: Elizaveta Osipovskaya; António Coelho ; Péter Tasi;
PUBLICAÇÃO: 2024, FONTE: EDULEARN Proceedings - EDULEARN24 Proceedings
105
TÍTULO: Live software documentation of design pattern instances
AUTORES: Lemos, Filipe; Correia, Filipe F. ; Aguiar, Ademar ; Queiroz, Paulo G. G. ;
PUBLICAÇÃO: 2024, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 10
106
TÍTULO: Logging design patterns for cloud-native applications
AUTORES: Carlos Albuquerque; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 29th European Conference on Pattern Languages of Programs, People, and Practices, EuroPLoP 2024, Irsee, Germany, July 3-7, 2024, PÁGINAS: 17:1-17:11
107
TÍTULO: Machine Learning Data Market Based on Multiagent Systems
AUTORES: Baghcheband, Hajar; Soares, Carlos ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2024, FONTE: IEEE INTERNET COMPUTING, VOLUME: 28, NÚMERO: 4, PÁGINAS: 7-13
108
TÍTULO: Map-matching methods in agriculture
AUTORES: Silva, Anibal; Mendes Moreira, Joao ; Ferreira, Carlos ; Costa, Nuno; Dias, Duarte ;
PUBLICAÇÃO: 2024, FONTE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 216, PÁGINAS: 108529
109
TÍTULO: Markerless Multi-view 3D Human Pose Estimation: a survey
AUTORES: Ana Filipa Rodrigues Nogueira; Hélder P Oliveira ; Luis F. Teixeira ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.03817
110
TÍTULO: Melanoma prevention using an augmented reality-based serious game
AUTORES: Ribeiro, Nuno; Tavares, Pedro; Ferreira, Catarina; Coelho, Antonio ;
PUBLICAÇÃO: 2024, FONTE: PATIENT EDUCATION AND COUNSELING, VOLUME: 123, PÁGINAS: 108226
111
TÍTULO: Message from the General Co-Chairs: International Conference on Software Engineering (ICSE) 2024
AUTORES: Ana R Paiva ; Rui Abreu;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings - International Conference on Software Engineering
112
TÍTULO: Meta-learning and Data Augmentation for Stress Testing Forecasting Models
AUTORES: Ricardo Inácio; Vítor Cerqueira; Marília Barandas; Carlos Soares ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2406.17008
113
TÍTULO: Modal Pitch Space: A Computational Model of Melodic Pitch Attraction in Folk Music
AUTORES: Bernardes, Gilberto ; Carvalho, Nadia;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 183-194
114
TÍTULO: Multi-Agent Reinforcement Learning for Side-by-Side Navigation of Autonomous Wheelchairs
AUTORES: Fonseca, Tiago; Leao, Goncalo; Ferreira, Luis Lino; Sousa, A. ; Severino, Ricardo; Reis, Luis Paulo ;
PUBLICAÇÃO: 2024, FONTE: International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2024 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PÁGINAS: 138-143
115
TÍTULO: Multi-Objective Optimization of Consumer Group Autoscaling in Message Broker Systems
AUTORES: Diogo Landau; Nishant Saurabh; Xavier Andrade; Jorge G Barbosa ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.06085
116
TÍTULO: Multidimensional subgroup discovery on event logs
AUTORES: Ribeiro, J. ; Fontes, T. ; Soares, C. ; Borges, J. L. ;
PUBLICAÇÃO: 2024, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 246, PÁGINAS: 123205
117
TÍTULO: Multimodal PointPillars for Efficient Object Detection in Autonomous Vehicles
AUTORES: Margarida Oliveira; Ricardo Cerqueira; Joao Ribeiro Pinto ; Joaquim Fonseca; Luis F. Teixeira ;
PUBLICAÇÃO: 2024, FONTE: IEEE Transactions on Intelligent Vehicles, PÁGINAS: 1-11
118
TÍTULO: Neural Networks for Surrogate Models of the Corona and Solar Wind
AUTORES: Filipa S. Barros ; João José Graça Lima; Rui F. Pinto; André Restivo ;
PUBLICAÇÃO: 2024
119
TÍTULO: Normalized strength-degree centrality: identifying influential spreaders for weighted network
AUTORES: Sadhu, Srestha; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLICAÇÃO: 2024, FONTE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 14, NÚMERO: 1
120
TÍTULO: On the Suitability of B-cos Networks for the Medical Domain
AUTORES: Isabel Rio Torto ; Tiago Gonçalves ; Jaime S Cardoso ; Luis F. Teixeira ;
PUBLICAÇÃO: 2024, FONTE: IEEE International Symposium on Biomedical Imaging, ISBI 2024, Athens, Greece, May 27-30, 2024, PÁGINAS: 1-5

Results per Page: 20.
Página 6 de 196. Total de resultados: 3918.