• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4
  • Tagged with
  • 4
  • 4
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los

Cifuentes Vasquez, Jose Carlos 29 October 1993 (has links)
Orientador: Antonio Mario Antunes Sette / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-18T18:08:20Z (GMT). No. of bitstreams: 1 CifuentesVasquez_JoseCarlos_D.pdf: 2524797 bytes, checksum: 075a51ffdfe3d4f0012c2817c3615fd6 (MD5) Previous issue date: 1993 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Matemática
2

Estudo de modelos de conservação de paridade por crescimento de superfícies.

Santos, Felipe Aguiar Severino dos January 2015 (has links)
Programa de Pós-Graduação em Ciências – Física de Materiais. Departamento de Física, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-04-24T17:35:02Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-04-24T18:20:33Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) / Made available in DSpace on 2015-04-24T18:20:33Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) Previous issue date: 2015 / Nesse trabalho, investigamos o fenômeno de crescimento da superfície gerada pela deposição do tipo solido sobre sólido (SOS) segundo as regras que definem os autômatos celulares estocásticos propostos por Grassberger (modelos A e B), e pela propagação de danos no modelo de Ising unidimensional submetido a uma dinâmica proposta por Hinrichsen e Domany (HD). Esses modelos não pertencem à classe de universalidade da percolação direcionada (DP) e apresentam novos valores para expoentes críticos, cuja origem se deve à conservação de paridade (PC). Determinamos o expoente de persistência local _, expoente de crescimento _w, válido em tempos curtos, assim como os outros expoentes críticos associados ao crescimento de superfície (_ e z). Nossas estimativas para os expoentes _w, _ e z, se comparam bem com os resultados obtidos a partir de razões de inteiros propostas por Jensen para os expoentes _, || _ e __ . Além disso, através da introdução de um campo externo no modelo A de Grassberger mapeamos a transição da classe de universalidade da PC para a DP através do expoente _w. ______________________________________________________________________________________________ / ABSTRACT: In this work, we investigated the phenomena of surface growth by the solid-onsolid (SOS) deposition according to the rules that define the stochastic cellular automata proposed by Grassberger (A and B models), and the damage spreandig in an one-dimensional Ising model submitted to a dynamic proposed by Hinrichsen and Domany (HD). These models are known do not belong to the directed percolation universality class. They are characterized by different exponents, which are related to the parity conserving (PC). We estimated the local persistence exponent , growth exponent w, in short-time regimen, such as, other critical exponents associated to the surface growth ( and z). Our results for w, and z are in good agreement with those expected for parity conserving universality class. In the sequence, by introduction of an external symmetry breaking field on Grassbergers´s A model we studied the crossover from PC to DP universality class by surface growth.
3

Semantica categorial generalizada

Sbardellini, Luis Augusto 05 August 2001 (has links)
Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-31T14:53:37Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_M.pdf: 6203251 bytes, checksum: 2194621e6912483f7d0be2f2f3722695 (MD5) Previous issue date: 2001 / Resumo: o presente trabalho trata de semântica categorial, isto é, da interpretação de linguagens de primeira ordem em categorias. Propomos aqui uma generalização da semântica categorial usual (no sentido de [9]) através da modificação adequada da interpretação de símbolos de constantes. Na nossa nova abordagem, qualquer objeto de categoria pode interpretar a sorte de uma constante, mesmo que ele não tenha elementos globais. Exemplificamos os resultados conseguidos através do estudo de feixes e pré-feixes e realizamos uma comparação com as abordagens tradicional e estendida (em [3])...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work treats of categorial semantics, that is, the interpretation of first order languages in categories. We propose here a generalization of the usual categorial semantics (in the sense of [9]) through the suitable modification of the interpretation of symbols of constants. In our approach, any categorial object may interpret the sort of a constant, even of it does not have global elements. We exemplified the results obtained through the study of sheaves and presheaves and established a comparison with the traditional and extended approaches (in [3])....Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Filosofia
4

Comite de maquinas : uma abordagem unificada empregando maquinas de vetores-suporte / Committee machines: a unified approach using support vector machines

Lima, Clodoaldo Aparecido de Moraes 12 October 2004 (has links)
Orientador : Fernando Jose Von Zuben / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T02:17:19Z (GMT). No. of bitstreams: 1 Lima_ClodoaldoAparecidodeMoraes_D.pdf: 5444612 bytes, checksum: 0172ca4143c2737bf19a3b2076c06b44 (MD5) Previous issue date: 2004 / Resumo: Os algoritmos baseados em métodos de kernel destacam-se entre as diversas técnicas de aprendizado de máquina. Eles foram inicialmente empregados na implementação de máquinas de vetores-suporte (SVMs). A abordagem SVM representa um procedimento de aprendizado não-paramétrico para classificação e regressão de alto desempenho. No entanto, existem aspectos estruturais e paramétricos de projeto que podem conduzir a uma degradação de desempenho. Na ausência de uma metodologia sistemática e de baixo custo para a proposição de modelos computacionais otimamente especificados, os comitês de máquinas se apresentam como alternativas promissoras. Existem versões estáticas de comitês, na forma de ensembles de componentes, e versões dinâmicas, na forma de misturas de especialistas. Neste estudo, os componentes de um ensemble e os especialistas de uma mistura são tomados como SVMs. O objetivo é explorar conjuntamente potencialidades advindas de SVM e comitê de máquinas, adotando uma formulação unificada. Várias extensões e novas configurações de comitês de máquinas são propostas, com análises comparativas que indicam ganho significativo de desempenho frente a outras propostas de aprendizado de máquina comumente adotadas para classificação e regressão / Abstract: Algorithms based on kernel methods are prominent techniques among the available approaches for machine learning. They were initially applied to implement support vector machines (SVMs). The SVM approach represents a nonparametric learning procedure devoted to high performance classification and regression tasks. However, structural and parametric aspects of the design may guide to performance degradation. In the absence of a systematic and low-cost methodology for the proposition of optimally specified computational models, committee machines emerge as promising alternatives. There exist static versions of committees, in the form of ensembles of components, and dynamic versions, in the form of mixtures of experts. In the present investigation, the components of an ensemble and the experts of a mixture are taken as SVMs. The aim is to jointly explore the potentialities of both SVM and committee machine, by means of a unified formulation. Several extensions and new configurations of committee machines are proposed, with comparative analyses that indicate significant gain in performance before other proposals for machine learning commonly adopted for classification and regression / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Page generated in 0.0437 seconds