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: 18386
1699 Team MembersFilters -> Year: 2024
3141
TITLE: Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PAGES: 114-142
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PAGES: 114-142
3142
TITLE: Wi-Fi Rate Adaptation using a Simple Deep Reinforcement Learning Approach
AUTHORS: Queiros, Ruben ; Almeida, Eduardo Nuno ; Fontes, Helder ; Ruela, Jose ; Campos, Rui ;
PUBLISHED: 2022, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June, PAGES: 1-3
AUTHORS: Queiros, Ruben ; Almeida, Eduardo Nuno ; Fontes, Helder ; Ruela, Jose ; Campos, Rui ;
PUBLISHED: 2022, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June, PAGES: 1-3
3143
TITLE: Wi-Fi Rate Adaptation using a Simple Deep Reinforcement Learning Approach
AUTHORS: Rúben Queirós ; Eduardo Nuno Almeida ; Helder Fontes ; José Ruela ; Rui Campos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.03997
AUTHORS: Rúben Queirós ; Eduardo Nuno Almeida ; Helder Fontes ; José Ruela ; Rui Campos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.03997
INDEXED IN: DBLP
3144
TITLE: Wind Energy Assessment for Small Wind Turbines in Different Roof Shapes Based on CFD Simulations
AUTHORS: Oliveira, Carlos; Cerveira, Adelaide ; Baptista, Jose ;
PUBLISHED: 2022, SOURCE: International Conference on Sustainable Smart Cities and Territories (SSCT) in SUSTAINABLE SMART CITIES AND TERRITORIES, VOLUME: 253, PAGES: 3-13
AUTHORS: Oliveira, Carlos; Cerveira, Adelaide ; Baptista, Jose ;
PUBLISHED: 2022, SOURCE: International Conference on Sustainable Smart Cities and Territories (SSCT) in SUSTAINABLE SMART CITIES AND TERRITORIES, VOLUME: 253, PAGES: 3-13
3145
TITLE: WindsPT e-Science platform for wind measurement campaigns
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
3146
TITLE: WiPTherm: A novel energy harvesting paradigm for CubeSats
AUTHORS: Fermin Navarro Medina; Fernando Aguado Agelet; Uxia Garcia Luis; Carlos Ulloa; Pedro Orgeira Crespo; Alejandro Camanzo Mariño; Vlad Dragos Darau; Maria Margarida Maia; Alejandro Gomez San Juan; Cristina Furtado; Vasco Machado; Califórnia, A; Sarah Bogas; César Ferreira; José Silva; Luis Sousa; João Machado; Philippe Roy; Jean-Louis Auguste; Raphael Jamier; ...More
PUBLISHED: 2022, SOURCE: 73rd International Astronautical Congress, IAC 2022 in Proceedings of the International Astronautical Congress, IAC, VOLUME: 2022-September
AUTHORS: Fermin Navarro Medina; Fernando Aguado Agelet; Uxia Garcia Luis; Carlos Ulloa; Pedro Orgeira Crespo; Alejandro Camanzo Mariño; Vlad Dragos Darau; Maria Margarida Maia; Alejandro Gomez San Juan; Cristina Furtado; Vasco Machado; Califórnia, A; Sarah Bogas; César Ferreira; José Silva; Luis Sousa; João Machado; Philippe Roy; Jean-Louis Auguste; Raphael Jamier; ...More
PUBLISHED: 2022, SOURCE: 73rd International Astronautical Congress, IAC 2022 in Proceedings of the International Astronautical Congress, IAC, VOLUME: 2022-September
INDEXED IN: Scopus
3147
TITLE: Work-in-Progress - The Role of Immersion When Designing Characters for Adapting Textual Narratives into Comic Strips for Online Higher Education: Trials Prototyping Characters
AUTHORS: Cristiane Bonfim; Demetrius Lacet; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2022, SOURCE: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, PAGES: 1-3
AUTHORS: Cristiane Bonfim; Demetrius Lacet; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2022, SOURCE: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, PAGES: 1-3
3148
TITLE: World State of Quality: a frontier approach to benchmark the performance of countries worldwide
AUTHORS: Vilarinho, Hermilio ; Cubo, C; Sampaio, P; Saraiva, P; Reis, M; Nóvoa, H; Camanho, AS ;
PUBLISHED: 2022, SOURCE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management, PAGES: 263-290
AUTHORS: Vilarinho, Hermilio ; Cubo, C; Sampaio, P; Saraiva, P; Reis, M; Nóvoa, H; Camanho, AS ;
PUBLISHED: 2022, SOURCE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management, PAGES: 263-290
INDEXED IN: Scopus
3149
TITLE: ZeroBERTo: Leveraging Zero-Shot Text Classification by Topic Modeling
AUTHORS: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Gerber, Rodrigo; Bustos, Enzo; Oliveira, Andre Seidel; Veloso, Bruno Miguel ; Siqueira, Fabio Levy; Reali Costa, Anna Helena;
PUBLISHED: 2022, SOURCE: 15th International Conference on the Computational Processing of Portuguese (PROPOR) in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROPOR 2022, VOLUME: 13208, PAGES: 125-136
AUTHORS: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Gerber, Rodrigo; Bustos, Enzo; Oliveira, Andre Seidel; Veloso, Bruno Miguel ; Siqueira, Fabio Levy; Reali Costa, Anna Helena;
PUBLISHED: 2022, SOURCE: 15th International Conference on the Computational Processing of Portuguese (PROPOR) in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROPOR 2022, VOLUME: 13208, PAGES: 125-136
3150
TITLE: ZeroBERTo: Leveraging Zero-Shot Text Classification by Topic Modeling
AUTHORS: Alexandre Alcoforado; Thomas Palmeira Ferraz; Rodrigo Gerber; Enzo Bustos; André Seidel Oliveira; Bruno Miguel Veloso ; Fábio Levy Siqueira; Anna Helena Reali Costa;
PUBLISHED: 2022, SOURCE: Computational Processing of the Portuguese Language - 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings, VOLUME: 13208, PAGES: 125-136
AUTHORS: Alexandre Alcoforado; Thomas Palmeira Ferraz; Rodrigo Gerber; Enzo Bustos; André Seidel Oliveira; Bruno Miguel Veloso ; Fábio Levy Siqueira; Anna Helena Reali Costa;
PUBLISHED: 2022, SOURCE: Computational Processing of the Portuguese Language - 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings, VOLUME: 13208, PAGES: 125-136
INDEXED IN: DBLP
3151
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 16th International Symposium on Functional and Logic Programming, FLOPS 2022 in Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, VOLUME: 13215, PAGES: 112-132
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 16th International Symposium on Functional and Logic Programming, FLOPS 2022 in Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, VOLUME: 13215, PAGES: 112-132
3152
TITLE: (INVITED) Exploring quantum-like turbulence with a two-component paraxial fluid of light
AUTHORS: Nuno Azevedo Silva ; Tiago D Ferreira ; Ariel Guerreiro ;
PUBLISHED: 2021, SOURCE: Results in Optics, VOLUME: 2
AUTHORS: Nuno Azevedo Silva ; Tiago D Ferreira ; Ariel Guerreiro ;
PUBLISHED: 2021, SOURCE: Results in Optics, VOLUME: 2
INDEXED IN: Scopus CrossRef
3153
TITLE: (INVITED)Classification of optically trapped particles: A comparison between optical fiber tweezers and conventional setups
AUTHORS: Jorge, PAS ; Carvalho, IA; Marques, FM; Pinto, V; Santos, PH; Rodrigues, SM; Faria, SP; Paiva, JS; Silva, NA ;
PUBLISHED: 2021, SOURCE: Results in Optics, VOLUME: 5, PAGES: 100178
AUTHORS: Jorge, PAS ; Carvalho, IA; Marques, FM; Pinto, V; Santos, PH; Rodrigues, SM; Faria, SP; Paiva, JS; Silva, NA ;
PUBLISHED: 2021, SOURCE: Results in Optics, VOLUME: 5, PAGES: 100178
3154
TITLE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
INDEXED IN: DBLP
3155
TITLE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021, January 19, 2021, Budapest, Hungary
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
INDEXED IN: Scopus DBLP
3156
TITLE: 32 Using a Simulation Environment to Assess the Usability of a Novel Medical Device During the Covid-19 Pandemic
AUTHORS: Carla Sa-Couto ; Abel Nicolau ; Carolina de Sousa; Nuno Cruz ;
PUBLISHED: 2021, SOURCE: International Journal of Healthcare Simulation
AUTHORS: Carla Sa-Couto ; Abel Nicolau ; Carolina de Sousa; Nuno Cruz ;
PUBLISHED: 2021, SOURCE: International Journal of Healthcare Simulation
INDEXED IN: CrossRef
3157
TITLE: 3rd Workshop on Learning with Imbalanced Domains: Preface
AUTHORS: Nuno Moniz ; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLISHED: 2021, SOURCE: Third International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA 2021, Bilbao, Spain, September 17, 2021, VOLUME: 154, PAGES: 1-6
AUTHORS: Nuno Moniz ; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLISHED: 2021, SOURCE: Third International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA 2021, Bilbao, Spain, September 17, 2021, VOLUME: 154, PAGES: 1-6
INDEXED IN: DBLP
3158
TITLE: A 3-D Lightweight Convolutional Neural Network for Detecting Docking Structures in Cluttered Environments
AUTHORS: Pereira, MI ; Leite, PN ; Pinto, AM ;
PUBLISHED: 2021, SOURCE: MARINE TECHNOLOGY SOCIETY JOURNAL, VOLUME: 55, ISSUE: 4, PAGES: 88-98
AUTHORS: Pereira, MI ; Leite, PN ; Pinto, AM ;
PUBLISHED: 2021, SOURCE: MARINE TECHNOLOGY SOCIETY JOURNAL, VOLUME: 55, ISSUE: 4, PAGES: 88-98
3159
TITLE: A Bibliometric Analysis of Intraoperative Neuromonitoring in Spine Surgery Full Text
AUTHORS: Fonseca, P; Goethel, Marcio ; Vilas Boas, JP; Gutierres, M ; Correia, MV ;
PUBLISHED: 2021, SOURCE: WORLD NEUROSURGERY, VOLUME: 154, PAGES: 3-12
AUTHORS: Fonseca, P; Goethel, Marcio ; Vilas Boas, JP; Gutierres, M ; Correia, MV ;
PUBLISHED: 2021, SOURCE: WORLD NEUROSURGERY, VOLUME: 154, PAGES: 3-12
3160
TITLE: A bibliometric view on the use of total quality management in services Full Text
AUTHORS: Zhang, C; Moreira, MRA ; Sousa, PSA ;
PUBLISHED: 2021, SOURCE: TOTAL QUALITY MANAGEMENT & BUSINESS EXCELLENCE, VOLUME: 32, ISSUE: 13-14, PAGES: 1466-1493
AUTHORS: Zhang, C; Moreira, MRA ; Sousa, PSA ;
PUBLISHED: 2021, SOURCE: TOTAL QUALITY MANAGEMENT & BUSINESS EXCELLENCE, VOLUME: 32, ISSUE: 13-14, PAGES: 1466-1493