Este trabalho tem por objetivo analisar o romance O morro dos ventos uivantes, de Emily Brontë, tendo como foco suas contradições internas, que, em conjunto, foram nomeadas estrutura de tensões. É essa estrutura de tensões que transforma tal romance em uma obra dialética, na qual as tensões existem não somente no plano do conteúdo como também no da forma. Nosso estudo se concentra, respectivamente, na questão estilística e na questão da estrutura narrativa, sabendo que há outras questões de interesse, mas vendo nelas uma importância mais primária, pois remetem a aspectos formais mais imediatos. Num primeiro momento, procuramos entender o funcionamento das tensões que diferentes formas góticas, míticas e fantasmagóricas instauram no tecido realista da obra. Num segundo momento, o objetivo foi compreender a problemática do foco narrativo, concentrando-nos especialmente no discurso não confiável do narrador primário Lockwood, ao qual a crítica pareceu não dar a atenção devida. Por fim, procuramos argumentar que a obra de Emily Brontë não somente nasce de uma crise histórico-social, como também coloca em evidência aspectos da crise da forma romance, logrando expor alguns de seus limites ideológicos. / This work aims at analysing the novel Wuthering Heights, by Emily Brontë, having as focus its internal contradictions, which, put together, were named structure of tensions. It is that structure of tensions that transforms the novel into a dialectical work, in which the tensions exist not only as far as the content is concerned, but also its form. Our study focuses, respectively, on the issue of style and also on the issue of the narrative structure, aware that there are other issues of interest, but seeing in them a more primary importance, because they are connected to more immediate formal aspects. At first, we sought to understand the functioning of the tensions that different gothic, mythical and phantasmagorical forms cause on the novels realist fabric. Secondly, our goal was to comprehend the problematics of the narrative focus, concentrating specially on the unreliable discourse of Lockwood, the primary narrator, to which critics have not paid due attention. Lastly, we sought to argue that Emily Brontës work is not only born from a socio-historical crisis, but that it also puts in evidence aspects of the crisis of the novel form, managing to expose some of its ideological limits.

Este trabalho descreve o formalismo das gramáticas livres de contexto adaptativas com verificação de aparência. Esses dispositivos gramaticais possuem como núcleo uma gramática livre de contexto subjacente e, como mecanismo de auto-modificação, uma ou várias funções adaptativas que determinam quais produções são aplicáveis em cada passo de uma derivação. A verificação de aparência se refere a uma forma especial de aplicar algumas produções, escolhidas pelo projetista da gramática, sem alterar a forma sentencial nessa aplicação. É provado que esse formalismo tem poder de máquina de Turing demonstrando, em forma construtiva, sua equivalência com quatro formalismos gramaticais baseados em gramáticas livres de contexto com mecanismos de controle, que tem esse poder. São desenvolvidos dois analisadorers para linguagens dependentes de contexto a partir de um desses outros quatro formalismos. Um deles, que é baseado em autômatos-pilha, opera em forma ascendente; o outro, baseado em autômatos finitos adaptativos, opera em forma descendente. / This work introduces and describes the formalism of the context-free adaptive grammar with appearance checking. Such gramatical devices have as its kernel a subjacent context-free grammar and, as mechanism of self-modification, one or several adaptive functions which determines the productions able to be applied at each step of a derivation. The appearance checking refers to a special way to apply some productions, choosen by the designer of the grammar, without changing the sentential form in this application. It is proved that this formalism has Turing Machine power, proving, by construction, its equivalence with four grammatical formalisms based on context-free grammars and with control mechanisms, with such power. Two parsers have been developed for context-dependent languages from one of these four formalisms. One of them is based on stack-automata, and operates in a bottom-up fashion.

As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental para se alcançar o mínimo de qualidade na construção de um software. Nos processos de desenvolvimento baseados na UML, um dos seus focos principais é detectar inconsistências nos diagramas representativos do software. No entanto, a maioria desses processos, como o Iconix, aplica apenas técnicas informais (ex: inspeções visuais nos modelos), fazendo com que muitas vezes essa atividade seja negligenciada pelos desenvolvedores. Por outro lado, com o avanço das ferramentas automatizadas de verificação, os métodos formais, tais como o Event-B, estão atraindo cada vez mais a atenção das empresas de software. Porém, ainda é difícil convencer os desenvolvedores a adotá-los, pois não estão acostumados com os conceitos matemáticos envolvidos. Assim, este trabalho apresenta uma proposta de inclusão do Event-B no Iconix, dando origem ao BIconix, um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. Mais especificamente, esta tese aborda a tradução automática dos quatro diagramas existentes no Iconix (classes, casos de uso, robustez e sequência) para o Event-B, além de mostrar como esta formalização pode auxiliar na atividade de verificação em pontos específicos e bem definidos no processo proposto. / The best practices of software engineering indicate that the verification activity is essential to achieve some quality during the software construction. In UML-based development processes, one of its main focuses is the detection of inconsistencies in diagrams that represent the software. However, most of these processes, such as Iconix, apply only informal techniques (eg. visual model inspections), often implying the negligence of that activity by developers. Moreover, with the advance of automated verification tools, formal methods, such as Event-B, are increasingly attracting the attention of software companies. However, it is still difficult to convince developers to adopt them, because they are not acquainted with some mathematical concepts. Thus, this paper presents a proposal for the inclusion of Event-B within Iconix, giving rise to BIconix, an object-oriented development process that supports automatic inconsistencies formal verification. More specifically, this thesis addresses the translation of the four existing diagrams in Iconix (classes, use cases, robustness and sequence) to Event- B, and show how this formalization can assist the verification activity in well-defined check points of the proposed process.

Reconstruímos a Teoria da Escolha Pública explicitando seus pressupostos sobre a natureza do objeto, do conhecimento e dos valores e sua lógica de operação, ou seja, seu método de solução de problemas. Mostramos com essa teoria que podemos entender a política como um processo de pacificação pela troca, em vez de um processo de pacificação pelo poder. Temos então novas respostas para as perguntas fundamentais da Ciência Política: Como é possível emergir a cooperação pacífica e legítima entre indivíduos? Qual é a maneira de fazer com que diferentes interesses individuais sejam reconciliados? A Teoria sugere que a política pode ser um jogo de soma positiva, evitando deseconomias constitucionais, guiando-se pelo princípio da unanimidade. Mostraremos então os desenhos constitucionais como ambientes de interação entre indivíduos e poderemos predizer que regras engendrarão cooperação ou competição. / We do a reconstruction of the Public Choice Theory explaining their assumptions about the nature of the object, knowledge and values and logic of their operation, i.e. its method of solution of problems. We show that with this theory we can understand the politics as a process of pacification through trade-offs, instead of a peace process by means of power. Proceeding in this way we obtain new answers to fundamental questions of Political Science: How can emerge a peaceful and legitimate cooperation among individuals? What is the way to conciliate different individual interests? The theory suggests that politics can be a positive-sum game, avoiding constitutional diseconomies, and must be guided by the principle of unanimity. Then we show how the constitutional designs as interaction environments for individuals and so can predict what rules make cooperation or competition.

Made available in DSpace on 2016-04-26T20:24:20Z (GMT). No. of bitstreams: 1 Leonardo Albuquerque Marques.pdf: 1455799 bytes, checksum: a39f06ed207a5bf921d6f775a3f557dc (MD5) Previous issue date: 2016-03-10 / This study investigates the limits of the possibilities of an efficient design for legal institutions, focusing its analysis on the structure of pilotage services market. It is carried out a critique over the neoclassical concept of efficiency, which, from a historical perspective, is not a concept a priori. From approach adopted in this study, the traditional concept of static efficiency (in its allocative and productive dimensions) is a cultural construction, subject to biases, judgments and perspectivisms, and is therefore susceptible to a great variety of criticisms, where the state has a naturally limited role in solving social conflicts that arise through time. This being said, it is argued that the study of efficiency must focus on the structure of institutions (legal or not), to allow a reduction of transaction costs and the possibility of the various stakeholders in interaction situations through transactions (on the market or outside it) to have the opportunity to develop standards of conduct for themselves through trial, error and learning. And this trial, error and learning, in order to spread its improving prospects to the maximum, must lead to the maximization of communication exchanges possibilities and to allow variation and selection of new ideas. That is, it is argued that law should aspire to maximize the possibilities of institutional adaptation through trial, error and learning by expanding communication exchanges. With these assumptions, we try to study the structure of pilotage services market, pointing out the errors of a cycle of public hearings conducted by CNAP (object chosen for case study). In this regard, it is understood that there is an ideological lock-in problem that prevents the upcoming of a sustainable cycle of creative destruction under the pilotage services, which inhibits the improvement of available technologies and institutions. From the development done in the theoretical exposition of this thesis, some proposals for the structure of pilotage services that facilitate this adaptive efficiency are presented, not only for the stakeholders directly related to the market (service providers and buyers) as well as for others who may be affected by negative externalities provided by the risk of the activity / O presente trabalho procura investigar quais são os limites da possibilidade de um desenho eficiente para instituições jurídicas, focando a sua análise na estruturação dos mercados de serviços de praticagem. Realiza-se uma crítica ao conceito neoclássico de eficiência, o qual, a partir de uma perspectiva histórica, não é um dado a priori. Na perspectiva aqui adotada, o conceito de eficiência estática tradicional, nas dimensões alocativa e produtiva, é uma construção cultural, sujeitas a vieses, arbítrios e perspectivismos, sendo, portanto, suscetível a uma imensidão de críticas, e onde o Estado tem um papel naturalmente limitado na resolução dos conflitos sociais que surgem no devir. Isso colocado, defende-se que o estudo da eficiência deve se voltar para a estruturação das instituições (jurídicas ou não), de modo a permitir a diminuição dos custos de transação e a possibilidade de que os diversos stakeholders em situação de interação por meio de transações (no mercado ou fora dele) tenham a perspectiva de desenvolver padrões de condutas próprios por meio de tentativa, erro e aprendizado. E a maximização das chances dessa tentativa, erro e aprendizado deve pressupor a maximização das possibilidades de trocas de comunicações para permitir a variação e seleção de novas ideias. Isto é, defende-se que o Direito deve aspirar a maximizar as possibilidades de adaptação das instituições por meio tentativa, erro e aprendizagem por meio da ampliação das trocas de comunicações. Com essas premissas, procura-se estudar a estrutura de mercado dos serviços de praticagem, apontando os erros de um ciclo de consultas públicas conduzida pela CNAP (objeto escolhido para estudo de caso). Nesse particular, entende-se que há um problema de lock-in ideológico que impede o surgimento de um ciclo sustentável de destruição criativa no âmbito dos serviços de praticagem, o que inibe o aprimoramento das tecnologias e das instituições disponíveis. A partir do desenvolvimento realizado na exposição teórica da presente tese, são apresentadas algumas propostas para a estruturação dos serviços da praticagem que facilitem essa eficiência adaptativa, não só para os stakeholders diretamente relacionados ao mercado (prestadores e tomadores de serviços) como também para os demais que possam ser afetados pelas externalidades negativas propiciadas pelo risco da atividade

Submitted by Jadson Francisco de Jesus SILVA (jadson@uefs.br) on 2018-07-11T21:34:41Z No. of bitstreams: 1 TCC para impress?o - LORENA RODRIGUES FERREIRA_18_09_2017 (2).pdf: 20198275 bytes, checksum: 49dde4b02a733ef7c2f80cfcbcf9effa (MD5) / Made available in DSpace on 2018-07-11T21:34:41Z (GMT). No. of bitstreams: 1 TCC para impress?o - LORENA RODRIGUES FERREIRA_18_09_2017 (2).pdf: 20198275 bytes, checksum: 49dde4b02a733ef7c2f80cfcbcf9effa (MD5) Previous issue date: 2017-12-14 / TRIP TO THE MOON This work was done considering the possibility of including pre-adolescents and adolescents in scientific research involving the simulation of a space travel to the Moon in a space similar to a spacecraft capable of behaving up to 6 crew members. Faced with the essential need to have an informal teaching environment for the areas of physics, chemistry and science, the simulator is comparable to a desert mirage where the various areas of research can be explored synchronically using the various technological and scientific tools to stimulate the curiosity of young people to take an interest in science and from there, to develop a meaningful learning in relation to those who do not use informal environments. The moon trip simulator is the necessary instrument to fill these gaps, adding to the possibility of insertion of young people trained in simulators like this, to be integrated into the short and medium duration space travel crew, undoing all the frontiers of Science, in especially, Astrophysics. The simulator is composed of diverse environments that resemble those found in real spacecraft, equipped with materials necessary for the execution of didactic-pedagogical, physical and other experimental activities included in this study. The formation of a multiprofessional team is crucial for the planning and execution of the Project as well as obtaining the positive results. / VIAGEM ? LUA Este trabalho foi feito pensando-se na possibilidade de inclus?o de pr?-adolescentes e adolescentes em pesquisas cient?ficas envolvendo a simula??o de uma viagem espacial at? a Lua em um ambiente semelhante a uma espa?onave com capacidade para comportar at? 6 tripulantes. Diante da necessidade imprescind?vel de se ter um ambiente informal de ensino para as ?reas de f?sica, qu?mica e ci?ncias, o simulador ? compar?vel a uma miragem no deserto onde as diversas ?reas da pesquisa podem ser exploradas sincronicamente utilizando-se das diversas ferramentas tecnol?gicas e cient?ficas para estimular a curiosidade dos jovens a se interessarem pela Ci?ncia e a partir da?, desenvolverem-se obtendo uma aprendizagem significativa em rela??o ?queles que n?o fazem uso de ambientes informais. O simulador de Viagem ? Lua ? o instrumento necess?rio para preencher essas lacunas, acrescentando-se ? possibilidade de inser??o de jovens treinados em simuladores como este, serem integrados ? tripula??o de viagens espaciais de curta e m?dia dura??o desfazendo todas as fronteiras da Ci?ncia, em especial, a Astrof?sica. O simulador ? composto por ambientes diversificados que se assemelham aos existentes em espa?onaves reais, equipados com materiais necess?rios ? execu??o de atividades experimentais did?tico-pedag?gicas, f?sicas e das demais ?reas inclu?das neste estudo. A forma??o de uma equipe multiprofissional ? crucial para o planejamento e execu??o do Projeto bem como a obten??o dos resultados positivos.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-09-11T21:14:41Z (GMT). No. of bitstreams: 1 Bueno-Soler_Juliana_D.pdf: 1230879 bytes, checksum: c04ce9e8061c154854f6283749f9c12b (MD5) Previous issue date: 2009 / Resumo: O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou eliminar a negação tem um alto preço: métodos tradicionais em lógica podem deixar de ser válidos e certos resultados, como teoremas de completude para sistemas lógicos, podem ser derrogados. Do ponto de vista formal, a questão central que investigamos aqui e até que ponto tais métodos podem ser restabelecidos. Com tal finalidade, iniciamos nosso estudo a partir do que denominamos sistemas anódicos" (sem negação) e, a posteriori, introduzimos gradativamente o elemento catódico" (negações, com diversas gradações e diferentes características) nos sistemas modais por meio de combinações com certas lógicas paraconsistentes, as chamadas lógicas da inconsistência formal (LFIs). Todos os sistemas tratados são semanticamente caracterizados por semânticas de mundos possíveis; resultados de incompletude são também obtidos e discutidos. Obtemos ainda semânticas modais de traduções possíveis para diversos desses sistemas. Avançamos na direção das multimodalidades, investigando os assim chamados sistemas multimodais anódicos e catódicos. Finalmente, procuramos avaliar criticamente o alcance e o interesse dos resultados obtidos na direção da racionalidade sensível à negação. / Abstract: The present work aims to investigate the role of negations in the scope of modalities and in the reasoning expressed by modalities. The investigation starts from what we call anodic" systems (without any form of negation) and gradually reaches the cathodic" elements, where negations are introduced by means of combining modal logics with certain paraconsistent logics known as logics of formal inconsistency (LFIs). We obtain completeness results for all treated systems, and also show that certain incompleteness results can be obtained. The class of the investigated systems includes all normal modal logics that are extended by means of the schema Gk;l;m;n due to E. J. Lemmon and D. Scott combined with LFIs. We also tackle the question of obtaining modal possible-translations semantics for these systems. Analogous results are analyzed in the scope of multimodalities, where anodic as much as cathodic logics are studied. Finally, we advance a critical evaluation of the reach and scope of all the results obtained to what concerns expressibility of reasoning considered to be sensible to negation. We also critically assess the obtained results in contrast with problems of rationality that are sensible to negation. / Doutorado / Doutor em Filosofia

Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing their properties by computational means. This thesis is concerned with the automated analysis of a particular kind of such social models, namely, those based on behaviourist principles, which contrasts with the more dominant cognitive approaches found in the MAS literature. The hallmark of behaviourist theories is the emphasis on the definition of behaviour in terms of the interaction between agents and their environment. In this manner, not merely re exive actions, but also learning, drives, and emotions can be defined. More specifically, in this thesis we introduce a formal agent architecture (specified with the Z Notation) based on the Behaviour Analysis theory of B. F. Skinner, and provide a suitable formal notion of environment (based on the pi-calculus process algebra) to bring such agents together as an MAS. Simulation is often used to analyse MASs. The techniques involved typically consist in implementing and then simulating a MAS several times to either collect statistics or see what happens through animation. However, simulations can be used in a more verification-oriented manner if one considers that they are actually explorations of large state-spaces. In this thesis we propose a novel verification technique based on this insight, which consists in simulating a MAS in a guided way in order to check whether some hypothesis about it holds or not. To this end, we leverage the prominent position that environments have in the MASs of this thesis: the formal specification of the environment of a MAS serves to compute the possible evolutions of the MAS as a transition system, thereby establishing the state-space to be investigated. In this computation, agents are taken into account by being simulated in order to determine, at each environmental state, what their actions are. Each simulation execution is a sequence of states in this state-space, which is computed on-the-fly, as the simulation progresses. The hypothesis to be investigated, in turn, is given as another transition system, called a simulation purpose, which defines the desirable and undesirable simulations (e.g., \"every time the agent does X, it will do Y later\"). It is then possible to check whether the MAS satisfies the simulation purpose according to a number of precisely defined notions of satisfiability. Algorithmically, this corresponds to building a synchronous product of these two transitions systems (i.e., the MAS\'s and the simulation purpose) on-the-fly and using it to operate a simulator. That is to say, the simulation purpose is used to guide the simulator, so that only the relevant states are actually simulated. By the end of such an algorithm, it delivers either a conclusive or an inconclusive verdict. If conclusive, it becomes known whether the MAS satisfies the simulation purpose with respect to the observations made during simulations. If inconclusive, it is possible to perform some adjustments and try again. In summary, then, in this thesis we provide four novel elements: (i) an agent architecture; (ii) a formal specification of the environment of these agents, so that they can be composed into an MAS; (iii) a structure to describe the property of interest, which we named simulation purpose; and (iv) a technique to formally analyse the resulting MAS with respect to a simulation purpose. These elements are implemented in a tool, called Formally Guided Simulator (FGS). Case studies executable in FGS are provided to illustrate the approach. / Sistemas multi-agentes (SMAs) podem ser usados para modelar fenômenos que podem ser decompostos em diversos agentes que interagem entre si dentro de um ambiente. Em particular, eles podem ser usados para modelar sociedades humanas e animais, com a finalidade de se analisar as suas propriedades computacionalmente. Esta tese trata da análise automatizada de um tipo particular de tais modelos sociais, a saber, aqueles baseados em princípios behavioristas, o que contrasta com as abordagens cognitivas mais dominante na literatura de SMAs. A principal característica das teorias behaviorista é a ênfase na descrição do comportamento em termos da interação entre agentes e seu ambiente. Desta forma, não apenas ações refl exivas, mas também de aprendizado, motivações, e as emoções podem ser definidas. Mais especificamente, nesta tese apresentamos uma arquitetura de agentes formal (especificada através da Notação Z) baseada na teoria da Análise do Comportamento de B. F. Skinner, e fornecemos uma noção adequada e formal de ambiente (com base na álgebra de processos pi-calculus) para colocar tais agentes juntos em um SMA. Simulações são freqüentemente utilizadas para se analisar SMAs. As técnicas envolvidas tipicamente consistem em simular um SMA diversas vezes, seja para coletar estatísticas, seja para observar o que acontece através de animações. Contudo, simulações podem ser usadas de forma a pertmitir a realização de verificações automatizadas do SMA caso sejam entendidas como explorações de grandes espaços-de-estados. Nesta tese propomos uma técnica de verificação baseada nessa observação, que consiste em simular um SMA de uma forma guiada, a fim de se determinar se uma dada hipótese sobre ele é verdadeira ou não. Para tal fim, tiramos proveito da importância que os ambientes têm nesta tese: a especificação formal do ambiente de um SMA serve para calcular as evoluções possíveis do SMA como um sistema de transição, estabelecendo assim o espaço-de-estados a ser investigado. Neste cálculo, os agentes são levados em conta simulando-os, a fim de determinar, em cada estado do ambiente, quais são suas ações. Cada execução da simulação é uma seqüência de estados nesse espaço-de-estados, que é calculado em tempo de execução, conforme a simulação progride. A hipótese a ser investigada, por sua vez, é dada como um outro sistema de transição, chamado propósito de simulação, o qual define as simulações desejáveis e indesejáveis (e.g., \"sempre que o agente fizer X, ele fará Y depois\"). Em seguida, é possível verificar se o SMA satisfaz o propósito de simulação de acordo com uma série de relações de satisfatibilidade precisamente definidas. Algoritmicamente, isso corresponde a construir um produto síncrono desses dois sistemas de transições (i.e., o do SMA e o do propósito de simulação) em tempo de execução e usá-lo para operar um simulador. Ou seja, o propósito de simulação é usado para guiar o simulador, de modo que somente os estados relevantes sejam efetivamente simulados. Ao terminar, um tal algoritmo pode fornecer um veredito conclusivo ou inconclusivo. Se conclusivo, descobre-se se o SMA satisfaz ou não o propósito de simulação com relação às observações feitas durante as simulações. Se inconclusivo, é possível realizar alguns ajustes e tentar novamente. em resumo, portanto, nesta tese propomos quatro novos elementos: (i) uma arquitetura de agente, (ii) uma especificação formal do ambiente desses agentes, de modo que possam ser compostos em um SMA, (iii) uma estrutura para descrever a propriedade de interesse, a qual chamamos de propósito de simulação, e (iv) uma técnica para se analisar formalmente o SMA resultante com relação a um propósito de simulação. Esses elementos estão implementados em uma ferramenta, denominada Simulador Formalmente Guiado (FGS, do inglês Formally Guided Simulator). Estudos de caso executáveis no FGS são fornecidos para ilustrar a abordagem.

Submitted by Edineia Teixeira (edineia.teixeira@unioeste.br) on 2019-03-11T18:41:13Z No. of bitstreams: 2 Heloyse_ Rossi_2018.pdf: 11853805 bytes, checksum: c9714d90ddb5b2c8134a833f815ea8e6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2019-03-11T18:41:13Z (GMT). No. of bitstreams: 2 Heloyse_ Rossi_2018.pdf: 11853805 bytes, checksum: c9714d90ddb5b2c8134a833f815ea8e6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2019-02-06 / The smartphones have become a vital part of human life, their great expansion and modernization make people connect in cyberspace from the moment they wake up until the time they go to sleep. Taking this into account, the educational processes can create strategies so that this everyday use of smartphones can be converted, at least in parts, into Learning activities. This dissertation, called English for Everybody and Everywhere: Connections and Convergences, linked to the research line Language: Linguistic, Cultural and Teaching Practices in the Master of Art from the State University of the West of Paraná (UNIOESTE), proposes the use of four smartphone applications, Let's Learn English, Duolingo, LyTrans English, and WhatsApp, in the process of English Language Learning, aiming to approach learning to the reality of 21st century students, in order to provide a more creative, interactive and dynamic environment in the classroom, in a process of convergence that establishes connections between students, teachers, cyberspace and their knowledge. This study is an action research with a qualitative approach, in which the researcher assumed the role of teacher, developing practical activities in the applications for smartphone, mentioned above, with a group of high school students from a public school in the city of Cascavel - PR. At the end of the activities with the applications in the school, the research used as data generation, besides the reflections on the practice, an interview with the regent teacher of the selected class, who participated as a listener of all the classes, a diagnostic questionnaire with the students involved and a journal, containing all the observations and impressions of the practice developed with the students. With the research, we sought to verify the possibility of smartphones being used as another way to access information that through integration and interactivity should become an additional knowledge in the students' lives. In the activities developed in the classroom with the selected group, we based ourselves on all the theoretical contribution described in the initial part of the text, and we based on concepts and theories of renowned authors in the area, such as: the Learning of Assmann (1999) and Dal Molin (2003); the importance of planning activities based on the advances of cyberspace and cyberculture, as Lévy points out (1999) and the influences of the culture of convergence in this scenario, according to Jenkins (2009); the characteristics of a rhizomatic teaching that creates maps and escape from from the tree models and decals, based on the theory of Deleuze and Guattari (1995); the new relations with knowledge that emerge from the age of cyberspace, with a collective intelligence and a teacher who passes from the only holder of the knowledge to animator and supervisor of this intelligence, in a process of flipped learning, based on the studies of Lévy (1998b), Moran (2015), Prensky (2001) and others; the advantages that mobile learning can bring both within the classroom and beyond the school environment, following UNESCO (2014), Motter (2013), Souza (2012) among other authors who collaborated for the present study. / Os smartphones tem se tornado parte vital da vida dos seres humanos, sua grande expansão e sua modernização fazem com que as pessoas estejam conectadas no ciberespaço desde o momento que acordam até a hora em que vão dormir. Levando isso em conta, os processos educacionais podem criar estratégias para que esse uso cotidiano dos smartphones possa ser convertido, ao menos em partes, para atividades de Aprendência. Essa dissertação, intitulada English for Everybody and Everywhere: conexões e convergências, vinculada à linha de pesquisa Linguagem: Práticas Linguísticas, Culturais e de Ensino, do Mestrado em Letras da Universidade Estadual do Oeste do Paraná (UNIOESTE) propõe o uso de quatro aplicativos para smartphone, Let’s Learn English, Duolingo, LyTrans English, e WhatsApp, no processo de Aprendência de Língua Inglesa, buscando aproximar a aprendizagem da realidade dos estudantes do século XXI, de modo a facultar um ambiente mais criativo, interativo e dinâmico em sala de aula, em um processo de convergência que estabelece conexões entre estudantes, professores, o ciberespaço e seus saberes. Esse estudo se configura como uma pesquisa-ação de abordagem qualitativa, na qual a pesquisadora assumiu o papel de professora, desenvolvendo atividades práticas nos aplicativos para smartphone, citados acima, com um grupo de estudantes do segundo ano do ensino médio de uma escola pública da cidade de Cascavel – PR. Ao final das atividades com os aplicativos na escola, a pesquisa utilizou como geração de dados, além das reflexões sobre a prática, uma entrevista com a professora regente da turma selecionada, que participou como ouvinte de todas as aulas, um questionário diagnóstico com os estudantes envolvidos e um diário de bordo, contento todas as observações e impressões da prática desenvolvida com os estudantes. Com a pesquisa, buscamos verificar a possibilidade dos smartphones serem utilizados como mais uma via de acesso às informações que pela integração e interatividade deve tornar-se um conhecimento a mais na vida dos estudantes. Nas atividades desenvolvidas em sala de aula com o grupo selecionado, baseamo-nos no aporte teórico descrito na parte inicial do texto, e nos embasamos em conceitos e teorias de autores renomados na área, tais como: a Aprendência de Assmann (1999) e Dal Molin (2003); a importância de planejar atividades fundamentadas nos avanços do ciberespaço e da cibercultura, como aponta Lévy (1999) e as influências da cultura de convergência nesse cenário, conforme Jenkins (2009); as características de um ensino rizomático que cria mapas e foge dos modelos de árvore e decalques, baseando-nos na teoria de Deleuze e Guattari (1995); as novas relações com o saber que surgem a partir da era do ciberespaço, com uma inteligência coletiva e um professor que passa de único detentor dos saberes para animador e orientador dessa inteligência, em um processo de flipped learning, tendo como base os estudos de Lévy (1998b), Moran (2015), Prensky (2001) e outros; as vantagens que a aprendizagem móvel pode trazer tanto para dentro de sala de aula quanto para além do ambiente escolar, seguindo UNESCO (2014), Motter (2013), Souza (2012) entre outros autores que colaboraram para o presente estudo.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-02-09T13:55:59Z No. of bitstreams: 1 Jefferson Marlon Monticelli_.pdf: 2132135 bytes, checksum: 7734ff90d7d8d8c8f8541fd6fea4da57 (MD5) / Made available in DSpace on 2018-02-09T13:55:59Z (GMT). No. of bitstreams: 1 Jefferson Marlon Monticelli_.pdf: 2132135 bytes, checksum: 7734ff90d7d8d8c8f8541fd6fea4da57 (MD5) Previous issue date: 2017-12-11 / Nenhuma / A coopetição é uma estratégia de relacionamento multifacetada, multinível e paradoxal entre firmas (LUO, 2004; CHEN, 2008; GNYAWALI; PARK, 2009). Apesar do número significativo de estudos relacionados com o conceito, a coopetição é ainda considerada como um conceito em andamento. Os estudos se limitaram em explorar uma série de firmas, principalmente pequenas e médias empresas (PMEs), embora a coopetição possa criar benefícios relevantes para essas firmas (BOUNCKEN et al., 2015). A coopetição deve ser analisar a partir de uma perspectiva multidimensional, considerando a influência de arranjos institucionais em estratégias de competição, cooperação e coopetição entre firmas. Além disso, há um aumento da pressão competitiva. As empresas buscam a coopetição para alcançar um posicionamento no mercado internacional (FESTA et al., 2017). Minha tese foca-se na lacuna que associa coopetição, instituições formais e desempenho internacional, uma vez que os estudos sobre esses construtos são raros e inconclusivos. Desse modo, minha tese objetiva enfatizar como a coopetição influencia a performance na internacionalização de firmas de mercados emergentes considerando o papel da coopetição. Apesar de essa pesquisa focar em diferentes indústrias, as firmas competem e cooperam em uma mesma indústria, caracterizando a coopetição. Conectando os campos teóricos e empíricos, a questão de pesquisa é: “Qual é a relação entre instituições formais e desempenho internacional das firmas de uma economia emergente considerando o papel da coopetição?”. Esta pesquisa está dividida em duas fases: uma etapa qualitativa e uma quantitativa. A etapa qualitativa é exploratório-descritiva. Foi baseada em 21 entrevistas realizadas com representantes de firmas e instituições formais e com pesquisadores acadêmicos para estabelecer um estudo de caso sobre o contexto. A etapa quantitativa foi realizada com a pesquisa com firmas das indústrias de calçado, vinho e tecnologia da informação, resultando em 166 respostas válidas. A técnica de análise aplicada foi a análise de regressão. As principais contribuições deste estudo são duplas. A primeira contribuição é enfatizar o papel das instituições formais na discussão sobre coopetição. A segunda está relacionada com a pesquisa sobre coopetição associada com a performance na internacionalização de firmas. Poucos estudos lidam com a performance das firmas e geralmente focam-se no desempenho de inovação (GNYAWALI; PARK, 2009; GNYAWALI et al., 2008). Como resultado, é apresentado um quadro que sustenta o conceito de abordagem institucional. Além disso, os resultados mostraram uma relação direta ente instituições formais e desempenho internacional mediada pela coopetição. As limitações deste estudo baseiam-se no fato de a investigação ter ocorrido em um único país. Ao final deste estudo, outros caminhos de investigação surgiram. Em primeiro lugar, esta pesquisa focou-se no nível entre firmas, desconsiderando os níveis individuais, intrafirmas e de rede. Segundo, a coopetição como contexto poderia analisar cadeias de agentes que adicionam valor às firmas (BRANDENBURGER; NALEBUFF, 1995). / Coopetition is a multifaceted, multilevel, and paradoxical strategy of relationship between firms (LUO, 2004; CHEN, 2008; GNYAWALI; PARK, 2009). Despite the significant number of studies related to the concept, coopetition is still considered as a concept in progress. Studies have been limited in exploring a variety of firms, mainly small and medium enterprises (SMEs), although coopetition can generate relevant benefits for these firms (BOUNCKEN et al., 2015). Coopetition must be analyzed from a multi-dimensional view, considering the influence of institutional arrangements on competition, cooperation, and coopetition strategies between firms. Moreover, there is an increased competitive pressure. Firms search for coopetition to gain positioning in international markets (FESTA et al., 2017). My thesis focus on the gap that associates coopetition, formal institutions, and international performance because there are rare and inconclusive studies about these constructs. Thus, this thesis aims to highlight the relationship between formal institutions and international performance of firms from an emerging economy taking into account the role of the coopetition. Although this research focuses on different industries, they compete and cooperate in the same industry, characterizing coopetition. While connecting theoretical and empirical topics, the research question is the following: what is the relationship between formal institutions and international performance of firms from an emerging economy taking into account the role of the coopetition? This research is divided into two stages: a qualitative and a quantitative step. The qualitative stage is exploratory-descriptive. It was based on 21 interviews realized with representatives from firms and formal institutions and academic researchers to establish a case study about the context. The quantitative stage was carried out with the survey with firms from footwear, winery, and information technology industries, resulting in 166 valid responses. The analysis technique applied was regression analysis. The main contributions of this study are twofold. The first contribution is to stress the role of formal institutions in the discussion about coopetition. The second contribution is related to the research about coopetition associated with the performance in the internationalization of firms. Few studies deal with firm performance and usually focus on the innovation performance (GNYAWALI; PARK, 2009; GNYAWALI et al., 2008). As a result, a framework supporting the concept of Institutional Approach is presented. Also, results showed a direct relationship between formal institutions and international performance mediated by coopetition. Limitations of this study are based on the investigation to have occurred in a single country. At the end of this study, other avenues of the investigation appeared. First, this research focused on the inter-firm level, disregarding individual, intrafirm and network levels. Second, coopetition as context could analyze chains of agents that add value to the firms (BRANDENBURGER; NALEBUFF, 1995).