Grupo Horizonte
Research
Numerical methods
Discretization and solution of mathematical models for transport phenomena.
We investigate discretizations for transport problems and strategies for solving linear and nonlinear systems. Verification against known solutions and convergence studies are part of method development.
This example demonstrates a citable reference: (Silva & Costa, 2025).
Research questions
- Stability and accuracy of discretizations.
- Computational cost and solver robustness.
- Automated tests and reproducibility of experiments.
Scientific machine learning
Models combining data, physical knowledge and computational simulation.
We study physical information in machine learning models and their integration with numerical problems. Evaluation considers approximation quality and satisfaction of relevant problem properties.
Multiple references can be cited together: (Silva & Costa, 2025; Costa & Silva, 2024).
Computational thermodynamics
Phase equilibria and mixture properties, with attention to model consistency.
This area covers phase equilibria and mixture properties. Activities include model implementation, behavior analysis and comparison with reference data.
The example publication (Costa & Silva, 2024) illustrates how discussion connects to the bibliography.
References
- Silva, A., & Costa, L. (2025). Um exemplo de verificação de métodos numéricos. Revista Fictícia de Computação Científica, 1, 1–12.
- Costa, L., & Silva, A. (2024). An illustrative hybrid model for phase equilibria. Fictional Journal of Computational Thermodynamics, 2, 15–28.