This thesis Models of Lobachevskij's geometry and the possibilities of their use at secondary school focuses on one kind of non-Euclidean geometries, the Bolyai - Lobachevskij's geometry. The first chapter describes the history of non-Euclidean geometry, shows difficulties of understanding of one publication dedicated to these problems by current students of secondary schools and shows some chosen methods in the didactics of mathematics, especialy the constructivist method. The second chapter is dedicated to elemental concepts of projective geometry, Bolyai - Lobachevskij's geometry and it shows its basic models. It further analyses the specific features of this kind of geometry in Beltrami - Klein's model, especially mutual positions of straight lines. This theses further contains a set of gradual tasks. The third chapter is dedicated to the description of a didactical experiment. In this experiment were students of secondary school acquainted with this theory and tasks, which they solved. Student's solution were writen down and than analysed in the constructivist methodology term in the didactics of mathematics.

Esta tese apresenta uma análise qualitativa da tradução de marcadores culturais referenciais (extra-lingüísticos) e estilísticos (convenções lingüísticas) em dois corpora paralelos de documentos da área de direito privado, um com originais em português brasileiro e traduções em inglês e o outro com originais em inglês e traduções em português brasileiro. Os corpora não contêm traduções de aprendizes. Dividiu-se os marcadores em categorias temáticas para identificar tendências de abordagem. As análises incluíram classificação das soluções tradutórias através das modalidades de Aubert (2005), com modificações, e graus de aproximação do receptor ao texto original. Dois corpora comparáveis em inglês e português também foram coletados e utilizados para servir como uma referência para questões estilísticas / This dissertation is a qualitative analysis of the translation of referential (extra-linguistic) and stylistic cultural markers in two parallel corpora containing documents from the area of private law, one with originals in Brazilian Portuguese and translations in English and the other with originals in English and translations in Brazilian Portuguese. The corpora contain translations performed by professionals, not students of translation. The cultural markers were categorized thematically to allow identification of translation strategy trends. The analyses included classification of translation solutions using the modalities of Aubert (2005), with modifications, and degrees of approximation between the receptor and the original text. Two comparable corpora in English and Brazilian Portuguese were also compiled and used as a reference for stylistic questions

Esta tese apresenta uma análise qualitativa da tradução de marcadores culturais referenciais (extra-lingüísticos) e estilísticos (convenções lingüísticas) em dois corpora paralelos de documentos da área de direito privado, um com originais em português brasileiro e traduções em inglês e o outro com originais em inglês e traduções em português brasileiro. Os corpora não contêm traduções de aprendizes. Dividiu-se os marcadores em categorias temáticas para identificar tendências de abordagem. As análises incluíram classificação das soluções tradutórias através das modalidades de Aubert (2005), com modificações, e graus de aproximação do receptor ao texto original. Dois corpora comparáveis em inglês e português também foram coletados e utilizados para servir como uma referência para questões estilísticas / This dissertation is a qualitative analysis of the translation of referential (extra-linguistic) and stylistic cultural markers in two parallel corpora containing documents from the area of private law, one with originals in Brazilian Portuguese and translations in English and the other with originals in English and translations in Brazilian Portuguese. The corpora contain translations performed by professionals, not students of translation. The cultural markers were categorized thematically to allow identification of translation strategy trends. The analyses included classification of translation solutions using the modalities of Aubert (2005), with modifications, and degrees of approximation between the receptor and the original text. Two comparable corpora in English and Brazilian Portuguese were also compiled and used as a reference for stylistic questions

Indian Parallel Cinema is the mixture of Contemporary, Experimental and Art Cinema of India and always consist of low budget. Indian Cinema had started with its first silent film "Raja Harishchandra" in 1912. Indian cinema is often defined as Bollywood or Masala Films of India, since it is also the popular form with its ritual of song, dances and over-the-top melodrama. However, the 60s and early 70s were time of experimentation in the format of storytelling and form in Indian Cinema. Indian Parallel Cinema is a specific genre of Indian cinema which is known for its serious content, realism and naturalism, which reflected social and politics topics during those times. Indian parallel cinema represents a change of direction or a break with the traditional Indian cinema.

Au milieu des années deux mille, le développement de microprocesseurs a atteint un point à partir duquel l'augmentation de la fréquence de fonctionnement et la complexification des micro-architectures devenaient moins efficaces en termes de consommation d'énergie, poussant ainsi la densité d'énergie au delà du raisonnable. Par conséquent, l'industrie a opté pour des architectures multi-cœurs intégrant plusieurs unités de calcul sur une même puce. Les sytèmes hautes performances d'aujourd'hui sont composés de centaines de cœurs et les systèmes futurs intègreront des milliers d'unités de calcul. Afin de fournir une bande passante mémoire suffisante dans ces systèmes, la mémoire vive est distribuée physiquement sur plusieurs contrôleurs mémoire avec un accès non-uniforme à la mémoire (NUMA). Des travaux de recherche récents ont identifié les modèles de programmation à base de tâches dépendantes à granularité fine comme une approche clé pour exploiter la puissance de calcul des architectures généralistes massivement parallèles. Toutefois, peu de recherches ont été conduites sur l'optimisation dynamique des programmes parallèles à base de tâches afin de réduire l'impact négatif sur les performances résultant de la non-uniformité des accès à la mémoire. L'objectif de cette thèse est de déterminer les enjeux et les opportunités concernant l'exploitation efficace de machines many-core NUMA par des applications à base de tâches et de proposer des mécanismes efficaces, portables et entièrement automatiques pour le placement de tâches et de données, améliorant la localité des accès à la mémoire ainsi que les performances. Les décisions de placement sont basées sur l'exploitation des informations sur les dépendances entre tâches disponibles dans les run-times de langages de programmation à base de tâches modernes. Les évaluations expérimentales réalisées reposent sur notre implémentation dans le run-time du langage OpenStream et un ensemble de benchmarks scientifiques hautes performances. Enfin, nous avons développé et implémenté Aftermath, un outil d'analyse et de débogage de performances pour des applications à base de tâches et leurs run-times. / Within the last decade, microprocessor development reached a point at which higher clock rates and more complex micro-architectures became less energy-efficient, such that power consumption and energy density were pushed beyond reasonable limits. As a consequence, the industry has shifted to more energy efficient multi-core designs, integrating multiple processing units (cores) on a single chip. The number of cores is expected to grow exponentially and future systems are expected to integrate thousands of processing units. In order to provide sufficient memory bandwidth in these systems, main memory is physically distributed over multiple memory controllers with non-uniform access to memory (NUMA). Past research has identified programming models based on fine-grained, dependent tasks as a key technique to unleash the parallel processing power of massively parallel general-purpose computing architectures. However, the execution of task-paralel programs on architectures with non-uniform memory access and the dynamic optimizations to mitigate NUMA effects have received only little interest. In this thesis, we explore the main factors on performance and data locality of task-parallel programs and propose a set of transparent, portable and fully automatic on-line mapping mechanisms for tasks to cores and data to memory controllers in order to improve data locality and performance. Placement decisions are based on information about point-to-point data dependences, readily available in the run-time systems of modern task-parallel programming frameworks. The experimental evaluation of these techniques is conducted on our implementation in the run-time of the OpenStream language and a set of high-performance scientific benchmarks. Finally, we designed and implemented Aftermath, a tool for performance analysis and debugging of task-parallel applications and run-times.

This thesis is dealing with Villanovan and Etruscan fibulae, their typology, chronology and location within the tombs of necropolises of Veii. The aim of this thesis is to point to the occurance of fibulae in different time horizonts, to show their development and to compare the necropolises of Veii with other specific locations in Italy. The thesis focuses on evaluation of development and relations of the components of funerary equipments, localy and outside the area of Veii as well. Based on the data collected it is possible to point out the similarities of the necropolises of Veii and to compare them with more distant locations in Italy. Key words: Veii, necropolis, fibulae, typology of fibulae, manufacture, funerary contexts, relations with paralel locations.

[pt] O Asset Liability Management (ALM) é uma ferramenta essencial para uma administração eficaz de bancos, seguradoras e fundos de pensão, principalmente no que diz respeito ao monitoramento e controle de riscos enfrentados por estas instituições. Dentre estes riscos, o de taxa de juros é uma das principais fontes de perda potencial para uma instituição financeira. Este trabalho tem como objetivo estudar formas de se controlar este tipo de risco. Para tal, será estudada a fundo a estratégia de imunização de carteiras. Esta estratégia consiste em montar uma carteira ótima de forma que a mesma seja imune a variações na taxa de juros, ou seja, independente das variações que ocorram nas taxas de juros, o valor da carteira não se altere. Dois modelos de imunização de carteiras de renda fixa propostos na literatura são estudados detalhadamente. Um utiliza a técnica de análise de componentes principais (ACP), imunizando a carteira na direção destes componentes. O outro modelo usa um método de minimização do risco estocástico. Em ambos, um exemplo ilustrativo é apresentado e uma aplicação prática é feita utilizando-se dados de um fundo de pensão no Brasil (este tipo de estratégia é de extremo interesse para fundos de pensão, que possuem longos fluxos de passivos e que desejam garantir que suas obrigações sejam sempre satisfeitas). Por fim, é feita uma análise dos resultados obtidos após a imunização. / [en] Asset Liability Management (ALM) is an important tool used in the administration of banks, insurance companies and pension funds, especially for monitoring and controlling the risk those institutions usually face. Among the various types of risk, the interest rate risk is one of the main sources of potential loss for a financial institution. This dissertation aims to study ways of controlling this type of risk. Thus, we will thoroughly study the strategy used for Asset Liability Management. This strategy consists in assembling an optimum portfolio in a way that it becomes unaffected by changes in the interest rates. A couple of immunization models for fixed rate portfolios are studied in detail. One of them employs the method of principal component analysis (PCA), immunizing the portfolio in the direction of those components. The other model minimizes the stochastic risk. In both of them, we present an example and use of the method in a Brazilian pension fund (this strategy is highly interesting to pension funds since they work with a long liability cash flow and want to certify their obligations will always be satisfied). Finally, we analyse the results obtained with the two methods.

The parallel active filter (PAF) is the modern solution for harmonic current mitigation and reactive power compensation of nonlinear loads. This thesis is dedicated to detailed analysis, design, control, and implementation of a PAF for a 3- phase 3-wire rectifier load. Specifically, the current regulator and switching ripple filter (SRF) are thoroughly investigated. A novel discrete time hysteresis current regulator with multi-rate current sampling and flexible PWM output, DHCR3, is proposed. DHCR3 exhibits a high bandwidth while limiting the maximum switching frequency for thermal stability and its implementation is simple. In addition to the development of DHCR3, in the thesis state of the art current regulation methods are considered and thoroughly compared with DHCR3. Since the current regulator type determines the SRF topology choice, various SRF topologies are considered and a thorough design study is conducted and SRF topology selection and parameter determination methods are presented via numerical examples. Through a PAF designed for a 10kW diode/thyristor rectifier load, the superior performance of DHCR3 is verified through simulations and experiments and via comparison to other current regulators. The sufficient switching ripple attenuation of the SRF structures for the designed PAF system and the overall performance of the designed and built PAF system are demonstrated via detailed computer simulations and laboratory experiments. This thesis aids the PAF current regulator and SRF selection, design, and implementation.

The present thesis is based on my experience as one of the contributors to The Large Academic Dictionary German-Czech. It attempts to discuss the role of word formation in German-Czech dictionaries in that it focuses on presentation of word formation in outer texts, macrostructural ordering procedures, treatment of word forming elements, special word formation parts of dictionary entries and possibilities of typography as a means word formation description in a bilingual dictionary. The approach taken is both contemplative and transformative. The thesis rests on the study of existing German-Czech dictionaries published mostly after 1945, partly between 1802 and 1945 as well. Concrete function-based proposals centred on the supposed target users of the LADGC are discussed here. A considerable part of the thesis deals with German derived nouns in Ge-...(-e) seen from a corpus linguistic view.