VictorJuiz/thesis huggingface dataset:
The biomechanics of turning gait in children with cerebral palsy

Turning while walking is a crucial component of locomotion; yet, little is known about how the biomechanics of turning gait differ from those of straight walking. Moreover, it is unclear how populations with restricted gait ability, such as children with cerebral palsy (CP) adapt to turning, compared to their typically developing (TD) peers. Thus, the aims of this thesis were to quantify the biomechanical differences between turning gait and straight walking in TD children and to explore if further, pathology specific, changes present during turning in children with CP. Biomechanical data, including three-dimensional body motion, ground reaction forces, and muscle activity from both groups were collected during straight walking and 90 degree turning gait using motion capture technology. Experimental data were used to compute joint kinematics (angles) and joint kinetics (moments and power) as well as more novel measures to quantify turning fluency and dynamic stability. These data were also used to derive walking simulations using a musculo-skeletal model of the human body in order to quantify muscle contributions to medio-lateral center of mass (COM) acceleration. The results show that both groups preferred to redirect their body during turning about the inside, rather than the outside, limb (with respect to the turn center). For TD children, substantial biomechanical adaptations occurred during turning, compared to straight walking. Furthermore, turning gait simulations reveal that proximal (hip abductors) and distal (ankle plantarflexors) leg muscles were mainly responsible for the redirection of the COM towards the new walking direction during turning. For children with CP, the results suggest that turning gait may be better able to reveal gait abnormalities than straight walking for a number of kinematic and kinetic gait variables. Potentially, analysis of turning gait could improve the identification and management of gait abnormalities in children with CP.

Keywords: biomechanics
kinetics
walking
turning
motion capture
kinematics
gait
cerebral palsy
simulation
Advisor: Zavatsky, A
Theologis, T
The development of a heat transfer measurement technique for application to rotating turbine blades

The successful design of a long-lived and efficient gas turbine engine requires a good knowledge of the thermal and aerodynamic performances of the components of the turbine. Of particular importance, is the heat transfer rate from the hot gases to the cooled turbine blades, since this limits the maximum turbine entry temperatures which can be obtained.
Much gas turbine research is concentrated on experimental modelling and measurements to assist in the development of improved theoretical prediction techniques. The difficulties of instrumenting fully rotational rigs, which are necessary for a full understanding of the complex three dimensional flow in the turbine, have, however, to a large extent, limited most experimental research to stationary facilities.
A technique is described which will allow heat transfer rate measurements to be made on fully rotating test facilities using mutlilayered model turbine blades comprising an electrical insulator on a metal base. An accurate and computationally efficient method for determining the surface heat flux to a multi-layered model turbine blade is developed theoretically, together with a method for calibrating the thermal properties of the multi-layered system. This method allows the existing successful heat flux measurement technique, which utilises electronic analogue circuitry in conjunction with thin film surface thermometers on a model made from a thermal insulator, to be extended for application to multi-layered models.
The production of test models by the application of a vitreous enamel (as an electrical insulator), to a mild steel, is identified as the most suitable coating technique for experimental application.
Radiant and wind tunnel testing of multi-layered cylindrical models are described, which confirm that the method is both practical and accurate.

Advisor: Oldfield, M
Some problems in Banach space theory

Types were introduced by Krivine and Maurey, in a refinement of a result by Aldous showing that infinite dimensional subspaces of Lr contain Ωp for some 1≤pꝏ) . A synthesis of these ideas was provided by Garling whose representation of types as random measures was the motivation for much of this work. This thesis aims to investigate the structure of the representation, and to provide concrete representations for differing Banach spaces.
Chapter one contains the necessary preliminaries for the later chapters, and finishes by introducing the representation due to Garling of types on Lϕ(X) as random measures on 𝒯(X)
The second chapter consists of two parts. In the first part we examine the structure of the map between types on Lp(X) and random measures on 𝒯(X) . We show that convolution is preserved by the mapping, and give an explicit representation of the space of types on L1(Ωp). The second part is concerned with representations of 𝒯(X) . We give conditions for the decomposition of 𝒯(X) into X*𝒮(X) , and derive representations for the space of types on L1(L2k).
The third chapter studies differentiability of types. We extend differentiability from X to 𝒯(X) , and develop ideas that will be used in the study of uniqueness.
In chapter four we consider questions concerning the uniqueness of measures and random measures on X and 𝒯(X) . We construct spaces where the representation of types as random measures is not in uniquely determined. We prove that if a certain uniqueness property for measures on X fails then Ωn1 embeds in X.

Advisor: Haydon, R
Organic materials for quantum computation

Quantum mechanics has a long history of helping computer science. For a long time, it provided help only at the hardware level by giving a better understanding of the properties of matter and thus allowing the design of ever smaller and ever more efficient components. For the last few decades, much research has been dedicated to finding whether one can change computer science even more radically by using the principles of quantum mechanics at both the hardware and algorithm levels. This field of research called Quantum Information Processing (QIP) has rapidly seen interesting theoretical developments: it was in particular shown that using superposition of states leads to computers that could outperform classical ones. The experimental side of QIP however lags far behind as it requires an unprecedented amount of control and understanding of quantum systems. Much effort is spent on finding which particular systems would provide the best physical implementation of QIP concepts. Because of their nearly endless versatility and the high degree of control over their synthesis, organic materials deserve to be assessed as a possible route to quantum computers. This thesis studies the QIP potential of spin degrees of freedom in several such organic compounds. Firstly, a study on low-spin antiferromagnetic rings is presented. It is shown that in this class of molecular nanomagnets the relaxation times are much longer than previously expected and are in particular long enough for up to a few hundred quantum operations to be performed. A detailed study of the relaxation mechanisms is presented and, with it, routes to increasing the phase coherence time further by choosing the suitable temperature, isotopic and chemical substitution or solvent. A study of higher-spin systems is also presented and it is shown that the relaxation mechanisms are essentially the same as in low-spin compounds. The route to multi-qubit system is also investigated: the magnetic properties of several supermolecular assemblies, in particular dimers, are investigated. Coupling between neighbouring nanomagnets is demonstrated and experimental issues are raised concerning the study of the coherent dynamics of dimers. Finally a study of the purely organic compound phenanthrene is reported. In this molecule the magnetic moment does not result from the interactions between several transition metal ions as in molecular nanomagnets but from the photoexcitation of an otherwise diamagnetic molecule. The interest of such a system in terms of QIP is presented and relaxation times and coupling to relevant nuclei are identified.

Keywords: molecular nanomagnets
electron spin resonance
quantum computer
relaxation times
Advisor: Ardavan, A
Blundell, S
Logical abstract interpretation

Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theoretical and practical topics which encompass the model theory of temporal logics, the analysis of satisfiability solvers, and the construction of Craig interpolants. In each case, the combination of logic and abstract interpretation leads to more general results, simpler proofs, and a unification of ideas from seemingly disparate fields.
The first contribution of this dissertation is a framework for combining temporal logics and abstraction. Chapter 3 introduces trace algebras, a new lattice-based semantics for linear and branching time logics. A new representation theorem shows that trace algebras precisely capture the standard trace-based semantics of temporal logics. We prove additional representation theorems to show how structures that have been independently discovered in static program analysis, model checking, and algebraic modal logic, can be derived from trace algebras by abstract interpretation.
The second contribution of this dissertation is a framework for proving when two lattice-based algebras satisfy the same logical properties. Chapter 5 introduces functions called subsumption and bisubsumption and shows that these functions characterise logical equivalence of two algebras. We also characterise subsumption and bisubsumption using fixed points and finitary logics. We prove a representation theorem and apply it to derive the transition system analogues of subsumption and bisubsumption. These analogues strictly generalise the well studied notions of simulation and bisimulation. Our fixed point characterisations also provide a technique to construct property preserving abstractions.
The third contribution of this dissertation is abstract satisfaction, an abstract interpretation framework for the design and analysis of satisfiability procedures. We show that formula satisfiability has several different fixed point characterisations, and that satisfiability procedures can be understood as abstract interpreters. Our main result is that the propagation routine in modern sat solvers is a greatest fixed point computation involving abstract transformers, and that clause learning is an abstract transformer for a form of negation.
The final contribution of this dissertation is an abstract interpretation based analysis of algorithms for constructing Craig interpolants. We identify and analyse a lattice of interpolant constructions. Our main result is that existing algorithms are two of three optimal abstractions of this lattice. A second new result we derive in this framework is that the lattice of interpolation algorithms can be ordered by logical strength, so that there is a strongest and a weakest possible construction.

Keywords: Logic
Lattice Theory
Abstract Interpretation
Advisor: Kroening, D
Household responses to food insecurity in northeastern Ghana

When grain production falls short of consumption expectations in self-provisioning households, a range of responses is possible. How each household selects from and manages these responses provides the theoretical and empirical focus of this thesis. Several problematic issues in the 'coping strategies' literature are addressed, including questions of response sequencing and 'discrete stages', the timing of asset sales for food, and the relationship between consumption protecting and consumption modifying strategies. Among other theoretical advances, criteria for response sequencing are identified which explain decisions about which assets to sell for food, and when, in terms of each asset's expected return rather than its immediate 'entitlement' value.
This thesis is grounded in fieldwork conducted in the West African semi-arid tropics, a region characterised by seasonally, agricultural risk and market imperfections. Drought and armyworms undermined crop production in the fieldwork village in 1987/8. The community is highly stratified economically, and striking cross-sectional contrasts in household behaviour and nutritional outcomes were observed. Food secure households practice demographic, agronomic and economic diversification, which provide access to sources of food and income that are not correlated to local economic fluctuations. Consumption insecure households have narrower options and respond to production deficits by wealth depletion (asset monetisation, debt acquisition) and severe food rationing.
Responses to production deficits are not confined to strategies for acquiring food. Multiple objectives - economic, nutritional and social - are retained. Nutritional adjustments are motivated by intertemporal economic priorities. The poorest households protected their assets and rationed consumption most severely: the cost of consuming resources rises as the number and value of assets owned falls. Within households, nutritional surveillance revealed that adults rationed their food consumption earlier and more severely than their children. Adult anthropometric status may therefore be a more robust predictor of food insecurity and economic stress than child anthropometry.
Novel layered double hydroxide chemistry for application in cement and other building materials

The investigation into the syntheses and the intercalations of LDHs is the focus of the work described in this thesis. An introduction to Layered Double Hydroxide (LDH) materials with an emphasis on the possible host lattices and to their applications is given in Chapter 1. The application of LDHs in cement including; history of cement, cement production process, and cement hydration is detailed.
The synthesis of the Ga-doped Ca2Al(OH)6Cl•nH2O LDHs (Ca2GaxAl(1–x)-Cl; where 0 < x < 1) via the co-precipitation method is reported in Chapter 2. The effect of doping Ga3+ on a parameter of Ca2GaxAl(1–x)-Cl was determined by using Vegard’s law and the correlation between a parameter and x value was derived. The intercalation of organic anions including; sodium styrene sulfonate, sodium butene dicarboxylate, sodium fumarate and ammonium poly(styrene sulfonate), in Ca2Ga-Cl structure is described.
The intercalation of lignosulfonate, naphthalene sulfonate and polycarboxylate into Ca2Al(OH)6NO3·6H2O (Ca2Al-NO3) is detailed in Chapter 3. The release behaviour for the LDHs and the kinetic modelling of the release are reported. The effects of these LDHs on cement hydration studied by using the in situ X-ray diffraction and the ultrasound shear-wave reflection are discussed.
In Chapter 4, the synthesis of Ca2Al(OH)6NO3·nH2O via a non-ionic surfactant reverse microemulsion is reported. The effects of the amount and the solubility [Hydrophile-Lipophile Balance (HLB)] of non-ionic surfactant on the morphology and the size distribution of the LDHs are discussed.
Two new nitrite intercalated Ca2Al-LDHs [Ca2Al(OH)6NO2·nH2O] synthesised via both the co-precipitation and the reverse micro-emulsion method are detailed in Chapter 5. The hydration of Portland cement samples with additive nitrate- and nitrite-intercalated Ca2Al-LDH made using co-precipitation is discussed.
The synthesis of dispersed, uniform nanoplatelet [Ca2Al(OH)6DDS]•H2O LDHs is reported in Chapter 6. The effects of the amount of the surfactant on the morphology and size distribution of the LDHs are described.
The experimental procedures and characterising techniques employed in this study are listed in Chapter 7. Additional data are provided in the Appendices.

Keywords: layered materials
Advisor: O'Hare, D
Metabolic adaptations to micro-environmental stress in tumour spheroids

Alterations in energy metabolism due to factors including cellular stress from the hostile tumour micro-environment are a emerging cancer hallmark. Distinct hypoxic and quiescent cell populations develop, which are resistant to chemotherapy due to lack of proliferation, drug inactivity in the altered redox status of the cell and enhanced drug biotransformation. The present study characterises the metabolic strategies employed by these distinct populations of cancer cells. The in vitro 3-dimensional tumour spheroid model, which reflects tumour architecture and behaviour, cultured under different micro-environmental conditions was utilized in this study. Metabolic enzyme activity and expression, overall metabolic flux rates for nutrients, metabolomics profiles of specific pathways and tissue status were assessed. Metabolic adaptations consistent with the Warburg effect were observed in fully oxygenated, proliferative tumour spheroids, with glucose being metabolised to produce lactate. Additionally, metabolomics investigations determined glucose was metabolised by the pentose phosphate pathway, demonstrated by high enrichment of glucose-derived carbon in 6-phophogluconate. The extraction of 39.7 ± 7.6 μ moles (mg protein) -1 glutamine from the medium over 24 hours was observed in these spheroids, consistent with glutaminolysis pathway activity. A 2-fold higher rate of glycolytic flux (measured by production of 3h2O from 5-3H-glucose) was measured in hypoxic tumour spheroids, despite reduced levels of glycolytic enzymes being determined. Surprisingly, although lower rates of glycolysis (2.6-fold) were measured in quiescent spheroids, increased glycolytic enzyme activities (HK 1.9 fold, PK 2 fold and LDH 1.8 fold), glucose (1.9 fold over 24 hours) and glutamine uptake (5.5 fold over 12 hours) as well as lactate production (1.8 fold) were measured, relative to their proliferating counterparts. This study demonstrates that metabolic strategies employed by tumour spheroids differ upon exposure to distinct micro-environmental stresses, additionally identifying hexokinase as a potential therapeutic target for the inhibition of glycolysis under all micro-environmental stress conditions analysed.

Keywords: Micro-Environmental Stress
Cancer
tumour spheroids
metabolism
Advisor: Callaghan, R
Board, M
Boultwood, J
The depiction of the widow in nineteenth- and early twentieth-century German literature

This thesis examines the depiction of the widow by men and women in novels and short stories written between 1842 and 1913. The representation of the widow is analysed in the context of dominant views about widowhood at the time, such as those expressed in the writings of politician and statesman, Theodor Gottlieb von Hippel (1741-1796). These ideas are set out in chapter I. The first chapter also examines the social reality of widowhood in nineteenth-century Germany.
In the first chapter of the thesis Hippel argues that real widows are superfluous beings and men’s second-hand goods, but they were also perceived by theologians and moralists of the time as a threat due to their ungoverned lust. Many nineteenth-century widows internalised the idea espoused by Hippel and felt alienated and invisible. In German fiction, however, male writers in the works discussed repeat the latter theory that once deprived of their husbands widows are sexually voracious. In the works written by men, the figure of the widow is generally presented as a dangerous sexual predator. Female authors, however, highlight the invisibility of the widow and portray her as a figure alienated from society and her family.
Henriette Hanke is the first author to be examined in chapter II. Her novel, Die Wittwen (1842), portrays five widows, who range from the self-sacrificing Lucie von Gardemer, to the liberated and financially independent Frau von Kleist. Hanke depicts widowhood as a process of education for her two key widows, Lucie von Gardemer and Franzisca Weihland. They must learn to love the right man, and at the end of the story they revert from widowhood to marriage. Fourteen years later, the first version of Gottfried Keller’s Der grüne Heinrich (1854/55) was published. Chapter III explores the way in which Keller portrays the threatening sexuality of his widow Judith and emphasises her power to destabilise the narrator. Chapters IV and V also focus on the widow as a predatory and dangerous figure, as exemplified in works by Paul Heyse, Eduard Grisebach, C. F. Meyer and Arthur Schnitzler. In chapter VI Hedwig Dohm presents a contrast to the dominant representations of widowhood in her story Werde, die du bist! (1896). Dohm challenges prevalent stereotypes of the widow, though with limited success. Gabriele Reuter, the final author to be discussed, reverts to male stereotypes of the widow in her stories. This chapter thus shows that women writers are not always more positive, or original, in their representation of the widow.
The thesis as a whole demonstrates the overwhelmingly negative portrayal of the widow in nineteenth-century German fiction. She is a figure to be at best re-educated and at worst to be feared and guarded against. She is a cynical man-trap in Heyse’s and Grisebach’s stories, a murderess in Meyer’s story, and an incestuous mother in Schnitzler’s texts. Hanke and Dohm, themselves both widows, show from the inside what it is like to be a widow in such a society.

Keywords: fiction
sexuality
death
widow
Advisor: Watanabe O'Kelly, H
The Rangatira - chieftainship in traditional Maori society

This thesis is a study of Maori chiefship, based on historical evidence. Very soon after the discovery of New Zealand by Cook in 1769 the Maori began to change and the traditional way of life was left behind. At the same time the Maori are one of the world's most documented people. In the accounts of the early explorers, missionaries, traders, and settlers, from Cook's time onwards there is a wealth of ethnographic material. the accounts were taken up by surveyors, native agents, and Maoris themselves either deliberately recording the passing way of life, or indirectly revealing many of its features while giving evidence in the land courts. Throughout the period we have the observations of amateur ethnographers as Colenso, Maning, White, Gudgeon, Tregear, Downes and others. The era of such observers culminated in the works of Elsdon Best.
[Abstract continued in thesis]

Keywords: New Zealand
Maori
The role of the laity in the Church of England, c. 1850-1885

There has been a great deal of research into Victorian religious ideas and organisations carried out in recent years. However, the research tends to focus on areas in which evidence is most manageable - that is, on denominations and sects which have a relatively limited and well-defined membership, or, if the Church of Ireland is concerned, on the activities of the professional full-time representatives of the Church, the clergy. In choosing to study the role of the laity in the Church of England, I have attempted to extend the circle of research a little further from the centre towards which it ordinarily tends to contract.
[continued in text ...]