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

AuthID: I-000-0K9


Publications Count: 4619

61 Team Members
Filters -> Year: 2026
2241
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PAGES: 906-920
2242
TITLE: A Comparative Study of Meta-Heuristics for the Aircraft Landing Scheduling Problem
AUTHORS: Alvaro Camara; Rubio, TRPM ; Daniel Castro Silva ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
2243
TITLE: A comparative study of meta-heuristics for the aircraft landing scheduling problem
AUTHORS: Câmara, A; Rubio, TRPM; Silva, DC; Oliveira, E ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2016-July
2244
TITLE: A Computer-Vision Approach to Traffic Analysis Over Intersections
AUTHORS: Lira, G; Kokkinogenis, Z ; Rossetti, RJF ; Moura, DC; Rubio, TRPM ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 47-53
2245
TITLE: A Data Mining Approach to Predict Falls in Humanoid Robot Locomotion
AUTHORS: André, J; Faria, BM ; Santos, C ; Reis, LP ;
PUBLISHED: 2016, SOURCE: 2nd Iberian Robotics Conference (ROBOT) in ROBOT 2015: SECOND IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 418, PAGES: 273-285
2246
2247
TITLE: A design and simulation of a Brazilian Bid Based Short-Term Electricity Market
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2016, SOURCE: 13th International Conference on the European Energy Market (EEM) in 2016 13TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2016-July
2248
TITLE: A Facility Layout Planner Tool Based on Genetic Algorithms
AUTHORS: Rui Pinto ; Gonçalves, J; Cardoso, HL ; Oliveira, E ; Gil Gonçalves ; Carvalho, B;
PUBLISHED: 2016, SOURCE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in PROCEEDINGS OF 2016 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), PAGES: 1-8
2249
TITLE: A Framework for Automatic Debugging of Functional and Degradation Failures
AUTHORS: Cardoso, N ; Abreu, R ; Feldman, A; de Kleer, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PAGES: 569-576
2250
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ; Lourenço, C ;
PUBLISHED: 2016, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PAGES: 4491-4496
2251
TITLE: A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory
AUTHORS: Rui Abreu ; César Andrés; Ana R Cavalli;
PUBLISHED: 2016, SOURCE: 11th International Conference on Risks and Security of Internet and Systems, CRISIS 2016 in Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, VOLUME: 10158, PAGES: 169-182
2252
TITLE: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTHORS: Nobre, R ; Martins, LGA; Cardoso, JMP ;
PUBLISHED: 2016, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 5, PAGES: 21-30
2253
TITLE: A model for analyzing performance problems and root causes in the personal software process
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, ISSUE: 4, PAGES: 254-271
2254
TITLE: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PAGES: 199-208
2255
TITLE: A multi-level tonal interval space for modelling pitch relatedness and musical consonance
AUTHORS: Bernardes, G ; Cocharro, D ; Caetano, M ; Guedes, C ; Davies, MEP ;
PUBLISHED: 2016, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, VOLUME: 45, ISSUE: 4, PAGES: 281-294
2256
TITLE: A Pipelined Multi-softcore Approach for the HOG Algorithm
AUTHORS: de Holanda, JAM; Cardoso, JMP ; Marques, E;
PUBLISHED: 2016, SOURCE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PAGES: 146-153
2257
TITLE: A Requirements-to-Implementation Mapping Tool for Requirements Traceability
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: J. Softw., VOLUME: 11, ISSUE: 2, PAGES: 193-200
2258
TITLE: A review of scalability and topological stability issues in IEEE 802.11s wireless mesh networks deployments
AUTHORS: Sampaio, S ; Souto, P ; Vasques, F ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 29, ISSUE: 4, PAGES: 671-693
2259
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99
2260
TITLE: A Study on Cloud Cost Efficiency by Exploiting Idle Billing Period Fractions
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2016, SOURCE: IEEE International Conference on Cloud Engineering (IC2E) in 2016 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING WORKSHOP (IC2EW), PAGES: 138-143

Results per Page: 20.
Page 113 of 231. Total results: 4619.