Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 19039
1704 Team MembersFilters -> Year: 2025
8261
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP8262
TITLE: CERTIFIED ROOMS FOR ELEARNING STUDENTS EVALUATION
AUTHORS: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 9566-9571
AUTHORS: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 9566-9571
8263
TITLE: Cervical cancer (Risk Factors)
AUTHORS: Kelwin Fernandes; Jaime S Cardoso ; Jessica Fernandes;
PUBLISHED: 2017
AUTHORS: Kelwin Fernandes; Jaime S Cardoso ; Jessica Fernandes;
PUBLISHED: 2017
INDEXED IN: DBLP
DBLP8264
TITLE: cf4ocl: A C framework for OpenCL Full Text
AUTHORS: Fachada, N ; Lopes, VV; Martins, RC ; Rosa, AC;
PUBLISHED: 2017, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 143, PAGES: 9-19
AUTHORS: Fachada, N ; Lopes, VV; Martins, RC ; Rosa, AC;
PUBLISHED: 2017, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 143, PAGES: 9-19
8265
TITLE: Challenges in Migration from Waterfall to Agile Environments
AUTHORS: Fernando Almeida ;
PUBLISHED: 2017, SOURCE: World Journal of Computer Application and Technology, VOLUME: 5, ISSUE: 3, PAGES: 39-49
AUTHORS: Fernando Almeida ;
PUBLISHED: 2017, SOURCE: World Journal of Computer Application and Technology, VOLUME: 5, ISSUE: 3, PAGES: 39-49
8266
TITLE: Challenges of thermographic image in medical applications
AUTHORS: Pereira, T ; Simoes, R;
PUBLISHED: 2017, SOURCE: Thermal Imaging: Types, Advancements and Applications, PAGES: 81-101
AUTHORS: Pereira, T ; Simoes, R;
PUBLISHED: 2017, SOURCE: Thermal Imaging: Types, Advancements and Applications, PAGES: 81-101
INDEXED IN: Scopus
Scopus8267
TITLE: Chaos-based grey wolf optimizer for higher order sliding mode position control of a robotic manipulator Full Text
AUTHORS: Josenalde Oliveira ; Paulo Moura Oliveira ; Jose Boaventura Cunha ; Tatiana Pinho ;
PUBLISHED: 2017, SOURCE: NONLINEAR DYNAMICS, VOLUME: 90, ISSUE: 2, PAGES: 1353-1362
AUTHORS: Josenalde Oliveira ; Paulo Moura Oliveira ; Jose Boaventura Cunha ; Tatiana Pinho ;
PUBLISHED: 2017, SOURCE: NONLINEAR DYNAMICS, VOLUME: 90, ISSUE: 2, PAGES: 1353-1362
8268
TITLE: Characterization of bacterial communities from Masseiras, a unique Portuguese greenhouse agricultural system Full Text
AUTHORS: Becerra Castro, C; Lopes, AR ; Teixeira, S; Silva, MEF ; Pimenta, E; Manaia, CM; Nunes, OC ;
PUBLISHED: 2017, SOURCE: ANTONIE VAN LEEUWENHOEK INTERNATIONAL JOURNAL OF GENERAL AND MOLECULAR MICROBIOLOGY, VOLUME: 110, ISSUE: 5, PAGES: 665-676
AUTHORS: Becerra Castro, C; Lopes, AR ; Teixeira, S; Silva, MEF ; Pimenta, E; Manaia, CM; Nunes, OC ;
PUBLISHED: 2017, SOURCE: ANTONIE VAN LEEUWENHOEK INTERNATIONAL JOURNAL OF GENERAL AND MOLECULAR MICROBIOLOGY, VOLUME: 110, ISSUE: 5, PAGES: 665-676
8269
TITLE: Circuit Design -- Anticipate, Analyze, Exploit Variations. Statistical Methods and Optimization
AUTHORS: Stephan Weber; Candido Duarte ;
PUBLISHED: 2017
AUTHORS: Stephan Weber; Candido Duarte ;
PUBLISHED: 2017
INDEXED IN: 
Openlibrary
Openlibrary8270
TITLE: Classification algorithms for body posture
AUTHORS: Silva, S; Queirós, S; Moreira, AH; Oliveira, E; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2017, SOURCE: 2017 IEEE 5TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
AUTHORS: Silva, S; Queirós, S; Moreira, AH; Oliveira, E; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2017, SOURCE: 2017 IEEE 5TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
8271
TITLE: Classification of breast cancer histology images using Convolutional Neural Networks Full Text
AUTHORS: Teresa Araujo ; Guilherme Aresta ; Eduardo Castro ; Jose Rouco; Paulo Aguiar ; Catarina Eloy; Antonio Polonia; Aurelio Campilho ;
PUBLISHED: 2017, SOURCE: PLOS ONE, VOLUME: 12, ISSUE: 6
AUTHORS: Teresa Araujo ; Guilherme Aresta ; Eduardo Castro ; Jose Rouco; Paulo Aguiar ; Catarina Eloy; Antonio Polonia; Aurelio Campilho ;
PUBLISHED: 2017, SOURCE: PLOS ONE, VOLUME: 12, ISSUE: 6
8272
TITLE: Classifying Heart Sounds Using Images of MFCC and Temporal Features
AUTHORS: Diogo Marcelo Nogueira ; Carlos Abreu Ferreira ; Alipio M Jorge ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 186-203
AUTHORS: Diogo Marcelo Nogueira ; Carlos Abreu Ferreira ; Alipio M Jorge ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 186-203
8273
TITLE: Classroom Partial Flip for Feedback Control Systems: A Biomedical Engineering Experience
AUTHORS: de Moura Oliveira, PBD ; Jose Boaventura Cunha ;
PUBLISHED: 2017, SOURCE: 25th Mediterranean Conference on Control and Automation (MED) in 2017 25TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 957-961
AUTHORS: de Moura Oliveira, PBD ; Jose Boaventura Cunha ;
PUBLISHED: 2017, SOURCE: 25th Mediterranean Conference on Control and Automation (MED) in 2017 25TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 957-961
8274
TITLE: Climate Changes in Brazil: the Expected Financial Benefits by Implementing Smart Grids as a Mitigation and Adaptation Strategy
AUTHORS: Débora de São José, ; José Nuno Fidalgo, ;
PUBLISHED: 2017, SOURCE: Journal of Environmental Science and Engineering B, VOLUME: 6, ISSUE: 10
AUTHORS: Débora de São José, ; José Nuno Fidalgo, ;
PUBLISHED: 2017, SOURCE: Journal of Environmental Science and Engineering B, VOLUME: 6, ISSUE: 10
INDEXED IN: 
CrossRef
CrossRef8275
TITLE: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
8276
TITLE: Clustering Directions Based on the Estimation of a Mixture of Von Mises-Fisher Distributions
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: The Open Statistics & Probability Journal, VOLUME: 08, ISSUE: 1, PAGES: 39-52
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: The Open Statistics & Probability Journal, VOLUME: 08, ISSUE: 1, PAGES: 39-52
8277
TITLE: Clustering from Data Streams
AUTHORS: João Gama ;
PUBLISHED: 2017, SOURCE: Encyclopedia of Machine Learning and Data Mining, PAGES: 226-231
AUTHORS: João Gama ;
PUBLISHED: 2017, SOURCE: Encyclopedia of Machine Learning and Data Mining, PAGES: 226-231
8278
TITLE: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
8279
TITLE: Co-expression networks reveal the tissue-specific regulation of transcription and splicing
AUTHORS: Ashis Saha; Yungil Kim; Ariel D H Gewirtz; Brian Jo; Chuan Gao; Ian C McDowell; Barbara E Engelhardt; Alexis Battle; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1843-1858
AUTHORS: Ashis Saha; Yungil Kim; Ariel D H Gewirtz; Brian Jo; Chuan Gao; Ian C McDowell; Barbara E Engelhardt; Alexis Battle; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1843-1858
INDEXED IN: Scopus
Scopus8280
TITLE: Co-training Semi-supervised Learning for Single-Target Regression in Data Streams Using AMRules
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017 in Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, VOLUME: 10352, PAGES: 499-508
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017 in Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, VOLUME: 10352, PAGES: 499-508
