VictorJuiz/thesis huggingface dataset:
On moduli stabilisation and cosmology in type IIB flux compactifications
Keywords: moduli stabilisation
inflation
cosmology
quintessence
flux compactifications

This Thesis studies some aspects of string compactifications with particular em- phasis on moduli stabilisation and cosmology.
In Chapter 1 I motivate the study of string compactifications as a way to build on the successes of the Standard Model of Particle Physics and of the theory of General Relativity.
Chapter 2 constitutes an overview of the technical background necessary for the study of flux compactifications. I sketch how the desire to obtain a supersymmet- ric theory in four dimensions constrains us to consider compactifications of the ten dimensional theory in six dimensional Calabi-Yau orientifolds. I argue that it is strictly necessary to stabilise the geometry of this compact space in order to have a phenomenologically viable four dimensional theory. I introduce the large volume scenario of type IIB compactifications that successfully incorporates fluxes and sub- leading corrections to yield a four dimensional theory with broken supersymmetry and all geometrical moduli stabilised.
The next four Chapters are devoted to the study of some phenomenological aspects of moduli stabilisation and constitute the original work developed for this Thesis.
In Chapter 3 I investigate the consequences of field redefinitions in the stabilisation of moduli and supersymmetry breaking, finding that redefinitions of the small blow- up moduli do not significantly alter the standard picture of moduli stabilisation in the large volume scenario and that the soft supersymmetry breaking terms are generated at the scale of the gravitino mass.
Chapter 4 deals with the putative destabilisation of the volume modulus by very dense objects. The analysis of the moduli potential shows that even the densest astrophysical objects cannot destabilise the moduli, and that destabilisation is only achievable in the context of black hole formation and cosmological singularities.
In Chapter 5 I present a model of inflation within the large volume scenario. The inflaton is identified with a geometric modulus, the fibre modulus, and its potential generated by poly-instanton effects. The model is shown to be robust and consistent with current observational constraints.
In Chapter 6 I introduce a model of quintessence, where the quintessence field and its potential share the same origin with the inflationary model of the previous Chapter. This model constitutes a stringy realisation of supersymmetric large extra dimensions, where supersymmetry, the low gravity scale and the scale of dark energy are intrinsically connected.
I conclude in Chapter 7 outlining the direction of future research.
Freedom of religion or belief - the quest for religious autonomy
Keywords: international law
freedom of religion or belief
European and comparative law
human rights
autonomy
law and religion

In this thesis it is argued that while the concept of freedom of religion or belief itself is opaque and difficult to define, the right to religious freedom must contain certain basic factors – most importantly the right to individual (religious) autonomy. The individual autonomy approach is seen here as providing the necessary rationale for the protection of freedom of religion or belief. This rationale is not cemented in stone in the practice of the Convention and this has caused the Court to lose its focus on individual freedom. It is a dangerous tendency. It allows the focus to be placed on the role of the State and leaves freedom of religion or belief to be heavily affected by politics and fluctuating social attitudes. In this regard, this thesis looks for the meaning and scope of individual and collective religious autonomy and how it is and ought to be represented in the practice of the European Court of Human Rights. It is the aim of the author to contribute to a clearer and more principled understanding of Article 9 of the ECHR. The right to individual autonomy is thought to be able to provide the necessary focus for the European Court of Human Rights in creating a more robust framework for the protection of freedom of religion or belief different from current Court practice which shows inconsistency in its reasoning and theoretical chaos. This lack of clarity has also contributed to freedom of religion or belief being a relatively weak right. It is explored here as to how the principle of autonomy (as developed in this thesis) relates to other principles provided by the Court, namely the principle of State neutrality, pluralism and the effective protection of rights, but also the margin of appreciation and the autonomy of religious communities. The individual autonomy centred theoretical framework in the first part of the thesis will be engaged to analyse the conflict in the triangle of state-individual-community explored in the second part.
A type of king: the figure of Arthur in mid-nineteenth to mid-twentieth century literature
Keywords: First World War
Alfred Lord Tennyson
Clemence Housman
King Arthur
Henry Irving
E.A. Robinson
Coningsby Dawson
chivalry
T.H. White
David Jones
Edwardian
Eglinton tournament
medievalism
Victorian
Second World War
Arthurian
Edward Bulwer Lytton
Edward Burne-Jones
J. Comyns Carr

This thesis analyses the figure of Arthur, in a period spanning the mid-nineteenth to mid-twentieth centuries, when that figure became increasingly protean and multifaceted, and the audience for the Arthurian legend grew in both size and variety. It argues that many authors wrote through Arthur, as well as about Arthur, using the figure to understand and test their own ideas about ideals (e.g. of manliness, kingship, or heroism) as well as problems (such as war, despotism, or ungodliness). This thesis analyses Arthur by considering him as a 'type', using a definition of the term that highlights a paradox: a type, in a scientific sense, is both perfect (an exemplary model) and normal (common enough to be representative). When applied to Arthur, it means that he is both a perfect, or near perfect, example, but is also to some extent a 'normal' human being. Different authors analysed in this thesis emphasise different aspects of the figure, according to whether they focus on Arthur's perfection or his normality. Other meanings of the word 'type' are also applied when relevant: the idea is not to force all versions of Arthur into a single or definitive category, but to retain the complexity of how Arthur is characterised and written about in texts. The ultimate aim of this thesis is to put the figure of Arthur into critical focus, and explain why he has been returned to so often in history.
Incorporating inter-sample variability into cardiac electrophysiology simulations
Keywords: variability
simulation
computational biology
cardiac electrophysiology

Sudden cardiac death kills 5-10 people per 10,000 population in Europe and the US each year. Individual propensity to arrhythmia and sudden cardiac death is typically assessed through clinical biomarkers. Variability in these biomarkers is a major challenge for risk stratification. Variability is observed at a wide range of spatio-temporal scales within the heart, from temporal fluctuations in ion channel behaviour, to inter-cell and inter-regional differences in ion channel expression, to structural differences between hearts. The extent to which variability manifests between spatial and temporal scales remains unclear but has a potentially crucial role in determining susceptibility to arrhythmia.
In this dissertation we present a multi-scale study of the causes and consequences of variability in electrophysiology. At a sub-cellular level we demonstrate that, taking into account inter-individual variability in ion channel conductance, mRNA expression levels in failing human hearts predict the electrophysiological remodelling observed experimentally.
On a tissue scale, we advocate the use of phenomenological models where information on subcellular processes is unavailable. We introduce a modification to a phenomenological model to capture beat-to-beat variability in action potential repolarisation recorded from four individual guinea pig myocytes. We demonstrate that, whilst temporal variability is dramatically reduced by inter-cell coupling, differences in their mean action potential duration may become apparent at a tissue level.
The ventricular myocardium has a heterogeneous structure not captured by the simplified representation of conduction used above. In our final case study, we challenge a model of conduction by directly comparing simulations to optical mapping recordings of ventricular activation from failing and non-failing human hearts. We observe that good fits to experimental data are obtained only when endocardially bound structures are not in view, suggesting a role in conduction for these structures that are often ignored in cardiac simulations.
Finally, we present future directions for the work presented. We make the case for reporting of inter-sample variability in experimental results and conclude that whilst variability may not always manifest across scales, its impact should be considered in both theoretical and experimental studies.
Exploiting whole-PDB analysis in novel bioinformatics applications
Keywords: peptides
disorder prediction
parallelization
PDB
nearest-cell
proteins
space group
neural network
crystallography
protein data bank
clustering
nearest cell
unit cell
bioinformatics
fragments
RONN
training
structural biology
MoreRONN
OpenMP

The Protein Data Bank (PDB) is the definitive electronic repository for experimentally-derived protein structures, composed mainly of those determined by X-ray crystallography. Approximately 200 new structures are added weekly to the PDB, and at the time of writing, it contains approximately 97,000 structures. This represents an expanding wealth of high-quality information but there seem to be few bioinformatics tools that consider and analyse these data as an ensemble. This thesis explores the development of three efficient, fast algorithms and software implementations to study protein structure using the entire PDB.
The first project is a crystal-form matching tool that takes a unit cell and quickly (< 1 second) retrieves the most related matches from the PDB. The unit cell matches are combined with sequence alignments using a novel Family Clustering Algorithm to display the results in a user-friendly way. The software tool, Nearest-cell, has been incorporated into the X-ray data collection pipeline at the Diamond Light Source, and is also available as a public web service.
The bulk of the thesis is devoted to the study and prediction of protein disorder. Initially, trying to update and extend an existing predictor, RONN, the limitations of the method were exposed and a novel predictor (called MoreRONN) was developed that incorporates a novel sequence-based clustering approach to disorder data inferred from the PDB and DisProt. MoreRONN is now clearly the best-in-class disorder predictor and will soon be offered as a public web service.
The third project explores the development of a clustering algorithm for protein structural fragments that can work on the scale of the whole PDB. While protein structures have long been clustered into loose families, there has to date been no comprehensive analytical clustering of short (~6 residue) fragments. A novel fragment clustering tool was built that is now leading to a public database of fragment families and representative structural fragments that should prove extremely helpful for both basic understanding and experimentation.
Together, these three projects exemplify how cutting-edge computational approaches applied to extensive protein structure libraries can provide user-friendly tools that address critical everyday issues for structural biologists.
Antigenic and immunomodulatory properties of HIV-1 gp120 N-linked glycosylation
Keywords: gp120
glycosylation
HIV

The HIV-1 surface glycoprotein, gp120, is made of a rapidly mutating protein core and an extensive carbohydrate shield which are, respectively, encoded by the viral genome and synthesised by the host cell. In contrast to host cell glycoproteins however, gp120 contains a population of unprocessed oligomannose-type glycans that interact with host lectins, promote HIV infection, and alter cell signalling. They also form the basis of the epitopes of several broadly neutralising antibodies isolated against HIV, making them a key feature for immunogen design. The mechanistic basis of how HIV glycans are differentially processed by the host cell was demonstrated on a recombinant gp120 model, suggesting that steric occlusion within the patch of densely packed glycans lead to lack of processing by ER and Golgi α-mannosidases. Furthermore, an elevated level of oligomannose-type glycans was evidenced on gp120 isolated from HIV-1JRCSF virions produced in PBMCs, compared to recombinant material (respectively ~79% and ~29% of total N-linked glycans), along with a subset of highly processed and sialylated, bi-, tri- and tetra-antennary complex-type glycans, which could be involved in direct interaction with key host cell immune receptors and strongly suppress both antibody and T-cell immune responses. The effect of variation in viral production systems was analysed, with envelope glycoprotein derived from pseudoviral particles produced in HEK 293T cells exhibiting predominantly an oligomannose population (98%), compared to gp120 isolated from a single-plasmid infectious molecular clone (56%). Finally, mutation of one or several glycosylation site(s), known to be required for oligomannose-restricted neutralizing antibodies, was shown to induce a subtle redistribution within the oligomannose series whilst maintaining overall oligomannose levels. The gp120 glycan profile is therefore robust to mutations and also remarkably similar across primary viral isolates from Africa, Asia and Europe and consequently represents an attractive target for vaccine development.
Inexpensive uncertainty analysis for CFD applications
Keywords: Monte Carlo
Adjoint error correction
manufacturing uncertainty
Automatic Differentiation
Uncertainty analysis
Independent Component Analysis

The work presented in this thesis aims to provide various tools to be used during design process to make maximum use of the increasing availability of accurate engine blade measurement data for high fidelity fluid mechanic simulations at a reasonable computational expense.
A new method for uncertainty propagation for geometric error has been proposed for fluid mechanics codes using adjoint error correction. Inexpensive Monte Carlo (IMC) method targets small uncertainties and provides complete probability distribution for the objective function at a significantly reduced computational cost. A brief literature survey of the existing methods is followed by the formulation of IMC. An example algebraic model is used to demonstrate the IMC method. The IMC method is extended to fluid mechanic applications using Principal Component Analysis (PCA) for reduced order modelling. Implementation details for the IMC method are discussed using an example airfoil code. Finally, the IMC method has been implemented and validated for an industrial fluid mechanic code HYDRA.
A consistent methodology has been developed for the automatic generation of the linear and adjoint codes by selective use of automatic differentiation (AD) technique. The method has the advantage of keeping the linear and the adjoint codes in-sync with the changes in the underlying nonlinear fluid mechanic solver. The use of various consistency checks have been demonstrated to ease the development and maintenance process of the linear and the adjoint codes. The use of AD has been extended for the calculation of the complete Hessian using forward-on-forward approach. The complete mathematical formulation for Hessian calculation using the linear and the adjoint solutions has been outlined for fluid mechanic solvers. An efficient implementation for the Hessian calculation is demonstrated using the airfoil code.
A new application of the Independent Component Analysis (ICA) is proposed for manufacturing uncertainty source identification. The mathematical formulation is outlined followed by an example application of ICA for artificially generated uncertainty for the NACA0012 airfoil.
Life and death in the Korean Bronze Age (ca. 1500 – 400 BC): an analysis of settlements and monuments in the mid-Korean peninsula
Keywords: Korean Bronze Age
monuments
settlements
Bronze Age

This thesis focuses on the Bronze Age in selected areas of Korea; Seoul, Incheon, and Gyeonggi province. Two forms of evidence - settlements and monuments - are taken into account to identify their relationship with landscape and the social changes occurring between ca. 1500 to 400 cal BC. Life and death in the Bronze Age in Korea has not been synthetically investigated before, due to the lack of evidence from settlements. However, since academic and rescue excavations have increased, it is now possible to examine the relationship between settlements and monuments on a broad scale and over a long-term sequence, although there are still limitations in the archaeological evidence. The results of GIS (Geographical Information Systems) analysis and Bayesian modelling of the radiocarbon dates from this region can be interpreted as suggesting that Bronze Age people in the mid-Korean peninsula had certain preferences for their habitation and mortuary places. The locations of two archaeological sites were identified and statistical significance was generated for their positioning on soil that was associated with agriculture. It was found that settlements tended to be located at a higher elevation with fine views and that monuments tended to be situated in the border zones between mountains and plains and also within the boundary of a 5km site catchment adjusted for energy expenditure, centring on each settlement. This configuration is reminiscent of the concept of the auspicious location, as set out in the traditional geomantic theory of Pungsu. It can be argued that Bronze Age people chose the place for the living and the dead with a holistic perspective and a metaphysical approach that placed human interaction with the natural world at the centre of their decision-making processes. These concepts were formed out of the process of a practical adaptation to the Bronze Age landscape and environment in order to practice agriculture as a subsistence economy, but they also exerted a profound influence upon later Korean peoples and their identities.
Redox-active rotaxanes and catenanes for anion sensing
Keywords: ferrocene
anions
catenane
molecular recognition
electrochemistry
rotaxane

This thesis is concerned with the synthesis and study of novel anion templated rotaxanes and catenanes for electrochemical anion sensing, as well as interlocked structures that possess different anion binding properties, higher-order topologies and the ability to undergo molecular motion.
Chapter One provides an introduction to anion recognition and the preparation of interlocked structures. A short summary of fundamental aspects of supramolecular chemistry is followed by detailed surveys of current approaches to anion binding and sensing, as well as the templated synthesis of rotaxanes and catenanes.
Chapter Two describes the preparation of rotaxanes and catenanes appended with ferrocene to allow for electrochemical anion sensing. The anion recognition properties of a [2]rotaxane and a [2]catenane, as investigated by ¹H NMR spectroscopy and electrochemical methods, are presented. The utilization of a ferrocene-appended macrocycle in the construction of surface confined anion templated rotaxanes and catenanes is also discussed.
Chapter Three reports the work carried out to achieve electrochemical anion sensing by the incorporation of redox-active groups into the integral structures of interlocked structures. The syntheses of a bis-stoppered 1, 2, 3, 4, 5-pentaphenylferrocene [2]rotaxane and a ferrocene containing [3]rotaxane are presented, along with their subsequent anion recognition studies. In addition, attempts to incorporate ferrocene into the macrocyclic components of rotaxanes and catenanes are outlined.
Chapter Four details further investigations into the use of interlocked structures to achieve anion recognition. Doubly-charged [2]catenanes able to bind anions in aqueous solvent media, as well as the incorporation of alternative anion binding motifs into interlocked architectures are reported. The exploitation of anion templated synthesis to allow for the construction of higher order structures (including [3]catenanes, a “handcuff” catenane and a Janus [2]rotaxane), as well as a [2]catenane system with anion controlled molecular motion is also described.
Chapter Five presents the experimental procedures and characterization data relating to the compounds prepared in Chapters Two, Three and Four.
Chapter Six summarizes the main conclusions of the work contained within this thesis.
Supplementary experimental information relating to titration protocols, investigations into self-assembled monolayers (SAMs) and crystallographic data are provided in Appendices I, II and III.
The impact of intraguild competition with lion Panthera leo on leopard Panthera pardus behavioural ecology
Keywords: GIS
intraguild
conservation
niche
impact
risk
leopard
Panthera pardus
lion
behavioyral ecology
Panthera leo
behaviour models
GPS
R
competition
camera-trap
code
collar

Single-species research dominates the field of ecology; however there is a growing appreciation of the importance of a multi-species approach to holistic conservation. Carnivores exert a top-down control on other species, and are vital components of stable ecosystem functioning. Physiologically adapted for predation upon other animals, competition between carnivores can be particularly aggressive; frequently resulting in mortality, and even population suppression. Big cat research has historically focused on those species that are most easily observable; in particular the lion Panthera leo. The majority of the Felidae however are secretive and elusive, and receive relatively little scientific attention. In particular, there are few data available that measure the effect of direct intraguild interactions between carnivores. Using leopards Panthera pardus as a model species, this research aimed to investigate the impact of lions on the behavioural ecology of a socially subordinate carnivore. Leopards are the most abundant large carnivore in Africa, and have the largest global range of all felids; their ecological niche overlapping with that of both lions and tigers. The knowledge gained from examining their competitive interactions is therefore widely relevant, and may be applicable to other subordinate carnivore species that remain unstudied. Biotelemetry and camera-trap data were modelled using novel algorithms to show that lions impact on leopard population density, demographics and spatial ecology. Faecal analyses suggest that dietary niche segregation may facilitate sympatry. These results indicate the level of impact that large carnivores can exert over smaller species, and the potential for a focus on single-species conservation to undermine holistic conservation. The manifestation of intraguild competition has a significant influence on an animal’s ecology; leopards are generalist species that cope with persecution by adapting their behaviour and niche. Ecological specialists may not fare as well under competitive pressure, and proactive conservation initiatives may be required for endangered species.