- Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR abs/2401.05673 (2024) - Lívia Rodrigues, Martina Bocchetta, Oula Puonti, Douglas N. Greve, Ana Carolina Londe, Marcondes França, Simone Appenzeller, Juan Eugenio Iglesias, Letícia Rittner:
H-SynEx: Using synthetic images and ultra-high resolution ex vivo MRI for hypothalamus subregion segmentation. CoRR abs/2401.17104 (2024) - Ricardo Rodrigues, Daniel Alazard, Francesco Sanfedino, Tommaso Mauriello, Paolo Iannelli:
Modeling and analysis of a flexible spinning Euler-Bernoulli beam with centrifugal stiffening and softening: A Linear Fractional Representation approach with application to spinning spacecraft. CoRR abs/2401.17519 (2024) - Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro:
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. CoRR abs/2406.15281 (2024) - Lívia Rodrigues, Martina Bocchetta, Oula Puonti, Douglas N. Greve, Ana Carolina Londe, Marcondes França, Simone Appenzeller, Letícia Rittner, Juan Eugenio Iglesias:
High-resolution segmentations of the hypothalamus and its subregions for training of segmentation models. CoRR abs/2406.19492 (2024) - Daniel de Haro Moraes, João Paulo Aragão Pereira, Bruno Estolano Grossi, Gustavo Mirapalheta, George Marcel Monteiro Arcuri Smetana, Wesley Rodrigues, Courtnay Nery Guimarães Jr., Bruno Domingues, Fábio Saito, Marcos Simplício:
Applying Post-Quantum Cryptography Algorithms to a DLT-Based CBDC Infrastructure: Comparative and Feasibility Analysis. IACR Cryptol. ePrint Arch. 2024: 1206 (2024) - 2023
- Diego Gabriel Soares Pivoto, Tibério Tavares Rezende, Michelle Soares Pereira Facina, Rodrigo Moreira, Flávio de Oliveira Silva, Kleber Vieira Cardoso, Sand Luz Correa, Antonia Vanessa Dias Araujo, Rogério Sousa E. Silva, Heitor Scalco Neto, Gustavo Rodrigues de Lima Tejerina, Antônio Marcos Alberti:
A Detailed Relevance Analysis of Enabling Technologies for 6G Architectures. IEEE Access 11: 89644-89684 (2023) - Adelaide Freitas, Helena Sofia Rodrigues, Natália Martins, Adela Iutis, Michael A. Robert, Demian Herrera, Manuel Colomé-Hidalgo:
Multiplicative Mixed-Effects Modelling of Dengue Incidence: An Analysis of the 2019 Outbreak in the Dominican Republic. Axioms 12(2): 150 (2023) - Aruane M. Pineda, Francisco Aparecido Rodrigues, Caroline L. Alves, Michael Möckel, Thaise G. L. de O. Toutain, Joel Augusto Moura Porto:
Analysis of quantile graphs in EGC data from elderly and young individuals using machine learning and deep learning. J. Complex Networks 11(5) (2023) - Lara Sucupira Furtado, Gustavo Moura, Daniel Jean Rodrigues Vasconcelos, Guilherme Sales Fernandes, Lívia Almada Cruz, Regis Pires Magalhães, Ticiana L. Coelho da Silva:
An analytical citizen relation management system (CZRM) for social vulnerability mapping and policy recommendation in Brazil. Decis. Support Syst. 172: 113995 (2023) - Carlos A. Bana e Costa, Mónica Duarte Oliveira, Ana C. L. Vieira, Liliana Freitas, Teresa C. Rodrigues, João C. Bana e Costa, Ângela Freitas, Paula Santana:
Collaborative development of composite indices from qualitative value judgements: The EURO-HEALTHY Population Health Index model. Eur. J. Oper. Res. 305(1): 475-492 (2023) - Joao Vitor Firmino, Marcelo Melo, Vera Salemi, Kamilla Bringel, Davi Leone, Renner Pereira, Marcelo Rodrigues:
Heart failure recognition using human voice analysis and artificial intelligence. Evol. Intell. 16(6): 2015-2027 (2023) - Catia F. Oliveira, Ana M. C. Rodrigues, Delfim Pedrosa, João Luiz Afonso, Vitor Monteiro:
A Current-Source Converter with a Hybrid Dc-dc Converter Interfacing an Electric Vehicle and a Renewable Energy Source. EAI Endorsed Trans. Energy Web 9(5): e4 (2023) - Diego Lucas Neres Rodrigues, Juan Carlos Ariute, Francielly Morais Rodrigues da Costa, Ana Maria Benko-Iseppon, Debmalya Barh, Vasco Ariston de Carvalho Azevedo, Flávia Figueira Aburjaile:
PanViTa: Pan Virulence and resisTance analysis. Frontiers Bioinform. 3 (2023) - Tiago de Oliveira Barreto, Nícolas Vinícius Rodrigues Veras, Pablo Holanda Cardoso, Felipe Ricardo dos Santos Fernandes, Luiz Paulo de Souza Medeiros, Maria Valéria Bezerra, Filomena Marques Queiroz de Andrade, Chander de Oliveira Pinheiro, Ignacio Sánchez-Gendriz, Gleyson José Pinheiro Caldeira Silva, Leandro Farias Rodrigues, Antonio Higor Freire de Morais, João Paulo Queiroz dos Santos, Jailton Carlos Paiva, Íon Garcia Mascarenhas de Andrade, Ricardo Alexsandro de Medeiros Valentim:
Artificial intelligence applied to analyzes during the pandemic: COVID-19 beds occupancy in the state of Rio Grande do Norte, Brazil. Frontiers Artif. Intell. 6 (2023) - Duarte Sousa, Américo Cardoso, João Noite, Ana Rodrigues, Helder Lopes, Catarina Fernando, João Prudente:
Attack with Empty Goal (7 vs 6) in Team Handball - Analysis of Men's EHF Euro 2022. Int. J. Comput. Sci. Sport 22(2): 114-123 (2023) - Alberto Rodrigues da Silva, Jacinto Estima, Jorge Marques, Ivo Gamito, Alexandre Magalhães Serra, Leonardo Moura, Ana Ricardo, Luís Mendes, Rui Ferreira:
A Web GIS Platform to Modeling, Simulate and Analyze Flood Events: The RiverCure Portal. ISPRS Int. J. Geo Inf. 12(7): 268 (2023) - Pedro Rito, Ana Almeida, Andreia Figueiredo, Christian Gomes, Pedro Teixeira, Rodrigo Rosmaninho, Rui Lopes, Duarte Dias, Gonçalo Vítor, Gonçalo Perna, Miguel Silva, Carlos R. Senna, Duarte M. G. Raposo, Miguel Luís, Susana Sargento, Arnaldo S. R. Oliveira, Nuno Borges de Carvalho:
Aveiro Tech City Living Lab: A Communication, Sensing, and Computing Platform for City Environments. IEEE Internet Things J. 10(15): 13489-13510 (2023) - Anacleto Silva de Souza, Robson Francisco de Souza, Cristiane Rodrigues Guzzo:
Cooperative and structural relationships of the trimeric Spike with infectivity and antibody escape of the strains Delta (B.1.617.2) and Omicron (BA.2, BA.5, and BQ.1). J. Comput. Aided Mol. Des. 37(12): 585-606 (2023) - Rafaella L. S. do Nascimento, Roberta A. de A. Fagundes, Renata M. C. R. de Souza, Francisco José de A. Cysneiros:
Interval regression model adequacy checking and its application to estimate school dropout in Brazilian municipality educational scenario. Pattern Anal. Appl. 26(1): 39-59 (2023) - Wagner J. F. Silva, Pedro J. C. Souza, Renata M. C. R. Souza, Francisco José de A. Cysneiros:
A Clustering Algorithm for Polygonal Data Applied to Scientific Journal Profiles. IEEE Trans. Pattern Anal. Mach. Intell. 45(11): 13766-13777 (2023) - Gabriela Rodrigues Diniz, Rafael Dirques David Regis, Júlio César Valente Ferreira:
Otome Games: globalization and glocalization processes, conceptualization and data analysis of Brazilian players. J. Interact. Syst. 14(1): 429-447 (2023) - Daniel Graça, Johnny Reis, Carla Gama, Alexandra Monteiro, Vera Rodrigues, Micael Rebelo, Carlos Borrego, Myriam Lopes, Ana Isabel Miranda:
Sensors Network as an Added Value for the Characterization of Spatial and Temporal Air Quality Patterns at the Urban Scale. Sensors 23(4): 1859 (2023) - Júlia da L. A. Silva, Vicente A. de Sousa Jr., Marcio E. C. Rodrigues, Fred Sizenando Rossiter Pinheiro, Gutembergue Soares da Silva, Halysson B. Mendonça, Ricardo Q. de F. H. Silva, João V. L. da Silva, Fernanda E. S. Galdino, Vitor F. C. de Carvalho, Lucas I. C. Medeiros:
Human Exposure to Non-Ionizing Radiation from Indoor Distributed Antenna System: Shopping Mall Measurement Analysis. Sensors 23(10): 4579 (2023) - Andrews Souza, Diana F. Rodrigues, Maria Sabrina Souza, Conrado Ferrera, João Ribeiro, Rui A. Lima, Ana S. Moita:
In Vitro Flow Study in an Intracranial Aneurysm Biomodel Manufactured by Additive Manufacturing. BIODEVICES 2023: 121-125 - Ana Rodrigues, Diogo Cabral, Pedro F. Campos:
Creativity Support Tools and Convergent Thinking: A Preliminary Review on Idea Evaluation and Selection. Creativity & Cognition 2023: 305-311 - Ana Carolina Rodrigues Lima de Aguiar, Lucas Eduardo Melo Alves, Felipe Melo Feliciano De Sá, Yuska Paola Costa Aguiar:
What do Portuguese-Libras automatic translation application users care about? An analysis of user comments to improve application accessibility by the quality assurance team. CLIHC 2023: 26:1-26:4 - Helena Rodrigues, António Rito Silva, Alberto Avritzer:
Performance Comparison of Monolith and Microservice Architectures - An Analysis of the State of the Art. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 185-199 - Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro:
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). FASE 2023: 324-329 - Igor Ernesto Ferreira Costa, Antonilson da Silva Alcantara, Elisiane Monteiro Soares, Raimundo Viégas Junior, Elziane Monteiro Soares, Emanuel Amoras Rodrigues, Sandro Ronaldo Bezerra Oliveira:
An Analysis of a Gamification Application for Teaching and Learning Knowledge Management under the Qualitative and Affective Computing Contexts. FIE 2023: 1-9