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: 18456
1699 Team MembersFilters -> Year: 2024
3681
TITLE: Flexible parametric implantation of voicing in whispered speech under scarce training data
AUTHORS: Silva, J ; Oliveira, M; Ferreira, A ;
PUBLISHED: 2021, SOURCE: 28th European Signal Processing Conference (EUSIPCO) in 28TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO 2020), VOLUME: 2021-January, PAGES: 416-420
AUTHORS: Silva, J ; Oliveira, M; Ferreira, A ;
PUBLISHED: 2021, SOURCE: 28th European Signal Processing Conference (EUSIPCO) in 28TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO 2020), VOLUME: 2021-January, PAGES: 416-420
3682
TITLE: FocusFace: Multi-task Contrastive Learning for Masked Face Recognition
AUTHORS: Neto, Pedro C. ; Boutros, Fadi; Pinto, Joao Ribeiro ; Damer, Naser; Sequeira, Ana F. ; Cardoso, Jaime S. ;
PUBLISHED: 2021, SOURCE: 16th IEEE International Conference on Automatic Face and Gesture Recognition (FG) in 2021 16TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2021), PAGES: 1-8
AUTHORS: Neto, Pedro C. ; Boutros, Fadi; Pinto, Joao Ribeiro ; Damer, Naser; Sequeira, Ana F. ; Cardoso, Jaime S. ;
PUBLISHED: 2021, SOURCE: 16th IEEE International Conference on Automatic Face and Gesture Recognition (FG) in 2021 16TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2021), PAGES: 1-8
3683
TITLE: Food Waste and Qualitative Evaluation of Menus in Public University Canteens-Challenges and Opportunities
AUTHORS: Aires, C; Saraiva, C; Fontes, MC; Moreira, D ; Moura Alves, M; CARLA GONÇALVES ;
PUBLISHED: 2021, SOURCE: FOODS, VOLUME: 10, ISSUE: 10, PAGES: 2325
AUTHORS: Aires, C; Saraiva, C; Fontes, MC; Moreira, D ; Moura Alves, M; CARLA GONÇALVES ;
PUBLISHED: 2021, SOURCE: FOODS, VOLUME: 10, ISSUE: 10, PAGES: 2325
3684
TITLE: Force control heuristics for surpassing pose uncertainty in mobile robotic assembly platforms
AUTHORS: Moutinho, D ; Rebelo, P ; Costa, C ; Rocha, L ; Veiga, G ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 130-136
AUTHORS: Moutinho, D ; Rebelo, P ; Costa, C ; Rocha, L ; Veiga, G ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 130-136
3685
TITLE: Forecasting and Market Design Advances: Supporting an Increasing Share of Renewable Energy Full Text
AUTHORS: Fox, J; Ela, E; Hobbs, B; Sharp, J; Novacheck, J; Motley, A; Bessa, RJ ; Pinson, P; Kariniotakis, G;
PUBLISHED: 2021, SOURCE: IEEE POWER & ENERGY MAGAZINE, VOLUME: 19, ISSUE: 6, PAGES: 77-85
AUTHORS: Fox, J; Ela, E; Hobbs, B; Sharp, J; Novacheck, J; Motley, A; Bessa, RJ ; Pinson, P; Kariniotakis, G;
PUBLISHED: 2021, SOURCE: IEEE POWER & ENERGY MAGAZINE, VOLUME: 19, ISSUE: 6, PAGES: 77-85
3686
TITLE: Forecasting conditional extreme quantiles for wind energy Full Text
AUTHORS: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLISHED: 2021, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PAGES: 106636
AUTHORS: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLISHED: 2021, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PAGES: 106636
3687
TITLE: Forecasting Energy Technology Diffusion in Space and Time: Model Design, Parameter Choice and Calibration Full Text
AUTHORS: Heymann, F; vom Scheidt, F; Soares, FJ ; Duenas, P; Miranda, V ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 12, ISSUE: 2, PAGES: 802-809
AUTHORS: Heymann, F; vom Scheidt, F; Soares, FJ ; Duenas, P; Miranda, V ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 12, ISSUE: 2, PAGES: 802-809
3688
TITLE: Forecasting of Urban Public Transport Demand Based on Weather Conditions
AUTHORS: Correia, R ; Fontes, T ; Borges, JL ;
PUBLISHED: 2021, SOURCE: 5th Conference on Sustainable Urban Mobility, CSUM 2020 in Advances in Intelligent Systems and Computing, VOLUME: 1278, PAGES: 75-84
AUTHORS: Correia, R ; Fontes, T ; Borges, JL ;
PUBLISHED: 2021, SOURCE: 5th Conference on Sustainable Urban Mobility, CSUM 2020 in Advances in Intelligent Systems and Computing, VOLUME: 1278, PAGES: 75-84
3689
TITLE: Foreign Language Learning Gamification Using Virtual Reality-A Systematic Review of Empirical Research
AUTHORS: Pinto, RD ; Bruno Peixoto ; Melo, M ; Cabral, L; Bessa, M ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 5, PAGES: 222
AUTHORS: Pinto, RD ; Bruno Peixoto ; Melo, M ; Cabral, L; Bessa, M ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 5, PAGES: 222
3690
TITLE: Forensic Analysis of Tampered Digital Photos
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
3691
TITLE: Forest Management of Pinus pinaster Ait. in Unbalanced Forest Structures Arising from Disturbances-A Framework Proposal of Decision Support Systems (DSS) Full Text
AUTHORS: Costa, P; Cerveira, A ; Kaspar, J; Marusak, R; Fonseca, TF;
PUBLISHED: 2021, SOURCE: FORESTS, VOLUME: 12, ISSUE: 8, PAGES: 1031
AUTHORS: Costa, P; Cerveira, A ; Kaspar, J; Marusak, R; Fonseca, TF;
PUBLISHED: 2021, SOURCE: FORESTS, VOLUME: 12, ISSUE: 8, PAGES: 1031
3692
TITLE: FOREWORD: SPECIAL ISSUE "EURO 2019: GAMES IN ECONOMICS, FINANCE AND BIOLOGY"
AUTHORS: Daniele, P; Fulga, C; Martn Herran, G; Mazalov, V; Petrosyan, L; Oliveira, BMPM ; Ramos, C; Weber, GW; Zenkevich, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 8, ISSUE: 2
AUTHORS: Daniele, P; Fulga, C; Martn Herran, G; Mazalov, V; Petrosyan, L; Oliveira, BMPM ; Ramos, C; Weber, GW; Zenkevich, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 8, ISSUE: 2
3693
TITLE: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
3694
TITLE: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
INDEXED IN: 
DBLP
DBLP3695
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
3696
TITLE: Fostering Computational Thinking Skills: A Didactic Proposal for Elementary School Grades
AUTHORS: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 9, PAGES: 518
AUTHORS: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 9, PAGES: 518
3697
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
3698
TITLE: Fractal Brownian Motion Assessment of the Center of Pressure Excursion During Impulse Phase on Standard Vertical Jump Full Text
AUTHORS: Rodrigues, Carlos ; Correia, Miguel ; Abrantes, Joao M. C. S.; Rodrigues, Marco A. Benedetti; Nadal, Jurandir;
PUBLISHED: 2021, SOURCE: 43rd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (IEEE EMBC) in 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), PAGES: 4808-4811
AUTHORS: Rodrigues, Carlos ; Correia, Miguel ; Abrantes, Joao M. C. S.; Rodrigues, Marco A. Benedetti; Nadal, Jurandir;
PUBLISHED: 2021, SOURCE: 43rd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (IEEE EMBC) in 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), PAGES: 4808-4811
3699
TITLE: Framework for a risk assessment model to apply in Virtual / Collaborative Enterprises
AUTHORS: Avila, P ; Mota, A; Bastos, J ; Patricio, L; Pires, A; Castro, H ; Cruz Cunha, MM; Varela, L;
PUBLISHED: 2021, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020), VOLUME: 181, PAGES: 612-618
AUTHORS: Avila, P ; Mota, A; Bastos, J ; Patricio, L; Pires, A; Castro, H ; Cruz Cunha, MM; Varela, L;
PUBLISHED: 2021, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020), VOLUME: 181, PAGES: 612-618
3700
TITLE: Framework for designing Business Continuity - Multidisciplinary Evaluation of Organizational Maturity
AUTHORS: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
AUTHORS: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
