Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4144
50 Team MembersFilters -> Year: 2025
1641
TÃTULO: An Agent-Based Approach for the Dynamic and Decentralized Service Reconfiguration in Collaborative Production Scenarios
AUTORES: Nelson Rodrigues; Paulo Leitao ; Eugenio Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS) in INDUSTRIAL APPLICATIONS OF HOLONIC AND MULTI-AGENT SYSTEMS, VOLUME: 10444, PÁGINAS: 140-154
AUTORES: Nelson Rodrigues; Paulo Leitao ; Eugenio Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS) in INDUSTRIAL APPLICATIONS OF HOLONIC AND MULTI-AGENT SYSTEMS, VOLUME: 10444, PÁGINAS: 140-154
1642
TÃTULO: An Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation
AUTORES: José Campos ; Yan Ge; Gordon Fraser; Marcelo Eler; Andrea Arcuri;
PUBLICAÇÃO: 2017, FONTE: Search Based Software Engineering - Lecture Notes in Computer Science, PÁGINAS: 33-48
AUTORES: José Campos ; Yan Ge; Gordon Fraser; Marcelo Eler; Andrea Arcuri;
PUBLICAÇÃO: 2017, FONTE: Search Based Software Engineering - Lecture Notes in Computer Science, PÁGINAS: 33-48
1643
TÃTULO: An ideal IoT solution for real-time web monitoring
AUTORES: Pedro Diogo; Nuno Vasco Lopes; Luis Paulo Reis ;
PUBLICAÇÃO: 2017, FONTE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, NÚMERO: 3, PÁGINAS: 2193-2209
AUTORES: Pedro Diogo; Nuno Vasco Lopes; Luis Paulo Reis ;
PUBLICAÇÃO: 2017, FONTE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, NÚMERO: 3, PÁGINAS: 2193-2209
1644
TÃTULO: An Incremental Approach to Testing AOP
AUTORES: André Restivo ; Ademar Aguiar ; Ana Moreira;
PUBLICAÇÃO: 2017, FONTE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PÁGINAS: 309-331
AUTORES: André Restivo ; Ademar Aguiar ; Ana Moreira;
PUBLICAÇÃO: 2017, FONTE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PÁGINAS: 309-331
1645
TÃTULO: Analysis of Data Science Tools for Sensor-Based Assessment of Quality of Life in Health Care
AUTORES: Urbano, J; Nogueira, P; Rocha, AP ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 569, PÁGINAS: 446-455
AUTORES: Urbano, J; Nogueira, P; Rocha, AP ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 569, PÁGINAS: 446-455
1646
TÃTULO: Applying an Extended Kernel Density 4-Step Floating Catchment Area Method to Identify Priority Districts to Promote New Publicly Financed Supply of Gastroenterology Exams
AUTORES: Pierre Polzin; José Borges ; António Coelho ;
PUBLICAÇÃO: 2017, FONTE: Journal of Management and Sustainability, VOLUME: 7, NÚMERO: 1, PÁGINAS: 1
AUTORES: Pierre Polzin; José Borges ; António Coelho ;
PUBLICAÇÃO: 2017, FONTE: Journal of Management and Sustainability, VOLUME: 7, NÚMERO: 1, PÁGINAS: 1
1647
TÃTULO: Arbitrated Ensemble for Solar Radiation Forecasting
AUTORES: Vitor Cerqueira ; Luis Torgo ; Carlos Soares ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I, VOLUME: 10305, PÁGINAS: 720-732
AUTORES: Vitor Cerqueira ; Luis Torgo ; Carlos Soares ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I, VOLUME: 10305, PÁGINAS: 720-732
1648
TÃTULO: Arbitrated Ensemble for Time Series Forecasting
AUTORES: Vitor Cerqueira ; Luis Torgo ; Faboi Pinto; Carlos Soares ;
PUBLICAÇÃO: 2017, 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 2017, PT II, VOLUME: 10535, PÁGINAS: 478-494
AUTORES: Vitor Cerqueira ; Luis Torgo ; Faboi Pinto; Carlos Soares ;
PUBLICAÇÃO: 2017, 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 2017, PT II, VOLUME: 10535, PÁGINAS: 478-494
1649
TÃTULO: Argumentation in the Re-accommodation of Airline Passengers Using Mobile Devices
AUTORES: Jorge Lima; Ana Paula Rocha ; António J M Castro ;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings, VOLUME: 722, PÁGINAS: 16-27
AUTORES: Jorge Lima; Ana Paula Rocha ; António J M Castro ;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings, VOLUME: 722, PÁGINAS: 16-27
1650
TÃTULO: As Secure as Possible Eventual Consistency. Work in Progress
AUTORES: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 5:1-5:5
AUTORES: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 5:1-5:5
1651
TÃTULO: Audio Guides and Human Tour Guides: Measuring Children's Engagement & Learning at a Museum Setting
AUTORES: Vanessa Cesário; António Coelho ; Valentina Nisi;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Doctoral Consortium, Posters and Demos at CHItaly 2017 co-located with 12th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2017), Cagliari, Italy, September 18-20, 2017., VOLUME: 1910, PÁGINAS: 133-137
AUTORES: Vanessa Cesário; António Coelho ; Valentina Nisi;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Doctoral Consortium, Posters and Demos at CHItaly 2017 co-located with 12th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2017), Cagliari, Italy, September 18-20, 2017., VOLUME: 1910, PÁGINAS: 133-137
1652
TÃTULO: autoBagging: Learning to Rank Bagging Workflows with Metalearning
AUTORES: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLICAÇÃO: 2017, FONTE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PÁGINAS: 21-27
AUTORES: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLICAÇÃO: 2017, FONTE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PÁGINAS: 21-27
1653
TÃTULO: AUTOMATIC MUSICAL KEY ESTIMATION WITH ADAPTIVE MODE BIAS
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PÁGINAS: 316-320
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PÁGINAS: 316-320
1654
TÃTULO: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTORES: Nima Shafii; Farias, PCMA; Ivo Sousa; Heber Sobreira ; Luis Paulo Reis ; Antonio Paulo Moreira ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 473-485
AUTORES: Nima Shafii; Farias, PCMA; Ivo Sousa; Heber Sobreira ; Luis Paulo Reis ; Antonio Paulo Moreira ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 473-485
1655
TÃTULO: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTORES: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 4:1-4:3
AUTORES: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 4:1-4:3
1656
TÃTULO: Bulding ontologies with ontoforinfoscience methodology: A detailed approach to the activiyies of ontology development [Construindo ontologias com a metodologia ontoforinfoscience: Uma abordagem detalhada das atividades do desenvolvimento ontológico] [Construyendo ontologías con la metodología ontoforinfoscience: Un enfoque detallado de las actividades del desarrollo ontológico]
AUTORES: Mendonça, FM; Soares, AL ;
PUBLICAÇÃO: 2017, FONTE: Ciencia da Informacao, VOLUME: 46, NÚMERO: 1, PÁGINAS: 43-59
AUTORES: Mendonça, FM; Soares, AL ;
PUBLICAÇÃO: 2017, FONTE: Ciencia da Informacao, VOLUME: 46, NÚMERO: 1, PÁGINAS: 43-59
1657
TÃTULO: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
1658
TÃTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
1659
TÃTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PÁGINAS: 407-421
1660
TÃTULO: Characterizing Geo-located Tweets in Brazilian Megacities
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981