[pt] O desenvolvimento desta pesquisa visa aprofundar entendimentos sobre a produção, principalmente na modalidade oral, do inglês como língua estrangeira (ILE). Após perceber-me detentora de questões relacionadas às minhas identidades e à forma com que poderia ser percebida por demais indivíduos ao utilizar tal língua estrangeira, realizei uma entrevista-conversa semi-estruturada e informal com outras duas professoras de ILE. Através de uma abordagem qualitativa interpretativista dos dados obtidos, percebi que nós vivenciávamos tensões semelhantes. A análise do discurso gerado nas entrevistas-conversas teve como foco as crenças das professoras com relação ao papel da língua inglesa, como língua nativa e estrangeira, em contextos sociais contemporâneos e as questões de identidades pessoais e profissionais. Na segunda fase da análise dos dados, norteada pelos princípios da Prática Exploratória e da Prática Reflexiva, promovi outras entrevistas-conversas com as mesmas professoras, separadamente. Refletimos sobre nossas percepções e crenças expressas durante a primeira fase, além de tratarmos sobre nossos posicionamentos nesse novo momento. Ao analisar os dados das duas fases da pesquisa com o arcabouço teóricometodológico adotado, entendi a complexidade de nossas questões e a mutabilidade de nossas identidades e crenças de acordo com as experiências que vivenciamos e os contextos nos quais estamos inseridas. No entanto, algumas ideias ainda encontram-se profundamente enraizadas, resultando em tensões que nos levam a habitar um entre-lugar de posicionamentos. / [en] The development of the current research aims at searching for understandings about the production, especially in the oral modality, of English as a Foreign Language (EFL). After perceiving myself as having issues related to my social identities as well as to how I could be perceived by other individuals when using such foreign language, a semi-structured conversation-interview was arranged with two other participating EFL teachers. Through an interpretativist qualitative approach towards the generated data, it was possible to realize that the two participant teachers suffered from tensions similar to mine. The analysis of the discourse generated through the conversation-interviews focused on the teachers’ beliefs about the role of English, as a native and a foreign language, within contemporary social contexts and on personal professional identity issues. The second phase of this work, guided by the principles of Exploratory Practice and of Reflective Practice, led us to other conversation-interviews with the same participant teachers, separately. We reflected upon our perceptions and beliefs expressed during the first phase, besides dealing with our positioning at that moment. By connecting the insights obtained during the two research phases, I could understand the complexity of the issues raised and the changeability of our identities and beliefs according to the situations we experience and the contexts we are part of. However, some ideas are deeply ingrained in our minds, resulting in tensions that lead us to inhabit a middle-place of perspectives.

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés de árvores ou listas, para representar provas está se tornando mais popular entre teóricos da prova. Os grafos-de-prova servem como uma forma de proporcionar uma melhor simetria para a semântica de provas e uma maneira de estudar a complexidade das provas proposicionais. O objetivo deste trabalho é reduzir o peso/tamanho de deduções. Apresentamos formalismos de grafos de prova que visam capturar a estrutura lógica de uma dedução e uma forma de facilitar a visualização das propriedades. A vantagem destes formalismos é que as fórmulas e sub-deduções em dedução natural, preservadas na estrutura de grafo, podem ser compartilhadas eliminando sub-deduções desnecessárias resultando na prova reduzida. Neste trabalho, damos uma definição precisa de grafos de prova para a lógica puramente implicacional, logo estendemos esse resultado para a lógica proposicional completa e mostramos como reduzir (eliminando fórmulas máximas) essas representações de tal forma que um teorema de normalização pode ser provado através da contagem do número de fórmulas máximas na derivação original. A normalização forte será uma consequência direta desta normalização, uma vez que qualquer redução diminui as medidas correspondentes da complexidade da derivação. Continuando com o nosso objetivo de estudar a complexidade das provas, a abordagem atual também fornece representações de grafo para lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. / [en] Traditional proof theory of Propositional Logic deals with proofs which size can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. Thus, the use of proof-graphs, instead of trees or lists, for representing proofs is getting popular among proof-theoreticians. Proof-graphs serve as a way to provide a better symmetry to the semantics of proofs and a way to study complexity of propositional proofs and to provide more efficient theorem provers, concerning size of propositional proofs. The aim of this work is to reduce the weight/size of deductions. We present formalisms of proof-graphs that are intended to capture the logical structure of a deduction and a way to facilitate the visualization. The advantage of these formalisms is that formulas and subdeductions in Natural Deduction, preserved in the graph structure, can be shared deleting unnecessary sub-deductions resulting in the reduced proof. In this work, we give a precise definition of proof-graphs for purely implicational logic, then we extend this result to full propositional logic and show how to reduce (eliminating maximal formulas) these representations such that a normalization theorem can be proved by counting the number of maximal formulas in the original derivation. The strong normalization will be a direct consequence of such normalization, since that any reduction decreases the corresponding measures of derivation complexity. Continuing with our aim of studying the complexity of proofs, the current approach also give graph representations for first order logic, deep inference and bi-intuitionistic logic.

[pt] Poéticas da Complexidade: o lugar contemporâneo e os limites da Arquitetura entre Arte e Paisagem analisa trabalhos de arte/arquitetura que, participando do chamado campo ampliado, após os anos 1960, partem de uma relação com o sítio para re-instaurar a paisagem. As obras estudadas se diferenciam das posturas arquitetônicas contextualistas que, em defesa do lugar como permanência, propuseram uma recuperação historicista do passado. As poéticas da complexidade expõem o lugar contemporâneo através de um tipo de abordagem que considera a multiplicidade, a incerteza, a incompletude, a ambiguidade, a contradição e os fluxos em devir. Também redefinem o lugar da arte/arquitetura no campo da cultura, em um deslocamento passado-futuro, e propõem uma revisão dos modos de operação artística. A tese busca entender os processos contemporâneos e a redefinição dos limites da arquitetura como um movimento de autocrítica em direção ao experimentalismo das artes como forma de questionar o formalismo, o funcionalismo e a representação da noção de estabilidade. Assim, pontos em comum são explorados: a apropriação de imagens do cotidiano, a abordagem conceitual, discursiva e ficcional da arte, a noção de processo e a problematização da autoria, a experiência fenomênica e espaçotemporal, a abertura ao acontecimento e a performance. Este estudo afirma que dois movimentos estão em processo: a aventura da reinvenção da paisagem como campo ativo – imagético, fenomênico, discursivo e performático, e da reinvenção dos mediums artísticos a partir de poéticas diferenciais que assumem a complexidade contemporânea. / [en] Complexity Poetics: the contemporary topos and the limits of Architecture in between Art and Landscape analyzes works of art and architecture that, taking part in the expanded field, after the 1960´s, are intertwined with the sites, to refound the landscape. This thesis investigates the contemporary places as a contextual practice which considers the multiplicity, the incertitude, the ambiguity, the contradiction and the transformations to come. These works establish a critical revision of modernism as well as of the contextualism which defended place as permanence, proposing a historicist recuperation of the past. On the contrary, complexity poetics discuss the place of art/architecture in the contemporary cultural expanded field, in a shift past-future, and propose a revision of art’s operational modes. This study is an attempt to understand the contemporary processes and the re-definition of architecture’s limits as a movement of self-criticism towards experimentalism in arts, that goes against formalism, functionalism and the representation of stability. Points of common that stand out: the appropriation of everyday images and signs, the conceptual, discursive and fictional character of art, the notion of process, the phenomenal and spatial-time experience, the événement and the performance. This study asserts a two-way movement: the ongoing adventure of the reinvention of landscape as an active field - imagistic, phenomenal, discursive and performatic, and the reinvention of artistic mediums through differential poetics which assume contemporary complexity.

[pt] A teoria de Morse relaciona a topologia de um espaço aos elementos críticos de uma função escalar definida nele. Isso vale tanto para a teoria clássica quanto para a versão discreta proposta por Forman em 1995. Essas teorias de Morse permitem caracterizar a topologia do espaço a partir de funções definidas nele, mas também permite estudar funções a partir de construções tipológicas derivadas dela, como por exemplo o complexo de Morse-Smale. Apesar da teoria de Morse discreta se aplicar para complexos celulares gerais de forma inteiramente combinatória, o que torna a teoria particularmente bem adaptada para o computador, as funções usadas na teoria não são amostragens de funções contínuas, mas casamentos especiais no grafo que codifica as adjacências no complexo celular, chamadas de casamentos de Morse. Quando usar essa teoria para estudar um espaço topológico, procura- se casamentos de Morse ótimos, i.e. com o menor número possível de elementos críticos, para obter uma informação topológica do complexo sem redundância. Na primeira parte desta tese, investiga-se a complexidade parametrizada de encontrar esses casamentos de Morse ótimos. Por um lado, prova-se que o problema ERASABILITY, um problema fortemente relacionado à encontrar casamentos de Morse ótimos, é W [P ]-completo. Por outro lado, um algoritmo é proposto para calcular casamentos de Morse ótimos em triangulações de 3-variedades, que é FPT no parâmetro do tree- width de seu grafo dual. Quando usar a teoria de Morse discreta para estudar uma função escalar definida no espaço, procura-se casamentos de Morse que capturam a informação geométrica dessa função. Na segunda parte é proposto uma construção de casamentos de Morse baseada em casamentos estáveis. As garantias teóricas sobre a relação desses casamentos com a geometria são elaboradas a partir de provas surpreendentemente simples que aproveitam da caracterização local do casamento estável. A construção e as suas garantias funcionam em qualquer dimensão. Finalmente, resultados mais fortes são obtidos quando a função for suave discreta, uma noção definida nesta tese. / [en] Morse theory relates the topology of a space to the critical elements of a scalar function defined on it. This applies in both the classical theory and a discrete version of it defined by Forman in 1995. Those Morse theories permit to characterize a topological space from functions defined on it, but also to study functions based on topological constructions it implies, such as the Morse-Smale complex. While discrete Morse theory applies on general cell complexes in an entirely combinatorial manner, which makes it suitable for computation, the functions it considers are not sampling of continuous functions, but special matchings in the graph encoding the cell complex adjacencies, called Morse matchings. When using this theory to study a topological space, one looks for optimal Morse matchings, i.e. one with the smallest number of critical elements, to get highly succinct topological information about the complex. The first part of this thesis investigates the parameterized complexity of finding such optimal Morse matching. On the one hand the Erasability problem, a closely related problem to finding optimal Morse matchings, is proven to be W[P]-complete. On the other hand, an algorithm is proposed for computing optimal Morse matchings on triangulations of 3-manifolds which is fixed parameter tractable in the tree-width of its dual graph. When using discrete Morse theory to study a scalar function defined on the space, one looks for a Morse matching that captures the geometric information of that function. The second part of this thesis introduces a construction of Morse matchings based on stable matchings. The theoretical guarantees about the relation of such matchings to the geometry are established through surprisingly simple proofs that benefits from the local characterization of the stable matching. The construction and its guarantees work in any dimension. Finally stronger results are obtained if the function is discrete smooth on the complex, a notion defined in this thesis.

[pt] As narrativas criminais, que se expandem pelo campo da ficção seriada televisiva, têm sido pautas de debates acadêmicos contemporâneos, visto o êxito obtido pelo subgênero. Na dissertação, tomamos como objeto de estudo as séries Justiça, de 2016, e La Casa de Papel, de 2017, cujas tramas vão além da narrativa dos crimes em si. Vingança ou justiça? Esta é, em síntese, a indagação em torno da qual se estruturam ambas as histórias que abordamos. Partimos da análise da construção dos personagens e de seus percursos para colocar em diálogo os procedimentos narrativos das duas séries diante da complexidade da questão trabalhada isto é, a relação entre crime e justiça vista numa perspectiva transversal às normas institucionais. Nas obras, a justiça social afasta-se da justiça criminal, gerando o envolvimento do espectador com os dramas dos personagens através da compreensão do que há por trás da ação de cada um. / [en] Criminal narratives, wich expand across the field of serial television fiction, have been the subject of contemporary academic, debates, given the success achieved by the subgenre. In the dissertacion, we took the series Justiça, 2016, and La Casa de Papel, 2017, as the objetct of study, whose plots go beyond the narrative of crimes themselves. Revenge or justice? This is, in summary, the question around which both stories we have been structured are structured. We started from the analysis of the construction of the chacters and their paths top ut in dialogue the narrative procedures of the two series in view of the complexity of the issue dealt with, that is, the relationship between crime and justice seen in a perspective transversal to institutional norms. In the works, social justice moves away from criminal justice, generating the viewer s involvement whith the dramas of the characters through the understanding of what is behind the action of each one.

[pt] Este trabalho tem como finalidade analisar diferentes estratégias de detecção passíveis de aplicação em sistemas de transmissão OFDM (Orthogonal Frequency Division Multiplexing) operando em canais que variam rapidamente no tempo. Além dos métodos clássicos de detecção lineares tais como filtro casado, Zero Forcing e MMSE (Minimum Mean-Square Error), outras duas técnicas são estudadas, abrangendo também combinações entre elas. A primeira é a técnica de cancelamento paralelo de interferência (PIC - Parallel Interference Cancellation), a segunda é a detecção por busca por verossimilhança ascendente (LAS – Likelihood Ascent Search), ambas empregadas em conjunção com o filtro casado. Esse trabalho apresenta também um estudo dos efeitos de uma estimativa imperfeita do canal, no desempenho dos esquemas de detecção aqui enfocados. Os resultados dos experimentos são analisados em termos da taxa de erro de bit (BER) e custo computacional (complexidade)associado a estes esquemas. / [en] This work analyzing different detection strategies that can be applied in OFDM (Orthogonal Frequency Division Multiplexing) transmission systems over fast time-varying channels. In addition to classical linear methods of detection such as a Matched Filter, Zero Forcing and MMSE, two other techniques are studied, also encompassing combinations of them. The first is the Parallel Interference Cancellation (PIC) technique, the second is Likelihood Ascent Search (LAS), both used in conjunction with the Matched Filter. This work also presents a study of the effects of imperfect channel estimation on the performance of the detection schemes studied here. The results of the experiments are analyzed in terms of bit error rate (BER) and computational cost (complexity) associated with these schemes.

[pt] A presente tese teve como objetivo principal construir, validar e discutir a pertinência de índices que relacionassem aspectos da gestão escolar (liderança do diretor, autoeficácia pedagógica do diretor e complexidade da gestão) com o desempenho e a equidade dos resultados dos alunos dos anos finais do ensino fundamental. A pesquisa foi um estudo quantitativo de natureza exploratória, tendo como amostra principal as escolas da rede municipal do Rio de Janeiro que ofertam nono ano e foram avaliadas no SAEB 2019. Complementarmente foram realizadas análises para as escolas que ofereciam o quinto ano da mesma rede e para as escolas públicas do Brasil de quinto e nono anos que participaram do SAEB 2019. Em termos metodológicos, foram construídos três índices por meio da análise fatorial: o Índice de Liderança do Diretor (ILD), o Índice de Autoeficácia Pedagógica do Diretor (IAEPD), e um Índice de Complexidade da Gestão (ICG) para a rede municipal do Rio de Janeiro, alternativo ao índice criado pelo INEP. Foram então realizadas regressões lineares multivariadas usando a média da proficiência em matemática dos alunos e seu desvio padrão em cada escola como variáveis dependentes e o Índice de Nível Socioeconômico (Inse) do INEP como variável de controle. Os principais resultados indicaram que a liderança do diretor e a crença em autoeficácia pedagógica do diretor apresentaram correlação positiva com a proficiência e com as desigualdades no desempenho dos alunos. Quanto a complexidade da gestão a correlação foi negativa: quanto mais complexa a escola, pior o resultado dos alunos. Não foi possível encontrar resultados estatisticamente confiáveis para a relação entre a complexidade da gestão e a equidade do desempenho dos alunos. Os modelos para o Rio de Janeiro só apresentaram significância estatística em alguns coeficientes para o quinto ano. Todos os índices e respectivos coeficientes tiveram significância estatística nos modelos nacionais. / [en] The main objective of this thesis was to construct, validate, and discuss the relevance of indices that relate aspects of school management (principal s leadership, principal s pedagogical self-efficacy, and management complexity) to the outcome and equity of students results in the final years of elementary school. The research was a quantitative study of exploratory nature, having as main samplethe schools of the municipal network of Rio de Janeiro that offer 9th grade and were evaluated in SAEB 2019. In a complementary way, analyses were carried out for schools that offered 5th grade in the same system and for Brazil s 5th and 9th grade public schools that participated in SAEB 2019. In methodological terms, three indices were constructed using factor analysis: the Principal Leadership Index (PLI), the Principal Pedagogical Self-Efficacy Index (PPSEI), and a Management Complexity Index (MCI) for the municipal system of Rio de Janeiro, an alternativeto the index created by INEP. Multivariate linear regressions were then performed using the average math proficiency of students and its standard deviation in each school as dependent variables and INEP s Socioeconomic Level Index (SELI) as control variable. The main results indicated that the principal s leadership and the principal s belief in pedagogical self-efficacy were positively correlated with student proficiency and achievement inequalities. Management complexity, on the other hand, showed a negative correlation: the more complex the school, the worse the student achievement. It was not possible to find statistically reliable results for the relationship between management complexity and equity in student achievement. The models for Rio de Janeiro only showed statistical significance in some coefficients for the 5th grade. All indices and respective coefficients were statistically significant in the national models.

[pt] Este trabalho tem como finalidade o estudo das possibilidade do sistema GFDM (Generalized Frequency Division Multiplexing). Para o estudo feito foi apresentado um modelo matricial para representar os sinais gerados no sistema GFDM, a semelhança do modelo de sinal do sistema OFDM (Orthogonal Frequency Division Multiplexing). Tal modelo permitiu a obtenção de expressões analíticas para a Densidade Espectral de Potência (DEP, Spectral Power Density) dos sinais e sua comparação com a DEP dos sinais transmitidos em sistemas OFDM. A partir do modelo matricial apresentado são estudados o desempenho de diferentes tipos de equalizadores/detectores lineares clássicos passíveis de utilização neste sistema de comunicações digitais, tais como Zero Forcing, Minimum Mean Square Error e Matched Filter. Além disso o trabalho propõe e analisa o desempenho resultante da aplicação de técnicas de supressão de interferência PIC (Parallel Interference Cancellation) em conjunto com os detectores lineares mencionados e dos detectores LAS (Likelihood Ascent Search) precedidos por equalizadores Matched Filter (MF-LAS). O número de estágios PIC realizados em cada detecção é controlado por uma estratégia de parada baseada na métrica de distância. Diferentes esquemas de detecção MF-LAS em conjunto com PIC são também propostos e examinadas. Finalmente, partindo do modelo matricial desenvolvido neste trabalho é realizada a estimação de canal empregando a estratégia de símbolos pilotos ortogonais. As diferentes estratégias de detecção examinadas para o sistemas GFDM são comparadas em termos de desempenho BER (Bit Error Rate) e da complexidade computacional associada aos respectivos detectores. Comparações entre os sistemas GFDM e OFDM com destaque na complexidade na geração de sinais, eficiência espectral e desempenho estão também incluídos nesta dissertação. / [en] The main goal of the presented work is to study the possibilities of the GFDM system (Generalized Frequency Division Multiplexing). For achieving this purpose, a matrix model is presented which represents the signals generated in the GFDM system, similar to the signal model of the OFDM (Orthogonal Frequency Division Multiplexing) system. This model allows the obtainment analytical expressions for the Spectral Power Density (DEP) of the signals and their comparison with the DEP of the signals transmitted in OFDM systems. Furthermore, we study the performance of different types of classical linear equalizers/detectors that can be used in the digital communications systems, such as Zero Forcing, Minimum Mean Square Error and Matched Filter. In addition, we propose and analyze the performance resulting from the application of PIC (Parallel Interference Cancellation) interference suppression techniques together with the linear detectors mentioned and LAS (Likelihood Ascent Search) detectors preceded by Matched Filter (MF-LAS) equalizers. The number of PIC stages performed at each detection is controlled by a stop strategy based on the distance metric. Different MF-LAS detection schemes together with PIC are also proposed and examined. Finally, the channel estimation is performing based on the matrix model developed in this work and using orthogonal pilots symbols. The differents strategies of detection examined for GFDM systems are compared in terms of BER performance (Bit Error Rate) and the computational complexity associated with the respective detectors. Comparisons between GFDM and OFDM systems based on criterions as the complexity of the signal generation, spectral efficiency and performance are also included in this dissertation.