Orientador : João B. Prolla / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T17:02:19Z (GMT). No. of bitstreams: 1 Soares_MariaZoraideMartinsCosta_D.pdf: 1233543 bytes, checksum: bacde254a49521df87bd13272726ad48 (MD5) Previous issue date: 1982 / Resumo: Não informado / Abstract: Not informed / Doutorado / Doutor em Matemática

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-11-09T19:27:14Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2019-01-25T17:02:05Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) / Made available in DSpace on 2019-01-25T17:02:05Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) Previous issue date: 2015-07-25 / CAPES / O presente trabalho tem como objetivo o estudo de uma entidade computacional conhecida como caminhos computacionais. Proposta originalmente por QUEIROZ; OLIVEIRA (2011) como ’sequências de reescritas’, a ideia é que os caminhos computacionais funcionam como os termos do tipo identidade da Teoria dos Tipos de Martin-Löf’. Esse trabalho expande essa ideia, mostrando uma formalização completa do tipo identidade a partir dos caminhos computacionais. É mostrado que os caminhos computacionais tornam o tipo identidade uma entidade muito mais intuitiva e simples, quando comparado com a abordagem tradicional. Um outro foco desse trabalho é o estudo das propriedades matemáticas dos caminhos computacionais. Em particular, o interesse é em explorar a relação entre os caminhos e a teoria das categorias. Especificamente, é provado que os caminhos computacionais são capazes de induzir uma estrutura algébrica conhecida como grupóide. Esse resultado está de acordo com os resultados obtidos por HOFMANN; STREICHER (1994), que mostram que a abordagem tradicional do tipo identidade induzem um modelo de grupóide. / The current work aims to study a computational entity known as computational paths. Originally proposed by QUEIROZ; OLIVEIRA (2011) as ’sequence of rewrites’, the idea is that computational paths are terms of Martin-Löf’s identity type. This work expands this idea, showing a complete formalization of the identity type using computational paths. It is shown that computational paths makes the identity type a much simpler and more intuitive entity, when compared to the tradional approach. Another focus of this work is the study of the mathematical properties of computational paths. In particular, the main aim is the relation between computational paths and category theory. Specifically, this work shows that computational paths are capable of inducing an algebraic structure known as groupoid. This results is on a par with the one obtained by HOFMANN; STREICHER (1994), which shows that the traditional approach of the identity type also induces a grupoid model.

Made available in DSpace on 2018-08-01T22:29:58Z (GMT). No. of bitstreams: 1 tese_6205_.pdf: 1474222 bytes, checksum: 563d0a953bd8080b970926ad9bcc50cc (MD5) Previous issue date: 2012-07-31 / Foi mostrado por Bonzon e Livine que a gravitação em 2+1 dimensões com constante cosmológica contém uma ambiguidade que depende de um parâmetro γ do tipo BarberoImmirzi que se tenha na gravitação 4D. Baseados neste fato mostramos que, no caso > 0, a teoria Lorentziana pode ser parcialmente reduzida, através de uma fixação de calibre apropriada, à uma teoria de ChernSimons com grupo de calibre SU(2). Revisamos então a já conhecida estrategia de quantização da teoria de ChernSimons no contexto da quantização de laços para o caso de um espaço com a topologia de um cilindro. Finalmente construímos um observável quântico que, embora tenha um espectro não trivial no nível quântico, corresponde a uma quantidade que classicamente é nula.

Orientador : Ricardo Dahab / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-28T09:27:15Z (GMT). No. of bitstreams: 1 Silva_CandidaNunesda_M.pdf: 9020782 bytes, checksum: 72d783f2186f3848f226c74b427014de (MD5) Previous issue date: 2001 / Mestrado

Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-05T17:29:44Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) jap.pdf: 1375239 bytes, checksum: 91cf6bfce74a9d8f6396af2256a135af (MD5) / Made available in DSpace on 2015-03-05T17:29:44Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) jap.pdf: 1375239 bytes, checksum: 91cf6bfce74a9d8f6396af2256a135af (MD5) Previous issue date: 2012 / Os problemas de decisão enfrentados atualmente são bastante complexos devido ao grande número de variáveis que devem consideradas na construção dos modelos. Atualmente os tomadores de decisão se utilizam de duas teorias diretamente interligadas conceitualmente, a Teoria da Decisão e a Teoria dos Jogos que o ajudam a escolher uma ação ou conjunto de ações disponíveis, no intuito de maximizar sua utilidade esperada. A primeira teoria usa uma caraterização profunda dos elementos estatísticos os que atuam em um problema de decisão, enquanto que a Teoria dos Jogos analisa as interações entre os agentes, quando a ação de um afeta diretamente o resultado dos demais. Analisar a metodologia de tomada de decisão na Teoria dos Jogos como uma aplicação da Teoria da Decisão foi o principal propósito deste trabalho. Este propósito foi alcançado pelo estabelecimento das relações entre os elementos que compõem a estrutura das duas teorias e da definição de um algoritmo de resolução sando Teoria da Decisão para resolver problemas de Teoria dos Jogos. Depois partiu-se para a aplicação deste algoritmo para resolução de problemas de jogos simultâneos e sequenciais de dois jogadores, om estratégias puras, mistas e jogos de informação in completa. P de-se constatar que a metodologia da Teoria da De são alcançados mesmos resultados da análise feita pela Teoria dos Jogos. Este resultado reforça o fato de que estas duas teorias trabalham sobre os mesmos princípios e que a relação entre estas é mais imbricada do que se imagina. No aso usando Teoria da Decisão deve-se fazer ajustes na forma de analise para considerar a racionalidade e a interação entre os agentes.

Orientador: Celia Picinin de Mello / Dissertação (mestrado) - Universidade Estadual de Campinas , Instituto de Computação / Made available in DSpace on 2018-07-24T05:57:31Z (GMT). No. of bitstreams: 1 Barbosa_MarceloMarcos_M.pdf: 2201216 bytes, checksum: 6b62fa870c0ee2547c7f2b6fc939b03e (MD5) Previous issue date: 1998 / Resumo: Esta dissertação aborda o assunto Coloração de Arestas (Problema da Classificação) restrita aos cografos, onde o problema está em aberto. Após uma breve compilação de resultados de pesquisas tanto em coloração de arestas como em cografos, encontram-se os resultados obtidos para uma subclasse obtida ao limitarmos o número de níveis da cotree para 3: Ser subgrafo overfull é equivalente a ser overfull ou vizinhança overfull e Algoritmos que colocam na Classe 1 subconjuntos desta subclasse obtidos ao limitarmos o número de ramos da cotree para 2. / Abstract: This dissertation is on the subject of Edge Coloring (Classification Problem) restricted to cographs, for which the problem is open. After a brief compilation of research results on edge coloring and cographs, the results found for a subclass obtained when the number of levels of the cotree is limited to three: Being subgraph overfull is equivalent to being overfull or neighborhood overfull and Algorithms that place into Class 1 some subsets of this subclass obtained when the number of the branches of the cotree is limited to two. / Mestrado / Mestre em Ciência da Computação

Made available in DSpace on 2014-06-12T17:22:21Z (GMT). No. of bitstreams: 2 arquivo6132_1.pdf: 1914008 bytes, checksum: d584972c912d9d5a24f5a5176be04141 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O trabalho realiza uma incursão em duas da mais relevantes e debatidas teorias da sociedade provenientes do que se chama convencionalmente de Escola de Frankfurt. A teoria do discurso e Jürgen Habermas é apreciada, em suas implicações metodológicas e conceituais, até o ponto em que propõe um olhar normativo sobre a forma de integração das sociedades contemporâneas. Procede-se então a uma revisão de duas das críticas mais severas contra a teoria da ação comunicativa, a de Albrecht Wellmer e a de Charles Taylor. Em conseqüência conclui-se por uma revisão dos seus pressupostos na forma de uma teoria do reconhecimento social. O modelo escolhido para realizar essa transição é o oferecido por Axel Honneth. A partir dele, revisa-se os elementos metodológicos de uma teoria da evolução social. Então, realiza-se uma retradução teórica dos principais elementos da teoria social contemporânea, sobretudo os da teoria do discurso, na forma de uma teoria crítica do reconhecimento baseada no conceito de lutas sociais moralmente motivadas. O direito moderno é visto como o resultado de um processo contingente e culturalmente, próprio das formas de vida modernas de institucionalização de novas formas de reconhecimento por meio de lutas sociais. Acrescenta-se uma nova conceituação para a solidariedade social, a partir da idéia de eticidade formal. Por fim, considerando o problema do multiculturalismo, insere-se um princípio normativo para a teoria crítica do reconhecimento com que se defende a possibilidade de uma conversação intrer-cultural como articulação retórica de novos sentidos. Diante dos potenciais simétricos e auto-realizativos do Estado Democrático de Direito, defende-se a sua superioridade normativa em relação a outras formas de integração social e que isso só pode ser defendido retoricamente com o apelo aos sentimentos morais de membros de outras formas de vida

Made available in DSpace on 2014-06-12T15:03:36Z (GMT). No. of bitstreams: 2 arquivo4317_1.pdf: 449833 bytes, checksum: 1e150561e5eae6f791dcad81cb240887 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Muitos autores atribuem a presença de plantas exóticas em farmacopéias tradicionais como fruto de um processo aculturativo, porém são muitas vezes observações informais carentes de testes adequados. A construção de uma farmacopéia local é um processo lento e longo de tomada de decisões das pessoas de uma comunidade, que pode ser proveniente de trocas culturais ou até mesmo de experimentação. Um estudo etnobotânico aliado a uma ferramenta de triagem fitoquímica foi realizado com as plantas medicinais citadas por uma comunidade local do Nordeste do Brasil. Este trabalho objetivou testar três idéias fortemente associadas a inserção e seleção de plantas medicinais exóticas em uma cultura: a hipótese da aparência, a hipótese da diversificação e a idéia de versatilidade. O estudo foi realizado com 101 pessoas por meio de entrevistas semi-estruturadas. A partir de 199 espécies citadas durante as entrevistas foram sorteadas 61 plantas, agrupadas em exóticas e nativas, e distribuídas de acordo com seu hábito, para triagem das seguintes classes de compostos: fenóis, taninos, terpenóides, flavonóides, triterpenos, naftoquinonas, antraquinonas, alcalóides. Paralelamente calculou-se a importância relativa (IR) e o índice de diversidade química (IDQ) de cada uma delas. Dentre as plantas sorteadas 36 são nativas distribuídas em 16 famílias e 25 são exóticas distribuídas em 19 famílias. Foram encontradas diferenças significativas entre as plantas exóticas e nativas para algumas classes de compostos apoiando a hipótese da diversificação. Quando analisadas as plantas de acordo como o porte não se encontrou relações significativas que corroborem com a hipótese da aparência. Concluiu-se que dentre as atuais teorias utilizadas para justificar a inserção de exóticas em farmacopéias tradicionais não existe uma associação com porte das plantas, importância relativa ou até mesmo uma alta diversidade química de compostos secundários

Orientador: Helio Waldman / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T22:19:33Z (GMT). No. of bitstreams: 1 Pingarilho_CarlosAlbertoMoller_D.pdf: 5250541 bytes, checksum: df3095433a5b10b11c0849767afbd65b (MD5) Previous issue date: 1995 / Resumo: Neste trabalho, é apresentada uma extensa descrição do algoritmo dos blocos deslizantes e de uma técnica de determinação do espectro de códigos de bloco. São descritas as características básicas e são introduzidos os conceitos iniciais da restrição (d, N). Então é aplicado o algoritmo dos blocos deslizantes para procurar códigos (d, N). A técnica de determinação de espectro de códigos de bloco é aplicada sobre os códigos (d, N) encontrados, bem como sobre as restrições para se verificar os espectros maxentrópicos (de máxima entropia). Numa segunda parte, são determinados limitantes inferiores e tetos nas taxas assintóticas alcançáveis, dada uma distância relativa mínima de Hamming, auxiliando a busca de códigos em espaços restritos com capacidade de correção de erro / Abstract: This work presents a full description of the sliding block algorithm and of the Cariolaro-Tronca method for the determination of block code spectra. The (d, N) constraint basic characteristics and concepts are introduced. Then the sliding block algorithm is applied to search for (d, N) codes, and spectra for some (d, N) codes are obtained. In a second part, lower and upper bounds on the minimum Hamming distance achievable with RLL and DC-free constraint are described and calculated. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Reginaldo Palazzo Jr / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-26T19:32:02Z (GMT). No. of bitstreams: 1 Barbosa_PatriciadeRezende_M.pdf: 3202904 bytes, checksum: 2719d832d089c8dfaef1216d5c8b7ee3 (MD5) Previous issue date: 2000 / Resumo: Neste trabalho apresentamos um procedimento para a determinação de aplicações casadas isométricas entre os espaços métricos de Lee e de Hamming. Este procedimento faz uso dos conceitos de particionamento de conjuntos e representação modular. A partir destas aplicações isométricas,apresentamos uma proposta de construção de códigos Z2k-pseudolineares através dos códigos cíclicos provenientes da extensão de Galois de dimensão r sobre anéis locais / Abstract: In this research we present a technique to determine matched isometric applications between Lee and Hamming metric spaces. This procedure is based on the concepts of set partitioning and modular representation. Once these applications are known, we show the construction of Z2k-pseudolinear codes using cyclic codes which lie in a Galois extension of dimension r over local rings / Mestrado / Mestre em Engenharia Elétrica