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

AuthID: I-000-0K9


Publications Count: 4510

56 Team Members
Filters -> Year: 2026
1741
TITLE: Formal verification of a domain specific language for run-time adaptation
AUTHORS: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: 12th Annual IEEE International Systems Conference, SysCon 2018 in 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, PAGES: 1-8
1742
TITLE: FTMES: A Failed-Test-Oriented Mutant Execution Strategy for Mutation- based Fault Localization
AUTHORS: de Oliveira, AAL; Camilo, CG; Freitas, END; VINCENZI, AURI M. R. ;
PUBLISHED: 2018, SOURCE: 2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2018-October, PAGES: 155-165
1743
TITLE: FTScMES: A New Mutation Execution Strategy Based on Failed Tests' Mutation Score for Fault Localization
AUTHORS: André Assis Lôbo de Oliveira; Celso G Camilo Junior; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLISHED: 2018, SOURCE: Computer and Information Sciences - 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings, VOLUME: 935, PAGES: 177-187
1744
TITLE: Gait events detector for transtibial prosthesis
AUTHORS: Ferreira, C; Reis, LP ; Santos, CP ;
PUBLISHED: 2018, SOURCE: 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017 in Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 685-692
1745
TITLE: Generalized selections for direct control in procedural buildings
AUTHORS: Jesus, D; Patow, G; Coelho, A ; Sousa, AA ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 72, PAGES: 106-121
1746
TITLE: Generalizing Knowledge in Decentralized Rule-Based Models
AUTHORS: Pedro Strecht ; João Mendes Moreira ; Carlos Soares ;
PUBLISHED: 2018, SOURCE: Workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018 in ECML PKDD 2018 Workshops - DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, Revised Selected Papers, VOLUME: 967, PAGES: 29-36
1747
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PAGES: 492-504
1748
TITLE: Graphical Simulation of Clinical Scenarios for Medical Training
AUTHORS: Diana Pinto; Joao Costa; Rui Nobrega ; Hugo da Silva; Antonio Coelho ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
1749
TITLE: GreenSoftwareLab: Towards an Engineering Discipline for Green Software
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
1750
TITLE: Growing Smart Cities on an Open-Data-Centric Cyber-Physical Platform
AUTHORS: José Pedro Pinto; João Pedro Dias ; Rosaldo J F Rossetti ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-6
1751
TITLE: Guided Deep Reinforcement Learning in the GeoFriends2 Environment
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in Proceedings of the International Joint Conference on Neural Networks, VOLUME: 2018-July
1752
TITLE: Guided Deep Reinforcement Learning in the GeoFriends2 Environment
AUTHORS: David Apolinário Simões; Nuno Lau; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, July 8-13, 2018, PAGES: 1-7
1753
TITLE: HealthTalks - A Mobile App to Improve Health Communication and Personal Information Management
AUTHORS: Monteiro, JM ; Lopes, CT ;
PUBLISHED: 2018, SOURCE: 3rd ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'18: PROCEEDINGS OF THE 2018 CONFERENCE ON HUMAN INFORMATION INTERACTION & RETRIEVAL, VOLUME: 2018-March, PAGES: 329-332
1754
TITLE: High-level learning, interaction and cooperation for humanoid robots
AUTHORS: Reis, LP ;
PUBLISHED: 2018, SOURCE: 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017 in Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 4
1755
TITLE: Human-Robot Interaction Based on Gestures for Service Robots
AUTHORS: Patrick de Sousa; Tiago Esteves; Daniel Campos ; Fabio Duarte; Joana Santos; Joao Leao; Jose Xavier; Luis de Matos; Manuel Camarneiro; Marcelo Penas; Maria Miranda; Ricardo Silva; Antonio J R Neves ; Luis Teixeira ;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 700-709
1756
TITLE: Hybrid Approaches for Time Series Prediction
AUTHORS: Xavier Fontes; Daniel Castro Silva ;
PUBLISHED: 2018, SOURCE: 18th International Conference on Hybrid Intelligent Systems, HIS 2018 in Hybrid Intelligent Systems - 18th International Conference on Hybrid Intelligent Systems, HIS 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 923, PAGES: 146-155
1757
TITLE: Hyper-Process Model: A Zero-Shot Learning algorithm for Regression Problems based on Shape Analysis
AUTHORS: João Reis; Gil Gonçalves ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.10330
1758
TITLE: Impact of Vectorization Over 16-bit Data-Types on GPUs
AUTHORS: Reis, L; Nobre, R; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 32-38
1759
TITLE: Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering
AUTHORS: Ricardo Nobre; Luís Reis; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.10496
1760
TITLE: Improving the Brazilian electricity market: how to replace the centralized dispatch by decentralized market-based bidding
AUTHORS: Calabria, FA; Saraiva, JT ; Rocha, AP ;
PUBLISHED: 2018, SOURCE: JOURNAL OF ENERGY MARKETS, VOLUME: 11, ISSUE: 2, PAGES: 83-106

Results per Page: 20.
Page 88 of 226. Total results: 4510.