This dissertation analyzes art in Mozambique during the country’s transition from Marxist-Leninism to a multi-party democracy (1984-1994). The end of the socialist regime elicited diverse responses from Mozambican artists and art institutions, all of which tried to reconsider the recent radical past to suit the new political conditions of liberalization at the end of the Cold War. Part I of the dissertation focuses on the 1980s rehabilitation of artist Malangatana Valente Ngwenya, one of the first and most important figures in African modernism. Malangatana’s image as a national artist will be discussed alongside the emergence of the collective of art critics known as Rhandzarte, and the reconsideration of the state’s narrative of national unity. Part II looks at the artist Naguib Elias Abdula as an example of the move away from state patronage towards reliance on the private sector. Following the wide changes in its artistic values, Mozambique was the first African country to create an institution to foster corporate collecting in a state-owned initiative known as Horizon Art Diffusion. Part III will focus on the rise of abstraction in the late 1980s and early 1990s. While figurative works of art had been the norm since independence, the increased visibility of abstraction at the end of socialism shook the foundations of the country’s aesthetics. On the one hand, some abstract works can be seen as radical interrogations of what had constituted Mozambican art until then. On the other hand, much of the momentum of abstraction was a product of the Ujamaa workshops, which were modelled on the Triangle Art Foundation. In its significantly different political and aesthetic reverberations, Mozambican abstraction appeared as a definite break from the socialist past.

The topics explored in this project present and interesting picture of close connections between algebra and geometry. Given a specific system of polynomial equations we show how to construct a Groebner basis using Buchbergers Algorithm. Gröbner bases have very nice properties, e.g. they do give a unique remainder in the division algorithm. We use these bases to solve systems of polynomial quations in several variables and to determine whether a function lies in the ideal.

Inger Ekdahl was a female painter at the center of Swedish Abstract Expressionism in the fifties. This essay investigates how her art was received in Stockholm and Paris. We conclude that although her type of art dominated the avant-garde in Paris during the late fifties, she was too early for the Swedish avant-garde and did not amass enough support to transform it. The analysis used Actor-Network Theory following Latour.

Cette thèse explore l'usage des Grammaires Categorielles Abstraites (CGA) pour la Génération Automatique de Texte (GAT) dans un contexte industriel. Les systèmes GAT basés sur des théories linguistiques ont un long historique, cependant ils sont relativement peu utilisés en industrie, qui préfère les approches plus "pragmatiques", le plus souvent pour des raisons de simplicité et de performance. Cette étude montre que les avancées récentes en linguistique computationnelle permettent de concilier le besoin de rigueur théorique avec le besoin de performance, en utilisant CGA pour construire les principaux modules d'un système GAT de qualité industrielle ayant des performances comparables aux méthodes habituellement utilisées en industrie. / This thesis explores the usage of Abstract Categorial Grammars (ACG) for Natural Language Generation (NLG) in an industrial context. While NLG system based on linguistic theories have a long history, they are not prominent in industry, which, for the sake of simplicity and efficiency, usually prefer more ``pragmatic" methods. This study shows that recent advances in computational linguistics allow to conciliate the requirements of soundness and efficiency, by using ACG to build the main elements of a production grade NLG framework (document planner and microplanner), with performance comparable to existing, less advanced methods used in industry

Cette thèse est une contribution à la spécification et à la vérification formelles des allocateurs de mémoire dynamiques séquentiels (SDMA, en abrégé), qui sont des composants clés des systèmes d'exploitation ou de certaines bibliothèques logiciel. Les SDMA gèrent la partie tas de la mémoire des processus. Leurs implémentations utilisent à la fois des structures de données complexes et des opérations de bas niveau. Cette thèse se concentre sur les SDMA qui utilisent des structures de données de type liste pour gérer les blocs du tas disponibles pour l'allocation (SDMA à liste).La première partie de la thèse montre comment obtenir des spécifications formelles de SDMA à liste en utilisant une approche basée sur le raffinement. La thèse définit une hiérarchie de modèles classés par la relation de raffinement qui capture une grande variété de techniques et de politiques employées par le implémentations réelles de SDMA. Cette hiérarchie forme une théorie algorithmique pour les SDMA à liste et pourrait être étendue avec d'autres politiques. Les spécifications formelles sont écrites en Event-B et les raffinements ont été prouvés en utilisant la plateforme Rodin. La thèse étudie diverses applications des spécifications formelles obtenues: le test basé sur des modèles, la génération de code et la vérification.La deuxième partie de la thèse définit une technique de vérification basée sur l'interprétation abstraite. Cette technique peut inférer des invariants précis des implémentations existantes de SDMA. Pour cela, la thèse définit un domaine abstrait dont les valeurs representent des ensembles d'états du SDMA. Le domaine abstrait est basé sur un fragment de la logique de séparation, appelé SLMA. Ce fragment capture les propriétés liées à la forme et au contenu des structures de données utilisées par le SDMA pour gérer le tas. Le domaine abstrait est défini comme un produit spécifique d'un domaine abstrait pour graphes du tas avec un domaine abstrait pour des sequences finies d'adresses mémoire. Pour obtenir des valueurs abstraites compactes, la thèse propose une organisation hiérarchique des valeurs abstraites: un premier niveau abstrait la liste de tous les blocs mémoire, alors qu'un second niveau ne sélectionne que les blocs disponibles pour l’allocation. La thèse définit les transformateurs des valeurs abstraites qui capturent la sémantique des instructions utilisées dans les implémentations des SDMA. Un prototype d'implémentation de ce domaine abstrait a été utilisé pour analyser des implémentations simples de SDMA. / The first part of the thesis demonstrates how to obtain formal specifications of free-list SDMA using a refinement-based approach. The thesis defines a hierarchy of models ranked by the refinement relation that capture a large variety of techniques and policies employed by real-work SDMA. This hierarchy forms an algorithm theory for the free-list SDMA and could be extended with other policies. The formal specifications are written in Event-B and the refinements have been proved using the Rodin platform. The thesis investigates applications of the formal specifications obtained, such as model-based testing, code generation and verification.The second part of the thesis defines a technique for inferring precise invariants of existing implementations of SDMA based abstract interpretation. For this, the thesis defines an abstract domain representing sets of states of the SDMA. The abstract domain is based on a fragment of Separation Logic, called SLMA. This fragment captures properties related with the shape and the content of data structures used by the SDMA to manage the heap. The abstract domain is defined as a specific product of an abstract domain for heap shapes with an abstract domain for finite arrays of locations. To obtain compact elements of this abstract domain, the thesis proposes an hierarchical organisation of the abstract values: a first level abstracts the list of all chunks while a second level selects only the chunks available for allocation. The thesis defines transformers of the abstract values that soundly capture the semantics of statements used in SDMA implementations. A prototype implementation of this abstract domain has been used to analyse simple implementations of SDMA

<p>Visualizing multidimensional spatial data is an essential visual analysis strategy, it helps us interpret and communicate how different variables correlate to geographical information. In this study, we proposed an abstract contextual visualization that encodes data on the boundaries of spatial distributions and developed a new algorithm, AuroraMap. AuroraMap projects the spatial data to the boundaries of the distributions and color-encodes the densities continuously. We further conducted the user experiments, and the results show users can detect the relative locations and scopes of the clusters. Furthermore, users can quantitatively determine the peak value of each cluster’s density. The method provides three contributions: (1) freeing up and saving the graphical visualization space; (2) assisting the users to quantitatively estimate the clusters inside distributions; (3) facilitating the visual comparisons for multiple and multivariate spatial distributions. In the end, we demonstrated two applications with real-world religious infrastructural data by AuroraMap to visualize geospatial data within complex boundaries and compare multiple variables in one graph.</p><p> </p>

De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM of all De Morgan monoids models the relevance logic Rt (so-named because it blocks the derivation of true conclusions from irrelevant premises). The so-called subvarieties and subquasivarieties of DMM model the strengthenings of Rt by new logical axioms, or new inference rules, respectively. Meta-logical problems concerning these stronger systems amount to structural problems about (classes of) De Morgan monoids, and the methods of universal algebra can be exploited to solve them. Until now, this strategy was under-developed in the case of Rt and DMM. The thesis contributes in several ways to the filling of this gap. First, a new structure theorem for irreducible De Morgan monoids is proved; it leads to representation theorems for the algebras in several interesting subvarieties of DMM. These in turn help us to analyse the lower part of the lattice of all subvarieties of DMM. This lattice has four atoms, i.e., DMM has just four minimal subvarieties. We describe in detail the second layer of this lattice, i.e., the covers of the four atoms. Within certain subvarieties of DMM, our description amounts to an explicit list of all the covers. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. Thereafter, we use these insights to identify strengthenings of Rt with certain desirable meta-logical features. In each case, we work with the algebraic counterpart of a meta-logical property. For example, we identify precisely the varieties of De Morgan monoids having the joint embedding property (any two nontrivial members both embed into some third member), and we establish convenient sufficient conditions for epimorphisms to be surjective in a subvariety of DMM. The joint embedding property means that the corresponding logic is determined by a single set of truth tables. Epimorphisms are related to 'implicit definitions'. (For instance, in a ring, the multiplicative inverse of an element is implicitly defined, because it is either uniquely determined or non-existent.) The logical meaning of epimorphism-surjectivity is, roughly speaking, that suitable implicit definitions can be made explicit in the corresponding logical syntax. / Thesis (PhD)--University of Pretoria, 2020. / DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS) / Mathematics and Applied Mathematics / PhD / Unrestricted

I examine the effect of television viewing and ideological orientations associated with “modern” racism such as minimization of the impact of racial discrimination and individual attribution on opposition toward preferential hiring of Blacks. Using cross-sectional General Social Survey (GSS) responses from U.S. adults between 2004 and 2010, I estimate ordered logistic regression models predicting attitudes toward preferential hiring of Blacks. Additionally, I compare agreement with key tenets of abstract liberalism to the findings of previous policy reasoning studies to determine the importance of these attitudes in predicting support for affirmative action policy. In this study, I aim to address the potential real-world implications of television exposure and abstract liberalism in influencing minority group incorporation, acceptance, and societal integration.

This Master's deals with the implementation of the interpreter of logic programming language "Prolog". It summarises the different approaches to evaluation of programs in thislanguage with focus on description of The Warren Abstract Machine. A new way of integratingProlog into The Microsoft .NET platform has been designed as well as its connectionwith object-oriented languages. Subsequently, an interpreter and a compiler based on TheWarren Abstract Machine have been designed and implemented including the connectionto The Microsoft.NET platform.

In my diploma thesis I want to deal with another topic which is very interesting and important for me and that is organ and organ music in general and everything that belongs to them. From history, production, maintenance to play itself. In most of my previous works, not only at college but also earlier, fragments of this instrument appear in my paintings (mainly whistles, which are actually the most visible and their size determines the size of whole organs and is their precept) even though I have devoted myself on another topic, these fragments I had some need to plant there.  Organs are referred to as the royal instrument, they are the largest and mechanically the most complicated musical instrument. That is the complexity I would like to express in my pictures, I do not mean the complexity of the organ for the technical, construction, but especially the complexity of playing. The need for the right combinations of different registers with differently colored tones and tools. Swap pedal handbooks, etc. This is all about fascination for me.  In this diploma thesis I want to use the themes that appeared on the surface often as secondary or I did not put such emphasis or were the main topic for example only one semester, but in fact I continued to work with them subconsciously in the same way, Layers, Recycling, Reaction to Substrates, etc. It could be said that such organ compositions are such layers as Bach's or any fugues that are gradually being added, layers of new and new tones often result in the the full extent that the organ is able to administer.  The layer I used to work with before, and actually always appears in my works, has actually become an integral part of my paintings. I want to express the complexity of the organ compositions in my paintings, as I do. Not only by layering, but also by using different techniques, not just acrylic. I also used this in my previous work, and examined how they work with each other. I have responded to differently produced backgrounds.  Organ music can be considered complicated because all we hear is produced by one person. Who must play and cater everything else that is associated with it, except perhaps the bells pedaling.  This series of images will not, in the end, express myself visually, at first sight nothing concrete, over time I have come to a pretty abstract image. I do not mean to say that organ music is abstract, especially if I talk about Baroque or Classicism. Maybe in romanticism, for example, F. Liszt and his organ compositions are so complex and terribly crazy that I might consider them quite abstract. But just the organ music of Liszt, which I admire most, I think it is not possible to express it in abstract form. It's a mad, complicated tangle of different, tones, colors, games with registers, blinds, and so on, and I want to express it all on the canvas.