Buscar
Mostrando ítems 1-10 de 543
Separatrizes de germes de campos de vetores analíticos reais em dimensão dois
(Universidade Federal de Minas GeraisBrasilICEX - INSTITUTO DE CIÊNCIAS EXATASPrograma de Pós-Graduação em MatemáticaUFMG, 2021-08-12)
This thesis is dedicated to the study of conditions to ensure the existence of formal separatrices for a foliation defined by a germ of real analytical vector field with an algebraically isolated singularity at the origin ...
Hamilton-Jacobi formalism on the null-plane: Applications
(2009-12-01)
In this work we discuss the Hamilton-Jacobi formalism for fields on the null-plane. The Real Scalar Field in (1+1) - dimensions is studied since in it lays crucial points that are presented in more structured fields as the ...
Hamilton-Jacobi formalism on the null-plane: Applications
(2009-12-01)
In this work we discuss the Hamilton-Jacobi formalism for fields on the null-plane. The Real Scalar Field in (1+1) - dimensions is studied since in it lays crucial points that are presented in more structured fields as the ...
Sobre a metrizabilidade do espaço de R-lugares de um corpo de funções F com trdeg_R=1
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Matemática - PPGMCâmpus São Carlos, 2020-02-28)
The main purpose of this work is to study the metrizability of the space of R-places of a function field, with transcendence degree 1 over a real closed field. Specifically, we are going to present a necessary and sufficient ...
Verificação formal na indústria
(Universidade Federal de Minas GeraisUFMG, 2016-02-29)
Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...
PP-wave light-cone free string field theory at finite temperature
(Springer, 2005-10-01)
In this paper, a real-time formulation of light-cone pp-wave string field theory at finite temperature is presented. This is achieved by developing the thermo field dynamics (TFD) formalism in a second quantized string ...
PP-wave light-cone free string field theory at finite temperature
(Springer, 2005-10-01)
In this paper, a real-time formulation of light-cone pp-wave string field theory at finite temperature is presented. This is achieved by developing the thermo field dynamics (TFD) formalism in a second quantized string ...