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

AuthID: I-000-0K9


Publications Count: 3973

49 Team Members
Filters -> Year: 2025
961
TÍTULO: Test case generation based on mutations over user execution traces
AUTORES: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1173-1186
962
TÍTULO: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTORES: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
963
TÍTULO: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTORES: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLICAÇÃO: 2020, FONTE: Frontiers Big Data, VOLUME: 3, PÁGINAS: 22
964
TÍTULO: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTORES: Daniel Pinho; Ademar Aguiar ;
PUBLICAÇÃO: 2020, FONTE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PÁGINAS: 30:1-30:9
965
TÍTULO: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTORES: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLICAÇÃO: 2020, FONTE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PÁGINAS: 362-372
966
TÍTULO: The ProcessPAIR Method for Automated Software Process Performance Analysis
AUTORES: Raza, M; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 141569-141583
967
TÍTULO: TIMAIRIS: Autonomous Blank Feeding for Packaging Machines
AUTORES: Eurico F Pedrosa; Gi Hyun Lim; Filipe Amaral; Artur Pereira; Bernardo Cunha; José Luís Azevedo; Paulo Dias; Ricardo Dias; Luís Paulo Reis ; Nima Shafii; Andrea Tudico; Claudio Mazzotti; Marco Carricato; Simone Badini; Dario Rea; Nuno Lau ;
PUBLICAÇÃO: 2020, FONTE: Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users - The Experience of the European Robotics Challenges, VOLUME: 136, PÁGINAS: 153-186
968
TÍTULO: TIV.lib: an open-source library for the tonal description of musical audio
AUTORES: António Ramires; Gilberto Bernardes ; Matthew E P Davies ; Xavier Serra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.11529, PÁGINAS: 304-309
969
TÍTULO: Towards Predicting Pedestrian Paths: Identifying Surroundings from Monocular Video
AUTORES: José Aleixo Cruz; Rubio, TRPM; Jacob, J ; Daniel Garrido; Henrique Lopes Cardoso ; Daniel Castro Silva ; Rui Rodrigues ;
PUBLICAÇÃO: 2020, FONTE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PÁGINAS: 594-601
970
TÍTULO: Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (1), VOLUME: 1159
971
TÍTULO: Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (2), VOLUME: 1160
972
TÍTULO: Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLICAÇÃO: 2020, FONTE: WorldCIST (3), VOLUME: 1161
973
TÍTULO: Underground Train Tracking using Mobile Phone Accelerometer Data
AUTORES: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLICAÇÃO: 2020, FONTE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1-6
974
TÍTULO: Understanding the decisions of CNNs: An in-model approach
AUTORES: Rio Torto, I ; Fernandes, K; Luis F. Teixeira ;
PUBLICAÇÃO: 2020, FONTE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PÁGINAS: 373-380
975
TÍTULO: Understanding the Impact of Artificial Intelligence on Services
AUTORES: Ferreira, P; Teixeira, JG ; Luis F. Teixeira ;
PUBLICAÇÃO: 2020, FONTE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PÁGINAS: 202-213
976
TÍTULO: UnFOOT: Unsupervised Football Analytics Tool
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2020, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT III, VOLUME: 11908, PÁGINAS: 786-789
977
TÍTULO: Using autoencoders as a weight initialization method on deep neural networks for disease detection
AUTORES: Ferreira, MF ; Camacho, R ; Luis F. Teixeira ;
PUBLICAÇÃO: 2020, FONTE: 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) / Session on Machine Learning in Healthcare Informatics and Medical Biology in BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 20, NÚMERO: 5, PÁGINAS: 141
978
TÍTULO: Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PÁGINAS: 318-334
979
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
980
TÍTULO: Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254

Results per Page: 20.
Página 49 de 199. Total de resultados: 3973.