Diese Arbeit untersucht, inwiefern Visual Analytics die Analyse von Prozessen in geowissenschaftlichen raum-zeitlichen Daten unterstützen kann. Hierzu wurden drei neuartige Visual Analytics Ansätze entwickelt. Jeder Ansatz addressiert eine wichtige Analyseperspektive. Der erste Ansatz erlaubt es, wichtige räumliche Zustände in den Daten sowie deren auftreten in der Zeit zu untersuchen. Mittels hierarchischem Clustering werden alle in den Daten enthaltenen räumlichen Zustände in einer Clusterhierarchie verortet. Interaktive visuelle Analyse ermöglicht es, verschiedene räumliche Zustände aus den Daten zu extrahieren und die dazugehörigen raum-zeitlichen Muster zu interpretieren und zu bewerten. Der zweite Ansatz unterstützt die systematische Analyse des in den Daten zu beobachtenden zeitlichen Verhaltens sowie dessen Auftreten im geographischen Raum mittels einer Kombination aus Cluster Ensembles und interaktiver visueller Exploration. Der dritte Ansatz gestattet die Detektion und Analyse von zeitlichen Zusammenhängen in den Daten. Hierzu wurde eine etablierte Methode zur Analyse von zeitlichen Zusammenhängen zwischen zwei einzelnen Zeitreihen, gefensterte Kreuzkorrelation, durch Visual Analytics auf den Vergleich von Zeitreihenensembles erweitert. Dadurch ist es nicht nur möglich, Zusammenhänge zwischen Zeitreihen zu untersuchen, sondern auch Unsicherheiten in den Daten zu berücksichtigen. Alle Ansätze wurden anhand einer nutzer- und aufgabenorientierten Methodik entwickelt und erfolgreich in Anwendungsfällen aus der Erdsystem-Modellierung, der Ozeanmodellierung, der Paläoklimatologie und sogar den Kognitionswissenschaften eingesetzt. Diese Dissertation zeigt, dass Visual Analytics einen wertvollen Ansatz zur Analyse von Prozess-bezogenen Mustern in raum-zeitlichen Daten darstellt. Es kann die Grenzen existierender Analysemethoden erweitern und ermöglicht Geowissenschaftlern neue, aufschlussreiche Sichtweisen auf Daten und die darin beschriebenen Prozesse. / This thesis studied how visual analytics can facilitate the analysis of processes in geoscientific spatiotemporal data. Three novel visual analytics solutions were developed, each addressing an important analysis perspective. The first solution addresses the analysis of prominent spatial situations in the data and their occurrence over time. Hierarchical clustering is used to arrange all spatial situations in the data in a hierarchy of clusters. The combination with interactive visual analysis enables geoscientists to explore and alter the resulting hierarchy, to extract different sets of representative spatial situations, and to interpret and assess the corresponding spatiotemporal patterns. The second solution supports geoscientists in the analysis of prominent types of temporal behavior and their location in geographic space. Cluster ensembles are integrated with interactive visual exploration to enable users to systematically detect and interpret various types of temporal behavior in different data sets and to use this information for assessment of simulation model output. The third solution enables geoscientists to detect and analyze interrelations of temporal behavior in the data. Windowed cross-correlation, a technique for comparison of two individual time series, was extended to the comparison of entire ensembles of time series through visual analytics. This not only allows scientists to study interrelations, but also to assess how much these interrelations vary between two ensembles. All visual analytics solutions were developed following a rigorous user- and task-centered methodology and successfully applied to use cases in Earth system modeling, ocean modeling, paleoclimatology, and even cognitive science. The results of this thesis demonstrate that visual analytics successfully addresses important analysis perspectives and that it is a valuable approach to the analysis of process-related patterns in geoscientific spatiotemporal data.

The share of corporate saving in total saving in South Africa has increased during the past four decades. In this dissertation various economic theories are examined in order to try to explain this change and to determine the possible implications of this change. The conclusion is that the relationship between the investment decision of companies and their savings decision is governed by the determinants of the financing choice of firms. These include cost, risk, control and availability. If, because of these factors, firms prefer to finance investment with retained earnings, there is a relationship between investment and the level of corporate saving. The degree to which the investment decision is dependent on the availability of internal financing will determine the importance of the level of corporate saving in a country. / Oor die afgelope vier dekades het die aandeel van maatskapybesparing in die totale besparing in Suid-Afika toegeneem. In hiersie vehandeling word veskillende ekonomiese teoriee ondersoek ten einde hierdie verandering te probeer veklaar en te probeer vasstel wat die implikasies van hierdie veandering is. Die gevolgtrekking waartoe gekom word, is dat die verband tussen die investeringsbeleid en die maatskappye se besparingsbesluit bepaal word deur faktore wat die finansieringskeuse van die firmas beinvloed, naamlik koste, risiko, beheer en beskikbaarheid. Indien hierdie faktore daartoe lei dat die maatskapye verkies om investering met terruggehoue bespaaring the finansier, is daar 'n verband tussen investering en die vlak van maatskappybesparing. Die mate waarin die investeringsbesluit afhanklik is van die beskikbaarheid van interne finansiering, sal bepaal hoe belangrik die vlak van maatskappybesparing in 'n land is. / Economics and Management Sciences / M.Com.

Submitted by Mariana Dornelles Vargas (marianadv) on 2015-04-14T13:36:39Z No. of bitstreams: 1 hermeneutica_filosofica.pdf: 886897 bytes, checksum: 60f224d81e101abbedf2d450f59badb6 (MD5) / Made available in DSpace on 2015-04-14T13:36:39Z (GMT). No. of bitstreams: 1 hermeneutica_filosofica.pdf: 886897 bytes, checksum: 60f224d81e101abbedf2d450f59badb6 (MD5) Previous issue date: 2011-07-07 / Nenhuma / O presente estudo analisa as condições de possibilidade da hermenêutica filosófica para o controle da estandardização do direito e uma solução possível para as súmulas (comuns e vinculantes), repercussão geral e recursos repetitivos. Para tanto, investiga, num primeiro momento, o próprio constituir da estandardização do direito, sendo apontadas, nesse sentido, evidências, contingências e sintomas desse fenômeno, que tem o seu desvelar consubstanciado no precedente como ideal de um mundo jurídico homogeneizado. Em seguida, no segundo capítulo, aponta constatações e superações que se fazem necessárias em face do condicionamento discursivo decorrente dos significantes. Nesse aspecto, promove análise das súmulas, repercussão geral e recursos repetitivos, com o escopo de identificar para que e a quem servem esses mecanismos, e, ainda, se são eles elementos de estandardização e bloqueio de acesso à justiça, ou soluções razoáveis/possíveis para desafogar o sistema jurídico brasileiro, bem como analisa o controle social exercido pelo STF e STJ sob a perspectiva do componente ideológico dos significantes. Desata, também, reflexão acerca da necessidade da superação do mito do dado como condição de possibilidade para a (re)introdução da faticidade no mundo jurídico, bem como promove investigação em relação à primazia do discurso do Outro no sentido comum teórico, sua correlação com o paradigma vigente, sua gênese e, ainda, destaca o que é preciso mudar em face desse fenômeno. Na última parte do trabalho, a partir da justificação do porquê da adoção da hermenêutica filosófica, da explicitação do papel desvelador da fenomenologia hermenêutica e da importância da salvaguarda da pré-compreensão, tradição, coerência e integridade, sugere, como condição de possibilidade para o controle da estandardização do direito e o resgate hermenêutico das súmulas, repercussão geral e recursos repetitivos, a aplicação da teoria construída por Lenio Luiz Streck, que tem como pressupostos o mínimo é e o grau de objetivação abrangente. / This study examines the conditions of the philosophical hermeneutic possibility for the control of the standardization of Law and a possible solution to the summaries (common and binding), general repercussion and recurrent appeal. For such, it investigates, firstly, the very form of standardization of Law, pointing out in that sense, evidences, contingencies and symptoms of this phenomenon, which has its uncovering, consubstantiate in the previous ideal of a homogenized legal world. Following, the second chapter points to findings and conclusions that are necessary in the face of the discursive conditioning resulting from the significants. In this respect, it promotes the analysis of summaries, general repercussion and recurrent appeal with the aim to identify to what and to whom those mechanisms serve, and if they are elements of standardization and prevention of access to justice, or reasonable /possible solutions to help the Brazilian legal system to flow more smoothly, it analyzes the social control exercised by the STF and STJ from the perspective of the ideological component of the significants. It also unties a reflection on the necessity of overcoming the myth of the given as a condition of possibility for the (re) introduction of the instance in the legal world, and it promotes an investigation in relation to the primacy of the discourse of the Other in the theorist common sense, its correlation with the current paradigm, its genesis, and it also highlights the need for change in the face of this phenomenon. In the final section of the work, from the justification of reason for the adoption of philosophical hermeneutics, the explicit role of the uncovering of the hermeneutic phenomenology and the importance of safeguarding the pre-understanding, tradition, consistency and integrity, it is suggested, as a condition of possibility for the control and standardization of the Law and the of hermeneutical redemption of the summaries, general repercussion and recurrent appeal, the application of the theory built by Lenio Luiz Streck, whose assumptions is minimum is and degree of objectification comprehensive.

The share of corporate saving in total saving in South Africa has increased during the past four decades. In this dissertation various economic theories are examined in order to try to explain this change and to determine the possible implications of this change. The conclusion is that the relationship between the investment decision of companies and their savings decision is governed by the determinants of the financing choice of firms. These include cost, risk, control and availability. If, because of these factors, firms prefer to finance investment with retained earnings, there is a relationship between investment and the level of corporate saving. The degree to which the investment decision is dependent on the availability of internal financing will determine the importance of the level of corporate saving in a country. / Oor die afgelope vier dekades het die aandeel van maatskapybesparing in die totale besparing in Suid-Afika toegeneem. In hiersie vehandeling word veskillende ekonomiese teoriee ondersoek ten einde hierdie verandering te probeer veklaar en te probeer vasstel wat die implikasies van hierdie veandering is. Die gevolgtrekking waartoe gekom word, is dat die verband tussen die investeringsbeleid en die maatskappye se besparingsbesluit bepaal word deur faktore wat die finansieringskeuse van die firmas beinvloed, naamlik koste, risiko, beheer en beskikbaarheid. Indien hierdie faktore daartoe lei dat die maatskapye verkies om investering met terruggehoue bespaaring the finansier, is daar 'n verband tussen investering en die vlak van maatskappybesparing. Die mate waarin die investeringsbesluit afhanklik is van die beskikbaarheid van interne finansiering, sal bepaal hoe belangrik die vlak van maatskappybesparing in 'n land is. / Economics and Management Sciences / M.Com.

Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.

Made available in DSpace on 2016-04-28T18:22:24Z (GMT). No. of bitstreams: 1 Leticia Reina Goncalves.pdf: 1189558 bytes, checksum: 49f4be0d2c3b4b5fdb386675ff878be1 (MD5) Previous issue date: 2011-10-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation aims to develop a collaborative-critical work with a teacher of Science in order to understand and to transform the work with production of written summaries of expository texts which were read by the students. Specifically, this research aims to understand critically the meanings brought by the participants and how they share new meanings on the summary of expository texts as a tool for teaching-learning in Science classes. The research is organized through two socialhistorical activities (Reflexive Session and Class) that are related, in part, by the object summary production and the participants researcher and teacher , that enable the learning concepts to be understood, questioned and shared, like a creative chain (Liberali, 2011) and that contextualize the critical formation for the research participants. It is supported by Social-Historical-Cultural Activity Theory (TASHC), which conceives the man's work activity as a way for transforming society and the man himself. It s also supported by Bakhtin/Volochinov s discussions about the ways the subject is constituted as a social being, inserted in a particular context of communication and implicated in oral and written productions, in these specific situations. The discussions through TASCH provide an understanding of contexts of teacher formation in which the language enables the construction of ZPDs (Zones of Proximal Development) for the participants understanding and sharing of meanings. The contributions given by Dolz & Schneuwly (2004) will assist in understanding language organization in social practices with the genre summary , as a tool of teaching-learning in reading and writing texts. The Collaborative Critical Research, as discussed by Magalhães (2007; 2009; 2010) e Magalhães & Oliveira (2011) supports the methodological choices in close relationship within the theoretical base and the research contents. The analyzed data were produced during Reflexive Sessions with a teacher of Natural Science and through observing some of her classes. The results show the complexity of the collaborative-critical work and the transformation in some concepts on written production of summaries as an instrument of teaching-learning Science / Esta dissertação tem como objetivo geral desenvolver um trabalho colaborativo-crítico com uma professora de Ciências para compreensão e transformação do trabalho com produção de resumos de textos expositivos lidos pelos alunos. Mais especificamente, é objetivo desta pesquisa compreender criticamente os sentidos das participantes e o compartilhamento de significados sobre resumo de textos expositivos como instrumento de ensino-aprendizagem em aulas de Ciências. A pesquisa está organizada por meio de duas Atividades sócio-histórico-culturais (Sessão Reflexiva e Aula) relacionadas, parcialmente, pelo objeto produção de resumo , e pelos participantes pesquisadora e professora , o que possibilita que os conceitos trabalhados sejam compreendidos, questionados e compartilhados, como uma cadeia criativa (Liberali, 2011) e contextualizem a formação crítica das participantes da pesquisa. Está apoiada na Teoria da Atividade Sócio-Histórico-Cultural, que concebe a atividade de trabalho do homem como transformadora da sociedade e do próprio homem. E ainda, nas discussões de Bakhtin/Volochinov (1929) sobre os modos como o sujeito se constitui como um ser social, inserido em um contexto particular de comunicação e implicado em produções orais e escritas, nessas situações específicas. As discussões da TASCH proporcionam a compreensão de contextos de formação em que a linguagem possibilita a construção de ZDPs para a compreensão dos sentidos das participantes e do compartilhamento de significados. As contribuições de Schneuwly & Dolz (2004) auxiliarão na compreensão das organizações da linguagem nas práticas sociais com o gênero resumo, como instrumento de ensino-aprendizagem na leitura e escrita de textos. A Pesquisa Crítica de Colaboração, como discutida por Magalhães (2007; 2009; 2010) e Magalhães & Oliveira (2011) embasa as escolhas metodológicas em estreita relação com a teoria de base e o conteúdo da pesquisa. Os dados analisados foram produzidos em Sessões Reflexivas com a professora de Ciências Naturais e em observações da sala de aula. Os resultados apontam para a complexidade do trabalho colaborativo-crítico e para a transformação de alguns conceitos sobre a produção escrita de resumos como instrumento de ensino-aprendizagem em Ciências

Cieľom tejto práce je návrh analýzy tvaru haldy vhodnej pre potreby analyzátora 2LS. 2LS je nástroj pre analýzu C programov založený na automatickom odvodzovaní invariantov s použitím SMT solvera. Navrhované riešenie obsahuje spôsob reprezentácie tvaru programovej haldy pomocou logických formulí nad teóriou bitových vektorov. Tie sú následne využité v SMT solveri pre predikátovú logiku prvého rádu na odvodenie invariantov cyklov a súhrnov jednotlivých funkcií analyzovaného programu. Náš prístup je založený na ukazateľových prístupových cestách, ktoré vyjadrujú dosiahnuteľnosť objektov na halde z ukazateľových premenných. Informácie získané z analýzy môžu byť využité na dokázanie rôznych vlastností programu súvisiacich s prácou s dynamickýcmi dátovými štruktúrami. Riešenie bolo implementované v rámci nástroja 2LS. S jeho použitím došlo k výraznému zlepšeniu schopnosti 2LS analyzovať programy pracujúce s ukazateľmi a dynamickými dátovými štruktúrami. Toto je demonštrované na sade experimentov prevzatých zo známej medzinárodnej súťaže vo verifikácii programov SV-COMP a iných experimentoch.