Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-11-24T11:32:03Z No. of bitstreams: 2 Mestrado - Amanda Melo do Nascimento - 2013.pdf: 1240146 bytes, checksum: 0126ba6aa1a69a061f1ffabfaf21e9be (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-11-24T14:00:24Z (GMT) No. of bitstreams: 2 Mestrado - Amanda Melo do Nascimento - 2013.pdf: 1240146 bytes, checksum: 0126ba6aa1a69a061f1ffabfaf21e9be (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-11-24T14:00:24Z (GMT). No. of bitstreams: 2 Mestrado - Amanda Melo do Nascimento - 2013.pdf: 1240146 bytes, checksum: 0126ba6aa1a69a061f1ffabfaf21e9be (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-03-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Continued Fractions and applications in High School begins with the historical context, the socially constructed over 2500 years, over which originated the study and training of numerical sets in order to substantiate the importance of irrational numbers and their peculiarities . Reintroducing some basic concepts of Numerical Sequences and their converging that are important for understanding the study of approaches from the study of continuous fraction. The discussion and centered on the study of continued fractions, exploring its historical part, basic concepts and their relation to the Euclidean algorithm. It is shown the importance of both approximations of rational numbers as irrational, in order to decrease the gap between finite and infinite for the construction of all the dollars. In the final chapter I present a mini-course for high school students, public school, looking for higher courses in the exact sciences and aim to achieve greater integration with this important segment. All matters discussed in this work will be developed in the course, showing their properties and applications. / Frações Contínuas e aplicações no Ensino Médio inicia-se com o contexto histórico, socialmente construído a mais de 2500 anos, sobre o qual se originou o estudo e formação dos conjuntos numéricos com o objetivo de fundamentar a importância dos números irracionais e suas peculiaridades. Retoma alguns conceitos básicos de Sequências Numéricas e seus convergentes que são importantes para a compreensão do estudo das aproximações a partir do estudo de Fração contínua. A discussão é centralizada no estudo das frações contínuas, explorando sua parte histórica, conceitos básicos e sua relação com o Algoritmo de Euclides. É mostrada a importância das aproximações tanto de números racionais como irracionais,afim de diminuir o abismo existente entre o finito e o infinito para a construção do conjunto dos Reais. No capítulo final apresento um minicurso para alunos do Ensino Médio, de escola pública, que buscam por cursos superiores na área de exatas e objetivam alcançar uma maior integração com este importante segmento. Todos os assuntos abordados neste Trabalho serão desenvolvidos no curso, mostrando suas propriedades e aplicações.

Em virtude de representações por vezes pouco favoráveis dos gêneros poéticos no ambiente escolar, os enunciados pertencentes a esses gêneros são marginalizados em sala de aula, ocupando um espaço exíguo nas atividades de leitura e mais reduzido ainda nas atividades de escrita. Mesmo que essa seja a realidade dominante na escola, propostas para o ensino dos gêneros poéticos têm despertado interesse dos alunos quando apresentados de forma a não singularizar o estudo do poema. Assim, buscando compreender como ocorrem e qual a estrutura das episódicas propostas com o texto poético, neste trabalho, analiso o material que envolve o Prêmio Escrevendo o Futuro - da apresentação da proposta aos professores até a etapa de escolha dos finalistas (capítulo 1). Embora o Prêmio tenha alcançado o território nacional, o corpus analisado no capítulo 2 está circunscrito ao Pólo São Paulo, composto por nove poemas de várias cidades do Estado de São Paulo. O material analisado se estrutura em sequências didáticas, segundo as concepções de trabalho com os gêneros de Schneuwly e Dolz (2004), suporte teórico de minha pesquisa ao lado de Bakhtin (1976; 2003); Jolibert (1994, 1994a, 2008) e Bazerman (2005; 2006 e 2007). O objetivo do trabalho é 1) indicar quais as representações presentes no espaço escolar; 2) verificar como o ensino dos gêneros poéticos se apresenta nessa proposta; 3) apresentar, por meio da reflexão teórica, representações plurais dos gêneros poéticos que possam indicar caminhos possíveis de serem aplicados como no caso do Prêmio em diferentes contextos, implicando novos lugares para o professor e para os alunos, em novos papéis. / Unflattering representations of the poetic genre among primary and secondary school teachers often translate into a secondary place for poetry in the classroom. Seldom an object for reading activities, it is even more rarely used as a source for those of writing. In spite of that, students respond enthusiastically to the odd projects and activities which do offer to go beyond the study of individual poems. This dissertation focuses on one such project: the Escrevendo o Futuro Award, examining it from its presentation to teachers to the selection of candidates for the final round (chapter 1). Although the EF Award is a national competition, all the nine poems which constitute the corpus analyzed in chapter 2 come from the State of São Paulo. The material analyzed is structured in didactic sequences. The theoretical framework for such analysis draws on the works of Schneuwly e Dolz (2004), Bakhtin (1976; 2003); Jolibert (1994, 1994a, 2008) and Bazerman (2005; 2006 e 2007). The goals of this dissertation are: 1) identifying various representations of the poetic in primary and secondary schools; 2) examining the place poetry has in this context; 3) offering, based on a critique of the scholarly research on the field, alternative, plural possibilities of representation of the poetic genres which may lead to new roles for teachers and students vis-à-vis their working with poetry in the classroom.

O objetivo principal deste trabalho será apresentar um estudo detalhado dos espaços de configurações. Dissertaremos sobre: espaços de configurações clássicos, invariância do bordo, espaço de configurações para superfícies, fibração de Fadell e Neuwirth e espaços de configurações do espaço Euclideano, da esfera e do espaço projetivo complexo. / The main objective of this work will be to present a detailed study of the configuration spaces. We will study: classical configuration spaces, invariance of the boundary, configuration spaces of surfaces, Fadell and Neuwirth fibration and configuration spaces of the Euclidean space and spheres.

O operon pst de Escherichia coli é formado pelos genes pstS, pstC, pstA, pstB e phoU. Os quatro primeiros genes codificam proteínas que compõem um sistema de transporte do tipo ABC denominado Pst. O sistema Pst, junto com a proteína PhoU participa da repressão dos genes do regulon PHO. A transcrição dos genes do operon pst é induzida pela carência de fosfato inorgânico (Pi). Neste trabalho, o padrão de transcrição do operon pst foi analisado. A existência de um transcrito primário instável foi comprovada através de uma nova técnica de RT-PCR. O papel da RNase E na degradação do mRNA de pst foi demonstrado. A análise das seqüências intergênicas do operon revelou a importância da seqüência REP (Repetitive Extragenic Palindrome) localizada na região intergênica entre pstS e pstC na estabilização da mensagem de pstS. As seqüências localizadas a 5\' dos genes pstC, pstB e phoU também foram analisadas e demonstraram uma atividade promotora fraca, que resulta na síntese de transcritos dos genes distais de pst. / The pst operon of Escherichia coli consists of the genes pstS, pstC, pstA, pstB and phoU. The four proximal genes of the operon encode the proteins of the ABC-type Pi phosphate (Pi) transporter Pst.The Pst system, together with the PhoU protein, also acts as a negative regulator of the PHO regulon. Transcription of the pst genes is induced by Pi starvation. The present study describes the transcription pattern of the pst operon. The existence of an unstable primary transcript was confirmed by using an improved RT-PCR protocol. The role of RNase E in pst transcript decay was demonstrated.Analysis of the operon intergenic regions revealed the role of a REP sequence (Repetitive Extragenic Palindrome) located between pstS and pstC in pst mRNA stability. The regions upstream of pstC, pstB and phoU displayed promoter activity. Transcription from these internal promoters resulted in a small amount of mRNAs corresponding to the pst distal genes.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-31T17:53:13Z No. of bitstreams: 1 gabriellacastrobarbosacosta.pdf: 2243060 bytes, checksum: 0aef87199975808e0973490875ce39b5 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-01T11:50:00Z (GMT) No. of bitstreams: 1 gabriellacastrobarbosacosta.pdf: 2243060 bytes, checksum: 0aef87199975808e0973490875ce39b5 (MD5) / Made available in DSpace on 2017-06-01T11:50:00Z (GMT). No. of bitstreams: 1 gabriellacastrobarbosacosta.pdf: 2243060 bytes, checksum: 0aef87199975808e0973490875ce39b5 (MD5) Previous issue date: 2013-02-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Uma forma de aprimorar a reutilização e a manutenção de uma família de produtos de software é através da utilização de uma abordagem de Linha de Produtos de Software (LPS). Em algumas situações, tais como aplicações científicas para uma determinada área, é vantajoso desenvolver uma coleção de produtos de software relacionados, utilizando uma abordagem de LPS. Linhas de Produtos de Software Científico (LPSC) diferem-se de Li nhas de Produtos de Software pelo fato de que LPSC fazem uso de um modelo abstrato de workflow científico. Esse modelo abstrato de workflow é definido de acordo com o domínio científico e, através deste workflow, os produtos da LPSC serão instanciados. Analisando as dificuldades em especificar experimentos científicos e considerando a necessidade de composição de aplicações científicas para a sua implementação, constata-se a necessidade de um suporte semântico mais adequado para a fase de análise de domínio. Para tanto, este trabalho propõe uma abordagem baseada na associação de modelo de features e onto logias, denominada PL-Science, para apoiar a especificação e a condução de experimentos científicos. A abordagem PL-Science, que considera o contexto de LPSC, visa auxiliar os cientistas através de um workflow que engloba as aplicações científicas de um dado experimento. Usando os conceitos de LPS, os cientistas podem reutilizar modelos que especificam a LPSC e tomar decisões de acordo com suas necessidades. Este trabalho enfatiza o uso de ontologias para facilitar o processo de aplicação de LPS em domínios científicos. Através do uso de ontologia como um modelo de domínio consegue-se fornecer informações adicionais, bem como adicionar mais semântica ao contexto de LPSC. / A way to improve reusability and maintainability of a family of software products is through the Software Product Line (SPL) approach. In some situations, such as scientific applications for a given area, it is advantageous to develop a collection of related software products, using an SPL approach. Scientific Software Product Lines (SSPL) differs from the Software Product Lines due to the fact that SSPL uses an abstract scientific workflow model. This workflow is defined according to the scientific domain and, using this abstract workflow model, the products will be instantiated. Analyzing the difficulties to specify scientific experiments, and considering the need for scientific applications composition for its implementation, an appropriated semantic support for the domain analysis phase is necessary. Therefore, this work proposes an approach based on the combination of feature models and ontologies, named PL-Science, to support the specification and conduction of scientific experiments. The PL-Science approach, which considers the context of SPL and aims to assist scientists to define a scientific experiment, specifying a workflow that encompasses scientific applications of a given experiment, is presented during this disser tation. Using SPL concepts, scientists can reuse models that specify the scientific product line and carefully make decisions according to their needs. This work also focuses on the use of ontologies to facilitate the process of applying Software Product Line to scientific domains. Through the use of ontology as a domain model, we can provide additional information as well as add more semantics in the context of Scientific Software Product Lines.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-10-23T17:05:10Z No. of bitstreams: 1 renanmottagoulart.pdf: 506891 bytes, checksum: 01d7b3b82d2bc0af0d295fc75de17b91 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-11-09T13:52:19Z (GMT) No. of bitstreams: 1 renanmottagoulart.pdf: 506891 bytes, checksum: 01d7b3b82d2bc0af0d295fc75de17b91 (MD5) / Made available in DSpace on 2017-11-09T13:52:19Z (GMT). No. of bitstreams: 1 renanmottagoulart.pdf: 506891 bytes, checksum: 01d7b3b82d2bc0af0d295fc75de17b91 (MD5) Previous issue date: 2017-09-01 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Jogos de repetição é um ramo de Teoria dos Jogos, em que um jogo é jogado repetidas vezes pelos jogadores. Neste cenário, assume-se que os jogadores nem sempre jogam de modo ótimo ou podem estar dispostos, se possível, a colaborar. Neste contexto é possível um jogador analisar o comportamento dos oponentes para encontrar padrões. Estes padrões podem ser usados para aumentar o lucro obtido pelo jogador ou detectar se o oponente está disposto a realizar uma colaboração mutualmente benéfica. Nesta dissertação é proposto um novo algoritmo baseado em kernel de similaridade capaz de prever as ações de jogadores em jogos de repetição. A predição não se limita a ação do próximo round, podendo prever as ações de uma sequência finita de rounds consecutivos. O algoritmo consegue se adaptar rapidamente caso os outros jogadores mudem suas estratégias durante o jogo. É mostrado empiricamente que o algoritmo proposto obtém resultados superiores ao estado da arte atual. / Repeated games is a branch of game theory, where a game can be played several times by the players involved. In this setting, it is assumed that the players do not always play the optimal strategy or that they may be willing to collaborate. In this context it is possible for a player to analyze the opponent’s behaviour to find patters. These patterns can be used to maximize the player’s profit or to detect if the opponent is willing to collaborate. On this dissertation it is proposed a new algorithm based on similarity kernel capable of predicting the opponent’s actions on repeated games. The prediction is not limited to the next round’s action, being able to predict actions on a finite sequence of rounds. It is able to adapt rapidly if the opponents change their strategies during the course of a game. It is shown empirically that the proposed algorithm achieves better results than the current state of the art.

Orientador: Ketty Abaroa de Rezende / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T10:15:50Z (GMT). No. of bitstreams: 1 Lima_DahisyValadaodeSouza_D.pdf: 22146296 bytes, checksum: c88725de657b032422b9e4614ccd91a9 (MD5) Previous issue date: 2014 / Resumo: O tema principal desta tese é o estudo de fluxos gradientes associados a campos vetoriais $-\nabla f$ em variedades fechadas, onde $f$ é uma função do tipo Morse, Morse circular e Morse-Bott. Para obter informações dinâmicas em cada caso, utilizamos ferramentas algébricas e topológicas, tais como sequências espectrais e matrizes de conexão. No contexto de Morse, consideramos um complexo de cadeias $(C,\Delta)$ gerado pelos pontos críticos de $f$ onde $\Delta$ conta (com sinal) o número de linhas do fluxo entre dois pontos críticos consecutivos. Uma análise via sequências espectrais $(E^{r},d^{r})$ é feita para se obter resultados de continuação global em superfícies. Nós relacionamos as diferenciais da $r$-ésima página de $(E^{r},d^{r})$ com cancelamentos dinâmicos entre pontos críticos. No caso de função de Morse circular $f:M \rightarrow S^{1}$, o método da varredura para um complexo de Novikov $(\mathcal{N},\Delta)$ associado $f$ e gerado pelos pontos críticos de $f$ é definido sobre o anel $\mathbb{Z}((t))$. Este método produz a cada etapa matrizes de Novikov. Provamos que a matriz final produzida pelo método da varredura tem entradas polinomiais, o que é surpreendente, já que as matrizes intermediárias podem ter séries infinitas como entradas. Apresentamos resultados que mostram que os módulos e diferenciais de uma sequência espectral associada a $(\mathcal{N},\Delta)$ podem ser recuperados através do método da varredura. Para fluxos gradientes associados a funções de Morse-Bott, as singularidades formam variedades críticas. Usamos a teoria do índice de Conley para obter uma caracterização do conjunto de matrizes de conexão para fluxos Morse-Bott. Obtemos resultados sobre o efeito no conjunto de matrizes de conexão causado por mudanças na ordem parcial e na decomposição de Morse de um conjunto invariante isolado / Abstract: The main theme in this thesis is the study of gradient flows associated to a vector field $-\nabla f$ on closed manifolds, where $f$ is either a Morse function, a circle-valued Morse function or a Morse-Bott function. In order to obtain dynamical information, we make use of algebraic and topological tools such as spectral sequences and connection matrices. In the Morse context, consider a chain complex $(C,\Delta)$ generated by the critical points of $f$, where $\Delta$ counts the number of flow lines between consecutive critical points with signs. A spectral sequence $(E^{r},d^{r})$ analysis is used to obtain results on global continuation of flows on surfaces. A link is established between the differentials on the $r$-th page of $(E^{r},d^{r})$ and cancellation of critical points. In the circle-valued Morse case $f:M \rightarrow S^{1}$, a sweeping algorithm for the Novikov chain complex $(\mathcal{N},\Delta)$ associated to $f$ and generated by the critical points of $f$ is defined over the ring $\mathbb{Z}((t))$. This algorithm produces at each stage Novikov matrices. We prove that the last Novikov matrix has polynomial entries which is quite surprising since the matrices in the intermediary stages may have infinite series entries. We also present results showing that the modules and differentials of the spectral sequence associated to $(\mathcal{N},\Delta)$ can be retrieved through the sweeping algorithm. For gradient flows associated to Morse-Bott functions, the singularities form critical manifolds. We use the Conley index theory for the critical manifolds in order to characterize the set of connection matrices for Morse-Bott flows. Results are obtained on the effects on the set of connection matrices caused by a change in the partial ordering and Morse decomposition of isolated invariant sets / Doutorado / Matematica / Doutora em Matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work is treated in two parts. The first is to find sufficient conditions for a function so that its Fourier series distributions become common and uniform, as well as an approach to Fejér’s Theorem, an interesting and useful result of no Fourier Series study. A second part of the application of the Fourier Series, Weyl equidistribution theorem. A problem that lies at the frontier of Dynamic Systems with a Theory of Numbers. The same refers to the distribution of irrational numbers in the range [0, 1). / Este trabalho é tratado em duas partes. A primeira consiste em encontrar condições suficientes sobre uma dada função para que sua expansão em Série de Fourier convirja pontualmente e uniformemente, como também uma abordagem ao Teorema de Fejér, resultado interessante e útil no estudo de Séries de Fourier. A segunda parte uma aplicação provenientes das Séries de Fourier, o Teorema de equidistribuição de Weyl. Um problema que se encontra na fronteira dos Sistemas Dinâmicos com a Teoria dos Números. O mesmo refere-se à distribuição de números irracionais no intervalo [0, 1).

Orientador: Ketty Abaroa de Rezende / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T22:09:01Z (GMT). No. of bitstreams: 1 Vieira_EwertonRocha_D.pdf: 1632095 bytes, checksum: 5dc3208efc5649260ca62805c3e8e1b6 (MD5) Previous issue date: 2015 / Resumo: Nessa tese, apresentamos uma unificação da teoria das matrizes de transição algébrica, singular, topológica e direcional ao introduzir a matriz de transição (generalizada), a qual engloba todas as quatros citadas anteriormente. Alguns resultados de existência são apresentados bem como a verificação de que cada matriz de transição supracitada são casos particulares da matriz de transição (generalizada). Além disso, nós abordamos como as aplicações das quatros matrizes de transiçao, na teoria do índice de Conley, se traduzem para a matriz de transição (generalizada). Quando a matriz de transição (generalizada) satisfizer o requerimento adicional de cobrir o isomorfismo do índice de Conley F definido pelo fluxo, pode-se provar propriedades de existência e de conexão de órbitas. Essa matriz de transição com a propriedade de cobrir o isomorfismo F é definida como matriz de transição topológica generalizada e a utilizamos para obter conexões de órbitas num fluxo Morse-Smale sem órbitas periódicas bem como para obter conexões de órbitas numa continuação associada à sequência espectral dinâmica / Abstract: In this thesis, we present a unification of the theory of algebraic, singular, topological and directional transition matrices by introducing the (generalized) transition matrix which encompasses each of the previous four. Some transition matrix existence results are presented as well as the verification that each of the previous transition matrices are cases of the (generalized) transition matrix. Furthermore, we address how applications of the previous transition matrices to the Conley Index theory carry over to the (generalized) transition matrix. When this more general transition matrix satisfies the additional requirement that it covers flow-defined Conley-index isomorphisms, one proves algebraic and connection-existence properties. These general transition matrices with this covering property are referred to as generalized topological transition matrices and are used to consider connecting orbits of Morse-Smale flows without periodic orbits, as well as those in a continuation associated to a dynamical spectral sequence / Doutorado / Matematica / Doutor em Matemática

Homomorfismos de grafos são funções do conjunto de vértices de um grafo no conjunto de vértices de outro grafo que preservam adjacências. O estudo de homomorfismos de grafos é bastante abrangente, existindo muitas linhas de pesquisa sobre esse tópico. Nesta dissertação, apresentaremos resultados sobre homomorfismos de grafos relacionados a pseudo-aleatoriedade, convergência de seqüência de grafos e matrizes de conexão de invariantes de grafos. Esta linha tem se mostrado muito rica, não apenas pelos seus resultados, como também pelas técnicas utilizadas nas demonstrações. Em especial, destacamos a diversidade das ferramentas matemáticas que são usadas, que incluem resultados clássicos de álgebra, probabilidade e análise. / Graph homomorphisms are functions from the vertex set of a graph to the vertex set of another graph that preserve adjacencies. The study of graph homomorphisms is very broad, and there are several lines of research about this topic. In this dissertation, we present results about graph homomorphisms related to convergence of graph sequences and connection matrices of graph parameters. This line of research has been proved to be very rich, not only for its results, but also for the proof techniques. In particular, we highlight the diversity of mathematical tools used, including classical results from Algebra, Probability and Analysis.