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

AuthID: I-000-0K9


Publications Count: 4713

62 Team Members
Filters -> Year: 2026
2101
TÍTULO: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Antonio Miguel Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
2102
TÍTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
2103
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
2104
TÍTULO: Challenges of thermographic image in medical applications
AUTORES: Pereira, T ; Simoes, R;
PUBLICAÇÃO: 2017, FONTE: Thermal Imaging: Types, Advancements and Applications, PÁGINAS: 81-101
2105
TÍTULO: Characterizing Geo-located Tweets in Brazilian Megacities
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981, PÁGINAS: 1-6
2106
TÍTULO: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTORES: Vanessa Cesario; Valentina Nisi ; Antonio Coelho ;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 23-30
2107
TÍTULO: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTORES: Almeida, J; Ferreira, J; Camacho, R ; Pereira, L;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PÁGINAS: 70-73
2108
TÍTULO: Code retargeting for CPU-based platforms
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 185-225
2109
TÍTULO: Collaborative economy for testing cost reduction on Android ecosystem
AUTORES: Kenyo Abadio Crosara Faria; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2017, FONTE: A-TEST@ESEC/SIGSOFT FSE, PÁGINAS: 11-18
2110
TÍTULO: Combining Ranking with Traditional Methods for Ordinal Class Imbalance
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 538-548
2111
TÍTULO: Command and Control Systems for Search and Rescue Robots
AUTORES: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLICAÇÃO: 2017, FONTE: Search and Rescue Robotics - From Theory to Practice
2112
TÍTULO: Compact Resettable Counters through Causal Stability
AUTORES: Younes, G ; Almeida, PS ; Baquero, C ;
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
2113
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: IWOCL, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
2114
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
2115
TÍTULO: Computational Models for Social and Technical Interactions
AUTORES: Gama, J ; Oliveira, E ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
2116
2117
2118
TÍTULO: Constraining Type II Error: Building Intentionally Biased Classifiers
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 549-560
2119
TÍTULO: Contextual Covariance Matrix Adaptation Evolutionary Strategies
AUTORES: Abdolmaleki, A; Price, B; Lau, N ; Reis, LP ; Neumann, G;
PUBLICAÇÃO: 2017, FONTE: PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, PÁGINAS: 1378-1385
2120
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

Results per Page: 20.
Página 106 de 236. Total de resultados: 4713.