Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3965
49 Team MembersFilters -> Year: 2025
1501
TÃTULO: Compact Resettable Counters through Causal Stability
AUTORES: Georges Younes ; Paulo Sergio Almeida ; 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: 2:1-2:3
AUTORES: Georges Younes ; Paulo Sergio Almeida ; 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: 2:1-2:3
1502
TÃTULO: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
1503
TÃTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
1504
TÃTULO: Computational Models for Social and Technical Interactions
AUTORES: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
AUTORES: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
1505
TÃTULO: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PÁGINAS: 459-466
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PÁGINAS: 459-466
1506
TÃTULO: Contextual Covariance Matrix Adaptation Evolutionary Strategies
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, PÁGINAS: 1378-1385
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, PÁGINAS: 1378-1385
1507
TÃTULO: Controlling the design and development cycle
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 57-98
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 57-98
1508
TÃTULO: Coordination, Organizations, Institutions, and Norms in Agent Systems XII
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
1509
TÃTULO: Coordination, Organizations, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian A Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: COIN@AAMAS/ECAI, VOLUME: 10315
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian A Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: COIN@AAMAS/ECAI, VOLUME: 10315
1510
TÃTULO: Creepy Tracker Toolkit for Context-aware Interfaces
AUTORES: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira; Alberto Raposo; João Madeiras Pereira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PÁGINAS: 191-200
AUTORES: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira; Alberto Raposo; João Madeiras Pereira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PÁGINAS: 191-200
1511
TÃTULO: Data Mining for Prediction of Moves of Professional Poker Players: An Experimental Approach
AUTORES: Mario Cardoso; Daniela Oliveira; Diana Postolaki; Luis Paulo Reis ;
PUBLICAÇÃO: 2017, FONTE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTORES: Mario Cardoso; Daniela Oliveira; Diana Postolaki; Luis Paulo Reis ;
PUBLICAÇÃO: 2017, FONTE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1512
TÃTULO: Data Mining in Adversarial Search - Players Movement Prediction in Connect 4 Games
AUTORES: Ribeiro, AC ; Rios, LM; Gomes, RM ; Faria, BM ; Reis, LP ;
PUBLICAÇÃO: 2017, FONTE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTORES: Ribeiro, AC ; Rios, LM; Gomes, RM ; Faria, BM ; Reis, LP ;
PUBLICAÇÃO: 2017, FONTE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1513
TÃTULO: Data Mining in HIV-AIDS Surveillance System Application to Portuguese Data. Application to Portuguese Data
AUTORES: Oliveira, A ; Faria, BM ; Rita Gaio ; Reis, LP ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 41, NÚMERO: 4, PÁGINAS: 51:1-51:12
AUTORES: Oliveira, A ; Faria, BM ; Rita Gaio ; Reis, LP ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 41, NÚMERO: 4, PÁGINAS: 51:1-51:12
1514
TÃTULO: Demo hour
AUTORES: Paden Shorey; Audrey Girouard; Sang Ho Yoon; Yunbo Zhang; Ke Huo; Karthik Ramani; Maurício Sousa; Daniel Mendes ; Soraia Paulo; Nuno Matela; Joaquim A Jorge; Daniel Simões Lopes; Dirk Wenig; Johannes Schöning; Alex Olwal; Mathias Oben; Rainer Malaka;
PUBLICAÇÃO: 2017, FONTE: Interactions, VOLUME: 24, NÚMERO: 6, PÁGINAS: 8-11
AUTORES: Paden Shorey; Audrey Girouard; Sang Ho Yoon; Yunbo Zhang; Ke Huo; Karthik Ramani; Maurício Sousa; Daniel Mendes ; Soraia Paulo; Nuno Matela; Joaquim A Jorge; Daniel Simões Lopes; Dirk Wenig; Johannes Schöning; Alex Olwal; Mathias Oben; Rainer Malaka;
PUBLICAÇÃO: 2017, FONTE: Interactions, VOLUME: 24, NÚMERO: 6, PÁGINAS: 8-11
1515
TÃTULO: Deriving and improving CMA-ES with information geometric trust regions
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: 2017 Genetic and Evolutionary Computation Conference, GECCO 2017 in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2017, Berlin, Germany, July 15-19, 2017, PÁGINAS: 657-664
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: 2017 Genetic and Evolutionary Computation Conference, GECCO 2017 in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2017, Berlin, Germany, July 15-19, 2017, PÁGINAS: 657-664
1516
TÃTULO: Description + annotation: semantic data publication workflow with Dendro and B2NOTE
AUTORES: Yulia Karimova ; João Aguiar Castro ; João Rocha da Silva ; Nélson Pereira; Joana Rodrigues ; Cristina Ribeiro ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Metadata Semant. Ontologies, VOLUME: 12, NÚMERO: 4, PÁGINAS: 182-194
AUTORES: Yulia Karimova ; João Aguiar Castro ; João Rocha da Silva ; Nélson Pereira; Joana Rodrigues ; Cristina Ribeiro ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Metadata Semant. Ontologies, VOLUME: 12, NÚMERO: 4, PÁGINAS: 182-194
1517
TÃTULO: Design and dynamic modelling of an ankle-foot prosthesis for humanoid robot
AUTORES: Joana Alves; Eurico Seabra; César Ferreira; Cristina P Santos; Luís Paulo Reis ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PÁGINAS: 128-133
AUTORES: Joana Alves; Eurico Seabra; César Ferreira; Cristina P Santos; Luís Paulo Reis ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PÁGINAS: 128-133
1518
TÃTULO: Design and evaluation of a novel out-of-reach selection technique for VR using iterative refinement
AUTORES: Mendes, D ; Medeiros, D; Sousa, M; Cordeiro, E; Ferreira, A; Jorge, JA;
PUBLICAÇÃO: 2017, FONTE: 33rd Spring Conference on Computer Graphics (SCCG) in COMPUTERS & GRAPHICS-UK, VOLUME: 67, PÁGINAS: 95-102
AUTORES: Mendes, D ; Medeiros, D; Sousa, M; Cordeiro, E; Ferreira, A; Jorge, JA;
PUBLICAÇÃO: 2017, FONTE: 33rd Spring Conference on Computer Graphics (SCCG) in COMPUTERS & GRAPHICS-UK, VOLUME: 67, PÁGINAS: 95-102
1519
TÃTULO: Developing metadata application profiles
AUTORES: Malta, MC ; Baptista, AA; Walk, P;
PUBLICAÇÃO: 2017, FONTE: Developing Metadata Application Profiles, PÁGINAS: 1-248
AUTORES: Malta, MC ; Baptista, AA; Walk, P;
PUBLICAÇÃO: 2017, FONTE: Developing Metadata Application Profiles, PÁGINAS: 1-248
1520
TÃTULO: Developing Metadata Application Profiles
AUTORES: Mariana Curado Malta ; Ana Alice Baptista; Paul Walk;
PUBLICAÇÃO: 2017
AUTORES: Mariana Curado Malta ; Ana Alice Baptista; Paul Walk;
PUBLICAÇÃO: 2017