Le projet HYPMOBB vise à évaluer un procédé de mise en œuvre de matière végétale par thermo-compression. Dans le cadre de ce projet, les travaux présentés ont pour objectif d’étudier le comportement des polysaccharides sous haute contrainte mécanique (0-300 MPa) et thermique (25-200°C). Trois variétés de biopolymères ont été choisies : la cellulose, l’amidon natif de pomme de terre et ce même amidon après gélatinisation. Elles représentent trois modèles différents d’organisation: hautement cristalline sans fusion, semi-cristalline avec fusion et complétement amorphe. La démarche employée consiste dans un premier temps à analyser les données Pression-Volume-Température (PVT) obtenues à l’aide d’un dilatomètre. Les diagrammes PVT fournissent des indications précieuses sur les effets combinés de la température et de la pression. A ces deux paramètres a été ajouté l’impact de la teneur en eau sur les comportements lors de la compression. Des méthodes ont été mises au point afin d’extraire des mesures PVT, les différentes transformations thermiques (fusion, transition vitreuse) des trois polymères modèles. Pour chaque situation, l’objectif était de déterminer une tendance nette en fonction de l’humidité et de la pression puis de prédire par extrapolation les valeurs à pression nulle. Les résultats obtenus ont été comparés aux analyses classiques DSC et la bonne concordance des mesures a permis de valider les méthodes mises au point. Dans un second temps, les diagrammes PVT ont été modélisés à l’aide de l’équation de Tait. Pour les polymères cristallins, l’ajustement des courbes expérimentales à l’aide de ce modèle n’a pas été concluant. Néanmoins, la bonne modélisation du comportement PVT de l’amidon amorphe et la cohérence des paramètres déterminés a permis de valider le modèle de Tait. Pour finir, dans le but d’étudier l’effet du traitement thermique et mécanique sur la morphologie et les propriétés des compacts mis en forme, des études AMD et DRX ont été réalisées. Bien que les échantillons aient été conditionnés dans des conditions identiques, les études ont montré que la matière gardait en mémoire les conditions de leur traitement. De plus, en accord avec les analyses PVT, les matières les plus organisées, ont présenté lors de la mise en forme à chaud, la formation de liaisons/fusions inter-particulaires qui permettent d’assurer leur cohésion. / The HYPMOBB project aims to evaluate a vegetable material molding process by hot high pressure compression. In the context of this project, the objective of this work is to study the behaviour of carbohydrates under thermal and pressure constraints. Three biopolymer varieties have be chosen: cellulose, native potato starch and gelatinized starch which represented three different models of organisation: highly crystalline without fusion, semi-crystalline with fusion and totally amorphous. The approach used consists first into analysing the Pressure-Volume-Temperature data obtained by a dilatometer. PVT diagrams provide good indications of combined effects of temperature and pressure. In addition of these two parameters, the moisture content impact on the behaviour of these carbohydrates during thermal and mechanical treatment has been studied. Methods have been established in order to retrieve different thermal events (fusion, glass transition) of the three polymers from PVT measurements. For each situation, the objective was to determine a clear trend according to moisture content and pressure and then to predict by extrapolation these transition temperatures at atmospheric pressure. The obtained results have been compared to classical DSC analysis and the close concordance of the measurements allowed the validation of the established methods Secondly, diagrams have been modelled with Tait equation. For crystalline polymers, the experimental curves adjustment with this model hasn’t been concluant. However the good modelling of amorphous starch behaviour and the good concordance of the determined parameters has permitted to validate the Tait model. Finally, in order to study the effect of the compression treatment on compacts properties and morphologies, DMA and XRD analyses have been carried out. Even if the samples have been conditioned in the same conditions, the studies have shown that the materials keep the memory of the treatment conditions. Moreover, in accordance with the PVT analysis, the most organised raw materials have presented after compression molding the formation of interparticles necks/fusions allowing their cohesion.

The three papers which make up this dissertation form part of a larger project, which aims to solve the `access problem' for realism about mathematics by providing a clear and plausible example of what a satisfying explanation of human accuracy about objective mathematical facts could look like. They fit into this project as follows. / Philosophy

This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed intermediate language MIL. We implement and measure the performance of normalisation by evaluation for MIL across a range of benchmarks. Taking a different approach, we also implement and measure the performance of a graph-based shrinking reductions algorithm for SML.NET. MIL is based on Moggi’s computational metalanguage. As a stepping stone to normalisation by evaluation, we investigate strong normalisation of the computational metalanguage by introducing an extension of Girard-Tait reducibility. Inspired by previous work on local state and parametric polymorphism, we define reducibility for continuations and more generally reducibility for frame stacks. First we prove strong normalistion for the computational metalanguage. Then we extend that proof to include features of MIL such as sums and exceptions. Taking an incremental approach, we construct a collection of increasingly sophisticated normalisation by evaluation algorithms, culminating in a range of normalisation algorithms for MIL. Congruence rules and alpha-rules are captured by a compositional parameterised semantics. Defunctionalisation is used to eliminate eta-rules. Normalisation by evaluation for the computational metalanguage is introduced using a monadic semantics. Variants in which the monadic effects are made explicit, using either state or control operators, are also considered. Previous implementations of normalisation by evaluation with sums have relied on continuation-passing-syle or control operators. We present a new algorithm which instead uses a single reference cell and a zipper structure. This suggests a possible alternative way of implementing Filinski’s monadic reflection operations. In order to obtain benchmark results without having to take into account all of the features of MIL, we implement two different techniques for eliding language constructs. The first is not semantics-preserving, but is effective for assessing the efficiency of normalisation by evaluation algorithms. The second is semantics-preserving, but less flexible. In common with many intermediate languages, but unlike the computational metalanguage, MIL requires all non-atomic values to be named. We use either control operators or state to ensure each non-atomic value is named. We assess our normalisation by evaluation algorithms by comparing them with a spectrum of progressively more optimised, rewriting-based normalisation algorithms. The SML.NET front-end is used to generate MIL code from ML programs, including the SML.NET compiler itself. Each algorithm is then applied to the generated MIL code. Normalisation by evaluation always performs faster than the most naıve algorithms— often by orders of magnitude. Some of the algorithms are slightly faster than normalisation by evaluation. Closer inspection reveals that these algorithms are in fact defunctionalised versions of normalisation by evaluation algorithms. Our normalisation by evaluation algorithms perform unrestricted inlining of functions. Unrestricted inlining can lead to a super-exponential blow-up in the size of target code with respect to the source. Furthermore, the worst-case complexity of compilation with unrestricted inlining is non-elementary in the size of the source code. SML.NET alleviates both problems by using a restricted form of normalisation based on Appel and Jim’s shrinking reductions. The original algorithm is quadratic in the worst case. Using a graph-based representation for terms we implement a compositional linear algorithm. This speeds up the time taken to perform shrinking reductions by up to a factor of fourteen, which leads to an improvement of up to forty percent in total compile time.

In April 1982, Nishga carver Norman Tait hosted the raising of a fifty-five foot totem pole named Big Beaver at the Field Museum of Natural History in Chicago, Illinois. Over the winter of 1981-82 in Vancouver, British Columbia, Tait and five apprentices had carved the pole with images inspired by a story given to Tait by his maternal uncle, Rufus Watts, a man Tait calls grandfather. In the early spring of 1962, Watts had taught dances and songs to Tait, Tait's apprentices and other family members and the dancers created costumes and ceremonial paraphernalia for the pole raising ceremony in Chicago. In Chicago in April, members of the Northwest Coast artistic community and staff and patrons of the Field Museum participated in the contemporary Nishga cultural performance. This thesis is an ethnography of the events leading up to and including the pole raising ceremony. It is a case study of the revival of native Indian traditions, a revival that has been occurring on the Northwest Coast since the 1950's. The work addresses four questions. 1. How are native Indian visual and performance forms created from orally transmitted tradition? It describes how the contemporary native carver and his grandfather brought forward their traditions. It discusses the role of museums, anthropology, media, marketplace and other artists. 2. What is the nature of the communities generated by the artistic activity of a contemporary native carver? Included are descriptions of the Nishga and Northwest Coast artistic communities' participation in an expanded native Indian cultural project. 3. How does a museum contextualize a native Indian cultural performance and what meta-messages are communicated? The Field Museum refers back to the Native American participation in the 1893 World's Columbian Exposition in Chicago to contextualize their events in 1982. Were the messages that were overtly expressed in 1893 covertly communicated in 1982? 4. What changes occur in traditions that are brought forward in a contemporary cultural performance? There is a simplification of the traditional Nishga system of cultural messages and a shift in emphasis. There are also changes in the types of alliances for the production of the contemporary totem pole and an adaption of the traditional ritual system for the modern pole raising. The thesis concludes with some questions and discussion on how to assess contemporary native Indian cultural performance in non-traditional settings. / Arts, Faculty of / Anthropology, Department of / Graduate

In this thesis I present new insights into aspects of Peter Guthrie Tait's life and work, derived principally from largely-unexplored primary source material: Tait's scrapbook, the Tait–Maxwell school-book and Tait's pocket notebook. By way of associated historical insights, I also come to discuss the innovative and far-reaching mathematics of the elusive Frenchman, C.-V. Mourey. P. G. Tait (1831–1901) F.R.S.E., Professor of Mathematics at the Queen's College, Belfast (1854–1860) and of Natural Philosophy at the University of Edinburgh (1860–1901), was one of the leading physicists and mathematicians in Europe in the nineteenth century. His expertise encompassed the breadth of physical science and mathematics. However, since the nineteenth century he has been unfortunately overlooked—overshadowed, perhaps, by the brilliance of his personal friends, James Clerk Maxwell (1831–1879), Sir William Rowan Hamilton (1805–1865) and William Thomson (1824–1907), later Lord Kelvin. Here I present the results of extensive research into the Tait family history. I explore the spiritual aspect of Tait's life in connection with The Unseen Universe (1875) which Tait co-authored with Balfour Stewart (1828–1887). I also reveal Tait's surprising involvement in statistics and give an account of his introduction to complex numbers, as a schoolboy at the Edinburgh Academy. A highlight of the thesis is a re-evaluation of C.-V. Mourey's 1828 work, La Vraie Théorie des quantités négatives et des quantités prétendues imaginaires, which I consider from the perspective of algebraic reform. The thesis also contains: (i) a transcription of an unpublished paper by Hamilton on the fundamental theorem of algebra which was inspired by Mourey and (ii) new biographical information on Mourey.

This thesis interrogates the ways in which the body-centred practices of women film artists embrace the materiality of direct animation in order to foreground gendered, subjective positions. Through the researcher's own creative practice, it investigates how this mode of film-making, in which the artist works through physical engagement with the film materials and the material processes of film-making, might be understood as feminine and/or feminist. Direct animation foregrounds touch as the primary sense. Its practices are process-based and highly experimental, because images are made through the agency of the body operating within restrictive parameters, making results difficult to predict or control with precision. For these reasons, direct animation has not been embraced by mainstream, narrative-focused, studio-based models of production, unlike other forms of two and three dimensional animation. It has remained a specialist area for the individual artist and auteur, and, to date, there is a paucity of commentary about direct animation practices, and what exists has been dominated by male voices. In order to develop ideas about the ways in which women represent themselves in an expanded film-making praxis that is focused on the body and materiality of process, this PhD inquiry, encompassing a body of films with written contextualisation, is situated in the context of the direct animation practices of three artists (Caroline Leaf, Annabel Nicolson, and Margaret Tait); and informed by conceptual frameworks provided by Luce Irigaray, Julia Kristeva and Hélène Cixous. This thesis proposes, via interaction between these three axes of research, that women film artists, operating independently, are able to create a female imaginary that represents women and is recognised by them, by constructing positions of practice outside the dominant symbolic modes of patriarchy, which evolve through the maternal body and the materialities of the feminine.

No description available.

In the mid-nineteenth century Métis society re-established itself west of Red River in the Saskatchewan country. This thesis tells the long overlooked story of the English Métis of the Prince Albert Settlement, beginning with James Isbisters initial farm in 1862 and the wave of Métis who followed him west in search of a better life. Questions of Identity, Politics, and Religion are answered to place the English Métis in the historical context of the Métis nation and the events of the Canadian states institutional expansion onto the Western prairies. The place of the English Métis vis-à-vis their French, First Nations, and Euro-Canadian neighbours is examined, as are their attempts to secure a land base and continued collective identity under pressures from hostile state and economic forces. Their importance in the events of the period which would have long lasting national and local significance is also examined. A survey of the community and the changes it went through is given from the initial settlement period to the dissolution of the English Métis as a recognizable collective force following Louis Riels uprising.

In the mid-nineteenth century Métis society re-established itself west of Red River in the Saskatchewan country. This thesis tells the long overlooked story of the English Métis of the Prince Albert Settlement, beginning with James Isbisters initial farm in 1862 and the wave of Métis who followed him west in search of a better life. Questions of Identity, Politics, and Religion are answered to place the English Métis in the historical context of the Métis nation and the events of the Canadian states institutional expansion onto the Western prairies. The place of the English Métis vis-à-vis their French, First Nations, and Euro-Canadian neighbours is examined, as are their attempts to secure a land base and continued collective identity under pressures from hostile state and economic forces. Their importance in the events of the period which would have long lasting national and local significance is also examined. A survey of the community and the changes it went through is given from the initial settlement period to the dissolution of the English Métis as a recognizable collective force following Louis Riels uprising.

Emotional intelligence has attracted a considerable amount of attention over the past few years specifically with regard to the nature of the underlying construct and the reliability and validity of the psychometric tools used to measure the construct. The present study explored the reliability and validity of a trait measure of EI in relation to an ability measure in order to determine whether the tools can be considered as measuring conceptually valid constructs within an occupational environment. The study also examined the overlap with a trait measure of cognitive thinking styles to determine the potential for separating the trait and ability EI into two unique and distinguishable constructs. Participants included 308 employees from four different workforces within a diverse South African consulting firm. The results of the study identified a number of psychometric concerns regarding the structural fidelity of the instruments as well as concerns about the cultural bias evident in both measurement instruments. Evidence for the discriminant and incremental validity of the two instruments was, however, provided and recommendations are made for the reconceptualisation of trait EI as an emotional competence and ability EI as an emotional intelligence. / Psychology / D. Litt. et Phil. (Psychology)