666 citations
- Universidade Federal do Rio de JaneiroBR289 papers
- Universidade de São PauloBR215 papers
- Centro Brasileiro de Pesquisas FísicasBR188 papers
- Centre National de la Recherche ScientifiqueFR165 papers
- Universidade Estadual de Campinas (UNICAMP)BR156 papers
- Universidade Federal do ABCBR123 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT103 papers
- Radboud University NijmegenNL103 papers
- Universidad Nacional Autónoma de MéxicoMX101 papers
- Universidade do Estado do Rio de JaneiroBR98 papers
- Consejo Nacional de Investigaciones Científicas y TécnicasAR94 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR94 papers
2,037 papers
FU-Mamba: A Frequency-Enhanced Dynamic Scanning Framework for Oralscan Image Segmentation
Xinxin Zhao, Jinpeng Ye, Bo Wei +8
Oralscan image segmentation is essential for computer-aided diagnosis and treatment planning in digital dentistry. However, existing visual state space models (SSMs) often rely on…
Local null controllability of a quasi-linear system and related numerical experiments
Enrique Fernández-Cara, Juan Límaco, Yuri Thamsten +1
This paper concerns the null control of quasi-linear parabolic systems where the diffusion coefficient depends on the gradient of the state variable. In our main theoretical result…
A Symbolic Machine Learning Approach for Cybersickness Potential-Cause Estimation
Thiago Porcino, Érick Oliveira Rodrigues, Flavia Bernardini +2
Virtual reality (VR) and head-mounted displays are constantly gaining popularity in various fields such as education, military, entertainment, and bio/medical informatics. Although…
Using the gameplay and user data to predict and identify causes of cybersickness manifestation in virtual reality games
Thiago Porcino, Erick Oliveira Rodrigues, Alexandre Silva +2
Virtual reality (VR) is an imminent trend in games, education, entertainment, military, and health applications, as the use of head-mounted displays is accessible to everyone. Whil…
Dynamic Logic with Parallel Operator for Verifying Communication Protocols
Luiz C. F. Fernandez, Mario R. F. Benevides
In this paper, we present a dynamic logic with parallel operators for the formal verification of authenticity and safety properties of cryptographic protocols. The logic incorporat…
Corruption as a self-sustained collective state in political systems
Nuno Crokidakis, Jaime L. C. da C. Filho
Political corruption is often interpreted as the result of individual misconduct or isolated institutional failures. However, persistent corruption patterns observed in real-world…