O ICTM (Interval Categorizer Tesselation Model), objeto da presente tese, é um modelo geral para análise de espaços de natureza geométrica, baseado em tesselaçoes, que é capaz de produzir uma categorização confiável de conjunto de pontos de um dado espaço, de acordo com múltiplas características dos pontos, cada característica correspondendo a uma camada do modelo. Por exemplo, na análise de terrenos geográficos, uma região geográfica pode ser analisada de acordo com a sua topografia, vegetaçao, demografia, dados econômicos etc, cada uma gerando uma subdivisão diferente da região. O modelo geral baseado em tesselações não está restrito, porém, a análise de espaços bi-dimensionais. O conjunto dos pontos analisados pode pertencer a um espaço multidimensional, determinando a característica multi-dimensional de cada camada. Um procedimento de projeção das categorizações obtidas em cada camada sobre uma camada básica leva a uma categorização confiavel mais significante, que combina em uma só classificação as análises obtidas para cada característica. Isto permite muitas análises interessantes no que tange a dependência mútua das características. A dimensão da tesselação pode ser arbitrária ou escolhida de acordo com algum critério específico estabelecido pela aplicação. Neste caso, a categorização obtida pode ser refinada, ou pela re-definição da dimensão da tesselação ou tomando cada sub-região resultante para ser analisada separadamente A formalização nos registradores pode ser facilmente recuperada apenas pela indexação dos elementos das matrizes, em qualquer momento da execução. A implementação do modelo é naturalmente paralela, uma vez que a análise é feita basicamente por regras locais. Como os dados de entrada numéricos são usualmente suscetíveis a erros, o modelo utiliza a aritmética intervalar para se ter um controle automático de erros. O modelo ICTM também suporta a extração de fatos sobre as regiões de modo qualitativo, por sentenças lógicas, ou quantitativamente, pela análise de probabilidade. Este trabalho recebe apoio nanceiro do CNPq/CTPETRO e FAPERGS.

Orientador: Rodney C. Bassanezi / Tese [doutorado] - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientítica / Made available in DSpace on 2018-07-14T03:59:05Z (GMT). No. of bitstreams: 1 Rezende_ElianeQuelhoFrota_D.pdf: 1279129 bytes, checksum: 0e931955881635c8ab54b67454019439 (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed / Doutorado / Doutor em Ciências

Orientador : Antonio Jose Engler / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-15T03:15:13Z (GMT). No. of bitstreams: 1 Miorim_MariaAngela_M.pdf: 1379597 bytes, checksum: 5c7d0d4084e24ce2b0eeb47718e7b196 (MD5) Previous issue date: 1980 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Orlando Francisco Lopes / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-16T19:23:37Z (GMT). No. of bitstreams: 1 Neves_AloisioFreiria_M.pdf: 1139567 bytes, checksum: cced463839d18ca20f705dfb173dcda2 (MD5) Previous issue date: 1976 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador : Jose Carlos de Souza Kuhl / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T00:19:27Z (GMT). No. of bitstreams: 1 Rodrigues_ClaudinaIzepe_D.pdf: 1498045 bytes, checksum: 5a5f3759121d3074ad32fd698b8f6f50 (MD5) Previous issue date: 1986 / Resumo: Não informado / Abstract: Not informed / Doutorado / Doutor em Ciências

Orientadores: Francesco Mercuri, Caio J.C. Negreiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-19T17:39:29Z (GMT). No. of bitstreams: 1 Tukuoka_Ryuichi_M.pdf: 669111 bytes, checksum: 43aefb287081bec80f843acd724566b4 (MD5) Previous issue date: 1994 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Elíris Cristina Rizziolli / Banca: Edivaldo Lopes da Silva / Banca: João Peres Vieira / Resumo: Neste trabalho tratamos do objeto matemático Grupo Topológico. Para este desenvolvimento, abordamos elementos básicos de Grupo e Espaço Topológico / Abstract: In this work we consider the mathematical object Topological Group. For this development, we discuss the basic elements of the Group and Topological Space / Mestre

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Nesta dissertaÃÃo abordamos o problema de injetividade de difeomorsmos locais em dimensÃo dois, do ponto de vista da geometria de curvatura negativa. O teorema principal fornece um conjunto de condiÃÃes sucientes para injetividade de um difeomorfismo local f : M1 → M2, entre superfÃcies de Hadamard, que se baseiam inteiramente em certas condiÃÃes de transversalidade simples de serem satisfeitas por folheaÃÃes defifinidas pelos horociclos associados a mÃtrica de curvatura nÃo positiva variÃvel em M1 e M2 , e o pull-back por f de tais folheaÃÃes. O Teorema fornece tambem uma definiÃÃo geomÃtrica para alguns dos resultados sobre a conjectura de estabilidade global assintÃtica, em particular, apresenta uma extensÃo parcial da condiÃÃo espectral para o caso de variedades de Hadamard. / In this work, we study the problem of injectivity of a local dieomorphism on dimension two of the point of view of the geometry of negative curvature. The main theorem provides a set of sucient conditions for injectivity of a local diffeomorphism f : M1 → M2 , between Hadamard surfaces, which depends on certain transversality conditions to be satisfied by simple foliations defined by horocycles associated to the metric with non positive curvature varying in M1 and M2 , and the pull-back in f of such foliations. This result gives a geometric definition for some of the results about the global asymptotic stability conjecture, in particular, it has a partial extension of the spectral condition for the case of Hadamard manifolds.

Orientadores : Jose Carlos de Souza Kiihl, Donald Ranson Whitney / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-15T08:58:46Z (GMT). No. of bitstreams: 1 Noronha_MariaHelena_M.pdf: 1026364 bytes, checksum: 33f7a8f483b9ddec02381642d75d3712 (MD5) Previous issue date: 1977 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Thiago de Melo / Banca: Eliris Cristina Rizziolli / Banca: Luiz Hartmann Junior / Resumo: O objetivo principal deste trabalho é a demonstração do Teorema Fundamental da Álgebra por meio da Teoria de Homotopia. Esta teoria é uma das mais importantes da Topologia Algébrica. Para um melhor entendimento do tema faz-se uma retomada de algumas definições de Topologia Geral, em seguida estuda-se tópicos de homotopia e também o tema a eles relacionado, denominado Grupo Fundamental. De posse destas ideias demonstra-se o Teorema Fundamental da Álgebra. O texto tem como principal referência o livro [5] / Abstract: The main objective of this work is the proof of the Fundamental Theorem of Algebra through the Homotopy Theory. This theory is one of the most important in Algebraic Topology. For a better understanding of the subject one recalls some definitions of General Topology, next it is studied homotopy topics and also a related subject, namely Fundamental Group. Making use of these concepts the proof of Fundamental Theorem of Algebra is shown. The main reference for the text is the book [5] / Mestre