239 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Universidade Federal do CearáBR40 papers
- Universidade Estadual do CearáBR10 papers
- Universidade Federal da ParaíbaBR6 papers
- Universidade Federal do CaririBR6 papers
- Universidade de São PauloBR5 papers
- Centro Brasileiro de Pesquisas FísicasBR4 papers
- Universidade Federal do Rio Grande do NorteBR4 papers
- Universidade de FortalezaBR3 papers
- University of LisbonPT3 papers
- Centro de Física Teórica e Computacional2 papers
- Complexity Science HubAT2 papers
- Instituto de Física de São CarlosBR2 papers
80 papers
Thin-shell wormholes in cosmic voids
Jonathan A. Rebouças, Edson Otoniel, Francisco S. N. Lobo
Cosmic voids are underdense regions that can provide an effective large-scale environment with a de Sitter-like gravitational behavior. Motivated by recent black-hole solutions emb…
Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
Ronaldo Gomes, Jairo Ribeiro, Luiz Queiroz +1
Logic-based methods for explaining neural network decisions offer formal guarantees of correctness and non-redundancy, but they often suffer from high computational costs, especial…
Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
Francisco Mateus Rocha Filho, Ajalmar Rêgo da Rocha Neto, Thiago Alves Rocha
Machine learning models support decision-making, yet the reasons behind their predictions are opaque. Clear and reliable explanations help users make informed decisions and avoid b…
Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy
Vinícius P. Chagas, Luiz H. T. Viana, Mac M. da S. Carlos +4
Sudden cardiac death (SCD) is unpredictable, and its prediction in Chagas cardiomyopathy (CC) remains a significant challenge, especially in patients not classified as high risk. W…
Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
Emannuel L. de A. Bezerra, Luiz H. T. Viana, Vinícius P. Chagas +3
Cardiovascular disease (CVD) remains one of the leading global health challenges, accounting for more than 19 million deaths worldwide. To address this, several tools that aim to p…
Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
Luiz Fernando Paulino Queiroz, Carlos Henrique Leitão Cavalcante, Thiago Alves Rocha
Neural networks (NNs) are pervasive across various domains but often lack interpretability. To address the growing need for explanations, logic-based approaches have been proposed…
Quantum improved wormholes in the Dekel-Zhao dark matter halo
Jonathan A. Rebouças, Celio R. Muniz, Francisco Bento Lustosa +1
This work presents and investigates novel traversable wormhole solutions within the framework of Asymptotically Safe Gravity (ASG), sourced by a dark matter halo modeled by the Dek…
Psychological safety in software workplaces: A systematic literature review
Beatriz Santana, Lidivânio Monte, Bianca Santana de Araújo Silva +4
Context: Psychological safety (PS) is an important factor influencing team well-being and performance, particularly in collaborative and dynamic domains such as software developmen…
Erdős meets Nash-Williams
Michelle Delcourt, Cicely, Henderson +2
In 1847, Kirkman proved that there exists a Steiner triple system on vertices (equivalently a triangle decomposition of the edges of ) whenever satisfies the necessary…
Striped excitonic (super)solid in anisotropic semiconductors with screened exciton interactions
J. F. de Oliveira Neto, F. M. A. Guimarães, Davi S. Dantas +3
Within the Gross-Pitaevskii framework, we reveal the emergence of a crystallized phase of an exciton condensate in an atomically-thin anisotropic semiconductor, where screening of…
Hamilton cycles in regular graphs perturbed by a random 2-factor
Cicely, Henderson, Sean Longbrake +2
In this paper, we prove that for each , the union of a -regular graph with a uniformly random -factor on the same vertex set is Hamiltonian with high probability. T…
Comparing Neural Network Encodings for Logic-based Explainability
Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha
Providing explanations for the outputs of artificial neural networks (ANNs) is crucial in many contexts, such as critical systems, data protection laws and handling adversarial exa…
Are Padé approximants suitable for modelling shape functions of traversable wormholes?
Jonathan Alves Rebouças, Celio Rodrigues Muniz
This study investigates the applicability of Padé approximants in constructing suitable shape functions for traversable wormholes, emphasizing their ability to satisfy essential ge…
Machine Learning for Spectrum Sharing: A Survey
Francisco R. V. Guimarães, José Mairton B. da Silva, Charles Casimiro Cavalcante +3
The 5th generation (5G) of wireless systems is being deployed with the aim to provide many sets of wireless communication services, such as low data rates for a massive amount of d…
Attributes of a Great Requirements Engineer
Larissa Barbosa, Sávio Freire, Rita S. P. Maciel +4
[Context and Motivation] Several studies have investigated attributes of great software practitioners. However, the investigation of such attributes is still missing in Requirement…
Effective particles in a multishell nanostructure with hardcore
H. R. Christiansen, R. M. Lima
In-medium effective carriers with position-dependent mass in a multishell heterostructure are analytically studied. We obtain the exact spectrum of three-dimensional bound eigensta…
A universal framework for inclusive 15-minute cities
Matteo Bruno, Hygor Piaget Monteiro Melo, Bruno Campanelli +1
Proximity-based cities have attracted much attention in recent years. The 15-minute city, in particular, heralded a new vision for cities where essential services must be easily ac…
An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha
The increasing advancements in the field of machine learning have led to the development of numerous applications that effectively address a wide range of problems with accurate pr…
Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
Francisco Mateus Rocha Filho, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro +1
Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to rejec…
Pulsation in TESS Objects of Interest
R. L. Gomes, B. L. Canto Martins, D. O. Fontinele +11
We report the discovery of three Transiting Exoplanet Survey Satellite Objects of Interest (TOI) with signatures of pulsation, observed in more than one sector. Our main goal is to…
On a version of the Problem B of Mahler involving derivatives
Diego Alves
In 1902, Paul Stäckel constructed an analytic function in a neighborhood of the origin, which was transcendental, and with the property that both and its inverse, as…
Three-dimensional bound states of cylindrical quantum heterostructures with position-dependent mass carriers
H. R. Christiansen, R. M. Lima
We present a comprehensive spectral analysis of cylindrical quantum heterostructures by considering effective electronic carriers with position-dependent mass for five different ki…
A note on the AdS/CFT correspondence and the nature of spacetime in quantum gravity
Carlos Silva
In this paper, we address the nature of spacetime in quantum gravity in light of a new version of the holographic principle that has established a relationship between string theor…
Energy eigenstates of position-dependent mass particles in a spherical quantum dot
R. M. Lima, H. R. Christiansen
We obtain the exact energy spectrum of nonuniform mass particles for a collection of Hamiltonians in a three-dimensional approach to a quantum dot. By considering a set of generali…