This infinite, unanimous dissonance : a study in mathematical existentialism through the work of Jean-Paul Sartre and Alain Badiou

This thesis seeks to elucidate a motif common to the work both of Jean-Paul Sartre and Alain Badiou (with special attention being given to Being and Nothingness and Being and Event respectively): the thesis that the subject 's existence precedes and determines its essence. To this end, the author aims to explicate the structural invariances, common to both philosophies, that allow this thesis to take shape. Their explication requires the construction of an overarching conceptual framework within which it may be possible to embed both the phenomenological ontology elaborated in Being and Event and the mathematical ontology outlined in Being and Event. Within this framework, whose axial concept is that of multiplicity, the precedence of essence by existence becomes intelligible in terms of a priority of extensional over intensional determination. A series of familiar existentialist concepts are reconstructed on this basis, such as lack and value, and these are set to work in the task of fleshing out the more or less skeletal theory of the subject presented in Being and Event.

The micromorphology of Paleoseismic soft sediment deformation structures in glacial deposits from three sample sites in Scotland /

The nature of this research is to investigate paleoseismic deformation of glacial soft sediments from three sampling sites throughout the Scottish Highlands; Arrat's Mills, Meikleour and Glen Roy. The paleoseismic evidence investigated in this research will provide a basis for applying criteria to soft sediment deformation structures, and the trigger mechanisms that create these structures. Micromorphology is the tool used in this to investigate paleoseismic deformation structures in thin section. Thin section analysis, (micromorphology) of glacial sediments from the three sampling sites is used to determine microscale evidence of past earthquakes that can be correlated to modem-day events and possibly lead to a better understanding of the impact of earthquakes throughout a range of sediment types. The significance of the three sampling locations is their proximity to two major active fault zones that cross Scotland. The fault zones are the Highland Boundary Fault and the Great Glen Fault, these two major faults that parallel each other and divide the country in half Sims (1975) used a set of seven criteria that identified soft sediment deformation structures created by a magnitude six earthquake in Cahfomia. Using criteria set forth by Sims (1975), the paleoseismic evidence can be correlated to the magnitude of the deformation structures found in the glacial sediments. This research determined that the microstructures at Arrat's Mill, Meikleour and Glen Roy are consistent with a seismically induced origin. It has also been demonstrated that, even without the presence of macrostructures, the use of micromorphology techniques in detecting such activity within sediments is of immense value.

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.

Activity of brainstem cholinergic neurons during 22 kHz ultrasonic vocalization in rats /

Adult rats emit 22 kHz ultrasonic alann calls in aversive situations. This type of call IS a component of defensive behaviour and it functions predominantly to warn conspecifics about predators. Production of these calls is dependent on the central cholinergic system. The laterodorsal tegmental nucleus (LDT) and pedunculopontine tegmental nucleus (PPT) contain largely cholinergic neurons, which create a continuous column in the brainstem. The LDT projects to structures in the forebrain, and it has been implicated in the initiation of 22 kHz alarm calls. It was hypothesized that release of acetylcholine from the ascending LDT terminals in mesencephalic and diencephalic areas initiates 22 kHz alarm vocalization. Therefore, the tegmental cholinergic neurons should be more active during emission of alarm calls. The aim of this study was to demonstrate increased activity of LDT cholinergic neurons during emission of 22 kHz calls induced by air puff stimuli. Immunohistochemical staining of the enzyme choline acetyltransferase identified cell bodies of cholinergic neurons, and c-Fos immunolabeling identified active cells. Double labeled cells were regarded as active cholinergic cells. There were significantly more (pin the LDT of vocalizing animals than in control (non-vocalizing air puffed and naIve non-airpuffed) animals. Although the numbers were low, there were also significantly more (pin the LDT of vocalizing animals than in the non-vocalizing controls. Such a difference between vocalizing and control animals was not found in the neighbouring PPT nucleus. Results suggest that there are cholinergic and non-cholinergic cells, which are selectively active in the LDT during emission of 22 kHz alarm calls.

Dynamics in large scale networks

In this thesis we study the properties of two large dynamic networks, the competition network of advertisers on the Google and Bing search engines and the dynamic network of friend relationships among avatars in the massively multiplayer online game (MMOG) Planetside 2. We are particularly interested in removal patterns in these networks. Our main finding is that in both of these networks the nodes which are most commonly removed are minor near isolated nodes. We also investigate the process of merging of two large networks using data captured during the merger of servers of Planetside 2. We found that the original network structures do not really merge but rather they get gradually replaced by newcomers not associated with the original structures. In the final part of the thesis we investigate the concept of motifs in the Barabási-Albert random graph. We establish some bounds on the number of motifs in this graph.