Orientador: José Carlos Zamboni / Resumo: Magma é o volume de poemas que marcou a estréia de João Guimarães Rosa, tendo no entanto permanecido inédito por mais de sessenta anos. O presente trabalho tem como objetivo realizar uma introdução ao universo simbológico desse livro através da análise dos três primeiros poemas que o compõem. / Abstract: Magma is the poems volume that set out the debut of João Guimarães Rosa, although have been inedited over sixty years. The aim of the present work is to realize an introduction to the symbological universe of that book troughout the analysis of the three first poems that compose it. / Mestre

Orientador: Dimitar Kolev Dimitrov / Banca: Ana Paula Peron / Banca: Cleonice Fátima Bracciali / Resumo: Nesta dissertação estudamos a conjectura de Smale junto com a maioria dos resultados sobre este assunto e sua interpretação eletrostática. Mostramos alguns testes numéricos sobre a citada conjectura, para podermos analisar sua interpretação eletrostática. / Abstract: In this dissertation we study a conjecture of smale together with majority of results about this topic and its electrostatic interpretation. We show some numerical tests concerning the conjecture in order to analise its electrostatic interpretation. / Mestre

Orientador: Aleardo Manacero Junior / Banca: Sergio Azevedo de Oliveira / Banca: Francisco Villarreal Alvarado / Banca: Rodolfo Jardim Azevedo / Banca: André Luiz Moura dos Santos / Resumo: Ofusca c~ao de c odigo tem por nalidade di cultar a detec c~ao de propriedades intr nsecas de um algoritmo atrav es de altera c~oes em sua sintaxe, entretanto preservando sua sem^antica. Desenvolvedores de software usam ofusca c~ao de c odigo para defender seus programas contra ataques de propriedade intelectual e para aumentar a seguran ca do c odigo. Por outro lado, programadores maliciosos geralmente ofuscam seus c odigos para esconder comportamento malicioso e para evitar detec c~ao pelos anti-v rus. Nesta tese, e introduzido um m etodo para realizar an alise com sensitividade ao contexto em bin arios com ofuscamento de chamada e retorno de procedimento. Para obter sem^antica equivalente, estes bin arios utilizam opera c~oes diretamente na pilha ao inv es de instru c~oes convencionais de chamada e retorno de procedimento. No estado da arte atual, a de ni c~ao de sensitividade ao contexto est a associada com opera c~oes de chamada e retorno de procedimento, assim, an alises interprocedurais cl assicas n~ao s~ao con aveis para analisar bin arios cujas opera c~oes n~ao podem ser determinadas. Uma nova de ni c~ao de sensitividade ao contexto e introduzida, baseada no estado da pilha em qualquer instru c~ao. Enquanto mudan cas em contextos a chamada de procedimento s~ao intrinsicamente relacionadas com transfer^encia de controle, assim, podendo ser obtidas em termos de caminhos em um grafo de controle de uxo interprocedural, o mesmo n~ao e aplic avel para mudan cas em contextos a pilha. Um framework baseado em interpreta c~ao abstrata e desenvolvido para avaliar contexto baseado no estado da pilha e para derivar m etodos baseado em contextos a chamada de procedimento para uso com contextos baseado no estado da pilha. O metodo proposto n~ao requer o uso expl cito de instru c~oes de chamada e retorno de procedimento, por em depende do... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: A code obfuscation intends to confuse a program in order to make it more di cult to understand while preserving its functionality. Programs may be obfuscated to protect intellectual property and to increase security of code. Programs may also be obfuscated to hide malicious behavior and to evade detection by anti-virus scanners. We introduce a method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations. These binaries may use direct stack operators instead of the native call and ret instructions to achieve equivalent behavior. Since de nition of context-sensitivity and algorithms for context-sensitive analysis has thus far been based on the speci c semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in calling-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control ow graph (ICFG), the same is not true for changes in stackcontext. An abstract interpretation based framework is developed to reason about stackcontext and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. This analysis requires the knowledge of how the stack, rather the stack pointer, is represented and on the knowledge of operators that manipulate the stack pointer. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the contextsensitive version of the algorithm generates more precise results and is also computationally more e cient than its context-insensitive counterpart. / Doutor

Orientador: Paulo Fernandes Zanotto / Banca: Cleide Antonia Rapucci / Banca: Maria Cecília Pires Barbosa de Lima / Resumo: O presente trabalho tem por objetivo realizar um estudo comparativo entre Sagarana de Guimarães Rosa e sua respectiva tradução para o inglês, realizada por Harriet de Onís, analisando as soluções tradutórias encontradas por esta última para os neologismos criados pelo autor, buscando encontrar elementos que possibilitem o entendimento da produção textual e do processo tradutório. A compreensão das soluções tradutórias será pautada por a) um estudo dos conflitos e contradições inerentes e implícitos à tradução: o paradoxo relativo à impossibilidade inerente vs. necessidade absoluta e a dicotomia tradução literal vs. tradução livre; b) analisar a prosa roseana enfocando a produção-recepção de um texto literário e da função estética do neologismo no texto literário; c) uma análise da formação das palavras para determinar os fatores operados e viabilizadores da construção neológica; e d) a produção de sugestões de tradução para as soluções tradutórias oferecidas pela tradutora ora estuda. Este estudo comparativo seguirá uma orientação funcionalista de tradução aliada a uma perspectiva simpática às correntes Contemporâneas da Recepção, procurando entender os papéis dos elementos envolvidos na produção/recepção textuais: o autor, o texto-oferta, a leitura, o leitor, o tradutor e o texto-tradução. / Abstract: This dissertation was carried out as a comparative study of J. Guimarães Rosa's Sagarana (1946) and its respective translation by Harriet de Onís (1966), specifically focused on the translation solutions provided by her to the neologisms created by him, in order to find out elements which make possible both textual production and translation process understanding. The understanding at issue will comprise a) the inherent and implicit conflicts and contradictions of translation: the inherent impossibility vs. absolute necessity paradox and literal translation vs. free translation dichotomy; b) an analysis of Rosa's prose style focusing on the literary text production-reception and the neologism aesthetic function within the literary text; c) an analysis of word formation for determining neological construction at work and feasible factors; and d) the suggestion of translation equivalents instead of the solutions provided by Onís. A translation functionalist approach will be taken in association with an engaging perspective on the Contemporary reception theories meant to explain the roles of the elements involved textual production/reception: the source language text (SLT), the reading process, the translator's mediation the target language text (TLT) and the reader (Rø), the translator, and the translation-text. / Mestre

Orientador: Martha Herr / Banca: Mirna Rubin / Banca: Káthya Ayres de Godoy / Resumo: Tendo em vista a exigência do cantor de ópera atual possuir não somente uma excelente técnica vocal e musical, mas também uma competente desenvoltura cênica, e, levando em consideração que estas habilidades cênicas são desenvolvidas pelo cantor na maioria das vezes de forma autodidata, este trabalho tem como objetivo pesquisar conhecimentos que possam auxiliar no desenvolvimento destas habilidades por jovens cantores que careçam de orientação nesta área ao ingressarem no mercado de trabalho. Esta pesquisa baseia-se principalmente em teóricos que já abordaram a questão específica da atuação cênica do cantor de ópera. / Abstract: Considering the demands presently made upon the opera singer to have not only an excellent vocal and musical technique, but also a competent capacity scenically, and taking into account that these scenic abilities are usually self-taught, the objective here is to research theoretical tools that will aid the young singer entering the job market and who lacks orientation in this area to develop these abilities. Research is based on works that approach the specific subject of the opera singer' scenic performance. / Mestre

Resumo: Este trabalho, tendo o objetivo principal de estudar as agressões antrópicas a uma bacia experimental da Represa de Jurumirim, região de importância agrícola para o Estado de São Paulo, foi dividido em três fases. A primeira fase objetivou reconhecer as mudanças temporais significativas no uso do solo entre os anos de 1965 a 1999. Na segunda fase procurou-se realizar uma análise comparativa, através de matrizes de erro, entre os resultados da interpretação visual e os obtidos através de várias técnicas da classificação digital não-supervisionada, visando selecionar a melhor técnica de tratamento de dados digitais. Na terceira fase objetivou-se delimitar a mata ciliar que deveria existir às margens dos rios, correspondente a Legislação Florestal, e comparar com a que é encontrada na área atualmente. Para tanto, foram utilizados dados do satélite Landsat no formato digital. Além destes dados, foram empregadas cartas planialtimétricas, confeccionadas a partir de fotografias aéreas de 1965, para a elaboração do mapa de ocupação do solo da bacia, bem como para a obtenção dos dados da rede de drenagem e registro da imagem. Os mapas de ocupação do solo obtidos a partir da interpretação visual e aqueles obtidos pela classificação não-supervisionada, além do mapa da mata ciliar, foram elaborados através do sistema de informação geográfica SPRING. De acordo com os resultados obtidos na pesquisa, chegou-se às seguintes conclusões: - o uso do solo na Bacia em 1999, pelo processo de interpretação visual, mostrou que todas as classes de ocupação do solo apresentaram mudanças significativas de áreas em relação aos dados de 1965, onde as áreas com água, campo, cerrado e culturas anuais sofreram redução em detrimento ao aumento de áreas com cultura perene, semiperene, pastagem, loteamento, várzea e mata;... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This study aimed to analyze the human induced impacts in an experimental watershed of the Jurumirim Reservoir. The watershed is located in an important agricultural region ofthe São Paulo State. The study was conducted in three clistinct phases. During the first phase, the main temporal changes in the land use, in the period between 1965 and 1999, were recognized. In the second phase, it was conducted a comparative analysis by means of error matrixes between the visual interpretation results and those obtained from several techniques through unsupervised digital image processing. This procedure was employed in order to select the most suitable technique for image classification in the study area. The third step comprised the identification of the areas along the streams that should be untouched to protect riparian forests, according to the Forestry Code. Those areas were compared to the actual riparian forests. The database encompassed Landsat imagery data and topographic maps based on aeriai photographs from 1965, which allowed obtaining iand use, hydrographic data and image register. Land use map through visual interpretation and that obtained through unsupervised classification and, riparian forest map were eiaborated through SPRING Geographical Information System. The obtained results ailowed concluding that: - ali land use classes on the watershed in 1999, obtained through visual interpretation, presented significant changes in arca in reiation to data from 1965. Areas of water, field, typical savanna and annuai cultures were reduced in favor of increasing in perenniai and semi-perenniai cultures, pasture, parceis, wetiand and forest; - the performance of unsupervised classification techniques was very similar. Uowever, according to decision mie proposed by Landis & Koch (1977), ...(Complete abstract, click electronic access below) / Orientador: Sérgio Campos / Coorientador: Maurício Alves Moreira / Banca: Lincoln Gehring Cardoso / Banca: Bernardo Friedrich T. Rudorff / Mestre

Orientador: Luiz Cesar de Moraes / Banca: Pedro Luiz de Carvalho / Banca: Cristiane Yumi Koga Ito / Resumo: Apesar de ser uma técnica limitada, a subtração digital é utilizada na Odontologia. A adição do computador e seus algoritmos para equalização de contraste e também correção geométrica, tornou possível a aplicação da subtração radiográfica digital (SRD), utilizando radiografias intrabucais. Neste estudo foi avaliada a viabilidade da utilização da subtração radiográfica digital pelo programa Regeemy - Image Registration and Mosaicking v.0.2.43-RCB (DPI-INPE, São José dos Campos, SP, Brazil) em radiografias periapicais digitalizadas e obtidas sem utilização de padronização rígida durante as exposições por meio de registro a posteriori. A seleção dos pontos de controle foram realizadas de forma automática e em quantidade múltipla pelo Reggemy. Esses pontos serviram como coordenadas a partir das quais o programa alinhou o par de imagens e gerou uma terceira imagem de acordo com a projeção geométrica da imagem de referência. Com o uso do Adobe Photoshop© foram selecionados os ROI das imagens utilizando guias e coordenadas. Depois de aplicados os testes estatísticos foi verificado que a metodologia do presente estudo não permite concluir que a subtração utilizando-se o programa Regeemy é inviável quando realizada sem padronização / Abstract: The digital subtraction has been widely used in dentistry. The addition of computer and its algorithms for equalization of contrast and geometric correction also made possible the application of radiographic digital subtraction (SRD) using intraoral radiographs. This study assessed the feasibility of using X-ray digital subtraction of the program Regeemy - Image Registration and mosaicking v.0.2.43-RCB (DPI-INPE, Sao Jose dos Campos, SP, Brazil) in periapical radiographs digitized and obtained without the use of standardized rigid during the exposures by registering the event. The selection of control points were performed automatically and in quantity by multiple Reggemy. These points were used as coordinates from which the program aligned the image pair and a third image generated according to the geometrical projection of the reference image. Using Adobe Photoshop ©, we selected the ROI of the images using guides and coordinates. After applying the statistical tests we can conclude that the methodology of this study does not suggest that the subtraction using the program Regeemy is feasible when performed without standardization. It is suggested further studies to evaluate the impact of subtraction radiography with no standardization in clinical diagnosis / Mestre

Orientador: Martha Herr / Banca: Clóvis Afonso de André / Banca: Luciano Simões Silva / Resumo: Buscou-se neste trabalho a recuperação histórica da pronúncia do português brasileiro cantado, tal como proposta nas normas expostas nos Anais do Primeiro Congresso da Língua Nacional Cantada, de 1938, bem como a realização de uma análise prático-comparativa destas com as normas atuais, publicadas em 2007, destacando os principais pontos que as distinguem e elementos que proporcionam modificações na interpretação de canções em idioma brasileiro. O estudo baseado em documentos históricos e na investigação das circunstâncias que favoreceram a normalização do português brasileiro cantado teve, em sua fase prática, a realização de dois recitais e a gravação de um CD demonstrativo, com a execução de peças cujas pronúncias estão fundamentadas nas normas de 1938 e 2007, buscando evidenciar os elementos de divergência entre elas / Abstract: The aim of this research is to recover the historical pronunciation of Brazilian Portuguese sung as proposed in the standards set out in the Annals of the First Congress of the National Language as Sung (1° Congresso da Língua Nacional Cantada), in 1938, and the realization of a practical-comparative analysis between these and the current norms, published in 2007, highlighting the main points that distinguish them and evidences that provide changes in the interpretation of songs in Brazilian Portuguese. The study, based on historical documents and investigation of the circumstances which furthered the standardization of Brazilian Portuguese as sung, included the of two concerts and the recording of a demo CD with the execution of pieces whose pronunciations are based on norms from 1938 and 2007, seeking evidences of diverging elements between them / Mestre

Orientador: Giácomo Bartoloni. / Banca: Paulo Augusto Castagna / Banca: Sonia Albano de Lima / Resumo: Esta dissertação aborda alguns fundamentos teóricos da interpretação musical e sua aplicação nos 12 estudos para violão de Francisco Mignone. A estrutura geral desta pesquisa está desenvolvida em dois segmentos, sendo que o primeiro focaliza os fundamentos teóricos sobre interpretação musical, suas principais tendências, a teoria da Formatividade de Luigi Pareyson e alguns conceitos complementares de Unberto Eco a propósito dos limites da interpretação. No segundo, apresentamos uma revisão bibliográfica do que já foi pesquisado sobre a literatura violonística do compositor, um panorama geral de sua produção violonística na década de 1970, alguns comentários sobre a gênese dos 12 Estudos, aspectos documentais dos Estudos de Mignone e considerações gerais sobre as diferentes versões dessa obra. Apresentamos também um modelo de aplicação dos conceitos teóricos discutidos no primeiro capítulo, abordando as contribuições técnicas desses Estudos, incluindo soluções para trechos problemáticos e diretrizes interpretativas para essa obra. As considerações finais procuram responder aos questionamentos formulados na introdução, porém de forma não conclusiva, por considerarmos que o modelo de interpretação apresentado é apenas uma possibilidade entre muitas. Os anexos incluem uma Edição Aberta dos 12 estudos de Mignone (fac-símile e urtext), entrevistas e um CD contendo nossa interpretação dos estudos, como resultado prático de uma pesquisa orientada pala sua conjugação com a reflexão teórica. / Abstract: This dissertation deals with musical interpretation and discussses the practical application of theorical principles in Francisco Mignone's Twelve Studies for Guitar.The body of this paper is sstrucstured in two sections. The first focuses on the theoretical foundations of the musical interpretarion, in main trends, Luigi Pareyson's "theory of formativity", as well as some complementary concepts by Umberto Eco on the limits of interpretarion. The second section contains a bibliographic revision about researches on the Mignone's guitar output, an overview of this compositions for guitar on the seventies, and commemtaries about de genesis of his Twelve Studies, philological aspacts and general considerations about the different versions of this work. There is also apractical application of the concepts discussed in the first chapter, presenting the didactic contribuitions of Mignone's Studies, including some solutions fo difficult passages and some interpretative suggestions for this work. The final considerations are an attempt to answer the questions presented in the introduction, but nor in a conclusive way, since we consider that the model of interpretation presented here inonlu one amongst many others. The annexes contain a "Double Edition" of Mignone's Twelve Studies (the original version and our Urtext), complete interviews, and a CD with our interpretation of this work, a a practical result of a research which was guided by the theoretical reflection. / Mestre

Orientador: Jair Lopes Júnior / Banca: João dos Santos Carmo / Banca: Paulo Sergio Teixeira do Prado / Resumo: A literatura em Análise do Comportamento tem demonstrado aumento nos estudos sobre procedimentos metodológicos para o ensino de parte dos repertórios que definem a avaliação funcional para não-especialistas. O objetivo deste trabalho foi verificar se as condições metodológicas delineadas poderiam favorecer o ensino de repertórios de interpretação funcional para uma professora (P) da 3ª série do Ensino Fundamental para conteúdos curriculares do ensino de Ciências Naturais, bem como, averiguar possíveis alterações em suas práticas de ensino em sala de aula que poderiam estar relacionadas às atividades executadas neste estudo. O procedimento foi dividido em 3 etapas. Na Etapa 1 foi realizada uma entrevista inicial de "rapport" para conhecer a descrição de P sobre a turma. Em seguida foram gravados dois conjuntos de aulas lecionadas por P sobre sobre temas distintos e consecutivos (UDI e UD2. Ao final desta etapa, P foi submetida a um Roteiro de Entrevistas que continha questões acerca de suas próprias aulas. O Roteiro foi aplicado na ausência e na presença dos episódios selecionados da UD1. Durante a Etapa 2, P foi exposta aos modelos de interpretação funcional elaborados pelo pesquisador sobre os mesmos episódios selecionados da UD1, por conseguinte, a professora foi solicitada a executar suas próprias tentativas de interpretações funcionais para os episódios da UD2. A Etapa 2 foi finalizada com a exposição para P dos modelos de interpretação funcional elaborados pelo pesquisador para os episódios da UD2. Na Etapa 3 ocorreu a gravação de um novo conjunto de aulas (UD3). Nesta etapa foram editados novos episódios da UD3. Tais episódios foram exibidos a P conjuntamente ao Roteiro de Entrevistas utilizado nas etapas anteriores, ao final de cada episódio o roteiro foi reapresentado. Por fim foi solicitado... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The literature on behavior analysis has shown an increase in studies on methodological procedures for teaching the repertories that define the functional assessment for non-specialists. The goal of this study was to verify whether the outline methodological conditions could favor the functional interpretation repertoire teaching for a teacher (P) in the 3rd grade of elementary school for curriculum content of natural sciences discipline, as well as verify whether possible changes in their classroom teaching practices could be connected to activities performed in this study. The experiment had three steps. In step 1 was held an initial rapport interview to know P's description of her class. Then it were recorded two sets of lessons (UD1 and UD2) taught by P about distinct and consecutive themes. At the end of this step, P was submitted to n interview script with questions about her classes. The interview script was applied both in the absence or presence of UD1's selected episodes. During Stage 2, P was exposed to functional interpretation models developed by the researches onn the same UD1's selected episodes, then the teacher was asked to run her own functional interpretation of UD2 episodes. Step 2 ended with the exposure for P of the functional interpretation models developedby the researcher for UD2 episodes. In Step 3 a new set of classes (UD3) were recorded. In this step new episodes were then shown to P along with the interview scripts from previous steps, and at the end of each episode the script was presented again. Finally P was asked to compare UD2 and UD3. P reports about her practices proved to be different than functional interpretation proposal, forgone possible control relations between the operating properties of the provided teaching conditions and students performance in light of such practices. These characteristics were... (Complete abstract click electronic access below) / Mestre