VictorJuiz/thesis huggingface dataset:
Explaining meaning: towards a minimalist account of legal interpretation
Keywords: adjudication
legal meaning
theoretical authority
reasons for action
Interpretation
reasons for belief
practical authority
legal reasoning

To interpret is to seek understanding. This formulation hides as much as it reveals and I propose to unpack it.
I argue that interpreting is only a part of what legal theorists and practitioners do. In Part I, I attempt an ‘in vitro’ analysis and present the bare concept of interpretation: interpretation is an activity that needs an object; interpreting is reasoning about meaning when there is a possibility of mistake about that meaning.
Part II focuses on two domains of interpretation: musical performance and adjudication. I rely on Joseph Raz’s account of interpretation as explanation or display and identify the former domain as a paradigm of display and the latter as a paradigm of explanation. Both are examples of interpretation for others and involve a claim to theoretical authority on the part of interpreters. But, unlike musicians- who interpret only works of music- judges interpret a great variety of objects. Musical interpretation is identified by its object, whereas legal interpretation is not. Legal interpretation is explanation of legal meaning.
I then discuss the tenets of the minimalist view of legal interpretation: (i) legal rules are not interpretable and legal texts are not primary objects of legal interpretation; (ii) there is a difference between interpretative authority (a form of theoretical authority) and legal authority (a form of practical authority) and interpretative conclusions can be theoretically authoritative without being exclusionary reasons for action; (iii) Interpreting and adjudicating are different activities. Interpretation explains, adjudication resolves. Legal interpreters do not produce legal rules: they are required to be guided by them.
The role of NK family receptor interactions with HLA-B27 in Ankylosing Spondylitis pathogenesis
Keywords: HLA-B27
LILRB2
Ankylosing Spondylitis

Possession of the Major Histocompatibility Complex (MHC) allele, HLA-B27 (B27), strongly predisposes to the development of spondyloarthritis. Furthermore, B27 exists as polymorphic variants, with some subtypes (such as B*2705) being more strongly associated with disease than others (B*2709). The immunological function of MHC molecules is to present peptides in a heterotrimeric complex with beta-2-microglobulin (β2m); however, B27 has also been observed to form non-classical (β₂m –free) homodimers at the cell surface. It has been suggested that there may be a pathogenic role for cell surface B27 homodimer interactions with Natural Killer (NK) cell receptors, such as Leukocyte Immunoglobulin like Receptors (LILRs). In this thesis I characterise these interactions and investigate molecular differences between two B27 subtypes.
Here I show that the B*2705 subtype forms homodimers more readily than the B*2709 subtype, but once formed, B27 homodimers of the 2 different subtypes exhibit comparable binding specificities and affinities to the NK receptors. On the other hand, I show significant differences in the binding specificities and affinities of these receptors to B27 homodimers and heterotrimers. LILRB1 does not bind B27 homodimers, but does bind B27 heterotrimers. LILRB2 binds B27 heterotrimers with a KD of 22μM, whereas LILRB2 binds B27 homodimers more strongly with a KD of 2.5μM. In addition to these main findings, I have characterised the specificity and affinity of candidate B27 homodimer-specific antibodies. I have performed epitope-mapping experiments and developed a model for binding to the B27 homodimer. Finally, I have identified crystallisation conditions for the B27 homodimer in complex with a Fab, allowing for X-ray crystallography studies.
In this thesis, I have characterised for the first time the molecular interactions of the B27 homodimer with NK cell ligands and show that they are different from those with the B27 heterotrimer. This work supports a hypothesis of B27 homodimer induced pathology involving NK receptors.
Statistical methods for mapping complex traits
Keywords: Markov chain Monte Carlo
Bayesian statistics

The first section of this thesis addresses the problem of simultaneously identifying multiple loci that are associated with a trait, using a Bayesian Markov Chain Monte Carlo method. It is applicable to both case/control and quantitative data. I present simulations comparing the methods to standard frequentist methods in human case/control and mouse QTL datasets, and show that in the case/control simulations the standard frequentist method out performs my model for all but the highest effect simulations and that for the mouse QTL simulations my method performs as well as the frequentist method in some cases and worse in others. I also present analysis of real data and simulations applying my method to a simulated epistasis data set.
The next section was inspired by the challenges involved in applying a Markov Chain Monte Carlo method to genetic data. It is an investigation into the performance and benefits of the Matlab parallel computing toolbox, specifically its implementation of the Cuda programing language to Matlab's higher level language. Cuda is a language which allows computational calculations to be carried out on the computer's graphics processing unit (GPU) rather than its central processing unit (CPU). The appeal of this tool box is its ease of use as few code adaptions are needed.
The final project of this thesis was to develop an HMM for reconstructing the founders of sparsely sequenced inbred populations. The motivation here, that whilst sequencing costs are rapidly decreasing, it is still prohibitively expensive to fully sequence a large number of individuals. It was proposed that, for populations descended from a known number of founders, it would be possible to sequence these individuals with a very low coverage, use a hidden Markov model (HMM) to represent the chromosomes as mosaics of the founders, then use these states to impute the missing data. For this I developed a Viterbi algorithm with a transition probability matrix based on recombination rate which changes for each observed state.
The formation of ultracold rubidium molecules using ultrafast photoassociation
Keywords: coherent control
ultracold
pump-probe
photoassociation
ultrafast
femtochemistry
quantum control
spectroscopy

The establishment of robust laser-cooling techniques for the formation of ultracold atoms has provided a test-bed for low-temperature science, with scattering events changing character from incoherent thermal interactions to coherent quantum mechanical events. A natural extension is the pursuit of ultracold molecules in prescribed low-energy internal states. Atomic cooling techniques, however, do not generalize to the molecular regime due to the complex energy-level structure afforded by its extra degrees of motion. An indirect approach to ultracold molecule formation - photoassociation using ultrafast laser pulses - is the focus of this thesis. A broadband field associates atom pairs into a localized molecular wavepacket that evolves within the attractive excited-state potential. A suitably timed dump pulse may thus be applied to stabilize population into deeply bound ground vibrational states. This strategy may be generalized to any species whose spectroscopy matches the pulse spectrum, and offers a coherent population transfer scheme that does not require precise knowledge of the system. This thesis presents experiments using high-energy photoassociation pulses applied to ultracold rubidium atoms. The pulses quench the background ground-state molecular population but form bound dimers within the excited state. A pump-probe experiment was designed to chart the excited-state dynamics; however, the oscillations predicted by theoretical calculations were not evident in the molecular signal. The nature of the dynamics is expected to be strongly dependent on the initial state of the atom pairs addressed by the ultrafast pulse: a bound molecular population provides an additional candidate to free atoms. A spectroscopic measurement characterizes these bound molecules and identifies their formation mechanism. A subsequent experiment provides evidence that the predominant contributor to the pump-probe signal is the unbound initial population. The consequences with regard to both the observation of excited-state dynamics and the subsequent application of a dump pulse are discussed.
The thermal shallow water equations, their quasi-geostrophic limit, and equatorial super-rotation in Jovian atmospheres
Keywords: geophysical fluid dynamics
computational applied mathematics
Jupiter
zonal jets
Hamiltonian mechanics
asymptotic analysis
thermal shallow water equations

Observations of Jupiter show a super-rotating (prograde) equatorial jet that has persisted for decades. Shallow water simulations run in the Jovian parameter regime reproduce the mixture of robust vortices and alternating zonal jets observed on Jupiter, but the equatorial jet is invariably sub-rotating (retrograde). Recent work has obtained super-rotating equatorial jets by extending the standard shallow water equations to relax the height field towards its mean value. This Newtonian cooling-like term is intended to model radiative cooling to space, but its addition breaks key conservation properties for mass and momentum.
In this thesis the radiatively damped thermal shallow water equations are proposed as an alternative model for Jovian atmospheres. They extend standard shallow water theory by permitting horizontal variations of the thermodynamic properties of the fluid. The additional temperature equation allows a Newtonian cooling term to be included while conserving mass and momentum. Simulations reproduce equatorial jets in the correct directions for both Jupiter and Neptune (which sub-rotates).
Quasi-geostrophic theory filters out rapidly moving inertia-gravity waves. A local quasi-geostrophic theory of the radiatively damped thermal shallow water equations is derived, and then extended to cover whole planets. Simulations of this global thermal quasi-geostrophic theory show the same transition, from sub- to super-rotating equatorial jets, seen in simulations of the original thermal shallow water model as the radiative time scale is decreased. Thus the mechanism responsible for setting the direction of the equatorial jet must exist within quasi-geostrophic theory.
Such a mechanism is developed by calculating the competing effects of Newtonian cooling and Rayleigh friction upon the zonal mean zonal acceleration induced by equatorially trapped Rossby waves. These waves transport no momentum in the absence of dissipation. Dissipation by Newtonian cooling creates an eastward zonal mean zonal acceleration, consistent with the formation of super-rotating equatorial jets in simulations, while the corresponding acceleration is westward for dissipation by Rayleigh friction.
The role of stock exchanges in shaping more sustainable company and market practices
Keywords: financial markets
responsible investment
stock exchanges
corporate governance
sustainability

Recent years have seen the emergence of stock exchange led initiatives which in various ways aim to enhance awareness and performance by listed companies and investors regarding environmental, social and governance (ESG) issues. This thesis explores issues of importance to understand the role of stock exchanges in promoting more sustainable company and market practices. First, the thesis establishes rationales for increased efforts by stock exchanges in this area by investigating the agenda of responsible investment and the debate about market dysfunctionalites which has intensified after the financial crisis. Second, the role, functions and institutional characteristics of stock exchanges are researched. The insights from these investigations are fed into a new framework designed to assess the potential stock exchanges have to contribute to more sustainable company and market practices, as well as impediments and enablers for this to happen. The findings suggest that stock exchanges have potential to make a positive impact on sustainability related matters, but are likely to face constraints. Realizing this, the thesis concludes that a case can be argued for including to a larger extent sustainability related issues in conventional financial market regulation to ensure long-term financial stability and well-functioning financial markets. However, this raises new questions. Different issues may hamper the effectiveness of such regulation, among others competition between financial centres and jurisdictional limitations of national regulation. This suggests that international standard setting bodies may have an important role to play.
Definability in Henselian fields
Keywords: 03C model theory
12L field theory
logic
polynomials

We investigate definability in henselian fields. Specifically, we are interested in those sets and substructures that are existentially definable or definable with 'few' parameters. Our general approach is to use various versions of henselianity to understand the 'local structure' of these definable sets.
The fields in which we are most interested are those of positive characteristic, for example the local fields Fq((t)), but many of our methods and results also apply to p-adic and real closed fields. In positive characteristic we have to deal with inseparable field extensions and we develop the method of Λ-closure to `translate' inseparable field extensions into separable ones.
In the first part of the thesis we focus on existentially definable sets, which are projections of algebraic sets. Our main tool is the Implicit Function Theorem (for polynomials) which is equivalent to t-henselianity, by work of Prestel and Ziegler. This enables us to prove that existentially definable sets are `large' in various senses. Using the Implicit Function Theorem, we also obtain a nonuniform local elimination of the existential quantifier. The non-uniformity and local character of this result at present forms an obstacle to full quantifier-elimination. From these technical statements we can deduce characterisations of, for example, existentially definable subfields and existentially definable transcendentals.
We prove that a dense, regular extension of t-henselian fields is existentially closed which, in particular, implies the old result of Ershov that Fp(t)h ≤Ǝ Fp
((t)). Using the existential closedness of large fields in henselian fields, we are able to apply many of these results to large fields. This answers questions for imperfect large fields that were answered in the perfect case by Fehm. In the second part of the thesis, we work with power series fields F((t)) and subsets which are F- definable (and not contained in F). We use a `hensel-like' lemma to characterise F-orbits of (singleton) elements of F((t)). It turns out that all such orbits are Ǝ-t-definable. Consequently, we may apply our earlier results about existentially definable subsets to F-definable subsets. We can use this to characterise F-definable subfields of F((t)).
As a further corollary, we obtain an Ǝ-0̸-definition of Fp[[t]] in Fp((t)).
Religion in the wake of ‘total war’: Protestant and Catholic communities in Thuringia and Saxony-Anhalt, 1945-9
Keywords: German history
SBZ
Soviet occupation of Germany
Religion in East Germany
East Germany
GDR
DDR

By May 1945, most major German cities lay in ruins, and a largely demoralised population struggled for subsistence in many areas. National Socialist remnants, Christian faith and communist ideology met in the rubble of the Third Reich. The Protestant and Catholic Churches attempted to ‘re-Christianise’ the Volk and reverse secularisation, while the German communists sought to inspire dynamism for their socialist project in Eastern Germany. This thesis recreates the religious world of Saxony-Anhalt and Thuringia in the Soviet zone, 1945-9, and analyses ‘religio-politics’ (the interactions between the secular authorities and the Churches), the affairs of the priesthood/pastorate, and the behaviours, mentalities and emotions of ‘ordinary people’ amongst the pews. After the American withdrawal in July 1945, the Soviet authorities occupied the entirety of Thuringia and Saxony-Anhalt, and they proclaimed a ‘freedom of religion’. The realities of this policy were different in each state, and the resolution or non-resolution of local-level disputes often determined Church and State relations. At the grassroots, though, many people engaged in a latent social revolt against all forms of authority. The Churches’ hopes of ‘re-Christianisation’ in 1945 were dashed by 1949, despite a brief and ultimately superficial ‘revival’. The majority of people did not attend church services regularly, many allegedly practiced ‘immorality’, and refused to adopt ‘Christian neighbourly love’ in helping often-destitute refugees. ‘Re-Christianisation’ also did not incur comprehensive denazification or a unified pastorate, and there was even a continuation of the Third Reich Kirchenkampf in some areas. Christian ideas of guilt for a popular turning from God, much less for Nazism and its crimes, rarely resonated amongst the population and some sections of the pastorate. This mentality encapsulated the popular rejection of authority, whether spiritual or political, that endured up to and beyond the foundation of the German Democratic Republic in October 1949.
Mathematical modelling of oxygen transport in skeletal and cardiac muscles
Keywords: numerical simulations
computational modelling
skeletal muscles
muscle ischaemia
Voronoi tessellations
cardiac muscles
angiogenesis
finite elements
capillary supply
mathematical modelling
capillary domains
microcirculation
physiology
hypoxia
oxygen transport
flux trapping regions

Understanding and characterising the diffusive transport of capillary oxygen and nutrients in striated muscles is key to assessing angiogenesis and investigating the efficacy of experimental and therapeutic interventions for numerous pathological conditions, such as chronic ischaemia. In articular, the influence of both muscle tissue and microvascular heterogeneities on capillary oxygen supply is poorly understood. The objective of this thesis is to develop mathematical and computational modelling frameworks for the purpose of extending and generalising the current use of histology in estimating the regions of tissue supplied by individual capillaries to facilitate the exploration of functional capillary oxygen supply in striated muscles. In particular, we aim to investigate the balance between local capillary supply of oxygen and oxygen demand in the presence of various anatomical and functional heterogeneities, by capturing tissue details from histological imaging and estimating or predicting regions of capillary supply. Our computational method throughout is based on a finite element framework that captures the anatomical details of tissue cross sections. In Chapter 1 we introduce the problem. In Chapter 2 we develop a theoretical model to describe oxygen transport from capillaries to uniform muscle tissues (e.g. cardiac muscle). Transport is then explored in terms of oxygen levels and capillary supply regions. In Chapter 3 we extend this modelling framework to explore the influence of the surrounding tissue by accounting for the spatial anisotropies of fibre oxygen demand and diffusivity and the heterogeneity in fibre size and shape, as exemplified by mixed muscle tissues (e.g. skeletal muscle). We additionally explore the effects of diffusion through the interstitium, facilitated--diffusion by myoglobin, and Michaelis--Menten kinetics of tissue oxygen consumption. In Chapter 4, a further extension is pursued to account for intracellular heterogeneities in mitochondrial distribution and diffusive parameters. As a demonstration of the potential of the models derived in Chapters 2--4, in Chapter 5 we simulate oxygen transport in myocardial tissue biopsies from rats with either impaired angiogenesis or impaired arteriolar perfusion. Quantitative predictions are made to help explain and support experimental measurements of cardiac performance and metabolism. In the final chapter we summarize the main results and indicate directions for further work.
Attentional contributions to children’s limited visual short-term memory capacity: developmental change and its neural mechanisms
Keywords: Visual short-term memory
Working memory
Cognitive Development
Attention
Electroencephalography

It is increasingly recognised that, in adulthood, attentional control plays an important role in optimising the ability to encode and maintain items in visual short-term memory (VSTM). Memory capacity limits increase dramatically over childhood, but the mechanisms through which children guide attention to maximise VSTM remain poorly understood. Through a number of experiments manipulating different parameters, the current thesis aimed to explore the developmental trajectories of the neurocognitive mechanisms underlying selective attention within VSTM and to examine whether variations in attentional control are accompanied by individual differences in VSTM capacity. Chapters 2 and 3 investigated the development of attentional orienting in preparation for encoding and during maintenance. Younger children emerged as less able than older children and adults to orient attention to internally held representations. Therefore, Chapter 4 tested whether younger children’s attentional orienting is differentially affected by memory load. While attentional orienting prior to encoding was more beneficial when required to remember a greater number of items, cueing benefits during maintenance were similar across load conditions. Chapter 5 investigated whether temporal parameters influence younger children’s variable ability to orient attention during maintenance. Attentional orienting operated more efficiently on transient iconic traces rather than on VSTM representations due to passive decay of the memory traces as a function of time. Chapter 6 assessed whether the characteristics of the memoranda constrain the efficiency of attentional orienting within VSTM. Attentional orienting supported differentially the maintenance of familiar and meaningless items and pinpointed the quantitative improvement of mnemonic strategies over development. Finally, Chapter 7 examined the temporal dynamics of prospective and retrospective orienting of attention in VSTM. Children deployed neural pathways underpinning attentional orienting less efficiently than adults and differentially across the two orienting conditions suggesting their neural dissociation. Overall, findings from the current thesis define how children develop the ability to deploy attentional control in service of VSTM.