The encounter with the real and post-Soviet trauma : fantasy construction in Russian popular cinema /

This thesis examines the impact of the Soviet Union's collapse on the Russian Symbolic as represented through popular cinema of the post-Soviet period. The disintegration of the USSR in 1991 became one of the most traumatic experiences for many Russian people. The trauma of the collapse of the Soviet Union penetrated the everyday reality of the Russian Symbolic, leaving the traces-symptoms in different cultural fonns like literature, arts, television and cinema. Because popular culture usually reacts very quickly to any social, political and economical shifts in society, it is an excellent barometer for deeper changes in society. Focusing on postSoviet popular cinema, this thesis analyzes the symptoms of cultural and individual trauma occasioned by the momentous changes of the 1990's. This study is grounded in post-analytic theory of Jacques Lacan and its interpretation by Slavoj Zizek, which emphases the traumatic encounter with the Real as a "hard core" of our reality. According to this paradigm, a new chain of signifiers is structured around the traumatic breach in the Symbolic, initiating a process of fantasy construction to deal with consequences of trauma and, thus, to support our Symbolic order. This thesis examines three major fantasy constructions - drinking, traveling to a "happy land" and family reunion and money - in popular films by Alexander Rogozhkin, Yurij Mamin, Georgij Shengelia, Dmitrij Astrakhan, Valerij Todorovskij, Alexej Balabanov, Sergej Bodrov Jr. and Petr Buslov. According to Zizek, enjoyment underlies any fantasy constructions, and that is why after the intrusion of the Real every individual and culture should go through the process of fantasizing about some substitutes which can help to minimize the traumatic effect and which can lead to a partial enjoyment. By analyzing the fantasies about drinking, "happy land", reconstruction of the family bonds and money in Russian popular cinema since 1991, this thesis demonstrates how the traumatic engagement with the Real affected the everyday lives of Russian people, and how individuals tried to fill the gap, the lack, in the post-Soviet Symbolic and "return" the lost feeling of unity and plenitude.

Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems

Qualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.

Informing the structure of subjective well-being through examining changes in life satisfaction, positive affect, and negative affect

Subjective well-being (SWB) refers to how individuals evaluate and experience their lives in positive ways, and encompasses global judgments of life satisfaction (LS), as well as the frequency of positive and negative affect (PA and NA, respectively) in one’s life. To inform the current ambiguity concerning the structure of SWB, the aim of this Masters thesis was to evaluate the structure of SWB based on whether the three components of SWB change together or independently naturally, over time and following experimental manipulation. In Study 1, associations among changes in LS, PA, and NA were evaluated using a longitudinal approach tracking natural changes in the components over periods of three months and three years. Results indicated that change in one component was related to change in the other two components. In Study 2, an experimental design was used to manipulate each SWB component individually, and evaluate changes in all three components following each manipulation. Manipulation materials designed to target LS only were effective (i.e., led to heightened focus on LS, and not PA or NA) and created an increase in both LS and PA. Manipulation materials designed to target PA and NA only were not effective (i.e., led to heightened focus on the target component, as well as on LS). Furthermore, in both studies the strength of an individual’s SWB (assessed in terms of structural consistency and structural ambivalence in Study 1 and Study 2, along with subjective ambivalence in Study 2) did not consistently moderate the degree to which changes in the components were associated with one another. Together, these findings indicate that the structure of SWB may be complex and dynamic, rather than static. Alternatively, the components of SWB may not be easily manipulated in isolation of one another. Implications for existing structural models of SWB are discussed.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.