[pt] O Movimento Pentecostal é o ramo mais representativo do protestantismo brasileiro atual. É um Movimento que, historicamente, tem se comunicado com as classes menos favorecidas da sociedade brasileira e tem sido um Movimento Pneumatológico e Eclesial importante no cenário religioso hodierno. No Pentecostalismo, assim como no cristianismo ocidental em geral, a presença do dualismo tem sido um fator de distanciamento da proposta de Jesus e de distorções acerca da espiritualidade. O pensamento do teólogo suíço Karl Barth é um sistema de reflexão que trabalha com pontos muito parecidos com os do Pentecostalismo brasileiro, como a Pneumatologia, a Eclesiologia, a Espiritualidade, etc, porém, no pensamento barthiano percebemos os mesmos elementos sendo compreendidos de modo integral, num caminho de superação das distorções e aproximação da santidade proposta por Jesus de Nazaré. / [en] The Pentecostal Movement is the most representative branch of present-day Brazilian Protestantism. It s a Movement that has historically communicated with the less favored classes of brazilian society and has been an important Pneumatological and Ecclesial Movement in today s religious scene. In Pentecostalism, as in Western Christianity in general, the presence of dualism has been a distancing factor from Jesus proposal and distortions about spirituality. The thought of the Swiss theologian Karl Barth is a system of reflection that works with points very similar to those of Brazilian Pentecostalism, such as Pneumatology, Ecclesiology, Spirituality, etc. However, in Barthian thought we perceive the same elements being understood integrally, in a way of overcoming the distortions and approach of holiness proposed by Jesus of Nazareth.

[pt] Nesta tese de doutoramento, pleiteio uma análise de etnografias considerando-as como produções textuais autobiográficas que, ao registrarem um acontecimento real, se valem de artifícios literários e da subjetividade de seus autores. Com vista a identificar um sentido da etnografia enquanto produtora de conhecimento, objetivo articular os pressupostos teóricos da Literatura Clássica antropológica com os textos etnográficos surgidos no contexto pós-moderno. Proponho a leitura de etnografias como possibilidade literária que enseja um certo estar no mundo do autor, trazendo à tona perspectivas ligadas à noção de indivíduo, tais como as da autoria e construção de si. Para esta abordagem, busco tecer aproximações entre etnografias contemporâneas, testemunhos e romances. / [en] In this doctoral thesis, plead one ethnographic analysis considering them as autobiographical textual productions that, by registering a real event make use of literary devices and subjectivity of their authors. To identify a sense of ethnography as a producer of knowledge, aim to articulate the theoretical assumptions of the anthropological classic literature with ethnographic texts originated in the postmodern context. I suggest reading ethnographies as a literary possibility which entails a certain being in the author s world, bringing up prospects concerning the notion of individual, such as the construction of authorship and of itself. For this approach, I try to weave similarities between contemporary ethnographies, testimonies and novels.

[pt] O estudo de geometria, em particular área de polígonos simples, é pouco trabalhado em sala de aula, sendo assim o presente trabalho tem como finalidade apresentar o Teorema de Pick, com algumas demonstrações, como ferramenta de cálculo de área. Atenção especial é necessária para polígonos simples mas não necessariamente convexos. Além disso discutimos outros Teoremas relacionados, como Jordan e Euler. Espera-se que esta pesquisa se some a outras no sentido de contribuir para o ensino de matemática de forma qualitativa, podendo se utilizar de técnicas aqui abordadas ou ainda serem adaptadas às diversas realidades para o seu melhor aproveitamento. / [en] The study of plane geometry, in particular the computation of areas of simple polygons, is little explored in the classroom. Our aim here is to state and prove Pick s Theorem. We also present sever al examples and more than one proof. Simple polygons (which are not necessarily convex) receive special attention. We also consider some related results, such as the theorems of Jordan and Euler. It is hoped that this re e arch will contribute to the teaching of mathematics in a qualitative way.

[pt] Linguagens de programação dinâmicas estão cada vez mais populares e já foram utilizadas para desenvolver uma ampla gama de aplicações. Enquanto isso, processadores multi-núcleo se tornaram padrão, mesmo em computadores pessoais e dispositivos móveis. Dessa forma, os programadores precisam recorrer ao paralelismo para aprimorar o desempenho de seus programas. Entretanto, a programação concorrente permanece difícil. Adicionalmente, a despeito de avanços em linguagens estáticas, avaliamos que linguagens dinâmicas ainda carecem de suporte adequado à concorrência. Nesta tese argumentamos que o principal problema da programação concorrente é a imprevisibilidade - comportamentos inesperados de programas, tais como retornar valores descabidos. Observamos que a imprevisibilidade é mais provável quando memória compartilhada é utilizada. Consequentemente, propomos um modelo de comunicação para concorrência que visa disciplinar o compartilhamento de memória em linguagens dinâmicas. O modelo é baseado nos padrões emergentes de concorrência de não compartilhar dados por padrão, imutabilidade de dados e tipos e efeitos (que transformamos em capacidades). Ele demanda a utilização de objetos compartilháveis para compartilhar dados e utiliza troca de mensagens para comunicação entre fluxos de execução. Objetos compartilháveis podem ser compartilhados apenas para leitura ou para leitura e escrita, o que permite acesso individual de escrita e acessos paralelos de leitura. Implementamos um protótipo em Lua para experimentar com o modelo na prática, bem como para conduzir uma avaliação geral de desempenho. A avaliação demonstra que há benefícios na utilização de memória compartilhada, mas ao mesmo tempo revela que os controles utilizados para assegurar a disciplina ocasionam um impacto de desempenho. / [en] Dynamic programming languages have become increasingly popular and have been used to implement a range of applications. Meanwhile, multicore processors have become the norm, even for desktop computers and mobile devices. Therefore, programmers must turn to parallelism as a means to improve performance. However, concurrent programming remains difficult. Besides, despite improvements in static languages, we find dynamic languages are still lacking in concurrency support. In this thesis, we argue that the main problem with concurrent programming is unpredictability - unexpected program behaviors, such as returning out-of-thin-air values. We observe that unpredictability is most likely to happen when shared memory is used. Consequently, we propose a concurrency communication model to discipline shared memory in dynamic languages. The model is based on the emerging concurrency patterns of not sharing data by default, data immutability, and types and effects (which we turn into capabilities). It mandates the use of shareable objects to share data. Besides, it establishes that the only means to share a shareable object is to use message passing. Shareable objects can be shared as read-write or read-only, which allows both individual read-write access and parallel read-only access to data. We implemented a prototype in Lua, called luashare, to experiment with the model in practice, as well as to carry out a general performance evaluation. The evaluation showed us that safe data sharing makes it easier to allow for communication among threads. Besides, there are situations where copying data around is simply not an option. However, enforcing control over shareable objects has a performance cost, in particular when working with nested objects.

[pt] A grande quantidade de dados disponíveis na Web permite aos usuários combinarem e rapidamente integrarem dados provenientes de fontes diferentes, pertencentes ao mesmo domínio de aplicação. Entretanto, combinações de dados construídas a partir de fontes de dados independentes e heterogêneas podem gerar inconsistências e, portanto, confundir o usuário que faz uso de tais dados. Esta tese aborda o problema de criação de uma combinação consistente de dados a partir de fontes de dados mutuamente inconsistentes. Especificamente, aborda o problema de testar quando os dados a serem combinados são inconsistentes em relação a um conjunto pré-definido de restrições. As principais contribuições desta tese são: (1) a formalização da noção de combinação consistente de dados, tratando os dados retornados pelas fontes como uma Teoria de Defaults e considerando uma combinação consistente de dados como uma extensão desta teoria; (2) um verificador de modelos para uma família de Lógicas de Descrição, usado para analisar e separar os dados consistentes e inconsistentes, além de testar a consistência e completude das combinações de dados obtidas; (3) um procedimento heurístico para computar tais combinações consistentes de dados. / [en] With the amount of data available on the Web, consumers can mashup and quickly integrate data from different sources belonging to the same application domain. However, data mashups constructed from independent and heterogeneous data sources may contain inconsistencies and, therefore, puzzle the user when observing the data. This thesis addresses the problem of creating a consistent data mashup from mutually inconsistent data sources. Specifically, it deals with the problem of testing, when data to be combined is inconsistent with respect to a predefined set of constraints. The main contributions of this thesis are: (1) the formalization of the notion of consistent data mashups by treating the data returned from the data sources as a default theory and considering a consistent data mashup as an extension of this theory; (2) a model checker for a family of Description Logics, which analyzes and separates consistent from inconsistent data and also tests the consistency and completeness of the obtained data mashups; (3) a heuristic procedure for computing such consistent data mashups.

[pt] Após pressões e táticas de convencimento do poder público, parte da população da Vila Autódromo aceitou a oferta de reassentamento no conjunto habitacional Parque Carioca ou de indenização. A Vila Autódromo consiste em um assentamento regularizado, considerado favela para o Estado, que se localiza ao lado da área destinada ao complexo esportivo do Parque Olímpico. Mesmo com algumas garantias legais, sua remoção vem ocorrendo, mais sobre um campo biopolítico do que jurídico - na investida na vida dos moradores. Torna-se importante refletir a reatualização das remoções e as normalizações do espaço urbano carioca. A favela muitas vezes significou uma heterotopia, um espaço outro, o diferente ou o anormal para o urbanismo. Ao percorrer produções teóricas no campo da sociologia e história urbana se verifica a criação de diferentes respostas ao problema favela , principalmente mediante políticas habitacionais. Não se trata, porém, de entendê-la apenas como habitat, produto da exclusão e segregação do poder. A favela consiste também em uma produção de espaço: um habitar como poeta que compreende a constituição de rede de relações e afetos, da história, da memória, do trabalho e da luta pela liberdade de produzir diferenças. Com o aporte teórico de Michel Foucault e de Henri Lefebvre, se investigará a resistência dos moradores da Vila Autódromo e os procedimentos que a Prefeitura adota para realizar a remoção através da interferência da própria produção urbana dessa comunidade. Pretende-se nesse trabalho elevar à reflexão não apenas os aspectos macroeconômicos ou macropolíticos, mas o campo subterrâneo dos próprios desejos e necessidades que envolvem a política sobre a vida e a resistência na cidade. / [en] After pressures and tactics of persuasion by the government, part of the Vila Autódromo population accepted the resettlement offer in an Housing Project called Parque Carioca , or compensations. Vila Autódromo consists in a regularized settlement, considered favela by the state, which is next to the area for sports complex of the Olympic Park. Even with some legal guarantees, it removal has been taking place, not only in a judicial arena, but, mainly, over a bio-political terrain - which invests in the lives of residents. It is important to develop a reflection about the updating of the favela s removals and the normalization of Rio s urban space. The favela often meant a heterotopia, the other space , different or abnormal for urban planning. Academic research in urban sociology and history have created different responses to slum problem . The favela won t be considered as an habitat, a product only of exclusion and segregation of power. The favela also consists in a production of space: a sort of living as a poet , that involves the formation of network relations and affections, history, memory, work and the struggle for freedom and the production of diference. With the theoretical contribution of Michel Foucault and Henri Lefebvre, it will be investigated the resistance of the residents of Vila Autódromo and the procedure that the City adopts to perform the eviction through the interference of the urban production of this community. This study guides the reflection not only to macroeconomic or macro-political aspects , but to the underground field of personal desires and needs that involve a politics of life and resistance in the city.

[pt] Esta tese aborda a literatura da escritora afro-americana Toni Morrison traduzida no Brasil. Nesse sentido, são consideradas as seguintes traduções do romance Beloved (1987), as quais receberam o título de Amada: a de Evelyn Kay Massaro, publicada em 1989 pela editora Best Seller e em 1993 pelo Círculo do Livro, e a de José Rubens Siqueira, lançada em 2007 e, posteriormente, em 2011, pela Companhia das Letras. Utilizando como arcabouço teórico os Estudos Descritivos da Tradução e os Estudos Culturais, complementados pela visão de Lawrence Venuti sobre retraduções, a presente pesquisa visa a determinar e compreender o lugar sistêmico ocupado por Morrison e pelas traduções de Beloved no contexto cultural brasileiro em comparação à posição da autora e de seu romance no sistema de origem, os Estados Unidos. Para tanto, são trazidas à tona, entre outros fatores, reflexões sobre aspectos de recepção, focalizando os discursos de críticos, professores, outros autores e tradutores, o papel das editoras envolvidas e as ações de patronagem nos respectivos contextos. Além disso, é proposta uma análise dos paratextos e dos recursos textuais referentes às edições de Amada, levando-se em consideração as relações entre literatura, linguagem e questões étnico-raciais. / [en] This Ph.D. dissertation addresses the African-American female author Toni Morrison and her translated literature in Brazil. It focuses on the Brazilian translations of her novel Beloved (1987), published under the title Amada. The first translation was done by Evelyn Kay Massaro and launched by the publishing houses Best Seller and Circulo do Livro, in 1989 and 1993 respectively. The second one, by José Rubens Siqueira, was published by Companhia das Letras in 2007 and, subsequently, in 2011. This study will draw upon both Descriptive Translation Studies and the Cultural Studies, complemented by Lawrence Venuti s view on retranslations. Accordingly, this research aims to determine and understand the systemic function occupied by Morrison and the translations of Beloved in the Brazilian cultural context in comparison with the function of the writer and her novel in the source system, the United States. Therefore, reception aspects, focusing on critics, professors, other authors and translators discourses, as well as the role of the publishing houses and patronage, among other factors, in the respective contexts will be brought to light. Moreover, an analysis of the paratexts and the textual resources relative to Amada s editions will be proposed, considering the relationships among literature, language and ethnic-racial issues.

[pt] A dissertação se propõe a mostrar que através do modo como define os conceitos de sujeito e objeto a, Jacques Lacan resume o que há de mais radical nas operações de interpretação e de construção freudianas, apresentando uma epistemologia capaz de formalizar o funcionamento da interpretação, localizar seus impasses, seus limites, e justificar a necessidade da construção em psicanálise, dizendo também o que está em jogo nesta. Aponta afinidades entre a psicanálise e a matemática, e utiliza os recursos desta apoiando-se nos trabalhos de Frege, Badiou, Dedekind e Russel para a definição de sujeito e objeto a, identificando o primeiro com o zero e identificando o segundo tanto com o excesso que representam algumas operações na teoria dos conjuntos, quanto com o número irracional. Após, mostra a insuficiência da relação de simples oposição com as quais atrela inicialmente todos esses termos para superá-la através de uma relação quaternária – de implicação recíproca e de conjunçãodisjunção – que, subvertendo as referências espaciais e temporais usuais, se mostra mais afeita a dar conta da experiência analítica. / [en] This dissertation intends to show that through the way that defines the concepts of subject and object a, Jacques Lacan summarizes what is most radical in the freudian operations of interpretation and construction, presenting an epistemology capable to formalize the operation of interpretation, to point their impasses, its limits, and to justify the need of the construction, also saying what is at stake in this. It points affinities between psychoanalysis and mathematics, and uses it resources, relying on the works of Frege, Badiou, and Russel Dedekin to define subject and object a, identifying the first with zero and identifying the second with both the excess that represent some operations in set theory, and also the irrational number. After, shows the insufficiency of the relationship of simple opposition that uses initially to link all these terms, to overcome it through a quaternary relationship – mutual implication and conjunction-disjunction – which, subverting the usual temporal and spatial references, is best suited for capture the nature of the analytical experience.

[pt] Esta dissertação tem por objetivo analisar a forma como a imprensa nacional lidou e narrou os casos onde as mulheres, principalmente as de cor branca e pertencentes aos setores médios urbanos, agiram no espaço público de forma a desempenhar diversas performances de gênero. E, assim, trazer à tona toda uma gama de possibilidades de existência feminina no Rio de Janeiro da Primeira República. Tais narrativas funcionavam como forma de entretenimento para o grande público leitor e garantia lucros às empresas jornalísticas. A divulgação de casos polêmicos criava um ambiente para reflexão de temas significativos para a sociedade e serão utilizados nesta dissertação para recuperar as experiências e trajetórias de diversas mulheres, compreender a relevância das vestimentas para a composição e reconhecimento das identidades sexuais e discutir relações de gênero. / [en] This dissertation aims to analyze the way in which the national press has handled and narrated the cases where women, especially those of white color and belonging to the urban middle sectors, acted in the public space in order to perform diverse performances of gender. And thus, to bring to the fore a whole range of possibilities of female existence in Rio de Janeiro of the First Republic. Such narratives worked as a form of entertainment for the general readership and guaranteed profits to the newspaper companies. The dissemination of controversial cases created an environment for reflection on issues that are significant for society and will be used in this dissertation to recover the experiences and trajectories of several women, to understand the relevance of dress to the composition and recognition of sexual identities and to discuss gender relations.

[pt] Este trabalho investiga, por meio da análise do filme A Margem (1967), dirigido e roteirizado por Ozualdo Candeias, cineasta ligado à experiência criativa da Boca do Lixo, as sensibilidades e imagens do urbano construídas pela obra. Em meio a isso, busca-se entender como a experiência da marginalidade encontra-se figurada pelo mundo fílmico e pode orientar nosso olhar para diferentes vivências da cidade. A partir do diálogo entre o cinema e o saber histórico, pretende-se refletir sobre a problemática da modernidade e dos processos de modernização representados pela narrativa, no diálogo com as imagens do urbano e com a figura do marginal que vaga pelas beiras da metrópole. O filme dialoga com o imaginário sobre o urbano de seu tempo e desenvolve também um ponto de vista singular sobre a experiência urbana, suas tensões, fissuras e fragilidades. Em um primeiro momento, é entendido a partir da dimensão de objeto artístico, enredado em uma teia de relações que vão desde seu contexto de produção, incluindo as relações com o que viria a ser chamado de cinema marginal, até suas conexões com outras tramas narrativas do Cinema e da Literatura. No segundo capítulo, a partir da análise de sequências do filme, persegue-se as sensibilidades construídas pela obra, constituída por uma profunda conexão entre melancolia, amor e loucura. A ideia é perceber como esses afetos redimensionam as imagens de urbano e nos levam, inclusive a concluir a dimensão alegórica do filme. Por fim, no terceiro capítulo, conclui-se a análise da obra, apontando diferentes visões de cidade que conformam a experiência do homem urbano, representado pelo sujeito à margem perdido entre a vida e a morte, que vaga melancolicamente entre uma metrópole monstruosa e uma margem redentora. / [en] This work investigates, through the analysis of the film A Margem (1967), directed and scripted by Ozualdo Candeias, a filmmaker linked to the creative experience of Boca do Lixo, the sensibilities and images of the urban constructed by the work. In this way, it is sought to understand how the experience of marginality is figured by the cinematic universe and can guide our look at different experiences of the city. From the dialogue between cinema and historical knowledge, we intend to reflect on the problematic of modernity and the processes of modernization represented by the narrative, in the dialogue with the images of the urban and with the figure of the marginal who wanders along the borders of the metropolis. The film dialogues with the imaginary about the urban one, elaborated in the time in which it was conceived and also develops a singular point of view on the urban experience and its tensions, fissures and fragilities. At first, the film is understood from its dimension of artistic object, entangled in a web of relations, ranging from its context of production, including the relations with what would come to be called marginal cinema, until Its connections with other narratives of Cinema and Literature. In the second chapter, from the analysis of the sequences of the film, the sensibilities constructed by the work are pursued, constituted by a deep connection between melancholy, love and madness. The idea is to understand how these affections resize urban images and take us to conclude the allegorical dimension of the film. Lastly, in the third chapter, the analysis of the film is concluded, pointing out different visions of city that conform to the experience of the urban man, represented by the subject at the margin, lost between life and death, that wanders melancholically between a monstrous metropolis and a redemptive margin.