Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3964
49 Team MembersFilters -> Year: 2025
841
TÃTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
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: 61-77
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
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: 61-77
842
TÃTULO: Experimenting with Liveness in Cloud Infrastructure Management
AUTORES: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 58-82
AUTORES: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 58-82
843
TÃTULO: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture
AUTORES: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLICAÇÃO: 2020, FONTE: ELECTRONICS, VOLUME: 9, NÚMERO: 5, PÁGINAS: 843
AUTORES: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLICAÇÃO: 2020, FONTE: ELECTRONICS, VOLUME: 9, NÚMERO: 5, PÁGINAS: 843
844
TÃTULO: Exploring communication protocols and centralized critics in multi-agent deep learning
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 27, NÚMERO: 4, PÁGINAS: 333-351
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: INTEGRATED COMPUTER-AIDED ENGINEERING, VOLUME: 27, NÚMERO: 4, PÁGINAS: 333-351
845
TÃTULO: Exploring NLP and Information Extraction to Jointly Address Question Generation and Answering
AUTORES: Pedro Azevedo; Bernardo Leite; Henrique Lopes Cardoso ; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020 in Artificial Intelligence Applications and Innovations - 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II, VOLUME: 584, PÁGINAS: 396-407
AUTORES: Pedro Azevedo; Bernardo Leite; Henrique Lopes Cardoso ; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020 in Artificial Intelligence Applications and Innovations - 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II, VOLUME: 584, PÁGINAS: 396-407
846
TÃTULO: Factors influencing the intention of managers to adopt collaborative robots (cobots) in manufacturing organizations
AUTORES: Ana Correia Simoes ; Antonio Lucas Soares ; Ana Cristina Barros ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ENGINEERING AND TECHNOLOGY MANAGEMENT, VOLUME: 57, PÁGINAS: 101574
AUTORES: Ana Correia Simoes ; Antonio Lucas Soares ; Ana Cristina Barros ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ENGINEERING AND TECHNOLOGY MANAGEMENT, VOLUME: 57, PÁGINAS: 101574
847
TÃTULO: Factual Question Generation for the Portuguese Language
AUTORES: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: 2020 International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020 in International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020, Novi Sad, Serbia, August 24-26, 2020, PÁGINAS: 1-7
AUTORES: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: 2020 International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020 in International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020, Novi Sad, Serbia, August 24-26, 2020, PÁGINAS: 1-7
848
TÃTULO: Fammeal: A Gamified Mobile Application for Parents and Children to Help Healthcare Centers Treat Childhood Obesity
AUTORES: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, NÚMERO: 4, PÁGINAS: 351-360
AUTORES: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, NÚMERO: 4, PÁGINAS: 351-360
849
TÃTULO: Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles
AUTORES: Daniel Garrido; Leonardo Ferreira; Jacob, J ; Daniel Castro Silva ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I, VOLUME: 12137, PÁGINAS: 471-485
AUTORES: Daniel Garrido; Leonardo Ferreira; Jacob, J ; Daniel Castro Silva ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I, VOLUME: 12137, PÁGINAS: 471-485
850
TÃTULO: FILLET - Platform for Intelligent Nutrition
AUTORES: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLICAÇÃO: 2020, FONTE: 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020 in 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020, Antalya, Turkey, November 2-5, 2020, VOLUME: 2020-November, PÁGINAS: 1-8
AUTORES: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLICAÇÃO: 2020, FONTE: 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020 in 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020, Antalya, Turkey, November 2-5, 2020, VOLUME: 2020-November, PÁGINAS: 1-8
851
TÃTULO: Filling Missing Values in Spatial-temporal Data Collected from Traffic Sensors
AUTORES: Fábio Oliveira; Ana Paula Rocha ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
AUTORES: Fábio Oliveira; Ana Paula Rocha ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
852
TÃTULO: Formative Assessment and Digital Tools in a School Context
AUTORES: Sandra Paiva; Luís Paulo Reis ; Lia Raquel;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PÁGINAS: 271-283
AUTORES: Sandra Paiva; Luís Paulo Reis ; Lia Raquel;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PÁGINAS: 271-283
853
TÃTULO: Forming intersectoral partnerships for social innovation in Portugal [O processo de formação de parcerias intersetoriais em iniciativas de inovação social em Portugal]
AUTORES: Borges, MA; Dandolini, GA; Soares, AL ;
PUBLICAÇÃO: 2020, FONTE: Analise Social, VOLUME: 55, NÚMERO: 234, PÁGINAS: 118-143
AUTORES: Borges, MA; Dandolini, GA; Soares, AL ;
PUBLICAÇÃO: 2020, FONTE: Analise Social, VOLUME: 55, NÚMERO: 234, PÁGINAS: 118-143
854
TÃTULO: Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach
AUTORES: Torres, MF ; Flores, N ; Torres, RT;
PUBLICAÇÃO: 2020, FONTE: Journal of Innovation Management, VOLUME: 8, NÚMERO: 1, PÁGINAS: 20-38
AUTORES: Torres, MF ; Flores, N ; Torres, RT;
PUBLICAÇÃO: 2020, FONTE: Journal of Innovation Management, VOLUME: 8, NÚMERO: 1, PÁGINAS: 20-38
855
TÃTULO: Fraunhofer AICOS at CLEF eHealth 2020 Task 1: Clinical Code Extraction From Textual Data Using Fine-Tuned BERT Models
AUTORES: João Costa; Inês Lopes; André Carreiro; David Ribeiro; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020., VOLUME: 2696
AUTORES: João Costa; Inês Lopes; André Carreiro; David Ribeiro; Carlos Soares ;
PUBLICAÇÃO: 2020, FONTE: Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020., VOLUME: 2696
856
TÃTULO: From Reinforcement Learning Towards Artificial General Intelligence
AUTORES: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PÁGINAS: 401-413
AUTORES: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PÁGINAS: 401-413
857
TÃTULO: From Requirements to Automated Acceptance Tests with the RSL Language
AUTORES: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 39-57
AUTORES: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 39-57
858
TÃTULO: Fundão, Portugal: Using STEM Education to Help Build a New ICT Technopolis
AUTORES: Aguiar, A ; Pereira, S;
PUBLICAÇÃO: 2020, FONTE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PÁGINAS: 189-202
AUTORES: Aguiar, A ; Pereira, S;
PUBLICAÇÃO: 2020, FONTE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PÁGINAS: 189-202
859
TÃTULO: Gamifying the Museological Experience
AUTORES: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz; José Raimundo;
PUBLICAÇÃO: 2020, FONTE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PÁGINAS: 5-8
AUTORES: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz; José Raimundo;
PUBLICAÇÃO: 2020, FONTE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PÁGINAS: 5-8
860
TÃTULO: Gastric Microbiome Diversities in Gastric Cancer Patients from Europe and Asia Mimic the Human Population Structure and Are Partly Driven by Microbiome Quantitative Trait Loci
AUTORES: Bruno Cavadas; Rui Camacho ; Joana C Ferreira; Rui M Ferreira; Ceu Figueiredo ; Alvis Brazma; Nuno A Fonseca ; Luisa Pereira;
PUBLICAÇÃO: 2020, FONTE: MICROORGANISMS, VOLUME: 8, NÚMERO: 8, PÁGINAS: 1-15
AUTORES: Bruno Cavadas; Rui Camacho ; Joana C Ferreira; Rui M Ferreira; Ceu Figueiredo ; Alvis Brazma; Nuno A Fonseca ; Luisa Pereira;
PUBLICAÇÃO: 2020, FONTE: MICROORGANISMS, VOLUME: 8, NÚMERO: 8, PÁGINAS: 1-15