254 citations
- Universidade Federal de PernambucoBR89 papers
- Universidade Federal da ParaíbaBR41 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- Université de LorraineFR13 papers
- Universidade de São PauloBR10 papers
- Universidade Federal de AlagoasBR10 papers
- Universidade Federal do Rio de JaneiroBR10 papers
- Karlsruhe Institute of TechnologyDE7 papers
- Laboratoire de Physique et Chimie ThéoriquesFR7 papers
- Universidade de PernambucoBR7 papers
- Universidade Federal do ParanáBR7 papers
- Institut Jean LamourFR6 papers
235 papers
Observation of Replica Symmetry Breaking in Filamentation and Multifilamentation
André C. A. Siqueira, Guillermo Palacios, Jessica E. Q. Bautista +4
We report the experimental observation and characterization of Replica Symmetry Breaking (RSB) manifestation while analyzing the transverse intensity profile of pulses in filamenta…
Perfect numbers, Wieferich primes and the solutions of
Gabriel Guedes, Ricardo Machado
In this article we focus on the solutions of a congruence equation: . Using the main result of this article and the SageMath software, we improve l…
Mixed-spin Heisenberg ladders in a magnetic field
D. S. Almeida, A. S. Bibiano, W. M. da Silva +1
In this work, we study alternating mixed-spin Heisenberg ladders in the magnetic field using density matrix renormalization group and linear spin-wave calculations. The…
Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
Felipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto +3
We study how security patches in highly configurable C/C++ systems map onto the space of compile-time variants. We formalize the Vulnerability Impact Condition (VIC) - a Boolean pr…
Characterizing and Modeling the GitHub Security Advisories Review Pipeline
Claudio Segal, Paulo Segal, Carlos Eduardo Banjar +8
GitHub Security Advisories (GHSA) have become a central component of open-source vulnerability disclosure and are widely used by developers and security tools. A distinctive featur…
Model management to support systems engineering workflows using ontology-based knowledge graphs
Arkadiusz Ryś, Lucas Lima, Joeri Exelmans +2
System engineering has been shifting from document-centric to model-based approaches, where assets are becoming more and more digital. Although digitisation conveys several benefit…