VictorJuiz/thesis huggingface dataset:
Muslim politics in the North-West Frontier Povince [sic], 1937-1947

This dissertation examines Muslim politics in the North-West Frontier Province of India between 1937 and 1947. It first investigates the nature of modern politics in the Frontier Province and its relationship with all-India politics. The N-WFP was the only Muslim majority province which supported the INC in its struggle to represent an Indian nation against the British raj, rather than of joining other Muslims in the AIML. The N-WFP had its own peculiar type of society, distinct from the rest of India. In the Frontier Province, Islam wa? iaierwoven to such an extent with Pashtoon society that it formed an essential and integral part of it; and the Pashtoons 1 sense of separate ethnic identity, within the bounds and framework of Islam, become an acknowledged fact. In this Muslim majority province, there was no fear of Hindu domination, as was prevalent among Muslims in Hindu majority provinces. This was a principal reason for the initial failure of ML to acquire support in the FP. The study also explores the rise of the Khudai Khidmatgars and the reasons for the preference of majority of the N-WFP Muslims for Congress. It argues that the coming together of the KKs and the Congress gave the former popularity, and an ally in all-India politics and the latter a significant base of support in a Muslim majority province. It elucidates the changing political contexts of the period 1937-47 and shows how loyalties were contingent on these circumstances. It is therefore not just about Frontier politics, but, at a deeper level, about the nature of evolving political identities in the sub-continent. The thesis concludes with a discussion of the All-India National Congress 'desertion' of the Frontier people on the eve of partition, the dismissal of the provincial Congress ministry by Jinnah, and the deeply ambiguous positions of the KKs in the context of the new nation of Pakistan.
High frequency asymptotics of antenna/structure interactions

This thesis is motivated by the need to calculate the electromagnetic fields produced by sources radiating in the presence of conductors. We begin by reviewing existing theory concerning sources in the presence of flat structures. Various extensions to the canonical Sommerfeld problem are considered. In particular we investigate the asymptotic solution for a finite source that focusses its energy at a point. In chapter 5 we review and extend the asymptotic results concerning illumination of a convex perfect conductor by an incident plane wave and outline the procedure for decoupling the electromagnetic surface field into two scalar modes. In chapter 6 we place a source on a perfect conductor and obtain a complete asymptotic solution for the fields. Special attention is paid to the asymptotic structure that smoothly matches between the leading order lit and shadow regions. We also investigate the degenerate case where one of the curvatures of the perfect conductor is zero. The case where the source is just off the surface is also investigated. In chapter 8 we use the Euler-Maclaurin summation formula to cheaply calculate the fields due to complicated arrays of point dipoles. The final chapter combines many earlier results to consider more general sources on the surface of a perfect conductor. In particular we must introduce new asymptotic regions for open sources. This then enables us to consider the focussing of the surface field due to a finite source. The nature of the surface and geometrical optics fields depends on the size of the source in comparison to the curvatures of the surface on which they lie. We discuss this in detail and conclude with the practical example of a spiral antenna.
The mobility and stability of the human knee joint

Separating the study of kinematic geometry of the human knee from the study of its behaviour under load provides insight into the complex relationship between form and function at the joint. The development of a three-dimensional mathematical model which examines the mobility and stability of the joint in sequence is described in this thesis.
A previously proposed model of knee mobility, in which the ligaments and ar- ticular surfaces act as rigid constraints between the bones in a single degree-of- freedom spatial mechanism, was re-examined and its limitations addressed. A new geometric-numerical approach to solving the model kinematics, capable of handling both idealised and more anatomical representations of the articular surfaces, was developed.
A database of specimen-specific motion and geometry was established, based on cadaver studies. Articular contact kinematics and ligament length patterns were also quantified. In experiment, all components of passive knee movement were found to be coupled to the flexion angle, providing justification for the underlying concept of the model of knee mobility.
Specimen-specific models of mobility were successful in predicting the main fea- tures of passive knee motion through a full range of flexion. Incorporation of second order tibial articular surfaces permitted the prediction of physiological motion com- patible with more realistic contact point movement.
Through incorporation of continuous three-dimensional arrays of extensible lig- ament fibres, a preliminary model of knee stability was formulated. Although in need of further refinement, sample predictions of joint behaviour during a/p drawer and axial rotation have demonstrated the potential of the model in highlighting the subtleties of ligament mechanics.
It was concluded that the sequential approach is appropriate for the study of joint behaviour in three dimensions and that, based on the success of the analogous two-dimensional theory, it provides an invaluable tool in the study of joint mechanics in activity and in the design and assessment of surgical procedures for treating knee injury and disease.
Integration of visual and haptic feedback for teleoperation

Teleoperation systems are an important tool for performing tasks which require the sensori-motor coordination of an operator but where it is physically impossible for an operator to undertake such tasks in situ. The vast majority of these devices supply the operator with both visual and haptic sensory feedback in order that the operator can perform the task at hand as naturally and fluently as possible and as though physically present at the remote site.
This thesis is concerned with overcoming the sensory limitations imposed by a fixed camera teleoperation system. The principal aim of this work is the extraction and redisplay of visual information to facilitate such a system.
The thesis augments the Oxford teleoperation system with a virtual viewing module, where the operator is able to select his or her viewpoint and viewing direction onto the workcell by first tracking the locations of known objects in the workcell using a computer vision system, and then rendering them graphically on a display in front of the operator.
This system, because the model-based object tracker is based around a Kalman filter, motivates the design of experiments to examine whether the operator's visuo-motor control loop maintains a state model of the manipulation process as in a Kalman filter. Experimental evidence is presented showing the latter to be false. A new operator model is then postulated using an adaptive gain controller, with the gain chosen to minimise the variance between desired and actual output. The experimental evidence supports this model.
These findings support the hypothesis that the required bandwidth of the tracking filter is both i) sufficient that the tracker can robustly track hand manipulated objects and ii) matched to the visual needs of the operator.

Advisor: Daniel, R
Daniel, D
Multiscale gyrokinetics for rotating tokamak plasmas

This thesis presents a complete theoretical framework for turbulence and transport in tokamak plasmas. The fundamental scale separations present in plasma turbulence are codified as an asymptotic expansion in the ratio of the gyroradius to the equilibrium scale length. Proceeding order-by- order in this expansion, a framework for plasma turbulence is developed. It comprises an instantaneous equilibrium, the fluctuations driven by gra- dients in the equilibrium quantities, and the transport-timescale evolu- tion of mean profiles of these quantities driven by the fluctuations. The equilibrium distribution functions are local Maxwellians with each flux surface rotating toroidally as a rigid body. Large-scale deviations of the distribution function from a Maxwellian are given by neoclassical theory. The fluctuations are determined by the high-flow gyrokinetic equation, from which we derive the governing principle for gyrokinetic turbulence in tokamaks: the conservation and local cascade of free energy. Transport equations for the evolution of the mean density, temperature and flow ve- locity profiles are derived. These transport equations show how the neo- classical corrections and the fluctuations act back upon the mean profiles through fluxes and heating.
This framework is further developed by exploiting the scale separation between ions and the electrons. The gyrokinetic equation is expanded in powers of the electron to ion mass ratio, which provides a rigorous method for deriving the electron response to ion-scale turbulence. We prove that such turbulence cannot change the magnetic topology, and ar- gue that, therefore, the magnetic field lies on fluctuating flux surfaces. These flux surfaces are used to construct magnetic coordinates, and in these coordinates a closed system of equations for the electron response is derived. All fast electron timescales have been eliminated from these equations. Simplified transport equations for electrons in this limit are also derived.

Keywords: fusion
gyrokinetics
Plasma physics
tokamak
Advisor: Schekochihin, A
Labour market risks and institutional determinants

Korea and Japan stand out in the group of OECD countries for their rapid increase in, and high levels of, non-standard employment. The empirical evidence leads us to a two-part puzzle: Why are there so many precarious workers in Korea and Japan? And what are the institutional determinants of such labour market risks? This thesis commences by introducing the concept of 'risk shift', and the fuzzy-set ideal type approach is employed to conduct a comparative study of 18 countries. The labour market risks in Korea and Japan are then compared in an international context with 16 selected OECD countries. Fuzzy-set Qualitative Comparative Analysis is employed to investigate the institutional determinants of labour market risks. It then focuses on the increase in non-standard employement in Korea and Japan. Taiwan is also included as a contrasting case, the study taking an institutional approach employing Comparative Historical Analysis. Chapters employing CHA examine how the different welfare production regimes evolved and how they matter in explaining the high rate of non-standard employment in East Asia. The new risk discussion, the argument on the definition and impact of deindustrialization and lastly theories on East Asian welfare states are revisited in the conclusion of this thesis. Finally, I critically discuss the notion of precarious workers and highlight the centrality of social policy that their organizational configuration affects political culture, the formation of the production system, the structure of the labour market and the kind of risk a country could experience.

Keywords: Fuzzy-set Qualitative Comparative Analysis
risk shift
new risk
non-standard employment
Comparative Historical Analysis
Labour market
unemployment
East Asia
Advisor: Walker, R
Coleman, D
Decolonising Anglo-Indians: strategies for a mixed-race community in late colonial India during the first half of the 20th century.

Anglo-Indians, a designation acquired in the 1911 Indian Census, had previously been known as Eurasians, East Indians, Indo-Britons and half-castes. ‘Anglo-Indian’ had previously denoted, and among some scholars continues to denote, Britons long resident in India. We will define Anglo-Indians as a particular mixed race Indo-European population arising out of the European trading and imperial presence in India, and one of several constructed categories by which transient Britons sought to demarcate racial difference within the Raj’s socio-racial hierarchy. Anglo-Indians were placed in an intermediary (and differentially remunerated) position between Indians and Domiciled Europeans (another category excluded from fully ‘white’ status), who in turn were placed below imported British superiors. The domiciled community (of Anglo-Indians and Domiciled Europeans, treated as a single socio-economic class by Britons) were relied upon as loyal buttressing agents of British rule who could be deployed to help run the Raj’s strategically sensitive transport and communication infrastructure, and who were made as a term of their service to serve in auxiliary military forces which could help to ensure the internal security of the Raj and respond to strikes, civil disobedience or crises arising from international conflict.
The thesis reveals how calls for Indianisation of state and railway employment by Indian nationalists in the assemblies inaugurated by the 1919 Government of India Act threatened, through opening up their reserved intermediary positions to competitive entry and examination by Indians, to undermine the economic base of domiciled employment. Anglo-Indian leaders responded with varying strategies. Foremost was the definition of Anglo-Indians as an Indian minority community which demanded political representation through successive phases of constitutional change and statutory safeguards for their existing employment. This study explores various strategies including: deployment of multiple identities; widespread racial passing by individuals and families; agricultural colonisation schemes; and calls for individual, familial or collective migration.

Keywords: East Indians
racial passing
racial mixing
East Indian
Domiciled Europeans
Indo-Britons
Eurasian
Domiciled European
Eurasians
miscegenation
half-caste
McCluskiegunge
Indo-Briton
Anglo-Indian
Anglo-Indians
Indianisation
half-castes
McCluskieganj
Advisor: Brown, J
Robinson, F
Development and application of image analysis techniques to study structural and metabolic neurodegeneration in the human hippocampus using MRI and PET

Despite the association between hippocampal atrophy and a vast array of highly debilitating neurological diseases, such as Alzheimer’s disease and frontotemporal lobar degeneration, tools to accurately and robustly quantify the degeneration of this structure still largely elude us. In this thesis, we firstly evaluate previously-developed hippocampal segmentation methods (FMRIB’s Integrated Registration and Segmentation Tool (FIRST), Freesurfer (FS), and three versions of a Classifier Fusion (CF) technique) on two clinical MR datasets, to gain a better understanding of the modes of success and failure of these techniques, and to use this acquired knowledge for subsequent method improvement (e.g., FIRSTv3). Secondly, a fully automated, novel hippocampal segmentation method is developed, termed Fast Marching for Automated Segmentation of the Hippocampus (FMASH). This combined region-growing and atlas-based approach uses a 3D Sethian Fast Marching (FM) technique to propagate a hippocampal region from an automatically-defined seed point in the MR image. Region growth is dictated by both subject-specific intensity features and a probabilistic shape prior (or atlas). Following method development, FMASH is thoroughly validated on an independent clinical dataset from the Alzheimer’s Disease Neuroimaging Initiative (ADNI), with an investigation of the dependency of such atlas-based approaches on their prior information. In response to our findings, we subsequently present a novel label-warping approach to effectively account for the detrimental effects of using cross-dataset priors in atlas-based segmentation. Finally, a clinical application of MR hippocampal segmentation is presented, with a combined MR-PET analysis of wholefield and subfield hippocampal changes in Alzheimer’s disease and frontotemporal lobar degeneration. This thesis therefore contributes both novel computational tools and valuable knowledge for further neurological investigations in both the academic and the clinical field.

Keywords: hippocampus
PET
MRI
neurodegeneration
segmentation
Advisor: Jenkinson, M
Declerck, J
Merhof, D
Gender in law under and after state socialism: the example of the Czech Republic

The thesis examines the expressions and origins of negative attitudes to gender equality in the Czech Republic, which have been noticeable especially in the process of implementation of the EU sex equality acquis. It asks whether and how they can be explained with reference to socio-legal developments that started during Czechoslovakia’s State Socialist past, but are still relevant today. In order to answer these research questions, the thesis examines how gender equality has been regulated through law and how it has been understood by law-makers, judges and legal scholars in Czechoslovakia and the Czech Republic during State Socialism (1948-1989) and Transition (1989-today).
The thesis examines legal developments in gender-relevant areas, most importantly in antidiscrimination law. It also excavates the underlying, sometimes hidden, but crucial understandings of key concepts such as ‘women’, ‘gender’, ‘equality’, ‘discrimination’ and ‘rights’. The thesis argues that while formal legal guarantees for women have largely been satisfactory in the Czech Republic by international standards, the way these formal legal guarantees are understood, interpreted and applied has not been gender-progressive.
It argues that the reasons for this are: (i) entrenched patriarchal ideas about women’s appropriate role both in private and public life; (ii) a failure to understand gender as a social construct and to recognize gender order as a pervasive social structure; (iii) an inadequate conceptualization of equality and a refusal to combat sex discrimination; and (iv) a limited understanding of the role of law and of rights in the shaping of social relations. It argues that these understandings have been considerably path-dependent on State Socialism, be it through a rejection of anything perceived as State Socialist (which has harmed redistributive policies), as well as through the mostly unconscious retention of ideas or their absence (which has led to a blindness to the cultural aspects of patriarchy).

Keywords: Czech Republic
work
equality
discrimination
women
law in society
family
post-communist transition
law in context
gender
feminist legal studies
Advisor: Fredman, S
Lange, B
Gender differences in problem discussion : the depressive effect of co-rumination in same-sex friendships

The main objective of this thesis was to examine gender differences in co-rumination using observational, experimental, and diary methods. At the start of this project there were no existing studies which had assessed co-rumination in this way and this thesis intended to be an exploratory investigation of co-rumination using these methods. Rose (2002) defined co-rumination as ‘excessively discussing problems within a dyadic relationship’ (p. 1830) and used it to explain why females have closer, more supportive, friendships (Rose & Rudolph, 2006) but are also more susceptible to depression (Weissman & Klerman, 1977). Her findings suggest that co-rumination has maladaptive outcomes for females (increased depression and anxiety) but not for males. The six studies within this thesis aimed to investigate the outcomes of co-rumination using adult (Studies 1- 4), adolescent (Studies 5 and 6) and child samples (Study 6). The first three studies within this thesis assessed co-rumination using dyadic analyses of observational and experimental data. The results of these studies indicated that scores from the co-rumination questionnaire (CRQ) and the co-rumination coding scheme (CRCS) were associated with affect, but that the co-rumination manipulation used in Study 3 had no effect on levels of affect. CRCS was mainly predictive of depressive outcomes whereas CRQ was predictive of both depressive and anxious outcomes. The research indicated that CRQ scores positively correlated across the two dyad members. However, each dyad member’s score showed different associations with affect, depending on whether the dyad member was presenting his or her own problem for discussion. The diary studies indicated that co-rumination was best assessed using daily items which were more predictive of changes in positive and negative affect than the CRQ. It was clear from the studies within this thesis that co-rumination did not only have negative outcomes for females, and that future research should examine the outcomes of co-ruminative discussions for males and females. It was suggested that future researchers should conduct similar experimental research to Study 3 but that they should include multiple co-ruminative interactions and more immediate assessments of co-rumination in the days following a co-ruminative interaction.

Keywords: depression
social psychology
anxiety
co-rumination
adolescence
friendships
Advisor: Parkinson, B
Formal Verification of a Clock Synchronization Method in a Distributed Automotive System

This thesis presents the formal verification of a clock synchronization algorithm in a distributed communication system. The communication system is inspired by the demands of the automotive industry and based on the FlexRay standard. The work is part of the Verisoft automotive subproject. The distributed system consists of hosts interconnected via a communication bus. We introduce a schedule that provides deterministic communication delays based on a clock synchronization algorithm which deals with clock drift. We present the hardware specification of the bus controller parts related to the scheduling correctness. Furthermore, we extend the formalism from knapppaul to state the correctness theorem in a clean mathematical way. This formalism also involves theories about asynchronous communication. Finally, we present a mathematical-style proof for the correctness of the clock synchronization mechanism and introduce the principles behind the straight forward formalization of this proof which we have carried out in the Isabelle/HOL theorem prover.