36 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Universidade Federal de AlagoasBR11 papers
- Universidade Federal de PernambucoBR5 papers
- Universidade Federal da BahiaBR3 papers
- Universidade Federal de Campina GrandeBR3 papers
- Universidade Federal do MaranhãoBR2 papers
- Universidade Federal Rural de PernambucoBR2 papers
- Universidade Tecnológica Federal do ParanáBR2 papers
- Beijing Computational Science Research CenterCN1 paper
- Cognitive Neuroimaging LabFR1 paper
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
- Fudan UniversityCN1 paper
- Humboldt-Universität zu BerlinDE1 paper
16 papers
Agentic LMs: Hunting Down Test Smells
Rian Melo, Pedro Simões, Rohit Gheyi +5
Test smells reduce test suite reliability and complicate maintenance. While many methods detect test smells, few support automated removal, and most rely on static analysis or mach…
User Story Tutor (UST) to Support Agile Software Developers
Giseldo da Silva Neo, José Antão Beltrão Moura, Hyggo Oliveira de Almeida +2
User Stories record what must be built in projects that use agile practices. User Stories serve both to estimate effort, generally measured in Story Points, and to plan what should…
A Catalog of Transformations to Remove Smells From Natural Language Tests
Manoel Aranda, Naelson Oliveira, Elvys Soares +6
Test smells can pose difficulties during testing activities, such as poor maintainability, non-deterministic behavior, and incomplete verification. Existing research has extensivel…
PlantPlotGAN: A Physics-Informed Generative Adversarial Network for Plant Disease Prediction
Felipe A. Lopes, Vasit Sagan, Flavio Esposito
Monitoring plantations is crucial for crop management and producing healthy harvests. Unmanned Aerial Vehicles (UAVs) have been used to collect multispectral images that aid in thi…
Ruled surfaces as translating solitons of the inverse mean curvature flow in the three-dimensional Lorentz-Minkowski space
Gregório Silva Neto, Vanessa Silva
In this paper, we classify the nondegenerate ruled surfaces in the three-dimensional Lorentz-Minkowski space that are translating solitons for the inverse mean curvature flow. In p…
Mixing Property of Symmetrical Polygonal Billiards
R. B. do Carmo, T. Araújo Lima
The present work consists of a numerical study of the dynamics of irrational polygonal billiards. Our contribution reinforces the hypothesis that these systems could be Strongly Mi…
Classical and Quantum Elliptical Billiards: Mixed Phase Space and Short Correlations in Singlets and Doublets
T. Araújo Lima, R. B. do Carmo
Billiards are flat cavities where a particle is free to move between elastic collisions with the boundary. In chaos theory these systems are simple prototypes, their conservative d…
Nonlinear flip-flop quantum walks through potential barriers
F. S. Passos, A. R. C. Buarque
The dynamics of nonlinear flip-flop quantum walk with amplitude-dependent phase shifts with pertubing potential barrier is investigated. Through the adjustment between uniform loca…
Synchronous observation of Bell nonlocality and state-dependent Kochen-Specker contextuality
Lei Xiao, Gabriel Ruffolo, André Mazzari +4
Bell nonlocality and Kochen-Specker contextuality are two remarkable nonclassical features of quantum theory, related to strong correlations between outcomes of measurements perfor…
What Evidence We Would Miss If We Do Not Use Grey Literature?
Fernando Kamei, Gustavo Pinto, Igor Wiese +2
Context: Over the last years, Grey Literature (GL) is gaining increasing attention in Secondary Studies in Software Engineering (SE). Notably, Multivocal Literature Review (MLR) st…
Quadrilaterals on the square screen of their diagonals: Regge symmetries of quantum-mechanical spin-networks and Grashof classical mechanisms of four-bar linkages
Vincenzo Aquilanti, Ana Carla Peixoto Bitencourt, Concetta Caglioti +4
The four-bar linkage is a basic arrangement of mechanical engineering and represents the simplest movable system formed by a closed sequence of bar-shaped bodies. Although the mech…
On the Use of Grey Literature: A Survey with the Brazilian Software Engineering Research Community
Fernando Kamei, Igor Wiese, Gustavo Pinto +2
Background: The use of Grey Literature (GL) has been investigate in diverse research areas. In Software Engineering (SE), this topic has an increasing interest over the last years.…
Lévy flights for light in ordered lasers
Erick G. Rocha, Emanuel P. Santos, Bruno J. dos Santos +4
Lévy flights for light have been demonstrated in disordered systems with and without optical gain, and remained unobserved in ordered ones. In the present letter, we investigate, n…
Converting ALC Connection Proofs into ALC Sequents
Eunice Palmeira, Fred Freitas, Jens Otten
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applie…
Self-sustained activity of low firing rate in balanced networks
Fernando Borges, Paulo Protachevicz, Rodrigo Pena +10
Self-sustained activity in the brain is observed in the absence of external stimuli and contributes to signal propagation, neural coding, and dynamic stability. It also plays an im…
Rigidity of manifolds admitting stable solutions of an elliptic problem
Marcio Batista, Jose I. Santos
In this paper, we study geometric rigidity of Riemannian manifolds admitting stable solutions of certain elliptic problems (stability in a variational sense), that is, under suitab…