A transformada de Fourier da densidade de estados de grafos quˆanticos unidimensionais apresenta picos d localizados precisamente nos valores da ac¸ ˜ao de trajet´orias Newtonianas e n˜ao-Newtonianas. Introduzindo fios extendendo-se ao infinito, investigamos o problema de espalhamento correspondente; atrav´es do espectro transformado, encontramos picos que indicam que a condutˆancia tamb´em apresenta uma assinatura destas ´orbitas. C´alculos indicam que resultados de trabalhos anteriores para grafos fechados podem ser extendidos para sistemas abertos. Em particular, uma f´ormula do trac¸o ´e apresentada para trˆes exemplos em particular. / The Fourier transform of the density of states of one-dimensional, closed quantum graph exhibits d-peaks located precisely at the actions of Newtonian and non-Newtonian orbits. By introducing leads extending to infinity, we investigate the corresponding scattering problem; through the Fourier-transformed spectra, peaks are found indicating that also the conductance displays a signature of such periodic orbits. Our calculations indicate that results from previous work on closed graphs can be extended to open systems. In particular, we indicate a trace formula for three different cases.

Made available in DSpace on 2014-06-11T19:32:06Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-07Bitstream added on 2014-06-13T20:02:58Z : No. of bitstreams: 1 zadorosny_kjas_dr_arafcl.pdf: 2394071 bytes, checksum: 70a698c7adb407f7d1a65824b19c4eed (MD5)

A transformada de Fourier da densidade de estados de grafos quˆanticos unidimensionais apresenta picos d localizados precisamente nos valores da ac¸ ˜ao de trajet´orias Newtonianas e n˜ao-Newtonianas. Introduzindo fios extendendo-se ao infinito, investigamos o problema de espalhamento correspondente; atrav´es do espectro transformado, encontramos picos que indicam que a condutˆancia tamb´em apresenta uma assinatura destas ´orbitas. C´alculos indicam que resultados de trabalhos anteriores para grafos fechados podem ser extendidos para sistemas abertos. Em particular, uma f´ormula do trac¸o ´e apresentada para trˆes exemplos em particular. / The Fourier transform of the density of states of one-dimensional, closed quantum graph exhibits d-peaks located precisely at the actions of Newtonian and non-Newtonian orbits. By introducing leads extending to infinity, we investigate the corresponding scattering problem; through the Fourier-transformed spectra, peaks are found indicating that also the conductance displays a signature of such periodic orbits. Our calculations indicate that results from previous work on closed graphs can be extended to open systems. In particular, we indicate a trace formula for three different cases.

Submitted by JORGE ALFONSO MORALES DONOSO null (jorgemoralesdonoso@gmail.com) on 2017-05-25T14:33:46Z No. of bitstreams: 1 Dissertação_Jorge_Morales_Donoso.pdf: 4632507 bytes, checksum: 1a342a2dd9af4129e63dd1a00162d1b5 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-05-30T16:18:01Z (GMT) No. of bitstreams: 1 moralesdonoso_ja_me_jabo.pdf: 4632507 bytes, checksum: 1a342a2dd9af4129e63dd1a00162d1b5 (MD5) / Made available in DSpace on 2017-05-30T16:18:01Z (GMT). No. of bitstreams: 1 moralesdonoso_ja_me_jabo.pdf: 4632507 bytes, checksum: 1a342a2dd9af4129e63dd1a00162d1b5 (MD5) Previous issue date: 2017-04-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A espécie M. nemorivaga corresponde a uma espécie de veado cinza que ocupa a região Amazônica. Com base em estudos anteriores, a atual classificação taxonômica da espécie apresenta inconsistências, que sugerem a presença de mais de uma espécie dentro do que hoje é classificado como M. nemorivaga. Desta forma, o presente trabalho tem como objetivo contribuir com a taxonomia do gênero Mazama, mediante a coleta de um exemplar em sua localidade tipo (Caiena, Guiana Francesa), caracterizando-o morfológica, citogenética e molecularmente, permitindo a comparação da espécie em estudo com outros espécimes utilizados em publicações, a fim de conhecer diferenças entre eles e revisar a taxonomia da espécie. Para tanto, foi coletado um exemplar na localidade tipo da espécie (Guiana Francesa), o qual foi caraterizado por técnicas de morfologia tradicional (medidas crânio-mandibulares, medidas biométricas, coloração da pele), morfologia geométrica, assim como análises citogenéticas (Banda G, Banda C, coloração convencional de Giemsa e coloração Ag-NOR, FISH telomérica) e moleculares (análises filogenéticas de genes mitocôndrias Cyt b de 920 pb, COI I de 658 pb, D-loop 610 pb). Os resultados da caracterização citogenética e molecular, mostraram um claro agrupamento do topótipo de M. nemorivaga com exemplares da região do Amapá, constituindo o clado Norte (Guiana Francesa e Amapá). Além disso, sugere-se a existência de três espécies distintas, com base no nível de diferenças em relação ao topótipo da espécie, uma ocorrendo na Amazônia oriental, acima do rio Amazonas (Amapá e Guiana Francesa), outra na Amazônia central (Mato Grosso, Pará e Maranhão) e uma outra na Amazônia ocidental (Acre e Rondônia). Além disso, foi identificada a presença de pelos na região tarsal como um dos carácteres morfológicos que pode ser utilizado na diagnose da espécie em relação ao outros membros do gênero. / The species M. nemorivaga corresponds to the grey brocket deer that occupies the Amazon region. Based on previous studies, the current taxonomic classification of the species presents inconsistencies, which suggest the presence of more than one species within what is now classified as M. nemorivaga. In this way, the present research project aims to contribute with the taxonomy of the Mazama genus, by collecting a specimen in its type locality (Cayenne, French Guiana). Characterizing the morphological specimen, Cytogenetic and molecular, allowing the comparison of the species under study with other specimens used in publications, in order to know the differences between them and to review the taxonomy of the species. For this, a specimen was collected in the locality of the species (French Guiana), characterized by traditional morphology techniques. (craniomandibular measurements, biometric measurements, skin coloration), geometric morphology, as well as by cytogenetic analyzes (Band G, C-band, conventional Giemsa staining and Ag-NOR staining, telomeric FISH) and molecular (phylogenetic analyzes of mitochondrial genes Cyt b of 920 bp, IOC I of 658 bp, D-loop 610 bp). The results of the cytogenetic and molecular characterization showed a clear grouping of M. nemorivaga topotype along with specimens from the Amapá region, constituting the northern clade (French Guiana and Amapá). In addition, it is suggested the existence of three distinct species, based on differences in relation to the topotype of the species. One occurred in the eastern Amazon, above the Amazon River (Amapá and French Guiana), another in central Amazonia (Mato Grosso, Pará and Maranhão) and another one in western Amazonia (Acre and Rondônia). The presence of hairs in the tarsal region was identified as one of the morphological characters that can be used to diagnose the species in relation to other members of the genus.

Neste trabalho estudamos o aprendizado em uma classe específica de modelos probabilísticos conhecidos como modelos de Markov com variáveis de estado escondidas (em inglês, Hidden Markov Models ou HMMs). Primeiramente discutimos sua teoria básica e em seguida fazemos um estudo detalhado do comportamento de cinco diferentes algoritmos de aprendizado, dois deles já conhecidos na literatura e os outros três propostos por nós neste trabalho. Os cinco algoritmos estão descritos abaixo e são estudados na seqüência apresentada: Algoritmo de Baum-Welch (BW): consiste em um célebre algoritmo off-line obtido através da aplicação do algoritmo EM ao caso particular dos HMMs. Na literatura, é comum referir-se a ele pelo nome de Fórmulas de Reestimação de BaumWelch. Algoritmo de Baum-Welch On-line (BWO): versão on-line de BW proposta por nós. Algoritmo de Baldi-Chauvin (BC): algoritmo on-line proposto por Baldi e Chauvin em [5] onde uma representação do tipo softma:x é utilizada para as probabilidades dos HMMs e cujo objetivo é, a cada passo de iteração, maximizar a verossimilhança do modelo. Algoritmo Bayesiano On-line (BKL): algoritmo desenvolvido por nós baseado numa proposta de Opper [74], onde, após a atualização da distribuição de probabilidades do modelo a cada novo dado, projeta-se a densidade obtida em uma família paramétrica de distribuições tratáveis minimizando-se a distância de KullbackLeibler entre as duas. Algoritmo Posterior Média (PM): uma simplificação de BKL onde a projeção após a atualização é feita na distribuição posterior média. Para cada um dos algoritmos acima, obtemos curvas de aprendizado através de simulações onde utilizamos duas medidas distintas de erro de generalização: a distância de Kullback-Leibler (dKL) e a distância euclideana (d IND. E). Com exceção do algoritmo BW, que só pode ser utilizado em situações de aprendizado off-line, estudamos para todos os outros algoritmos as curvas de aprendizado tanto para a situação on-line quanto para a off-line. Comparamos as performances dos algoritmos entre si e discutimos os resultados obtidos mostrando que, apesar de um tempo de computação maior, o algoritmo bayesiano PM, proposto por nós, é superior aos outros algoritmos não-bayesianos quanto à generalização em situações de aprendizado estáticas e possui uma performance muito próxima do algoritmo bayesiano BKL. Fazemos, também, uma comparação entre os algoritmos PM e BC em situações de aprendizado variáveis com o tempo, com dados gerados artificialmente e em uma situação com dados reais, porém com um cenário simplificado, onde os utilizamos para prever o comportamento do índice da bolsa de valores de São Paulo (IBOVESPA), mostrando que, embora necessitem de um período longo de aprendizado, após essa fase inicial as previsões obtidas por esses algoritmos são surpreendentemente boas. Por fim, apresentamos uma discussão sobre aprendizado e quebra de simetria baseada nos estudos feitos. / In this work we study learning in a specific class of probabilistic models known as Hidden Markov Models (HMMs). First we discuss its basic theory and after we make a detailed study of the behavior of five different learning algorithms, two of them already known in the literature and the other three proposed by us in this work. The five algorithms are described below in the sequence they are presented in the thesis: Baum-Welch Algorithm(BW): consists of a renowed offline algorithm obtained by applying the EM-algorithm to the particular case of HMMs. Through the literature it is common to refer to it by the name Baum-Welch Reestimation Formulas. Baum-Welch Online Algorithm (BWO): online version of BW proposed by us. Baldi-Chauvin Algorithm (BC): online algorithm proposed by Baldi and Chauvin in [5] where a softmax representation for the probabilities of the HMMs is used and where the aim is to maximize the model likelihood at each iteration step. Online Bayesian Algorithm (BKL): an algorithm developed by us based on the work of Opper [74] where, after updating the probability distribution of the model with each new data, the obtained density is projected into a parametric family of tractable distributions minimizing the Kullback-Leibler distance between both. Mean Posterior Algorithm (PM): a simplification of BKL where the projection after the update is made on the mean posterior distribution. For each one of the above algorithms, we obtain learning curves by means of simulations where we use two distinct measures of generalization error: the Kullback-Leibler distance (dKL) and the Euclidian distance (dE). With exception of the BW algorithm, which can be used only in offline learning situations, we study for all the other algorithms the learning curves for both learning situations: online and offiine. We compare the performance of the algorithms with one another and discuss the results showing that, besides its larger computation time, the bayesian algorithm PM, proposed by us, is superior to the other non-bayesian algorithms with respect to the generalization in static learning situations and that it has a performance that is very close to the bayesian algorithm BKL. We also make a comparison between algorithms PM and BC in learning situations that change with time using artificially generated data and in one situation with real data, with a simplified scenario, where we use them to predict the behavior of the São Paulo Stock Market Index (BOVESPA) showing that, although they need a large learning period, after that initial phase the predictions obtained by both algorithms are surprisingly good. Finally, we present a discussion about learning and symmetry breaking based on the presented studies.

Resultados exatos são estabelecidos em dois trabalhos distintos. O primeiro tema é uma análise da dinâmica de Langevin para um modelo esférico médio com interações competitivas, investigando fenômenos de não equilíbrio como \"aging\" e violação do teorema flutuação-dissipação. O segundo trabalho é uma contribuição ao diagrama de fases do estado fundamental de um ferromagneto diluído e sujeito a um campo externo aleatório regido por uma distribuição bimodal; uma abordagem analítica, embora parcial, indica uma estabilidade da solução réplica-simétrica. / Exact results are established for two distinct works. The first of them is an analysis of Langevin dynamics for a mean spherical model with competiting interactions, searching for non-equilibrium phenomena as aging and the violation of the fluctuation-dissipation theorem. The second work is a contribution to the ground state\'s phase diagram of a diluted ferromagnet under a random external field obeying a bimodal distribution; an analytic study, although partial, indicates a stability of the replica-symmetric solution.

A transformada de Fourier da densidade de estados de grafos quˆanticos unidimensionais apresenta picos d localizados precisamente nos valores da ac¸ ˜ao de trajet´orias Newtonianas e n˜ao-Newtonianas. Introduzindo fios extendendo-se ao infinito, investigamos o problema de espalhamento correspondente; atrav´es do espectro transformado, encontramos picos que indicam que a condutˆancia tamb´em apresenta uma assinatura destas ´orbitas. C´alculos indicam que resultados de trabalhos anteriores para grafos fechados podem ser extendidos para sistemas abertos. Em particular, uma f´ormula do trac¸o ´e apresentada para trˆes exemplos em particular. / The Fourier transform of the density of states of one-dimensional, closed quantum graph exhibits d-peaks located precisely at the actions of Newtonian and non-Newtonian orbits. By introducing leads extending to infinity, we investigate the corresponding scattering problem; through the Fourier-transformed spectra, peaks are found indicating that also the conductance displays a signature of such periodic orbits. Our calculations indicate that results from previous work on closed graphs can be extended to open systems. In particular, we indicate a trace formula for three different cases.

Submitted by Chaylane Marques (chaylane.marques@ufpe.br) on 2015-03-05T19:43:18Z No. of bitstreams: 2 DISSERTAÇÃO Amanda Rafaelly Casé Monteiro (2).pdf: 7585285 bytes, checksum: 86fc91faeec34d3c3f4e1a49c3059d3f (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T19:43:18Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Amanda Rafaelly Casé Monteiro (2).pdf: 7585285 bytes, checksum: 86fc91faeec34d3c3f4e1a49c3059d3f (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-03-01 / FACEPE / O trabalho explora as repercussões na arquitetura de Acácio Gil Borsoi de um tema fundamental no debate nacional e internacional do pós-guerra: a busca por uma nova monumentalidade capaz de responder aos anseios por símbolos de vida comunitária. O Brasil se consagrou na crítica internacional com um dos edifícios precursores no desafio de uma arquitetura monumental, o Ministério de Educação e Saúde do Rio de Janeiro. Em seu projeto arquitetônico, tinha o compromisso de representação pública e monumental, que foi apresentada por meio de dois artifícios, a utilização de princípios arquitetônicos prototípicos imanentes, como os greco-romanos, e o desejo de alcançar a nova monumentalidade. Configurou-se assim, a fórmula da monumentalidade brasileira: composição modernista e princípios clássicos como definidores da imagem pública. O objetivo geral dessa pesquisa foi estudar por meio da obra pública de Acácio Gil Borsoi a permanência da Monumentalidade, clássica e moderna, na Arquitetura Moderna Brasileira. Os objetos de estudo consistem nos edifícios públicos do arquiteto, construídos entre os anos 1972 a 1993, foram o Palácio da Justiça de Teresina (1972), o Ministério da Fazenda de Fortaleza (1975), a Assembleia Legislativa do Piauí (1984) e o Centro Administrativo de Uberlândia (1990), edifícios que sintetizaram a preocupação com o civismo e com a representatividade da comunidade na obra de Borsoi. Primeiramente o estudo dedicou-se ao conhecimento dos tipos de edifícios públicos a fim de compreender a existência de elementos prototípicos. Depois os edifícios foram estudados sobre a óptica da monumentalidade clássica, pelos princípios clássicos citados por Vitruvius e da nova monumentalidade, nos escritos Sigfried Giedion, o qual alertou para a necessidade de a arquitetura moderna dar respostas às necessidades de conjuntos monumentais que representassem a organização da vida cívica. A partir disso, as obras foram analisadas pelos seus caracteres monumentais clássicos e modernos permitindo a compreensão da permanência da monumentalidade na arquitetura moderna brasileira.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T00:20:42Z (GMT). No. of bitstreams: 1 Gracio_MariaClaudiaCabrini_D.pdf: 5288226 bytes, checksum: 9167acf60882f6defde6670ad61fb1e8 (MD5) Previous issue date: 1999 / Resumo: Este trabalho introduz uma ampla família de extensões monotônicas da lógica de primeira ordem, denominada lógicas moduladas, construída estendendo a lógica clássica por meio de quantificadores generalizados, chamados quantificadores modulados. Tais quantificadores representam várias formas de raciocínio indutivo. Alguns resultados gerais em teoria de modelos para esta família são também obtidos. Particularmente, propõem-se três sistemas lógicos monotônicos, os quais formalizam conjuntos indutivos de crenças em bases de conhecimento, gerados por argumentos indutivos das formas "a maioria", "muitos" e "para uma 'boa' parte". A noção de "maioria" é capturada por meio de um -quantificador modulado, semanticamente interpretado pelos números cardinais dos conjuntos de evidências. É mostrado que este sistema, embora seja correto, não é completo com relação ao modelo definido. A fim de capturar a noção de "muitos" e "para uma 'boa' parte" novos quantificadores modulados são introduzidos, semanticamente interpretados, respectivamente, pelas noções de família fechada superiormente e topologia reduzida. Demonstra-se que ambos os sistemas são extensões conservativas da lógica clássica que preservam importantes propriedades, como correção e completude. O trabalho também discute outras perspectivas e inclui alguns problemas em aberto e questões / Abstract: This work introduces a large family of monotonic extensions of first order logic denominated modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. Such quantifiers represent various forms of inductive reasoning. Some general results in model theory for this family are also obtained. Particularly, it proposes three monotonic logical systems, which formalize inductive sets of beliefs in knowledge bases generated by inductive arguments of the form "most", "many" and "for a 'good' number of. The notion af "most" is captured by means of a modulated quantifier semantically interpreted by cardinal numbers in sets of evidences. It is proven that this system, although sound, is not complete if checked against the intended model. In order to capture the notion of "many" and "for a 'good' number of new modulated quantifiers are introduced, semantically interpreted, respectively, by the notions of upperly closed family and reduced topology. It proves that both systems are conservative extensions of classical logic preserving important properties, like soundness and completeness. The work also discusses further perspectives and includes several open problems and questions / Doutorado / Doutor em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5) Previous issue date: 2001 / Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1<n>w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal / Abstract: Following Raggio's 1968 and 1978 papers on Cn1<n>w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition / Doutorado / Doutor em Filosofia