Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 3965
49 Team MembersFilters -> Year: 2025
1501
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 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), PAGES: 2:1-2:3
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 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), PAGES: 2:1-2:3
1502
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 29:1-29:2
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 29:1-29:2
1503
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
1504
TITLE: Computational Models for Social and Technical Interactions
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
1505
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 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., PAGES: 459-466
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 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., PAGES: 459-466
1506
TITLE: Contextual Covariance Matrix Adaptation Evolutionary Strategies
AUTHORS: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLISHED: 2017, SOURCE: 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, PAGES: 1378-1385
AUTHORS: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLISHED: 2017, SOURCE: 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, PAGES: 1378-1385
1507
TITLE: Controlling the design and development cycle
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
1508
TITLE: Coordination, Organizations, Institutions, and Norms in Agent Systems XII
AUTHORS: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
AUTHORS: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
1509
TITLE: 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
AUTHORS: Stephen Cranefield; Samhar Mahmoud; Julian A Padget; Ana Paula Rocha ;
PUBLISHED: 2017, SOURCE: COIN@AAMAS/ECAI, VOLUME: 10315
AUTHORS: Stephen Cranefield; Samhar Mahmoud; Julian A Padget; Ana Paula Rocha ;
PUBLISHED: 2017, SOURCE: COIN@AAMAS/ECAI, VOLUME: 10315
1510
TITLE: Creepy Tracker Toolkit for Context-aware Interfaces
AUTHORS: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira; Alberto Raposo; João Madeiras Pereira; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 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, PAGES: 191-200
AUTHORS: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira; Alberto Raposo; João Madeiras Pereira; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 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, PAGES: 191-200
1511
TITLE: Data Mining for Prediction of Moves of Professional Poker Players: An Experimental Approach
AUTHORS: Mario Cardoso; Daniela Oliveira; Diana Postolaki; Luis Paulo Reis ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Mario Cardoso; Daniela Oliveira; Diana Postolaki; Luis Paulo Reis ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1512
TITLE: Data Mining in Adversarial Search - Players Movement Prediction in Connect 4 Games
AUTHORS: Ribeiro, AC ; Rios, LM; Gomes, RM ; Faria, BM ; Reis, LP ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Ribeiro, AC ; Rios, LM; Gomes, RM ; Faria, BM ; Reis, LP ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies (CISTI) in 2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1513
TITLE: Data Mining in HIV-AIDS Surveillance System Application to Portuguese Data. Application to Portuguese Data
AUTHORS: Oliveira, A ; Faria, BM ; Rita Gaio ; Reis, LP ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 41, ISSUE: 4, PAGES: 51:1-51:12
AUTHORS: Oliveira, A ; Faria, BM ; Rita Gaio ; Reis, LP ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 41, ISSUE: 4, PAGES: 51:1-51:12
1514
TITLE: Demo hour
AUTHORS: 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;
PUBLISHED: 2017, SOURCE: Interactions, VOLUME: 24, ISSUE: 6, PAGES: 8-11
AUTHORS: 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;
PUBLISHED: 2017, SOURCE: Interactions, VOLUME: 24, ISSUE: 6, PAGES: 8-11
1515
TITLE: Deriving and improving CMA-ES with information geometric trust regions
AUTHORS: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLISHED: 2017, SOURCE: 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, PAGES: 657-664
AUTHORS: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLISHED: 2017, SOURCE: 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, PAGES: 657-664
1516
TITLE: Description + annotation: semantic data publication workflow with Dendro and B2NOTE
AUTHORS: Yulia Karimova ; João Aguiar Castro ; João Rocha da Silva ; Nélson Pereira; Joana Rodrigues ; Cristina Ribeiro ;
PUBLISHED: 2017, SOURCE: Int. J. Metadata Semant. Ontologies, VOLUME: 12, ISSUE: 4, PAGES: 182-194
AUTHORS: Yulia Karimova ; João Aguiar Castro ; João Rocha da Silva ; Nélson Pereira; Joana Rodrigues ; Cristina Ribeiro ;
PUBLISHED: 2017, SOURCE: Int. J. Metadata Semant. Ontologies, VOLUME: 12, ISSUE: 4, PAGES: 182-194
1517
TITLE: Design and dynamic modelling of an ankle-foot prosthesis for humanoid robot
AUTHORS: Joana Alves; Eurico Seabra; César Ferreira; Cristina P Santos; Luís Paulo Reis ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PAGES: 128-133
AUTHORS: Joana Alves; Eurico Seabra; César Ferreira; Cristina P Santos; Luís Paulo Reis ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PAGES: 128-133
1518
TITLE: Design and evaluation of a novel out-of-reach selection technique for VR using iterative refinement
AUTHORS: Mendes, D ; Medeiros, D; Sousa, M; Cordeiro, E; Ferreira, A; Jorge, JA;
PUBLISHED: 2017, SOURCE: 33rd Spring Conference on Computer Graphics (SCCG) in COMPUTERS & GRAPHICS-UK, VOLUME: 67, PAGES: 95-102
AUTHORS: Mendes, D ; Medeiros, D; Sousa, M; Cordeiro, E; Ferreira, A; Jorge, JA;
PUBLISHED: 2017, SOURCE: 33rd Spring Conference on Computer Graphics (SCCG) in COMPUTERS & GRAPHICS-UK, VOLUME: 67, PAGES: 95-102
1519
TITLE: Developing metadata application profiles
AUTHORS: Malta, MC ; Baptista, AA; Walk, P;
PUBLISHED: 2017, SOURCE: Developing Metadata Application Profiles, PAGES: 1-248
AUTHORS: Malta, MC ; Baptista, AA; Walk, P;
PUBLISHED: 2017, SOURCE: Developing Metadata Application Profiles, PAGES: 1-248
1520
TITLE: Developing Metadata Application Profiles
AUTHORS: Mariana Curado Malta ; Ana Alice Baptista; Paul Walk;
PUBLISHED: 2017
AUTHORS: Mariana Curado Malta ; Ana Alice Baptista; Paul Walk;
PUBLISHED: 2017