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: 24967
1716 Team MembersFilters -> Year: 2026
14541
TITLE: Completeness and Decidability Results for Hybrid(ised) Logics
AUTHORS: Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 146-161
AUTHORS: Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 146-161
14542
TITLE: Comprehensive Review of the Dispatching, Scheduling and Routing of AGVs
AUTHORS: Kelen C T Vivaldini; Luis F Rocha ; Marcelo Becker; Antonio Paulo Moreira ;
PUBLISHED: 2015, SOURCE: 11th Portuguese Conference on Automatic Control in CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL, VOLUME: 321, PAGES: 505-514
AUTHORS: Kelen C T Vivaldini; Luis F Rocha ; Marcelo Becker; Antonio Paulo Moreira ;
PUBLISHED: 2015, SOURCE: 11th Portuguese Conference on Automatic Control in CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL, VOLUME: 321, PAGES: 505-514
14543
TITLE: Compressive Classification: Where Wireless Communications Meets Machine Learning
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
14544
TITLE: Computational strategies for breakbeat classification and resequencing in hardcore, jungle and drum and bass
AUTHORS: Hockman, JA; Davies, MEP ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Digital Audio Effects, DAFx 2015 in DAFx 2015 - Proceedings of the 18th International Conference on Digital Audio Effects
AUTHORS: Hockman, JA; Davies, MEP ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Digital Audio Effects, DAFx 2015 in DAFx 2015 - Proceedings of the 18th International Conference on Digital Audio Effects
INDEXED IN: 
Scopus
Scopus14545
TITLE: Computer-aided recognition of dental implants in X-ray images
AUTHORS: Pedro Morais; Sandro Queiros; Antonio H J Moreira; Adriano Ferreira; Ernesto Ferreira; Duarte Duque ; Nuno F Rodrigues ; Joao L Vilaca;
PUBLISHED: 2015, SOURCE: Computer-Aided Diagnosis (CAD) Conference at the SPIE Medical Imaging Symposium in MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS, VOLUME: 9414
AUTHORS: Pedro Morais; Sandro Queiros; Antonio H J Moreira; Adriano Ferreira; Ernesto Ferreira; Duarte Duque ; Nuno F Rodrigues ; Joao L Vilaca;
PUBLISHED: 2015, SOURCE: Computer-Aided Diagnosis (CAD) Conference at the SPIE Medical Imaging Symposium in MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS, VOLUME: 9414
14546
TITLE: Concept Drift Detection with Clustering via Statistical Change Detection Methods
AUTHORS: Sakamoto, Y; Fukui, K; Gama, J ; Nicklas, D; Moriyama, K; Numao, M;
PUBLISHED: 2015, SOURCE: Seventh International Conference on Knowledge and Systems Engineering (KSE) in 2015 SEVENTH INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SYSTEMS ENGINEERING (KSE), PAGES: 37-42
AUTHORS: Sakamoto, Y; Fukui, K; Gama, J ; Nicklas, D; Moriyama, K; Numao, M;
PUBLISHED: 2015, SOURCE: Seventh International Conference on Knowledge and Systems Engineering (KSE) in 2015 SEVENTH INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SYSTEMS ENGINEERING (KSE), PAGES: 37-42
14547
TITLE: Concise Server-Wide Causality Management for Eventually Consistent Data Stores
AUTHORS: Ricardo Gonçalves ; Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2015, SOURCE: DAIS, VOLUME: 9038, PAGES: 66-79
AUTHORS: Ricardo Gonçalves ; Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2015, SOURCE: DAIS, VOLUME: 9038, PAGES: 66-79
14548
TITLE: Concurrency Debugging with Differential Schedule Projections
AUTHORS: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 6, PAGES: 586-595
AUTHORS: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 6, PAGES: 586-595
14549
TITLE: Concurrent Learning of Visual Codebooks and Object Categories in Open-ended Domains
AUTHORS: Miguel Oliveira ; Luis Seabra Lopes; Gi Hyun Lim; Hamidreza H Kasaei; Angel D Sappa; Ana Maria Tome;
PUBLISHED: 2015, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2015-December, PAGES: 2488-2495
AUTHORS: Miguel Oliveira ; Luis Seabra Lopes; Gi Hyun Lim; Hamidreza H Kasaei; Angel D Sappa; Ana Maria Tome;
PUBLISHED: 2015, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2015-December, PAGES: 2488-2495
14550
TITLE: Constrained consumption shifting management in the distributed energy resources scheduling considering demand response Full Text
AUTHORS: Pedro Faria; Zita Vale ; Jose Baptista ;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 93, PAGES: 309-320
AUTHORS: Pedro Faria; Zita Vale ; Jose Baptista ;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 93, PAGES: 309-320
14551
TITLE: Construction and validation of a scale of assessment of self-care behaviors with arteriovenous fistula in hemodialysis. Scale ASBHD-AVF Full Text
AUTHORS: Clemente Neves Sousa ; Joao Luis A Alves Apostolo ; Maria Henriqueta J S Jesus Silva Figueiredo ; Vanessa Filipa F Ferreira Dias; Paulo Teles ; Maria Manuela Martins ;
PUBLISHED: 2015, SOURCE: HEMODIALYSIS INTERNATIONAL, VOLUME: 19, ISSUE: 2, PAGES: 306-313
AUTHORS: Clemente Neves Sousa ; Joao Luis A Alves Apostolo ; Maria Henriqueta J S Jesus Silva Figueiredo ; Vanessa Filipa F Ferreira Dias; Paulo Teles ; Maria Manuela Martins ;
PUBLISHED: 2015, SOURCE: HEMODIALYSIS INTERNATIONAL, VOLUME: 19, ISSUE: 2, PAGES: 306-313
14552
TITLE: Construction and validation of a scale of assessment of self-care behaviours anticipatory to creation of arteriovenous fistula Full Text
AUTHORS: Clemente Neves Sousa ; Maria Henriqueta Figueiredo ; Vanessa Filipa Dias; Paulo Teles ; Joao Luis Apostolo ;
PUBLISHED: 2015, SOURCE: JOURNAL OF CLINICAL NURSING, VOLUME: 24, ISSUE: 23-24, PAGES: 3674-3680
AUTHORS: Clemente Neves Sousa ; Maria Henriqueta Figueiredo ; Vanessa Filipa Dias; Paulo Teles ; Joao Luis Apostolo ;
PUBLISHED: 2015, SOURCE: JOURNAL OF CLINICAL NURSING, VOLUME: 24, ISSUE: 23-24, PAGES: 3674-3680
14553
TITLE: Context aware middleware in ambient intelligent environments
AUTHORS: Freitas, CF; Meireles, A; Figueiredo, L ; Barroso, J ; Silva, A; Ramos, C;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, VOLUME: 10, ISSUE: 4, PAGES: 347-358
AUTHORS: Freitas, CF; Meireles, A; Figueiredo, L ; Barroso, J ; Silva, A; Ramos, C;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, VOLUME: 10, ISSUE: 4, PAGES: 347-358
14554
TITLE: Context-aware media recommendations for smart devices
AUTHORS: Otebolaku, AM; Andrade, MT ;
PUBLISHED: 2015, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 6, ISSUE: 1, PAGES: 13-36
AUTHORS: Otebolaku, AM; Andrade, MT ;
PUBLISHED: 2015, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 6, ISSUE: 1, PAGES: 13-36
14555
TITLE: Context-aware, accessibility and dynamic adaptation of mobile interfaces in business environments
AUTHORS: Sousa, A ; Barroso, J ; Paredes, H ; Fernandes, H ; Filipe, V ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 397-402
AUTHORS: Sousa, A ; Barroso, J ; Paredes, H ; Fernandes, H ; Filipe, V ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 397-402
14556
TITLE: Contextual Policy Search for Generalizing a Parameterized Biped Walking Controller
AUTHORS: Abdolmaleki, A; Lau, N ; Reis, LP ; Peters, J; Neumann, G;
PUBLISHED: 2015, SOURCE: 9th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 17-22
AUTHORS: Abdolmaleki, A; Lau, N ; Reis, LP ; Peters, J; Neumann, G;
PUBLISHED: 2015, SOURCE: 9th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 17-22
14557
TITLE: Contrast set mining in temporal databases
AUTHORS: Magalhaes, A; Azevedo, PJ ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 3, PAGES: 435-443
AUTHORS: Magalhaes, A; Azevedo, PJ ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 3, PAGES: 435-443
14558
TITLE: CONTROLO’2014 – Proceedings of the 11th Portuguese Conference on Automatic Control
AUTHORS: António Paulo Moreira ; Aníbal Matos ; Germano Veiga ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Electrical Engineering
AUTHORS: António Paulo Moreira ; Aníbal Matos ; Germano Veiga ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Electrical Engineering
14559
TITLE: Convergence of Smart Grid ICT Architectures for the Last Mile
AUTHORS: Albano, M; Ferreira, LL ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 11, ISSUE: 1, PAGES: 187-197
AUTHORS: Albano, M; Ferreira, LL ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 11, ISSUE: 1, PAGES: 187-197
14560
TITLE: Convergent Evolution at the Gametophytic Self-Incompatibility System in Malus and Prunus Full Text
AUTHORS: Bruno Aguiar ; Jorge Vieira ; Ana E Cunha; Nuno A Fonseca ; Amy Iezzoni; Steve van Nocker; Cristina P Vieira ;
PUBLISHED: 2015, SOURCE: PLOS ONE, VOLUME: 10, ISSUE: 5
AUTHORS: Bruno Aguiar ; Jorge Vieira ; Ana E Cunha; Nuno A Fonseca ; Amy Iezzoni; Steve van Nocker; Cristina P Vieira ;
PUBLISHED: 2015, SOURCE: PLOS ONE, VOLUME: 10, ISSUE: 5
