Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relational predicates. This theory is intended to provide a single framework in which any programming paradigms, languages, and features, can be modelled, compared and contrasted. The UTP already has models for several programming formalisms, such as imperative programming, higher-order programming (e.g. programing with procedures), several styles of concurrent programming (or reactive systems), class-based object-orientation, and transaction processing. We believe that the UTP ought to be able to represent all significant computer programming language formalisms, in order for it to be considered a unifying theory. One gap in the UTP work is that of object-based object-orientation, such as that presented in Abadi and Cardelli's untyped object calculi (sigma-calculi). These sigma-calculi provide a prominent formalism of object-based object-oriented (OO) programs, which models programs as objects. We address this gap within this dissertation by presenting an embedding of an Abadi--Cardelli-style object calculus in the UTP. More formally, the thesis that his dissertation argues is that it is possible to provide an object-based object rientation to the UTP, with value- and reference-based objects, and a fully abstract model of references. We have made three contributions to our area of study: first, to extend the UTP with a notion of object-based object orientation, in contrast with the existing class-based models; second, to provide an alternative model of pointers (references) for the UTP that supports both value-based compound values (e.g. objects) and references (pointers), in contrast to existing UTP models with pointers that have reference-based compound values; and third, to model an Abadi-Cardelli notion of an object in the UTP, and thus demonstrate that it can unify this style of object formalism.

This thesis deals with archivist and collage professor Václav Vojtíšek. It's structured chronologically with few thematic areas and was written mainly by positivistic method. Thesis draws from large base of archive resources and published materials. The goal of this thesis is to map Vojtíšek's academical and archivistic career during several regimes. It's not only concentrating on his professional career, but also depicts biographical themes. Key words Václav Vojtíšek, history of science, archivistic, Auxiliary Historical Science, Charles University, Czechoslovak science and art academy.

Made available in DSpace on 2014-12-17T14:20:32Z (GMT). No. of bitstreams: 1 LeilaneAS_TESE.pdf: 1924574 bytes, checksum: 2c1ab57f0803d739d64150ddfcc7062a (MD5) Previous issue date: 2013-03-22 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The thesis has its largest array in the reorganization of science that is built from the middle of the last century and its horizon reconnection between scientific culture and humanistic culture, and the dialogue between science, art and literature. This epistemological regeneration view of the scientific paradigm incorporates the poetic language and sociological analysis, and brings out a complex, open and transdisciplinary narrative. To undertake this exercise as interlocutors we have thinkers like Nietzsche, L?vi-Strauss, Edgar Morin and Bruno Latour, to name a few, and as a reference for analyzing the entire artistic production of one of the icons of Brazilian music, Clara Nunes. It is problematized up in this work, through the singer s discography, lyrics and fragments of her biography, the construction of a social character that politicized culture, increased the mestizo consciousness of popular imagery, and exceeded the excessively prosaic narratives of the academic and scientific culture. The central argument of the thesis recognizes a Hybrid Subject Clara Nunes, as indeed is what is expected of the politically engaged intellectual in the 21st century / A tese tem como matriz maior a reorganiza??o da ci?ncia que se edifica a partir de meados do s?culo passado e tem como horizonte a religa??o entre cultura cient?fica e cultura human?stica, bem como o di?logo entre ci?ncia, arte e literatura. Essa via de regenera??o epistemol?gica do paradigma cient?fico incorpora a linguagem po?tica ? an?lise sociol?gica e faz emergir uma narrativa complexa, aberta e transdisciplinar. Para empreender esse exerc?cio temos como interlocutores pensadores como Nietzsche, L?vi-Strauss, Edgar Morin e Bruno Latour, para citar alguns, e como refer?ncia de an?lise o conjunto da produ??o art?stica de um dos ?cones da m?sica brasileira, Clara Nunes. Problematiza-se aqui, por meio da discografia, das letras das m?sicas e de fragmentos da biografia da cantora, a constru??o social de um personagem que politizou a cultura, potencializou a consci?ncia mesti?a do imagin?rio popular e ultrapassou as narrativas excessivamente prosaicas da cultura acad?mico-cient?fica. O argumento central da tese reconhece em Clara Nunes um Sujeito H?brido, como de resto ? o que se espera do intelectual politicamente engajado no s?culo 21

What values does a state notable building express when it not only represents prosperity values but also carries burdensome memories from people's lives? In what ways does the preservation of a former madhouse/mental hospital affect our understanding of the field of mental illness? This essay intends to research a former mental hospital, located in the city of Vadstena in Sweden, which today operates as a hospital museum. In this study the old mental hospital has been defined as a difficult cultural heritage. Through an architectural analysis of the building together with literature studies from previous work within cultural heritage the study aims to understand how the site today contributes and affects our understanding of mental illness and care. By examining our past from a distinctive perspective the study shows how Vadstena Hospital Museum today plays a significant role in how the psychiatric historical representation is treated and experienced today. Through difficult and complex cultural heritage humans' less desirable actions and events have the opportunity to be seen, heard, felt and discussed from a different perspective.

Submitted by Isac Macêdo (isac@ioc.fiocruz.br) on 2013-09-22T21:12:04Z No. of bitstreams: 1 DO 2008 - Thelma Lopes Carlos Gardair.pdf: 13191419 bytes, checksum: 6e5b67897f2d8e12a3cbd77a50ba9387 (MD5) / Made available in DSpace on 2013-09-22T21:12:04Z (GMT). No. of bitstreams: 1 DO 2008 - Thelma Lopes Carlos Gardair.pdf: 13191419 bytes, checksum: 6e5b67897f2d8e12a3cbd77a50ba9387 (MD5) / Fundação Oswaldo Cruz. Instituto Oswaldo Cruz. Rio de Janeiro, RJ, Brasil. / O presente estudo aborda aproximações entre ciências e teatros, suas possíveis relações com a educação em ciências, e o papel potencializador da linguagem teatral na construção de imagens menos estereotipadas do cientista e artista. A pesquisa também explora o estímulo ao debate sobre temas científicos, articulado a outros saberes, voltado a estudantes do ensino fundamental e médio. Dentre os principais objetivos desta tese destacam-se: a) Análise das percepções dos sujeitos pesquisados acerca da imagem do cientista, artista e sobre noções de artes e ciências; b) Desenvolvimento de peça teatral, baseada em dados obtidos por meio de questionários e pesquisa histórica, que consista em estratégia educativa voltada para discussão sobre ciências articulada às artes; c) Análise dos efeitos da peça junto aos participantes da pesquisa. Para tanto, 226 estudantes responderam questionário, categorizados em três grupos, a saber: jovens artistas, jovens cientistas e alunos de escolas públicas. O grupo por nós chamado de “jovens cientistas” é composto por estudantes da “Escola Politécnica de Saúde Joaquim Venâncio” (EPSJV) e alunos que integram o “Programa de Vocação Científica” (PROVOC). Na presente pesquisa o grupo de “jovens artistas” é composto por estudantes que participam de atividades relacionadas à linguagem teatral em duas instituições, a saber: “Casa das Arte de Laranjeiras” (CAL) e “Colégio Salesiano Santa Rosa”. Um terceiro grupo integrou nosso estudo e compôs-se de estudantes que não estavam vinculados a instituições educativas, programas ou atividades voltadas para o desenvolvimento de aptidões artísticas ou científicas. Este grupo foi formado por alunos da “Escola Estadual Amaro Cavalcanti” e do “Collège Jean Jaures”. Ambas as instituições são públicas. A primeira localiza-se no bairro do Largo do Machado, no Rio de Janeiro, e a segunda na cidade de Montreuil, na França. As respostas foram interpretadas à luz do método de “análise de conteúdo”, sistematizado por Laurence Bardin (1978). Os fundamentos para a escrita da peça foram, principalmente, pesquisa histórica e dados obtidos a partir dos 226 questionários. A trama da peça “Toda menina é uma rainha” consiste na aventura de dois adolescentes ávidos por conhecer o mundo e a si mesmos, que ao remexerem em antigos livros, transportam-se para o século XVI, em 1582, na Inglaterra, onde vivenciam o cotidiano da época, tornam-se amigos da rainha e presenciam um inusitado encontro entre Galileu Galilei e William Shakespeare. Como estudo piloto dos efeitos da peça junto ao público alvo da pesquisa, foram realizados dois encontros nos quais desenvolveu-se jogos teatrais, exercícios de aproximação aos temas explorados na peça e preenchimento de questionários. Culminando com a leitura dramatizada da peça, os referidos encontros possibilitaram a identificação de qualidades e limites do texto como ponto de partida para a discussão sobre ciências. / This study examines similarities between science and theaters, its possible relations with science education, and potentiating role of theatrical language in the construction of less stereotyped images of the scientist and artist. The research also explores the stimulus to the debate on scientific issues, articulated to other knowledge, aimed at students in middle and high school. Among the main objectives of this thesis are: a) analysis of perceptions of the subjects interviewed about the image of the scientist, artist and on notions of arts and sciences; b) Development of theatre play, based on data obtained through questionnaires and research historical, consisting of educational strategy aimed at discussion of science to the arts articulated c) Analysis of the effects of the play by the research participants. For that, 226 students answered the questionnaire, categorized into three groups, namely young artists, young scientists and students from public schools. The group that we called "young scientists" is composed by students from the "Escola Politécnica de Saúde Joaquim Venâncio " (EPSJV) and students who integrate the "Scientific Vocation Program" (PROVOC). In this study the group of "young artists" is composed of students who participate in activities related to theatrical language in two institutions, namely: "Casa das Artes de Laranjeiras" (CAL) and "Colégio Salesiano Santa Rosa." A third group incorporated on our study consisted of students who were not tied to educational institutions, programs or activities for the development of artistic or scientific skills. This group was formed by students of the "Escola Estadual Amaro Cavalcanti" and "Colégio Jean Jaures." Both institutions are public. The first is located in the neighborhood of Largo do Machado, in Rio de Janeiro, and the second in Montreuil, France. The responses were interpreted according to the method of "content analysis", systematized by Laurence Bardin (1978). The fundamentals for writing the play were mainly historical research and data obtained from 226 questionnaires. The plot of the play "Every girl is a queen" is the adventure of two teenagers eager to experience the world and themselves that the picking up in old books, transport to the sixteenth century, in 1582, in England, where they experience everyday time, become friends of the queen and witness an unusual encounter between Galileo Galilei and William Shakespeare. As a pilot study about the effects of the text to the target audience research, two meetings were held in which developed theater games, exercises for approaching the themes explored in the play and answer a questionnaire. Culminating with a dramatized reading of the play, these meetings allowed the identification of strengths and limits of the text as a starting point for discussion about science. / L'étude examine les points de convergence entre la science et l’art du th tre, la relation possible du théâtre avec l'enseignement des sciences, et le rôle de potentialisation de la langue théâtrale dans la construction d'images moins stéréotypées du scientifique et de l'artiste. La recherche explore également de nouvelles impulsions du débat sur les questions scientifiques articulées à d'autres connaissances, et elle s'adresse aux élèves de collège et au lycée. Les principaux objectifs de cette thèse sont les suivants: a) l'analyse des perceptions des sujets interrogés sur l'image du savant, de l'artiste et sur les notions d'art et de science ; b) le développement du jeu théâtral, basé sur des données obtenues au moyen de questionnaires et de recherches historiques, jeu élaboré selon la stratégie éducative visant à la discussion articulant science et art c) Analyse des effets de la pièce pour les participants à la recherche. À cette fin, les étudiants ont répondu à 226 questionnaires, répartis en trois groupes, à savoir : les jeunes artistes, les jeunes scientifiques et les étudiants des écoles publiques. Le groupe que nous avons appelé «les jeunes scientifiques est compos d' tudiants de l’ «Escola Poliécnica Joaquim Venancio » (EPSJV) et d’ tudiants inscrits au «Programme Vocation scientifique » (ProVoc). Dans cette étude, le groupe de « jeunes artistes » est composé d'étudiants qui participent à des activités liées à la langue théâtrale dans deux établissements, à savoir: " Colégio Salesiano Santa Rosa" "Casa das Artes de Laranjeiras" (CAL). Un troisième groupe a intégré notre étude, il est constitu d’ tudiants qui n’appartiennent pas des établissements, des programmes ou des activités de spécialisation artistique ou scientifique. Ce groupe est formé par des étudiants de la «Escola Estadual Cavalcanti Amaro » et du « Collège Jean Jaurès ». Les deux institutions sont publiques. Le premier est situé dans le quartier de Largo do Machado, à Rio de Janeiro, et le deuxième dans la ville de Montreuil-sous-bois en France. Les réponses ont été interprétées selon la méthode de «l'analyse de contenu», systématisée par Laurence Bardin (1978). Les raisons motivant l’ criture de la pièce étaient de deux ordres : la recherche essentiellement historique et les données obtenues à partir des 226 questionnaires. L'intrigue de la pièce «Chaque jeune fille est une reine », c'est l'aventure de deux adolescents désireux de découvrir le monde et eux-mêmes. Ils vivent ces aventures à ème partir de recherches dans de vieux livres, et sont transportés au 16 siècle, en 1582, en Angleterre. Ils y découvrent la vie quotidienne, deviennent amis de la reine, et assistent à une rencontre insolite entre Galilée et Shakespeare. Comme étude pilote sur les effets du nombre conjointement à la recherche sur le public ciblé, deux réunions ont été organisées au cours desquelles ont été développés des jeux théâtraux, des exercices pour aborder les thèmes explorés dans le jeu et répondre à un questionnaire. Culminant en une lecture dramatisée de la pièce, ces réunions ont permis l'identification des forces et des limites du texte comme point de départ pour la discussion sur la science.

Submitted by Anderson Silva (avargas@icict.fiocruz.br) on 2012-05-04T18:41:23Z No. of bitstreams: 1 leda_g_mendonca_ioc_ebs_0005_2010.pdf: 2577656 bytes, checksum: 88dd4cb37e38e668cde15ae819d7c8eb (MD5) / Made available in DSpace on 2012-05-04T18:41:23Z (GMT). No. of bitstreams: 1 leda_g_mendonca_ioc_ebs_0005_2010.pdf: 2577656 bytes, checksum: 88dd4cb37e38e668cde15ae819d7c8eb (MD5) Previous issue date: 2010 / Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro.Rio de Janeiro, RJ, Brasil / O objetivo desse trabalho foi desenvolver e avaliar estratégias de ensino baseadas em arte, tais como o cinema e o teatro, para lecionar Boas Práticas de Fabricação aos alunos de graduação tecnológica em Química para a construção de roteiros aplicativos. Como meio de veiculação inicial foi utilizado um blog. Para embasar a discussão, procurou-se correlacionar as práticas pedagógicas propostas com Teoria da Aprendizagem Significativa (TAS), com a teoria da Arte-educação (Mídia-educação para o uso do cinema de animação) e a teoria do Teatro- educação, com a abordagem de teatro pedagógico (drama como método de ensino). O estudo lançou mão de questionários e relatos escritos como instrumentos de coleta de dados analisados à luz do referencial do Discurso do Sujeito Coletivo (DSC). Os resultados apontaram que os alunos que experimentaram as estratégias de ensino propostas apresentaram mais facilidade em compreender os conteúdos abordados do que aqueles que assistiram somente aulas convencionais. Os dois grupos de alunos observados e os professores que postaram comentários no blog concordaram que essas práticas pedagógicas têm um potencial ―aproximador‖ e ―faciltador‖. / This study had as objective to develop and evaluate pedagogical practices based on art such as cinema and theater, to teach Good Manufacturing Practices in technological graduate to prepare application guides. One blog was used as a first media for this propose. To improve this comprehension, the Meaningful Learning Theory, the art-education Theory (Media-education to use of the animation film) and education-theater, with the approach of pedagogical theater (drama as a teach method) was used here as bibliographic reference. The research made use of questionnaires and written reports as tools for data collection. The Collective Subject Discourse (CSD) was used for this analysis. The results appointed that students whom experimented this propose have more facility to understand the contents than the other that only received classic classes. All students and the teacher whose post comments in blog agree to consider these pedagogical practices may approximate and facilitate the content comprehension.

My disertation theses explores the intricate relationship between art, science and photography in the framework of the contemporary culture. Clearly outlined research areas open up the subject to a broader theoretical examination to underpin the artistic strategies that can be employed in the practial research. The resulting artwork interprets the domain of particle physics in a series of artworks. First area of the research delves into the domain of images and seeks to understand the relationship between the images of art and science in a broader sense. Second area investigates ambiguous medium of photography as both tool of science and art. Third area is an overview of the history of representation of the subatomic world and issues related to representing what is in fact unrepresentable. Fourth seeks to find epistemic and conceptual connection between art and science and their interdisciplinary dialogue as Sci-Art. The fifth part introduces artworks that reflect the critical egangement with the theoretical research and the scientific method by building the instrument for the observation of the cosmic rays. Sources for the theoretical framework are largely drawn from the academic literature written in the UK and USA where the topics explored in the theses have been studied in depth. The time scope considered in the theses encompasses 1990's of the 20. century up utill the present day.