[pt] Esta dissertação investiga a interface linguagem-matemática, com foco em tarefas de resolução de problemas de divisão partitiva e por quotas. Investigamos se dificuldades nesse tipo de tarefa podem estar relacionadas à complexidade linguística dos enunciados. Discute-se em que medida o padrão composicional e as estruturas linguísticas utilizadas nos enunciados podem afetar o desempenho dos alunos nesses dois tipos de problemas. Para realizar essa investigação, foram conduzidos três experimentos com alunos do segundo ano do Ensino Fundamental de uma escola da rede pública federal de ensino no Rio de Janeiro. No primeiro experimento, foram utilizados como itens experimentais os enunciados dos livros didáticos e os resultados indicam diferença significativa entre as condições, com maior número de acertos em divisão partitiva. No segundo experimento, novos enunciados foram criados, controlando-se tanto a estrutura informacional quanto a complexidade gramatical nos dois tipos de problemas. Os resultados mostram desempenho similar nas duas condições. No experimento 3, investigamos o tipo de interpretação preferida para enunciados ambíguos com sujeito composto. Verificou-se clara preferência por leituras coletivas e constatou-se que, quando estruturas ambíguas são utilizadas, o desempenho dos alunos volta a diferir entre as condições, com pior desempenho na divisão por quotas. Esta pesquisa indica que a dificuldade dos alunos em enunciados de divisão pode ser reduzida com o controle da complexidade gramatical, o que mostra o papel fundamental da observação de variáveis linguísticas na aferição de conhecimento matemático e na elaboração de materiais didáticos. / [en] This work investigates the interface of language-mathematics, focusing on partitive and quotative division problem solving tasks. We investigate whether the difficulties students face when solving mathematical verbal problems can be related to linguistic complexity of the commands. We also discuss how the composition and linguistic structures that are used in the verbal problems can affect student s performance. We conducted three experiments with students of the second year of a primary school in Rio de Janeiro. In the first experiment, we used problems extracted from textbooks as experimental items; the results indicate a significant difference between the partitive and quotative conditions, resulting in a bigger number of correct answers regarding partitive division. In the second experiment, we created new commands, controlling their informational structure as well as their grammatical complexity. The results show a similar performance in both conditions. As for experiment 3, our aim was to investigate the type of interpretation students would prefer in ambiguous propositions, in which the subject of the sentence is a compound subject (coordinated structure). A preference for collective readings was observed. Also, when ambiguous structures are present, the performance of the students tends to vary depending on the conditions, declining on quotative division. Thus, the results of this research indicates that the difficulties students usually face in mathematical verbal problems can be reduced when the grammatical complexity is controlled - pointing towards the central role of linguistic variables in mathematical knowledge and in the elaboration of school materials.

[pt] Leitura com médicos: a educação da sensibilidade pela estética constitui-se na teorização de uma prática original, tanto para o Curso de Letras quanto para o de Medicina, aplicada no curso médico da Universidade Federal de Roraima-UFRR, no período de 2001 a 2003. O projeto apresenta as possibilidades de um diálogo transdisciplinar entre a Literatura, a Medicina e a Arte, com um olhar especial para as artes plásticas, imprimindo-lhe uma nova dimensão: o aprendizado a partir das re-apresentações da doença e do sofrimento, considerando que a Arte e a Literatura são porta-vozes das emoções humanas, sejam elas mórbidas ou de esperança, em conexão profunda com as manifestações patológicas. O projeto fundamenta-se na leitura e interpretação de um acervo cultural que pode ser associado à prática médica, buscando através da arte e do estético apurar a percepção dos acadêmicos sobre a relação entre ciência, arte e humanidades, estimulando a reflexão a respeito do papel do médico num contexto bio-psico-sócio-ambiental. É um estudo que atravessa fronteiras disciplinares para mostrar quão híbrido é o conhecimento no universo da doença. A teoria de Edgar Morin oferece justificativa sólida para estas aproximações ao apontar para a existência dual: homo sapiens - homo demens, e procura rememorar as características do demens para relacioná-las às manifestações intersubjetivas do sujeito-doente-médico, que representa o aspecto sapiens. / [en] Reading with physicians: the education of sensibility through aesthetics. This work is the theoretical base of an original practice for the literature course and the medical course developed in the period of 2001 to 2003 at the Roraima Federal University. The project presents the possibilities of a transdisciplinarily dialogue among Literature, Medicine and Arts with a special regard to the fine arts, adding a new dimension: the learning based on the review of disease and suffering by the Arts and the Literature, since these are speakers for the human emotions, morbid or hopeful, with a deep connection with the pathologic manifestations and the human condition universe. The Project fundament is the reading and interpretation of artistic and literary text collection that could be related the medical practice searching through the arts and aesthetics to increase the academics perception about the sciences, humanities and arts relationship, stimulating the reflection on the physician s role in the bio-psicosocial-environmental context. This study surpasses the disciplinary boundaries, to show how hybrid is the knowledge of the disease universe. The Edgar Morin s theory of the dual existence - Homo sapiens - Homo demens, is the fundament for our approach in recollecting the demens characteristics to find a relationship between the inter-subjective manifestations of the subject- patient-physician that ultimately represents the sapiens aspect.

[pt] Apesar do avanço das discussões sobre variedade de produtos e de seu impacto na complexidade em sistemas de produção, pouco se sabe sobre como o gerenciamento dessa variedade difere entre os mercados emergentes e estabelecidos. Esta dissertação visa preencher esta lacuna por meio da comparação entre (1) a variedade de produto oferecida pelas indústrias automobilísticas no Brasil e na Europa e (2) entre as estratégias utilizadas pelas montadoras de cada um destes mercados para mitigar os efeitos adversos da variedade de produto. A análise exploratória utiliza dados secundários obtidos na literatura e em montadoras da indústria automobilística e dados primários coletados por meio de entrevistas com gerentes destas empresas. A amostra de veículos considerados na análise representa 62% e 95% dos mercados europeu e brasileiro, respectivamente. Apesar de diversas semelhanças entre as duas indústrias, os resultados da pesquisa apontam para diferenças significativas na variedade de produto oferecida em ambos os mercados e nas estratégias de mitigação adotadas, apresentando assim indícios de que a realidade automobilística brasileira não pode ser considerada como uma continuação da realidade européia, merecendo assim estudos próprios. / [en] While the discussion of product variety has advanced into assessing the impacts of complexity induced into the manufacturing system, little is known how the management of this variety differs between emerging and established markets. This dissertation aims to address this gap by comparing the product variety offered in the Brazilian and European automotive industries, as well as the respective strategies used by the vehicle manufacturers to mitigate the negative effects of product variety. The exploratory analysis uses secondary data collected in the literature and in automotive manufacturers and primary data collected in interviews with managers of these manufacturers. The overall sample of vehicles considered in the analysis represent 62% and 95% of the European and Brazilian markets, respectively. In spite of the similarities that are present in both markets, the research results point to significant differences in the variety offered in both markets, as well as in the mitigation strategies adopted, what gives us material to believe that the Brazilian automotive reality can not be considered as a continuation of the European reality, deserving specific studies for Brazil.

[pt] É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou provas de corte atômico, pois tais procedimento envolvem menos escolhas. Provas de algumas tautologias são conhecidamente grandes quanto realizadas sem a regra do corte e curtas quando a utilizam. Queremos com este trabalho apresentar procedimentos para reduzir o tamanho de provas proposicionais. Neste sentido, apresentamos dois métodos. O primeiro, denominado método vertical, faz uso de axiomas de extensão e alguns casos é possível uma redução considerável no tamanho da prova. Apresentamos um procedimento que gera tais axiomas de extensão. O segundo, denominado método horizontal, adiciona fórmulas máximas por meio de unificação via substituição de variáveis proposicionais. Também apresentamos um método que gera tal unificação durante o processo de construção da prova. O primeiro método é aplicado a dedução natural enquanto o segundo à Dedução Natural e Cálculo de Seqüentes. As provas produzidas correspondem de certo modo a provas não normais (com a regra do corte). / [en] It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut-free proofs and their respective non-normal proofs. The task of automatic theorem proving is, on the other hand, usually based on the construction of normal, cut-free or only-atomic-cuts proofs, since this procedure produces less alternative choices. There are familiar tautologies such that the cut-free proof is huge while the non-cut-free is small. The aim of this work is to reduce the weight of proposicional deductions. In this sense we present two methods. The fi first, namely vertical method, uses the extension axioms. We present a method that generates a such extension axiom. The second, namely horizontal method, adds suitable (propositional) unifi fications modulo variable substitutions.We also present a method that generates a such unifi fication during the proving process. The proofs produced correspond in a certain way to non normal proofs (non cut-free proofs).

[pt] Uma ponte pela escrita é uma tese de doutoramento em Letras, na área de Literatura Brasileira, pela PUC-Rio com pesquisa realizada de 2004 a 2008, enfocando a aquisição de habilidades de leitura e escrita. Professores em diversos níveis de ensino reclamam que seus alunos lêem e escrevem cada vez menos e pior. Contudo, no altamente interativo meio da Internet cresce o volume de e-mails e o número de blogs, websites, fotologs etc. Portanto, parece plausível que trazer um nível mais evidente de interatividade na relação do leitor com a obra literária e os colegas poderia ser um caminho para despertar o gosto pela leitura e escrita nos estudantes. As histórias interativas conhecidas como RPG (role playing game) teriam característica mobilizadoras e facilitadoras que poderiam ser úteis para resgatar o espaço da literatura nas escolas. Esta hipótese foi testada em quatro pesquisas de campo realizadas: alunos de graduação na universidade; alunos do Ensino Médio da rede pública; alunos adolescentes do Instituto Nacional de Educação de Surdos (INES): grupos de voluntários fora do ambiente escolar. O objetivo foi estimular a leitura ao motivar uma escrita criativa a partir das narrativas vivenciadas interativamente pelos alunos e voluntários. Métodos de pesquisa incluíram observações, entrevistas, questionários e análises de dados. O método TNI (Técnicas para Narrativas Interativas) para utilização de histórias interativas para fins didáticos foi desenvolvido durante a pesquisa. / [en] A bridge through writing is a dissertation in Portuguese, in the area of Brazilian Literature, by the Catholic University of Rio with research made between 2004 and 2008, with focus on students acquisition of reading and writing skills. Teachers in several levels of education complain that their students reading and writing skills are decaying more and more. But, in the highly interactive enviroment of the Internet the volume of e-mails and quantity of blogs, websites, fotologs etc, keeps growing. Therefore, it seems plausible that bringing a more evident level of interactivity to the relation between the reader and the literary work and the classmates could be a way to awaken the taste for reading and writing in students. The interactive stories known as RPG (role playing game) would have mobilizing and facilitating characteristics that could be useful to retrieve literature s space at schools. This hypothesis was tested in four field researches: undergraduate students at an university; high school students of a public school; teen-age students of the National Institute for Education of Deaf People (INES); groups of volunteers outside the school enviroment. The objective was to stimulate reading by motivating a creative writing based upon the narratives experienced by the students and volunteers. Research methods included observations, interviews, questionnaires and data analysis. The method TNI (Technique for Interactive Narratives) for the application of interactive stories for educational purposes was developed during the research.

[pt] Consideramos dois problemas de otimização combinatória: o problema de transporte em redes de dutos (PTD) e o problema de busca com custos de acesso variados (PBC). No PTD, é dado um grafo orientado G = (N,A) onde cada arco tem um duto associado. Também é dado um conjunto de bateladas, onde cada batelada está inicialmente em um nó ou arco do grafo e tem um nó de destino. Algumas bateladas são chamadas de proteláveis. O objetivo do PTD é encontrar uma sequência de operações que transporte todas as bateladas não-proteláveis aos seus respectivos nós de destino. Primeiro, demonstramos o PTD é NP-difícil, mesmo que o grafo G seja acíclico. Em seguida, apresentamos um algoritmo polinomial chamado de BPA. Este algoritmo resolve o PTDS, uma variação do PTD, para qualquer grafo G. Para grafos acíclicos, o BPA minimiza uma função de custo genérica. Para minimizar o makespan no PTDS, demonstramos que não existe algoritmo polinomial n1-e - aproximado para nenhum E>0, a menos que P = NP, onde n é o tamanho da instância. Este resultado também vale se G é acíclico e planar. No PBC, são dados um vetor ordenado e o custo de acessar cada um de seus n elementos. O objetivo do problema é encontrar uma estratégia de busca que minimize o custo médio com probabilidades uniformes (PBCM) ou o custo do pior caso (PBCN). Em ambos os casos, o melhor algoritmo exato conhecido executa em tempo O(n3) e espaço O(n2). Para o PBCN, apresentamos o algoritmo da razão, que executa em tempo O(n2) e espaço O(n). Este algoritmo sempre obtém uma solução de custo menor ou igual a 41n(n+1)/n, assumindo que a soma dos custos é 1. Além disso, desenvolvemos dois algoritmos aproximados: um para o PBCM e outro para o PBPC. Ambos constroem soluções (2+E+0(1)) - aproximadas, para qualquer E>0, em tempo e espaço O(n). / [en] We consider two combinatorial optimization problems the pipeline transportation problem (PTD) and the problem of searching with different access costs (PBC). In PTD, we are given a directed graph G = (N,A) where each arc corresponds to a pipeline. We are also given a set of batches, each batch being initially located at an arc or node and having a destination node. A subset of these batches are considered as further batches. Our aim is to find a sequence of pipeline operations leading all non-further batches to their corresponding destination nodes. First, we show that PDT is NP-hard, even for the case where G is acyclic. Next, we present a polynomial algorithm called BPA. This algorithm solves PTDS, a variation of PTD, for general graphs. For acyclic graphs, BPA also minimizes a general cost function. For the case of makespan minimization for PTDS, we prove that there is no n1-e - approximate algorithm for any E]0, unless P = NP, where n is the instance size. The previous result also holds if G is both ayclic and planar. In PBC, we are given an ordered vector with n elements and the corresponding access costs. Our aim is to find a search strategy that minimizes either the average cost (PBPC). In both cases, the best known exact algorithm requires in O(n3) time and O(n2) space. For PBCM, we present the ratio algorithm, that requires O(n2) time and O(n3)space. This algorithm always obtains a search strategy with average cost at most 41n(n+1)/n, assuming the sum of all access costs to be 1. Furthermore, we introduce approximation algorithms for both PBCM and PBPC. Both of them give (2+E+0(1)) - approximate solutions, for any E}0, in O(n) time and space.

[pt] O consumerismo é um movimento social que tem o objetivo de equilibrar a relação assimétrica entre compradores (consumidores) e vendedores (empresas). A partir da década de 1980 o movimento evoluiu impondo uma pauta de questões morais, como consumo ético e sustentável, e trazendo mudanças para a relação consumidores-empresas . A Responsabilidade Social Corporativa (RSC) pode ser considerada uma resposta a essas crescentes cobranças da sociedade, à medida em que diversos stakeholders têm o papel de representar as expectativas da sociedade perante as empresas, entre elas, as demandas dos consumidores. A despeito da crescente tendência das empresas de adotarem um compromisso formal para serem mais atuantes na sociedade, a literatura sobre consumerismo pouco atenta para este esforço. O presente estudo tem como objetivo identificar motivações de empresas a reagirem a pressões exercidas por organizações consumeristas. Para isso , foi realizado um estudo de caso que investiga, sob a perspectiva teórica do neo institucionalismo, a relação de uma empresa com duas instituições consumeristas. A análise dos dados mostrou que uma mesma empresa teve motivações e tipos de resposta distintos nas situações analisadas , conforme a influência de sua identidade e comunidades intra organizacionais . Foi possível perceber que a maturidade da causa e o modelo de financiamento influenciam a atuação e o resultado obtido pelas instituições. O presente estudo preenche um gap da literatura sobre consumerismo trazendo a perspectiva das empresas e propõe uma nova abordagem do tema por meio da análise de causas distintas vs uma análise genérica e da aplicação da teoria Neo Institucional. / [en] Consumerism is a social movement that seeks to balance the asymmetric re-lationship between buyers ( consumers) and sellers ( companies). Since the 1980 decade the movement has been evolving to discussions more centered around moral and political themes like ethical and sustainable consumption. This evolution brought changes to the relationship between companies and consumers . Despite the growing trend of companies assuming formal commitments to address social questions, this effort is not recognized in the consumerism literature. The present study aims to analyze, through the lens of the neo institutionalism theory, the organizational field composed by two consumerist organizations and one multinational company, its structure and relationships dynamics. The findings indicated that the same company had different motivations and distinct types of responses to the consumerist organizations pressures according to its identity influence and the strength of its intra organizational communities. Also, it was observed that the development stage of the cause and the funding of the consumerists institutions influence their line of action and therefore their results. The pre-sent study fills a gap in the consumerism literature as it adds the perspective of companies. Moreover, it proposes a new approach with the Neo Institutionalist theory and through the analysis of distinct causes as opposed to a generic analysis of the consumer defense cause.

[pt] As séries contemporâneas se caracterizam, principalmente, por roteiros narrativamente complexos, cujos elementos essenciais se constituem em arcos narrativos longos, múltiplas tramas, anacronias temporais e personagens complexos. Consolidada nos Estados Unidos, em torno dos anos de 1990, a complexidade narrativa rompeu com os modos tradicionais de se construir o enredo, na televisão americana, combinando elementos de modo não convencional. Essa dissertação tem como objetivo analisar a origem e o desenvolvimento dos elementos que constituem o formato da complexidade narrativa. Por meio da análise das séries This is us (2016-2021), Euphoria (2019-), I may destroy you (2020), Unorthodox (2020) e The crown (2016-), a pesquisa examina os elementos constituidores das narrativas complexas, bem como o modo em que são utilizados em cada uma delas. Para tanto, as análises recorrem aos estudos de Jason Mittell (2012), Sílvio Anaz (2018), entre outros estudiosos, focando nas narrativas que são forjadas em cada proposta. Por fim, a pesquisa entende que a complexidade narrativa se apropria de elementos amplamente consolidados no cinema, na televisão, no teatro e na literatura, originando um novo formato narrativo. / [en] A major characteristic of contemporary TV series is their narratively complex scripts. These scripts include a number of elements such as long narrative arcs, multiple plots, temporal anachronisms and complex characters. Around the 1990s, American television consolidated narrative complexity, breaking away from traditional plot construction, combining these elements in an unconventional way. This dissertation aims to analyze the origin and development of the elements that make up the narrative complexity format. Through the analysis of the television series das séries This is us (2016-2021), Euphoria (2019-), I may destroy you (2020), Unorthodox (2020) and The crown (2016-), this research examines the constituent elements of complex narratives, as well as their applications in each television show. In this regard, the analyses rely on the works of Jason Mittell (2012), Silvio Anaz (2018), among other authors, focusing on the narratives that are woven throughout each series. It is concluded that narrative complexity incorporates elements that have been widely assimilated in cinema, television, theater, and literature, thereby originating a narrative format of its own.

[pt] A presente dissertação é um estudo teórico-experimental sobre linguagem na esquizofrenia, com foco no uso de pronomes em textos escritos por nativos do inglês, disponíveis na plataforma Reddit, com análise adicional da complexidade sintática no nível sentencial. A esquizofrenia é um distúrbio mental que se apresenta como uma heterogeneidade de disfunções neuropsicológicas, sendo uma de suas principais características disfunções linguísticas, em especial no uso e compreensão de expressões nominais e na redução da complexidade sintática. Foram coletados, analisados e comparados um total de 78 textos (39 de usuários com autodeclaração de esquizofrenia e 39 de controles pareados). Os textos coletados foram anotados sintaticamente e tratados estatisticamente considerando fatores relativos à complexidade sintática no nível sentencial e pronominal. Comparações intergrupais revelaram diferenças significativas no domínio sentencial e pronominal, com o grupo esquizofrenia apresentando menor volume de truncamento sentencial não-anômalo e maior volume de anomalias no emprego de pronomes plenos de terceira pessoa com leitura referencial. Estes resultados estão de acordo com as conclusões de estudos anteriores. Partindo do entendimento de que a Gramática é um mecanismo computacional cognitivo, as observações obtidas indicam que a esquizofrenia leva a uma redução na complexidade sintática de processos gramaticais responsáveis pela construção do significado. / [en] The present dissertation is a theoretical-experimental study on language in schizophrenia, focusing on the usage of pronouns in written texts produced by native speakers of English and published on Reddit, considering in addition syntactic complexity at the sentential level. Schizophrenia is a mental disorder characterized by a set of heterogeneous dysfunctions, with language-malfunctioning being one of its main characteristics. In particular, misuse and misinterpretation of nominal expressions and syntactic-complexity reduction are linguistic hallmarks of schizophrenia. 78 texts (39 from Reddit users with self-declaration of schizophrenia and 39 from paired controls) were automatically collected, manually tagged and statistically compared. The tagging process was based on syntactic complexity at the sentential and nominal level. Between-group statistical comparisons showed significant differences, with the schizophrenic group exhibiting less non-anomalous sentential truncations (ellipsis) and more anomalous 3Person referential pronouns. This is in accordance with previous independent studies. Assuming human Grammar to be a computational apparatus of the cognitive system, we interpret the obtained results as suggesting that schizophrenia leads to reductions on meaning-building derivational grammatical processes.

[pt] Este trabalho é uma elaboração, com exemplos, e evolução do Algoritmo de Compressão Horizontal (HC) apresentado e seu Conjunto de Regras de Compressão. Este trabalho apresenta uma prova, feita no Provador Interativo de Teoremas Lean, de que o algoritmo HC pode obter uma Derivação Comprimida, representada por um Grafo Acíclico Dirigido, a partir de qualquer Derivação Tipo-Árvore em Dedução Natural para a Lógica Minimal Puramente Implicacional. Finalmente, a partir da Cobertura e Corretude do algoritmo HC, pode-se argumentar que NP = PSPACE. / [en] This work is an elaboration, with examples, and evolution of the presented Horizontal Compression Algorithm (HC) and its set of Compression Rules. This work argues a proof, done in the Lean Interactive Theorem Prover, that the HC algorithm can obtain a Compressed Derivation, represented by a Directed Acyclic Graph, from any Tree-Like Natural Deduction Derivation in Minimal Purely Implicational Logic. Finally, from the Coverage and Soundness of the HC algorithm, one can argue that NP = PSPACE.