71 citations
- Universidade Tecnológica Federal do ParanáBR8 papers
- Khalifa University of Science and TechnologyAE4 papers
- Universidade Federal de ItajubáBR3 papers
- Universidade Federal do Rio de JaneiroBR3 papers
- Universidade de PernambucoBR2 papers
- Universidade Estadual de Santa CruzBR2 papers
- University of HoustonUS2 papers
- University of TübingenDE2 papers
- York UniversityCA2 papers
- Academic College of Tel Aviv-YafoIL1 paper
- American Institute for Economic ResearchUS1 paper
- Antalya Bilim UniversityTR1 paper
23 papers
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…
Thick oriented and nonoriented center-vortex configurations with fractional topological charge lumps
David R. Junior, L. E. Oxman, Gustavo M. Simões
Mixed oriented and nonoriented center vortices are known to generate nontrivial topological charge. However, most previous analyses have been restricted to Abelian-projected thin c…
Real-space topology and charge order in the Haldane-Holstein Model
Sebastião dos Anjos Sousa-Júnior, Julián Faúndez, Tarik P. Cysne +2
We study the half-filled Haldane-Holstein model, where a paradigmatic Chern insulator is coupled to fully dynamical phonons, and provide an unbiased characterization of how retarde…