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

AuthID: I-000-0K9


Publications Count: 4490

56 Team Members
Filters -> Year: 2025
1721
TÍTULO: Formal verification of a domain specific language for run-time adaptation
AUTORES: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLICAÇÃO: 2018, FONTE: 12th Annual IEEE International Systems Conference, SysCon 2018 in 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, PÁGINAS: 1-8
1722
TÍTULO: FTMES: A Failed-Test-Oriented Mutant Execution Strategy for Mutation- based Fault Localization
AUTORES: de Oliveira, AAL; Camilo, CG; Freitas, END; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2018, FONTE: 2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), VOLUME: 2018-October, PÁGINAS: 155-165
1723
TÍTULO: FTScMES: A New Mutation Execution Strategy Based on Failed Tests' Mutation Score for Fault Localization
AUTORES: André Assis Lôbo de Oliveira; Celso G Camilo Junior; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 177-187
1724
TÍTULO: Gait events detector for transtibial prosthesis
AUTORES: Ferreira, C; Reis, LP ; Santos, CP ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 685-692
1725
TÍTULO: Generalized selections for direct control in procedural buildings
AUTORES: Jesus, D; Patow, G; Coelho, A ; Sousa, AA ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 72, PÁGINAS: 106-121
1726
TÍTULO: Generalizing Knowledge in Decentralized Rule-Based Models
AUTORES: Pedro Strecht ; João Mendes Moreira ; Carlos Soares ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 29-36
1727
TÍTULO: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 492-504
1728
TÍTULO: Graphical Simulation of Clinical Scenarios for Medical Training
AUTORES: Diana Pinto; Joao Costa; Rui Nobrega ; Hugo da Silva; Antonio Coelho ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
1729
TÍTULO: GreenSoftwareLab: Towards an Engineering Discipline for Green Software
AUTORES: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLICAÇÃO: 2018, FONTE: Impact, VOLUME: 2018, NÚMERO: 1, PÁGINAS: 9-11
1730
TÍTULO: Growing Smart Cities on an Open-Data-Centric Cyber-Physical Platform
AUTORES: José Pedro Pinto; João Pedro Dias ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PÁGINAS: 1-6
1731
TÍTULO: Guided Deep Reinforcement Learning in the GeoFriends2 Environment
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2018, FONTE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in Proceedings of the International Joint Conference on Neural Networks, VOLUME: 2018-July
1732
TÍTULO: Guided Deep Reinforcement Learning in the GeoFriends2 Environment
AUTORES: David Apolinário Simões; Nuno Lau; Luís Paulo Reis ;
PUBLICAÇÃO: 2018, FONTE: 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, July 8-13, 2018, PÁGINAS: 1-7
1733
TÍTULO: HealthTalks - A Mobile App to Improve Health Communication and Personal Information Management
AUTORES: Monteiro, JM ; Lopes, CT ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 329-332
1734
TÍTULO: High-level learning, interaction and cooperation for humanoid robots
AUTORES: Reis, LP ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 4
1735
TÍTULO: Human-Robot Interaction Based on Gestures for Service Robots
AUTORES: 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 ;
PUBLICAÇÃO: 2018, FONTE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PÁGINAS: 700-709
1736
TÍTULO: Hybrid Approaches for Time Series Prediction
AUTORES: Xavier Fontes; Daniel Castro Silva ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 146-155
1737
TÍTULO: Hyper-Process Model: A Zero-Shot Learning algorithm for Regression Problems based on Shape Analysis
AUTORES: João Reis; Gil Gonçalves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.10330
1738
TÍTULO: Impact of Vectorization Over 16-bit Data-Types on GPUs
AUTORES: Reis, L; Nobre, R; Cardoso, JMP ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 32-38
1739
TÍTULO: Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering
AUTORES: Ricardo Nobre; Luís Reis; João M P Cardoso ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.10496
1740
TÍTULO: Improving the Brazilian electricity market: how to replace the centralized dispatch by decentralized market-based bidding
AUTORES: Calabria, FA; Saraiva, JT ; Rocha, AP ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF ENERGY MARKETS, VOLUME: 11, NÚMERO: 2, PÁGINAS: 83-106

Results per Page: 20.
Página 87 de 225. Total de resultados: 4490.