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: 24987
1714 Team MembersFilters -> Year: 2026
11141
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
11142
TITLE: Peak-locking centroid bias in Shack-Hartmann wavefront sensing Full Text
AUTHORS: Narsireddy Anugu; Paulo J V Garcia ; Carlos M Correia ;
PUBLISHED: 2018, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 476, ISSUE: 1, PAGES: 300-306
AUTHORS: Narsireddy Anugu; Paulo J V Garcia ; Carlos M Correia ;
PUBLISHED: 2018, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 476, ISSUE: 1, PAGES: 300-306
11143
TITLE: Pedagogia mais interativa à distancia de um ClickerUP - dispositivo sem custos para interagir em aula com grandes grupos via telemóvel
AUTHORS: Armando J Sousa ; Manuel F Torres; Teresa O Ramos; Cristina S Lopes; Sara Ferreira;
PUBLISHED: 2018
AUTHORS: Armando J Sousa ; Manuel F Torres; Teresa O Ramos; Cristina S Lopes; Sara Ferreira;
PUBLISHED: 2018
INDEXED IN: 
Handle
Handle11144
TITLE: Pedagogical and technological replanning: a successful case study on integration and transversal skills for engineering freshmen Full Text
AUTHORS: Manuel F Torres ; Armando J Sousa ; Raquel T Torres;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF TECHNOLOGY AND DESIGN EDUCATION, VOLUME: 28, ISSUE: 2, PAGES: 573-591
AUTHORS: Manuel F Torres ; Armando J Sousa ; Raquel T Torres;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF TECHNOLOGY AND DESIGN EDUCATION, VOLUME: 28, ISSUE: 2, PAGES: 573-591
11145
TITLE: Performance analysis of Microsoft's and Google's Emotion Recognition API using pose-invariant faces
AUTHORS: Salik Ram Khanal ; Joao Barroso ; Nuno Lopes; Jaime Sampaio ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 172-178
AUTHORS: Salik Ram Khanal ; Joao Barroso ; Nuno Lopes; Jaime Sampaio ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 172-178
11146
TITLE: Performance assessment of the integration between industrial agents and low-level automation functions
AUTHORS: Ribeiro, L; Karnouskos, S; Leitao, P ; Barbosa, J ; Hochwallner, M;
PUBLISHED: 2018, SOURCE: 16th IEEE International Conference on Industrial Informatics (INDIN) in 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 121-126
AUTHORS: Ribeiro, L; Karnouskos, S; Leitao, P ; Barbosa, J ; Hochwallner, M;
PUBLISHED: 2018, SOURCE: 16th IEEE International Conference on Industrial Informatics (INDIN) in 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 121-126
11147
TITLE: Performance evaluation of different age groups for gestural interaction: a case study with Microsoft Kinect and Leap Motion
AUTHORS: Carvalho, D ; Bessa, M ; Magalhaes, L ; Carrapatoso, E ;
PUBLISHED: 2018, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 17, ISSUE: 1, PAGES: 37-50
AUTHORS: Carvalho, D ; Bessa, M ; Magalhaes, L ; Carrapatoso, E ;
PUBLISHED: 2018, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 17, ISSUE: 1, PAGES: 37-50
11148
TITLE: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXED IN: 
Scopus
Scopus11149
TITLE: Persistently-exciting signal generation for Optimal Parameter Estimation of constrained nonlinear dynamical systems Full Text
AUTHORS: Leonardo M Honorio; Exuperry Barros Costa; Edimar J Oliveira; Daniel de Almeida Fernandes; Antonio Paulo G M Moreira ;
PUBLISHED: 2018, SOURCE: ISA TRANSACTIONS, VOLUME: 77, PAGES: 231-241
AUTHORS: Leonardo M Honorio; Exuperry Barros Costa; Edimar J Oliveira; Daniel de Almeida Fernandes; Antonio Paulo G M Moreira ;
PUBLISHED: 2018, SOURCE: ISA TRANSACTIONS, VOLUME: 77, PAGES: 231-241
11150
TITLE: Personalised Dynamic Viewer Profiling for Streamed Data
AUTHORS: Bruno Veloso ; Benedita Malheiro ; Juan Carlos Burguillo; Jeremy D Foss; João Gama ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 501-510
AUTHORS: Bruno Veloso ; Benedita Malheiro ; Juan Carlos Burguillo; Jeremy D Foss; João Gama ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 501-510
11151
TITLE: Petri nets methodology for the design and control of migration processes towards industry 4.0
AUTHORS: Cachada, A; Pires, F; Barbosa, J ; Leitao, P ; Cala, A;
PUBLISHED: 2018, SOURCE: 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018 in Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018, PAGES: 540-545
AUTHORS: Cachada, A; Pires, F; Barbosa, J ; Leitao, P ; Cala, A;
PUBLISHED: 2018, SOURCE: 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018 in Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018, PAGES: 540-545
11152
TITLE: Phenotyping Obstructive Sleep Apnea Patients: A First Approach to Cluster Visualization
AUTHORS: Ferreira Santos, D ; Pereira Rodrigues, P ;
PUBLISHED: 2018, SOURCE: Special Topic Conference of the European-Fedeeration-for-Medical-Informatics (EFMI STC) in DECISION SUPPORT SYSTEMS AND EDUCATION: HELP AND SUPPORT IN HEALTHCARE, VOLUME: 255, PAGES: 75-79
AUTHORS: Ferreira Santos, D ; Pereira Rodrigues, P ;
PUBLISHED: 2018, SOURCE: Special Topic Conference of the European-Fedeeration-for-Medical-Informatics (EFMI STC) in DECISION SUPPORT SYSTEMS AND EDUCATION: HELP AND SUPPORT IN HEALTHCARE, VOLUME: 255, PAGES: 75-79
11153
TITLE: Photoelectron extraction efficiency into Ar-CF4 and Xe-CF4 gas mixtures
AUTHORS: Escada, J; Coelho, LCC ; Dias, THVT; Lopes, JAM ; dos Santos, JMF;
PUBLISHED: 2018, SOURCE: JOURNAL OF INSTRUMENTATION, VOLUME: 13, ISSUE: 9
AUTHORS: Escada, J; Coelho, LCC ; Dias, THVT; Lopes, JAM ; dos Santos, JMF;
PUBLISHED: 2018, SOURCE: JOURNAL OF INSTRUMENTATION, VOLUME: 13, ISSUE: 9
11154
TITLE: Physical exercise intensity monitoring through eye-blink and mouth's shape analysis
AUTHORS: Salik Ram Khanal ; Alexandre Fonseca; Antonio Marques ; Joao Barroso ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PAGES: 1-5
AUTHORS: Salik Ram Khanal ; Alexandre Fonseca; Antonio Marques ; Joao Barroso ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PAGES: 1-5
11155
TITLE: Physiological Inspired Deep Neural Networks for Emotion Recognition
AUTHORS: Ferreira, PM ; Marques, F; Cardoso, JS ; Rebelo, A ;
PUBLISHED: 2018, SOURCE: IEEE ACCESS, VOLUME: 6, PAGES: 53930-53943
AUTHORS: Ferreira, PM ; Marques, F; Cardoso, JS ; Rebelo, A ;
PUBLISHED: 2018, SOURCE: IEEE ACCESS, VOLUME: 6, PAGES: 53930-53943
11156
TITLE: PID controller tuning for integrating processes
AUTHORS: Vrančić, D; Huba, M; Oliveira, PM ;
PUBLISHED: 2018, SOURCE: IFAC-PapersOnLine, VOLUME: 51, ISSUE: 4, PAGES: 586-591
AUTHORS: Vrančić, D; Huba, M; Oliveira, PM ;
PUBLISHED: 2018, SOURCE: IFAC-PapersOnLine, VOLUME: 51, ISSUE: 4, PAGES: 586-591
11157
TITLE: PID Posicast Control for Uncertain Oscillatory Systems: A Practical Experiment
AUTHORS: Oliveira, J ; Oliveira, PM ; Pinho, TM ; Cunha, JB ;
PUBLISHED: 2018, SOURCE: IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 4, PAGES: 416-421
AUTHORS: Oliveira, J ; Oliveira, PM ; Pinho, TM ; Cunha, JB ;
PUBLISHED: 2018, SOURCE: IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 4, PAGES: 416-421
11158
TITLE: Pixel-Based Leaf Segmentation from Natural Vineyard Images Using Color Model and Threshold Techniques
AUTHORS: Pereira, Carlos S.; Morais, R. ; Reis, M. J. C. S.;
PUBLISHED: 2018, SOURCE: 15th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2018), VOLUME: 10882, PAGES: 96-106
AUTHORS: Pereira, Carlos S.; Morais, R. ; Reis, M. J. C. S.;
PUBLISHED: 2018, SOURCE: 15th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2018), VOLUME: 10882, PAGES: 96-106
11159
TITLE: Planning and managing data for Smart Cities: an application profile for the UrbanSense project
AUTHORS: Patrícia Dias; Joana Rodrigues ; Ana Aguiar ; Gabriel David ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-2
AUTHORS: Patrícia Dias; Joana Rodrigues ; Ana Aguiar ; Gabriel David ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-2
11160
TITLE: Planning woody biomass supply in hot systems under variable chips energy content Full Text
AUTHORS: Alexandra Marques ; Jussi Rasinmaki; Ricardo Soares ; Pedro Amorim ;
PUBLISHED: 2018, SOURCE: BIOMASS & BIOENERGY, VOLUME: 108, PAGES: 265-277
AUTHORS: Alexandra Marques ; Jussi Rasinmaki; Ricardo Soares ; Pedro Amorim ;
PUBLISHED: 2018, SOURCE: BIOMASS & BIOENERGY, VOLUME: 108, PAGES: 265-277
