A proposta desta tese de doutorado foi a de identificar e analisar as principais referências europeias na produção brasileira de habitação promovida pelo poder público em nível federal no período pré-BNH, a saber, pelos Institutos de Aposentadoria e Pensão (IAP\'s), Fundação da Casa Popular (FCP) e a principal iniciativa local à época, Departamento de Habitação Popular do Distrito Federal (DHP). A partir de um vasto levantamento de campo iniciado pela pesquisa temática Habitação Econômica e Arquitetura Moderna no Brasil (1930-1964), desenvolvida pela FAU-USP e EESC-USP, concluído com a pesquisa Pioneiros da Habitação Social no Brasil, coordenada pelo Prof. Dr. Nabil Bonduki, pudemos identificar referências e estabelecer diálogos com as diferentes linhas de arquitetura moderna na produção de moradia econômica na Europa, entre os anos 1920 e 1930, além de outras correntes concomitantes, como o movimento cidade-jardim e suas diversas interpretações. Com a seleção das iniciativas internacionais consagradas pela literatura, foi possível analisar a produção nacional em face dessas experiências, identificando os diversos matizes da produção no Brasil, assim como foi possível entender de que forma o processo da construção da política habitacional e a produção resultante são indissociáveis na questão da habitação de interesse social. A abordagem da produção internacional também revelou outras facetas da imprecisão com que a política habitacional foi tratada pelo estado brasileiro no período, e os resultados dessa postura. / The purpose of this thesis was to identify and analyze major European references in Brazilian production of housing promoted by the government at the federal level in the pre-BNH, specifically, the National Institutes of Retirement and Pension (IAP\'s), Popular Housing Foundation (FCP) and the main local initiatives proposed at the time, the Federal District Department of Housing (PHD). From a wide field survey initiated by the research \"Housing and Economic Modern Architecture in Brazil (1930-1964)\", developed by FAU-USP and USP-EESC , concluded through research \"Pioneers of Social Housing in Brazil\" coordinated by Prof. Dr. Nabil Bonduki, we were able to identify references and establish dialogue with the different lines of modern architecture in the production of economical housing in Europe between 1920 and 1930, and other concurrent streams, as the garden city movement and its various interpretations. With the selection of international initiatives enshrined in the literature, it was possible to analyze the national production in the face of these experiences, identifying the different facets of production in Brazil, as it was possible to understand how the process of construction of housing policy and the resulting production are inseparable the issue of social housing. The approach of international production has also revealed other facets of uncertainty with the housing issue were handled by the Brazilian state in the period, and the results of this stance.

France has long had its foreign audiovisual material dubbed. If this is due to an attempt to conserve the French language, there should also be similar concern with foreign cultural references. This essay uses qualitative analyses of extralinguistic references to discover if a so-called domesticating practice is notable also in French subtitling. Sweden, however, is a smaller country, and may be considered more Americanized culturally. Swedish subtitling is used as the more globalized counterpart. This research cites instances in which extralinguistic references are made and how they are subsequently dealt with in the translated subtitles. The instances are singled out and then individually analyzed. Using four categories of translation methods for Extralinguistic Cultural References (ECRs), this study investigates whether translation norms differ between Swedish and French subtitles. This study‘s most important finding is that there do seem to be different norms for Swedish and French subtitles and that the francophone target audience is not required to move so far from its domestic reference frame as is the Swedish target audience. Another important finding is that while there are both quantitative and qualitative differences, there are also striking similarities on the statistical level, indicating that there are global norms that govern translation in general, and specifically subtitling. The results are interesting for the discussion around which ECRs are domesticated, but also for further sociolinguistic analyses of French domestication.

The aim of this paper is to analyze the different solutions used when translating cultural references. The source text is an extract from The Omnivore’s Dilemma. A Natural History of Four Meals (2006), written by Michael Pollan, and the material that this study is based on is taken from that text, as well as from my translation of that extract. The theme of the book is American food culture from various perspectives, which results in a culturally specific text. The cultural references in this study regard phenomena such as food-related items, geographical places and names, etc. In the translation of these cultural references, I used a combination of methods. The strategies used were Ingo’s complementary addition, Vinay and Darbelnet’s equivalence and adaptation, as well as Newmark’s transference. The analysis of the translation showed that the most used strategy was transference, which was expected considering that the purpose of the text is to present American food culture and the ambition and aim of the translation was to keep as many cultural references as possible in the target text. One conclusion that could be drawn from the study was that the purpose of the text and the intended TT reader are main factors when deciding how to translate cultural references.

No description available.

This thesis is a study of Benito Jeronimo Feijoo y Montenegro's Teatro Critico Universal and includes a look at the major, minor, lesser, and miscellaneous French references in this work.

京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第22580号 / 情博第717号 / 新制||情||123(附属図書館) / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授 吉川 正俊, 教授 黒橋 禎夫, 教授 田島 敬史, 教授 田中 克己(京都大学 名誉教授) / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Le sujet de cette thèse est l’étude de l’encodage des références et de la concurrence dans la Logique Linéaire. Notre motivation est de montrer que la Logique Linéaire est capable d’encoder des effets de bords, et pourrait ainsi servir comme une cible de compilation pour des langages fonctionnels qui soit à la fois viable, formalisée et largement étudiée. La notion clé développée dans cette thèse est celle de zone de routage. C’est une famille de réseaux de preuve qui correspond à un fragment de la logique linéaire différentielle, et permet d’implémenter différentes primitives de communication. Nous les définissons et étudions leur théorie. Nous illustrons ensuite leur expressivité en traduisant un λ-calcul avec concurrence, références et réplication dans un fragment des réseaux différentiels. Pour ce faire, nous introduisons un langage semblable au λ-calcul concurrent d’Amadio, mais avec des substitutions explicites à la fois pour les variables et pour les références. Nous munissons ce langage d’un système de types et d’effets, et prouvons la normalisation forte des termes bien typés avec une technique qui combine la réductibilité et une nouvelle technique interactive. Ce langage nous permet de prouver un théorème de simulation, et un théorème d’adéquation pour la traduction proposée. / The topic of this thesis is the study of the encoding of references andconcurrency in Linear Logic. Our perspective is to demonstrate the capabilityof Linear Logic to encode side-effects to make it a viable, formalized and wellstudied compilation target for functional languages in the future. The keynotion we develop is that of routing areas: a family of proof nets whichcorrespond to a fragment of differential linear logic and which implementscommunication primitives. We develop routing areas as a parametrizable deviceand study their theory. We then illustrate their expressivity by translating aconcurrent λ-calculus featuring concurrency, references and replication to afragment of differential nets. To this purpose, we introduce a language akin toAmadio’s concurrent λ-calculus, but with explicit substitutions for bothvariables and references. We endow this language with a type and effect systemand we prove termination of well-typed terms by a mix of reducibility and anew interactive technique. This intermediate language allows us to prove asimulation and an adequacy theorem for the translation

The Novelletten of Robert Schumann stand out as unusual among his works for solo piano. It is the largest cycle of character pieces in his output and has other distinguishing features. One unusual aspect of the work is its abundance of literary references which Schumann revealed at various points when it was being composed. This is an aspect unique to this cycle since Schumann's other cycles refer to a single literary source. One of the purposes of this paper is to discuss these numerous literary references which have never been examined in any detail before. Present in the Novelletten is a use of musical motives from works of his wife Clara. There are also musical references to other composers such as Beethoven and Haydn. This quoting of himself and others is not an uncommon practice for Schumann but here, in context with remarks made by Schumann himself about the work, the nature of his use of these musical references becomes more transparent. One of the main points being made through this discussion of literary and musical references in the Novelletten is that partly through these elements the work is unified into an eight movement cycle.

This thesis project has been an investigation of the summer house phenomena, both from an historical point of view - the background and history of summer houses - looking at the emergence of the culture, their architectural programmatic experience, how they’ve change over time, as well as looking into specific reference projects, both for inspiration and clarity - some older houses, and others that are more modern. In addition to the research, and as the main part of the thesis project I have aimed to design a new small summer house of my own, to be placed on the small island in Mälaren where my family's current house is situated and where I have grown up, by using the knowledge I’ve gathered and the inspiration I have come across in order to create a project different from the one that is there today.

Vale is a multi-purpose programming language that focuses on guaranteeing memory safety with minimal effect on performance. To accomplish this, Vale utilizes a memory management system called Hybrid Generational Memory (HGM). HGM uses generational references to track the state of objects in memory, and static analysis to reduce memory management overhead at runtime. This thesis describes the program that performs static analysis on Vale source code during compilation, and analyzes its effect on the performance of Vale programs.