output
20092026
most citedChannel Estimation for Intelligent Reflecting Surface Assisted MIMO Systems: A Tensor Modeling Approach

239 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2026Show all

6 papers · 1 filter

gr-qc2026

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…

cs.LO2026

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…

cs.LO2026★ 1 cited

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…

cs.LG2026

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…

cs.LO2026

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…

cs.LO2026

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…