CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 8103

531 Team Members
Filters -> Year: 2024
81
TITLE: Educational Practices and Strategies With Immersive Learning Environments: Mapping of Reviews for Using the Metaverse
AUTHORS: Beck, Dennis; Morgado, Leonel ; O'Shea, Patrick;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 17, PAGES: 319-341
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall Handle
82
TITLE: Effects of Work-Family Conflict and Facilitation Profiles on Work Engagement
AUTHORS: Carvalho, Carla; Monico, Lisete; Pinto, Ana; Soraia Oliveira ; Leite, Eduardo;
PUBLISHED: 2024, SOURCE: SOCIETIES, VOLUME: 14, ISSUE: 7, PAGES: 110
INDEXED IN: Scopus WOS CrossRef
83
TITLE: Eight Weeks of Intermittent Exercise in Hypoxia, with or without a Low-Carbohydrate Diet, Improves Bone Mass and Functional and Physiological Capacity in Older Adults with Type 2 Diabetes  Full Text
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro ; Teixeira, Vitor Hugo ;
PUBLISHED: 2024, SOURCE: NUTRIENTS, VOLUME: 16, ISSUE: 11, PAGES: 1624
INDEXED IN: Scopus WOS CrossRef
84
TITLE: Embracing modern C++ features: An empirical assessment on the KDE community
AUTHORS: Walter Lucas; Fausto Carvalho; Rafael Campos Nunes; Rodrigo Bonifácio; João Saraiva ; Paola R G Accioly;
PUBLISHED: 2024, SOURCE: J. Softw. Evol. Process., VOLUME: 36, ISSUE: 5
INDEXED IN: DBLP
85
TITLE: Energy-efficient job shop scheduling problem with transport resources considering speed adjustable resources  Full Text
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, Seyed Mahdi ; Fernandes, Joao Chaves ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 62, ISSUE: 3, PAGES: 867-890
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Unpaywall
86
TITLE: Enhancing Object Detection in Maritime Environments Using Metadata
AUTHORS: Fernandes, Diogo Samuel; Bispo, Joao ; Bento, Luis Conde; Figueiredo, Monica;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT II, VOLUME: 14470, PAGES: 76-89
INDEXED IN: Scopus WOS DBLP CrossRef
87
TITLE: Enhancing Underwater Inspection Capabilities: A Learning-Based Approach for Automated Pipeline Visibility Assessment
AUTHORS: Mina, Joao; Leite, Pedro Nuno ; Carvalho, Joao; Pinho, Lourenco; Goncalves, Eduardo P.; Pinto, Andry Maykol;
PUBLISHED: 2024, SOURCE: 6th Iberian Robotics Conference (Robot) in ROBOT 2023: SIXTH IBERIAN ROBOTICS CONFERENCE, VOL 2, VOLUME: 978, PAGES: 162-173
INDEXED IN: Scopus WOS CrossRef Unpaywall
88
TITLE: Enhancing Weather Forecasting Integrating LSTM and GA
AUTHORS: Teixeira, Rita; Cerveira, Adelaide ; Pires, Eduardo J. Solteiro; Baptista, Jose ;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 13, PAGES: 5769
INDEXED IN: Scopus WOS CrossRef
89
TITLE: ESG in Advertising Narratives: Case Analysis of Golden Lion Winning Campaigns at Cannes 2022
AUTHORS: de Araujo, Daniel Ladeira; Garcia, Jorge Esparteiro ; Serra da Fonseca, Manuel Jose ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 43-50
INDEXED IN: Scopus WOS DBLP CrossRef
91
TITLE: Exploring Frama-C Resources by Verifying Space Software
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
INDEXED IN: CrossRef Unpaywall
92
TITLE: Exploring students' opinion on software testing courses
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PAGES: 570-579
INDEXED IN: Scopus WOS DBLP CrossRef
93
TITLE: Factors Affecting Cloud Computing Adoption in the Education Context-Systematic Literature Review
AUTHORS: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 71641-71674
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
94
TITLE: Federated Learning in Medical Image Analysis: A Systematic Survey  Full Text
AUTHORS: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLISHED: 2024, SOURCE: ELECTRONICS, VOLUME: 13, ISSUE: 1, PAGES: 47
INDEXED IN: Scopus WOS CrossRef Unpaywall
95
TITLE: Forecasting financial market structure from network features using machine learning PDF
AUTHORS: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLISHED: 2024, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: abs/2110.11751
INDEXED IN: Scopus WOS DBLP arXiv
96
TITLE: Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II, VOLUME: 14921, PAGES: 384-421
INDEXED IN: Scopus DBLP
97
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
INDEXED IN: Scopus WOS DBLP CrossRef
98
TITLE: Framework for adaptive serious games  Full Text
AUTHORS: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
99
TITLE: From fault detection to anomaly explanation: A case study on predictive maintenance
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
INDEXED IN: Scopus WOS CrossRef Unpaywall
100
TITLE: From Random to Informed Data Selection: A Diversity-Based Approach to Optimize Human Annotation and Few-Shot Learning
AUTHORS: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 492-502
INDEXED IN: DBLP

Results per Page: 20.
Página 5 de 406. Total de resultados: 8103.