Structure Theorem
Mostrando 1-12 de 42 artigos, teses e dissertações.
-
1. A CONCEPTUAL DFT STUDY OF THE CHEMICAL REACTIVITY OF MAGNESIUM OCTAETHYLPORPHYRIN (MgOEP) AS PREDICTED BY THE MINNESOTA FAMILY OF DENSITY FUNCTIONALS
The Minnesota family of density functionals has been assessed for the calculation of the molecular structure and electronic properties of a Mg(II)-porphyrin, namely Magnesium Octaethylporphyrin (MgOEP). Several global descriptors arising from Conceptual DFT have been calculated through a ΔSCF procedure, and by means of the HOMO and LUMO frontier orbitals. O
Quím. Nova. Publicado em: 2017-05
-
2. Campos localmente resolúveis, espaços de Hardy e extensão de funções CR / Campos localmente resolúveis, espaços de Hardy e extensão de funções CR
Suppose that M is a smooth submanifold of CN and that L = ∪z∈CnLz is the Cauchy- Riemann structure associated to the N-dimensional complex space. For each p ∈ M we can consider the vector space Ap = CTpM ∩ Lp. If the reunion of those fibers originates a locally integrable structure, then we are going to say that M is a CR submanifold
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/05/2012
-
3. Sobre o acoplamento fluido-casca utilizando o método dos elementos finitos / On fluid-shell coupling using the finite element method
This work consists of the development of computational tools for nonlinear geometric fluid-shell interaction analysis using the Finite Element Method (FEM). The fluid solver is explicit and its time integration based on characteristics. The computational code is able to simulate the Navier-Stokes equations for compressible flows written in the Eulerian descr
Publicado em: 2011
-
4. Práticas argumentativas no estudo da geometria por acadêmicos de Licenciatura em Matemática
This present study was developed with academics of Licenciature in Mathematics, more specifically the discipline of Euclidean geometry with the objective of researching the process of developing the argumentation both explanatory and justificatory, in solving tasks of this discipline. The development of naive argumentation for the argumentation logic; of eve
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/03/2010
-
5. Formas quadrÃticas sobre corpos, Ãlgebras com divisÃo e Ãlgebras de Clifford
In this dissertation we treat some aspects of the theory of quadratic forms over a field, algebras with division and simple central algebras. Important objects here studied are the Wittâs ring, the Brauerâs group, the Cliffordâs algebras and the Wedderburnâs theorem over the structure of simple central algebras. These theories are deeply linked together
Publicado em: 2008
-
6. Uma formalização da teoria de reescrita em linguagem de ordem superior
Theories for Abstract Reduction Systems (ARS) and Term Rewriting Systems (TRS) in the proof assistant PVS (Prototype Verification System) called ars and trs, respectively, we developed. The ars theory built on the PVS library for binary relations, contains specifications of notions such as reduction, confluence, normal forms, and non basic concepts such as N
Publicado em: 2008
-
7. Bases de Hilbert / Hilbert Basis
There are several min-max relations in combinatorial optimization that can be proved through total dual integrality of linear systems. The algebraic concept of Hilbert basis was originally introduced with the objective of better understanding the general structure of totally dual integral systems. Some results that were proved later have shown that Hilbert b
Publicado em: 2007
-
8. O Teorama da Convexidade do Mapa do Momento
In this dissertation we presented the Atiyah-Guillemin-Sternberg convexity theorem about the image of the moment map in the case of Hamiltonian torus action on compact connected symplectic manifold. This result gives, in certain sense, a generalization to Schur theorem about relationship between eigenvalues and diagonal entries of Hermitian matrix. With this
Publicado em: 2007
-
9. Elementos rigidos, valorizações e estrutura de aneis de Witt / Rigid elements, valuations and structure of Witt rings
An ordered field is an algebraic structure like the field of real numbers. However, while the field of real numbers have only one ordering, an arbitrary ordered field F may have more than one ordering, and also a infinite and uncountble number of orderings is allowed. To each element x Î F one can associate an binary quadratic form [1, x], called Pfister 1-
Publicado em: 2007
-
10. Rigid elements, valuations and structure of Witt rings / Elementos rigidos, valorizações e estrutura de aneis de Witt
An ordered field is an algebraic structure like the field of real numbers. However, while the field of real numbers have only one ordering, an arbitrary ordered field F may have more than one ordering, and also a infinite and uncountble number of orderings is allowed. To each element x Î F one can associate an binary quadratic form [1, x], called Pfister 1-
Publicado em: 2007
-
11. A bird's-eye view of density-functional theory
This paper is the outgrowth of lectures the author gave at the Physics Institute and the Chemistry Institute of the University of São Paulo at São Carlos, Brazil, and at the VIII'th Summer School on Electronic Structure of the Brazilian Physical Society. It is an attempt to introduce density-functional theory (DFT) in a language accessible for students ent
Brazilian Journal of Physics. Publicado em: 2006-12
-
12. Multiple ionization effects in x-ray emission induced by heavy ions
The x-ray satellite structure of Pd Lalpha1,2(L3M4,5) transition excited by an impact of O7+ and Ne6+ ions with energies 279 and 178 MeV, respectively, which were measured using a high-resolution von Hamos crystal spectrometer, is discussed in terms of the multi-configuration Dirac-Fock (MCDF) calculations. We demonstrate, by using the arguments of the gener
Brazilian Journal of Physics. Publicado em: 2006-06