Cette thèse se propose d’étudier la diffusion et la réception du théâtre imprimé au XVIIe siècle dans deux aires géographiques ayant entretenu des rapports privilégiés sur le plan des échanges culturels depuis la Renaissance : l’Italie et l’Espagne. En effet, de la même façon qu’au XVIe siècle le théâtre italien de la Renaissance influence la naissance de la comédie humaniste en Espagne, le théâtre espagnol du XVIIe siècle est adapté et traduit par les dramaturges italiens. Le XVIIe siècle est également le moment où les grands dramaturges italiens et espagnols, dont la production alimente les représentations théâtrales, connaissent un succès inégalé non seulement sur les planches mais également grâce à la diffusion imprimée de leurs œuvres. De plus, au XVIIe siècle en toute l’Europe, la production théâtrale augmente sensiblement. Le théâtre est publié dans de petits et grands formats, en recueils ou en feuillets épars : l’édition théâtrale connaît une très forte augmentation. Cependant cette multiplication de l’imprimé théâtral n’est pas perceptible avec la même intensité à l’intérieur des bibliothèque privées des Espagnols et des Italiens ayant vécu au XVIIe siècle que nous avons étudiées.En nous appuyant sur les travaux qui concernent la matérialité du livre et l’histoire sociale, culturelle et littéraire, nous souhaitons étudier le théâtre en tant que phénomène ancré à l’intérieur des processus sociaux propres à l’Espagne et à l’Italie du XVIIe siècle, à travers à la fois l’analyse d’inventaires de bibliothèques privées et de paratextes de livres de théâtre. Cette approche implique une question générale qui est la suivante : de quelle manière la circulation et l’édition des textes théâtraux en Europe au XVIIe siècle ont-elles modifié la condition de l’auteur, les rapports entre théâtre et public (lecteurs et spectateurs), en permettant l’apparition de nouvelles théories et en construisant une conception du théâtre imprimé ? La réponse à cette ample interrogation nous permettra de dessiner un panorama européen de la circulation du livre de théâtre, des idées et des influences littéraires. En somme, deux grandes problématiques traversent nos recherches : d’un côté la circulation du théâtre imprimé, et de l’autre, sa réception en Espagne et en Italie au XVIIe siècle. / This research studies the diffusion and the reception of printed theater in the 17th century in Italy and Spain, two geographical areas having maintained privileged relations in terms of cultural exchanges since the Renaissance. As the Italian Renaissance drama influenced the birth of the humanistic comedy in Spain in the 16th century, in the same way Spanish drama is adapted and translated by Italian playwrights in the 17th century. The 17th century is also the century when the great Italian and Spanish playwrights know an unequaled success not only on the boards but also on the books pages promoted by printed distribution of their works. In addition, in 17th century throughout Europe, theatrical production increases significantly : the theatrical edition knows a very strong increase. The theater is published in small and large formats, in collections or « separate editions » (e.g. comedia suelta). However this multiplication of theatrical print is not visible with the same intensity in the private libraries of the Spaniards and Italians who lived in 17th century.We study theater as a phenomenon rooted in the social processes of Spain and Italy of the 17th century through the analysis of inventories of private libraries and paratexts of theater books. This approach involves a general question : how did the circulation and editing of theatrical texts in 17th century Europe change the status of the author, the relationship between theater and public (readers and viewers), allowing the developement of new theories and building a conception of printed theater ? The answer to theses questions will allow us to draw an European panorama of the circulation of theater books, ideas and literary influences. In other words, our research bases on two major issues : on the one hand the circulation of printed theater, and on the other, its reception in Spain and Italy of the 17th century.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T13:11:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a257db (MD5) / Made available in DSpace on 2016-08-08T13:11:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a257db (MD5) Previous issue date: 2016-03-28 / CAPEs / Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different such tools are being increasingly used in order to accelerate and simplify proof checking, and the Coq proof assistant is one of the most known and used. Language and automata theory is a well-established area of mathematics, relevant to computer science foundations and information technology. In particular, context-free language theory is of fundamental importance in the analysis, design and implementation of computer programming languages. This work describes a formalization effort, using the Coq proof assistant, of fundamental results of the classical theory of context-free grammars and languages. These include closure properties (union, concatenation and Kleene star), grammar simplification (elimination of useless symbols, inaccessible symbols, empty rules and unit rules), the existence of a Chomsky Normal Form for context-free grammars and the Pumping Lemma for context-free languages. To achieve this, several steps had to be fulfilled, including (i) understanding of the characteristics, importance and benefits of mathematical formalization, specially in computer science, (ii) familiarization with the underlying mathematical theories used in proof assistants, (iii) familiarization with the Coq proof assistant, (iv) review of the strategies used in the informal proofs of the main results of the context-free language theory and finally (iv) selection and adequation of the representation and proof strategies adopted in order the achieve the desired objectives. The result is an important set of libraries covering the main results of context-free language theory, with more than 500 lemmas and theorems fully proved and checked. This is probably the most comprehensive formalization of the classical context-free language theory in the Coq proof assistant done to the present date, and includes the remarkable result that is the formalization of the Pumping Lemma for context-free languages. The perspectives for the further development of this work are diverse and can be grouped in three different areas: inclusion of new devices and results, code extraction and general enhancements of its libraries. / Assistentes de prova são ferramentas de software que são usadas na mecanização da construção e da validação de provas na matemática e na ciência da computação, e também no desenvolvimento de programas certificados. Diferentes ferramentas estão sendo usadas de forma cada vez mais frequente para acelerar e simplificar a verificação de provas, e o assistente de provas Coq é uma das mais conhecidas e utilizadas. A teoria de linguagens e de autômatos é uma área bem estabelecida da matemática, com relevância para os fundamentos da ciência da computação e a tecnologia da informação. Em particular, a teoria das linguagens livres de contexto é de fundamental importância na análise, no projeto e na implementação de linguagens de programação de computadores. Este trabalho descreve um esforço de formalização, usando o assistente de provas Coq, de resultados fundamentais da teoria clássica das gramáticas e linguagens livres de contexto. Estes incluem propriedades de fechamento (união, concatenação e estrela de Kleene), simplificação gramatical (eliminação de símbolos inúteis, de símbolos inacessíveis, de regras vazias e de regras unitárias), a existência da Forma Normal de Chomsky para gramáticas livres de contexto e o Lema do Bombeamento para linguagens livres de contexto. Para alcançar estes resultados, diversas etapas precisaram ser cumpridas, incluindo (i) o entendimento das características, da importância e dos benefícios da formalização matemática, especialmente na ciência da computação, (ii) a familiarização com as teorias matemáticas fundamentais utilizadas pelos assistentes de provas, (iii) a familiarização com o assistente de provas Coq, (iv) a revisão das estratégias usadas nas provas informais dos principais resultados da teoria das linguagens livres de contexto e, finalmente, (v) a seleção e adequação das estratégias de representação e prova adotadas para permitir o alcance dos resultados pretendidos. O resultado é um importante conjunto de bibliotecas cobrindo os principais resultados da teoria das linguagens livres de contexto, com mais de 500 lemas e teoremas totalmente provados e verificados. Esta é provavelmente a formalização mais abrangente da teoria clássica das linguagens livres de contexto jamais feita no assistente de provas Coq, e inclui o importante resultado que é a formalização do Lema do Bombeamento para linguagens livres de contexto. As perspectivas para novos desenvolvimentos a partir deste trabalho são diversas e podem ser agrupadas em três áreas diferentes: inclusão de novos dispositivos e resultados, extração de código e aprimoramentos gerais das suas bibliotecas.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The antioxidant effects of the hydro-alcoholic guaraná extracts (Paullinia cupana var. sorbilis Mart.) on nitric oxide (NO ) and other compounds generated from degradation of Sodium Nitroprusside (SNP) in embryonic fibroblast culture (NIH-3T3 cells) were evaluated. The guaraná bioactive compounds were initially determined by a high-performance liquid chromatography (HPLC): caffeine=12.240 mg/g, theobromine=6.733 mg/g and total catechins= 4.336 mg/g. To the experiments, initially the cells were grown in DMEM (Dulbecco s Modified Eagle Medium) medium and incubated in a humidified atmosphere of 5% CO2 and 37°C until reach 90% confluence. Cell cultures were exposed to 10μM SNP during six hours since in this concentration the cells present >90% mortality. Guaraná diluted in water was added in the cultures in five concentrations (0.5, 1, 5, 10 and 20 mg/mL). MTT and Trypan blue viability, biochemical oxidative markers and genotoxicity (DNA Comet assay) analysis were performed. Additionally, the cell oxidative stress was evaluated by 2,7 dihydrodichlorofluorescein diacetate (DCFDA) fluorescence assay by confocal microscopy. Guaraná reverted the SNP toxicity mainly in lower concentrations (<5 mg) decreasing cell mortality, lipid peroxidation, DNA damage and cell oxidative stress and increasing the SOD levels. However, guarana was unable to reverse the inhibition of catalase probably triggered by the presence of cyanide which is also produced in the decomposition of SNP. The results suggest that guarana has effects on the modulation of excessive amounts of NO probably through its antioxidant properties. These results supported previous studies that suggest guarana have a protective effect against morbidity as obesity and metabolic syndrome that are related to metabolism. / Os efeitos antioxidantes do extrato hidro-alcoólico de guaraná (Paullinia cupana var. sorbilis) sobre o Óxido Nítrico (NO ) e outros compostos gerados a partir da decomposição do Nitroprussiato de Sódio (NPS) em cultura de fibroblastos embriônicos (NIH 3T3) foram avaliados. Os compostos bioativos do guaraná foram inicialmente determinados por cromatografia líquida de alta performance (HPLC): cafeína=12,240 mg/g, teobromina=6,733 mg/g e catequinas totais=4,336 mg/g. Para os experimentos as células foram inicialmente cultivadas em meio DMEM (Dulbecco s Modified Eagle Medium) e incubadas em uma atmosfera umidificada de 5% de CO2 a 37°C até chegar a uma confluência de 90%. As culturas de células foram expostas ao NPS na concentração de 10μM durante seis horas. Nesta concentração de NPS e tempo de exposição ocorre uma taxa de mortalidade celular >90%. O guaraná diluído em água foi adicionado em cinco diferentes concentrações (0,5, 1, 5, 10 e 20 mg/mL). Os ensaios de viabilidade MTT e azul de tripan, de marcadores bioquímicos de estresse oxidativo e genotoxicidade (ensaio cometa) foram realizados. Adicionalmente, o estresse oxidativo celular foi avaliado através do ensaio da fluorescência do diacetato de 2,7 diclorofluoresceína (DCFDA) via microscopia confocal. O guaraná reverteu à toxicidade induzida pelo NPS principalmente em concentrações mais baixas (<5mg/mL), diminuindo a: mortalidade celular, peroxidação lipídica, dano de DNA e produção de espécies reativas a aumentou os níveis da enzima Super Óxido Dismutase (SOD). Entretanto, o guaraná não conseguiu reverter a inibição da catalase provavelmente desencadeada pela presença de cianeto que também são produzidos na decomposição do NPS. Os resultados sugerem que o guaraná tem efeitos na modulação das quantidades excessivas de NO provavelmente através de suas propriedades antioxidantes. Estes resultados confirmaram estudos prévios que sugerem que o guaraná tem efeito protetor contra morbidades como obesidade e síndrome metabólica que são relacionadas ao metabolismo.

Québec Université Laval, Bibliothèque 2013

Il faut d'abord souligner que ce mémoire a été produit dans le cadre d'une collaboration entre Amélie Côté, étudiante à la maîtrise en design graphique à l'Université Laval, et moi-même, Marie-Michèle Roy, étudiante en études littéraires. Ce mémoire est divisé en quatre volets. La première partie du mémoire présente le roman dans sa version originale, sans illustration. La deuxième partie consiste en une étude du dialogue entre le texte et l'image au sein du livre illustré dans La Saveur de vide du peintre et auteur Lino, et dans Harvey. Comment je suis devenu invisible, collaboration d'Hervey Bouchard et de Janice Nadeau. Deux notions dialogiques sont développées : le dialogue de la troisième dimension et celui de la continuité. La troisième partie constitue un essai réflexif sur le travail de collaboration entre Amélie Côté et moi-même. La quatrième partie, mise en annexe, présente le résultat final : le roman illustré Sans elles.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2007-2008. / Les enquêtes réalisées ces dernières années sur la lecture sont unanimes à déceler des signes de régression dans l'intensité de cette pratique culturelle, particulièrement chez les jeunes. Dans un effort pour proposer des solutions à ce problème, l'auteur de la présente recherche s'interroge sur la possibilité d'accorder une meilleure place à l'affectivité dans l'enseignement de la littérature afin d'exploiter ce qui pourrait être l'apport spécifique de cette dernière dans la formation d'une personne. Il soutient notamment que le développement de la sensibilité, en grande partie négligé par l'école, est à la fois la condition de possibilité de la lecture littéraire et sa retombée la plus importante. Cette recherche théorique et spéculative puise dans des références littéraires, psychologiques, biologiques, philosophiques et didactiques pour expliquer l'apport de l'affectivité en lecture littéraire et pour proposer des pistes didactiques donnant à l'affectivité sa juste place en classe de littérature.

Titre de l'écran-titre (visionné le 29 juin 2023) / Ce mémoire de maîtrise porte sur l'interaction des langages littéraires et visuels dans le contexte du livre d'artiste. Il examine l'effet de la présentation d'un texte de non-fiction sous forme de livre d'artiste afin de déterminer si l'expérience de lecture résultante représente mieux la singularité d'une expérience humaine précise. Le ventre des galets constitue la première partie du mémoire. Il s'agit d'un récit de non-fiction portant sur un voyage en Irlande et sur le deuil d'un parent, le tout présenté sous forme de livre d'artiste. Le texte en fragments est séparé en carnets et entrecroisé de reproductions d'aquarelles réalisées au fil de l'écriture. Le récit imprimé et relié est contenu dans un boîtier réalisé à la main et l'objet est essentiel à l'expérience de lecture. La deuxième partie du mémoire, à travers l'analyse du livre d'artiste de Margaret Atwood et Charles Pachter The Illustrated Journals of Susanna Moodie, étudie le rapport entre le texte et l'image et l'effet émergeant du mélange des deux. L'analyse est précédée d'une démarche de clarification de deux domaines - l'écriture du réel et le livre d'artiste - afin de comprendre les caractéristiques clés de chaque discipline. La troisième partie de ce mémoire est un retour sur la démarche créative : l'écriture, la réécriture, la construction et la reconstruction du récit et du livre objet. Elle examine également les défis connexes à l'écriture du réel, plus précisément à l'écriture du deuil. / This master's thesis explores the interaction of literary and visual languages within artist's books. It examines the impact of presenting a nonfiction text as an artist's book in order to determine if the reading experience evokes more effectively the singularity of a specific human experience. Le ventre des galets is the first part of this master's thesis. It is a nonfiction narrative about a trip to Ireland and about the grieving process for a parent. Presented in fragments, the text is intertwined with a visual narrative consisting of reproductions of watercolour paintings realized during the writing of the narrative. The book is printed and bound and is contained in a handmade case; the object is essential to the reading experience. The second part of the thesis is an analysis of the artist's book by Margaret Atwood and Charles Pachter, The Illustrated Journals of Susanna Moodie, focusing on the relationship between words and images and the effect that the combination creates. The analysis is preceded by a survey of two fields - nonfiction writing and the artist's book - to clarify each field and better understand the key characteristics of each. The third part of this thesis is an observation of my own creative process: writing, rewriting, constructing, and reconstructing of the nonfiction narrative and the book as an object. This section also touches on the challenges associated with the writing of nonfiction, specifically as it relates to revisiting and writing about grief.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Nesta tese o parque urbano brasileiro dos primeiros anos do século XXI é apresentado como uma fi gura diferente dos parques dos séculos XIX e XX. As diferenças dizem respeito, principalmente, aos programas de uso e à distribuição pelo espaço urbano. Jardins urbanos que se destinavam à fruição das elites no século XIX e das massas no século XX apresentam-se, entre 2000 e 2015, como fi gura híbrida, relacionada à preservação ambiental e ao lazer mas não necessariamente a ambos. Surgem novos tipos de parque, como os lineares, que tanto se apresentam em forma de conjuntos de pequenos espaços livres articulados por curso d´água, como de projetos de grande envergadura que articulam uma sequência de parques no território urbano. Em algumas capitais brasileiras, como São Paulo, Belo Horizonte, Goiânia, Brasília, Campo Grande, Vitória, Recife e Manaus, o número de parques públicos se multiplicou no período. O mesmo processo não foi observado em capitais litorâneas como Rio de Janeiro e Fortaleza, onde a orla segue como um grande parque linear. Todo o conjunto de parques vistos demonstra que houve mudança na percepção do valor do parque urbano pela sociedade brasileira, fato capitalizado pelo poder público e pela iniciativa privada. As novas características e as localizações dos parques em bairros periféricos onde a renda dos moradores é baixa impõem novos desafi os para o projeto e a gestão. / In this thesis the Brazilian urban park of the fi rst years of the 21st century is presented as a different fi gure from the parks of the 19th and 20th centuries. The differences mainly concern uses and distribution in the urban space. Urban gardens for the enjoyment of elites in the nineteenth century and the masses in the twentieth century are, between 2000 and 2015, as a hybrid fi gure, related to environmental preservation and leisure, but not necessarily to both. At that time new types of parks appeared, such as linear ones, which are in the form of sets of small free spaces articulated by watercourse, as well as large-scale projects that articulate a sequence of parks in the urban territory. In some Brazilian capitals, such as Sao Paulo, Belo Horizonte, Goiania, Brasilia, Campo Grande, Vitoria, Recife and Manaus, the number of public parks has multiplied in this period. The same process was not observed in coastal capitals like Rio de Janeiro and Fortaleza, where the border follows as a large linear park. The whole set of parks seen shows that there was a change in the perception of the value of the urban park by Brazilian society, a fact capitalized by the public power and private initiative. The new features and locations of parks - in neighborhoods where residents\' incomes are low - create new challenges for design and management.

A ação da municipalidade de São Paulo no provimento de áreas verdes de recreação foi investigada desde o final do século XIX, quando se criou um órgão administrativo específico para tratar das áreas verdes municipais, até os dias de hoje. Este intervalo de tempo foi subdividido em períodos marcados por mudanças na organização, nas atribuições e na produção deste órgão e também por mudanças nos hábitos e nas necessidades de lazer da população. A análise se deu em torno de quatro variáveis, tratadas sistematicamente em cada período, quais sejam: as formas de lazer nas áreas verdes da cidade; a organização administrativa para atender às demandas por áreas verdes de lazer; a produção de áreas verdes pelo poder municipal; planos e projetos de áreas verdes de recreação. Para analisar o desempenho da Prefeitura no período mais recente, fizeram-se entrevistas com os freqüentadores de oito parques municipais: Aclimação, Anhanguera, Carmo, Guarapiranga, Ibirapuera, Luz, Piqueri e Previdência. Concluiu-se que o provimento de áreas verdes de lazer pela Prefeitura se deu de maneira irregular, sem planejamento e por decisões que escapavam ao controle do órgão administrativo competente. Viu-se também que a maior parte da produção dos projetos se deu distanciada dos debates programáticos e estéticos contemporâneos a cada período considerado. A pesquisa de campo realizada com os freqüentadores dos oito parques selecionados mostrou a importância que a maior parte deles atribui aos valores paisagístico-ambientais dos parques, revelando ao mesmo tempo que a falta de cuidado com o ambiente do parque como um todo, as falhas de manutenção de espaços ou equipamentos específicos e a falta de segurança, são os aspectos que mais os incomodam nos parques municipais. / The performance of the Municipality of São Paulo in providing green recreation areas, was investigated from the end of 19th century when the Administration of Public Gardens was created to our days. This period encompasses smaller periods which correspond to changes in the way the later named Department of Parks and Green Areas answered to the claim for green recreation areas. The users\' habits have changed as well during this time. The analysis was done taking into account four aspects that suffered changes: the habits os leisure in green areas; the Municipality organization to meet the demand for green recreation areas; the actual production of the Municipality throughout this century; plans and projects for public green areas. To evaluate the Municipality performance nowadays, interviews have been done with users of eight municipal parks. The conclusion is that the provision of public green recreation areas by the Department of Parks was done in an irregular way, without any planning, at the mercy of eventualities and oppotunities. It was also concluded that the production of municipal parks was done without considering contemporary debates about park programs and design. The research with park users showed that the most important reason why they go to parks is the landscape and \"atmosphere\". Another finding shown by this research is that users are critical of the lack of concern found there and the absence of maintenance and safety observable in such parks.