VictorJuiz/thesis huggingface dataset:
Model-driven data migration
Keywords: model-driven development
information system evolution
software engineering

Information systems often hold data of considerable value. Their continuing development or maintenance will often necessitate evolution of the system and migration of the data from one version to the next: a process that may be expensive, time-consuming, and prone to error. That such a process remains a source of challenges, is recognized by both academia and industry. In current practice, data migration is often considered only in the later stages of development, leaving critical data to be transformed and loaded by hand-written scripts, long after the design process has been completed.
The advent of model-driven engineering offers an opportunity to consider the question of information system evolution and data migration earlier in the development process. A precise account of the proposed changes to an existing system model can be used to predict the consequences for existing data, and to generate the necessary data migration implementation.
This dissertation shows how automatic data migration can be achieved by extending the definition of a data modeling language to include model level operations, each of which corresponds to the addition, modification, or deletion of a model component. Using the Unified Modeling Language (UML) notation as an example, we show how the specification of these operations may be translated into an abstract program in the Abstract Machine Notation (AMN), employed in the B-method, and then formally checked for consistency and applicability prior to translation into a concrete programming notation, such as Structured Query Language (SQL).
Investing in ghosts: building and construction in Nigeria’s oil boom and bust c.1960-2000 
Keywords: Resource Curse
Investment
Oil Boom
Corruption
Fixed Capital
Infrastructure
Nigeria
Construction

Nigeria, Africa’s most populous country, has been portrayed in scholarly literature as a prominent case of postcolonial African ‘growth failure’. Between 1960 and 2000 oil reserves were exploited resulting in revenues of more than $300 billion to the Nigerian government, while real per capita income fell over the same period. This thesis, by focusing on building and construction in Nigeria from 1960 to 2000, explains how and why Nigeria failed to invest its oil revenues to create long-term economic growth. Its findings have important implications for investment analyses of other commodity-rich countries in Africa and across the developing world. It draws on a wide range of primary quantitative and qualitative sources including government surveys, construction-related company financial data and project lists, industry publications, newspapers, and the correspondence files of a major Nigerian architecture firm. These are used to present a picture of historical building activity which includes a 40-year dataset of cement price and consumption, and a construction supply curve for both the oil boom and bust periods.
By quantifying for the first time the long-observed ‘ghost construction’ of the oil boom, this thesis finds that annually about two thirds of what scholars and national accounts statistics had estimated was being invested in construction was never actually invested, implying that what was invested offered a greater return than has previously been acknowledged. Although investment in construction was overstated during the oil boom, during the oil bust construction was understated as major government projects were funded off-budget and away from public scrutiny. This thesis demonstrates that the most productive area of public investment has been infrastructure, and further that the private sector construction industry was a valuable asset which greatly enhanced the government’s ability to implement investment programmes, when it had the political will to do so.
Subjectivist theories of normative language
Keywords: normative language
normative antirealism
contextualism
moral antirealism
normative semantics
Stephen Finlay
moral relativism

On the assumption that there are no objective normative facts, what is the best theory of normative language? I try to answer this question.
Chapter 1 argues for a presumption against noncognitivism and explains why error-theories are of limited interest: they concern adverbs and adjectives like ‘moral’, but not words like ‘ought’, ‘good’ and ‘reason’. This narrows down the options: the best subjectivist theory of normative language is a truth conditional, non-error-theoretic account.
Chapter 2 argues for contextualism about normative statements. Contextualists hold that their truth conditions (can) vary with the context of utterance.
Chapter 3 starts the assessment of contextualist theories. It looks into Humean accounts. Problems are revealed with both Harman’s and Schroeder’s versions.
Chapter 4 develops a form of indexical relativism according to which the truth of normative statements depends on contextually salient rules. I present imperative-based analyses of ‘ought’ and ‘reason’ and show how they can explain why ‘A ought to X’ entails that the balance of reasons favours that A X-es.
Chapter 5 further develops the theory of chapter 4 and applies it to the words ‘good’ and ‘must’. It turns out to be hard to analyse ‘good’. It also emerges that ‘must’ and ‘ought’ cannot be given different truth conditions.
Chapter 6 explains Stephen Finlay’s end-relational theory. On this account, normative statements concern the relation in which acts or objects stand to contextually salient ends. In the case of ‘ought’ and ‘good’, this relation is one of probability raising.
Chapter 7 discusses and answers some familiar objections to Finlay’s view.
Chapter 8 raises some new problems, related to the fact that normative judgments are often made in the light of several ends.
Chapter 9 explains why the end-relational theory is nonetheless the best subjectivist theory of normative language.
The symbolism and rhetoric of hair in Latin elegy
Keywords: Amores
Latin
adornment
beauty
Ars Amatoria
elegy
cultus
love poetry
Latin elegy
mourning
hair imagery
old age
Tibullus
violence
Ovid
hair
Latin literature
Propertius

This thesis examines the hair imagery that runs through the works of Propertius, Tibullus, and Ovid. Comparative analysis of the elegists’ approaches to the motif, with particular emphasis on determining where and how each deviates from the cultural assumptions and literary tradition attached to each image, sheds light on the character and purposes of elegy as a genre, as well as on the individual aims and innovations of each poet. The Introduction provides some background on sociological approaches to the study of hair, and considers the reasons why hair imagery should have such a prominent presence in elegy. Chapter 1 focuses on the elegists’ engagement with the idea of cultus (‘cultivation’), and their manipulation of the connotations traditionally attached to elaborate hairstyles, of sophistication on the one hand, and immorality on the other, to suit an elegiac context. Chapter 2 looks at how the complexities of the power relationship between the lover and his mistress play out in references to violent hair-pulling. Chapter 3 focuses on the sometimes positively and sometimes negatively spun image of grey-haired lovers, as a reflection of the lover-poet’s own contradictory wishes for his relationship with his mistress; it also considers grey hair as a symbol of physical mortality, as contrasted with poetic immortality. Chapter 4 examines the use of images of loose hair (especially images of dishevelled mourning) to suggest connotations ranging from the erotic to the pathetic, and focuses on the effects the elegists achieve by using a single image to communicate multiple implications. The Conclusion considers the ‘afterlife’ of elegiac hair imagery: the influence that their approaches had on later authors’ handling of similar images.
Improving transgenic approaches to mosquito population control
Keywords: population control
Mosquitos
dengue fever
transgenic

The disease vectors Aedes aegypti and Aedes albopictus are serious and growing threats to global health. As vectors of the arboviruses dengue fever and chikungunya, these mosquitoes are responsible for hundreds of millions of cases and thousands of deaths each year. Absent specific treatments or vaccines, effective control of mosquito populations remains the only option for tackling a growing public health challenge. More effective control tools are urgently needed. Recently, a novel approach to pest population control has been developed based on the release of insects carrying a repressible, dominant lethal allele. This approach has achieved dramatic reductions in Ae. aegypti populations in regulated open field experiments. Despite this success, there remains scope to improve upon the current technology. It is proposed that an 'ideal' strain would combine the following features: (i) repressible lethality in late juvenile phases; (ii) a mechanism for removing females at an early developmental stage in the release generation; and (iii) orthogonal expression control mechanisms allowing both these systems to be combined in a single strain.
This thesis describes research undertaken in pursuit of a 'next generation' strain. Two novel promoters from putative Osiris genes have been identified which confer a 102-103 – fold up-regulation in transgene expression specific to late pupal stages. One of these 'Osiris' promoters has been used to develop transgenic Aedes aegypti strains. 5 lines showed pupal-specific lethality of 98-100% penetrance, which was repressed in the presence of tetracycline. An Ae. albopictus orthologue of the sex-determining gene doublesex (dsx) has been isolated and characterised and a female-specific expression system developed. Transgenic lines show female-specific expression of a transgene; however, there remains some 'leaky' expression in male insects. Finally, a potential expression control tool based on an auxin-inducible expression system has been investigated. 11 different transgenic lines were developed based on three different construct designs. None showed auxin-inducible expression of a transgene.
Spin and energy transport in boundary-driven low-dimensional open quantum systems
Keywords: diffusion
dephasing
thermalisation
Spin and energy transport
incoherent coupling
current enhancement

In spite of being the subject of intense research, several key but complex questions on the nonequilibrium physics of correlated quantum systems remain controversial. For example, the nature of particle and energy transport in different interacting regimes, the relevance of integrability and the impact of environmental coupling are still under active debate. These problems can now be approached numerically, due to the development of powerful algorithms which allow the efficient simulation of the dynamics of correlated systems.
In the present thesis we study numerically and analytically the transport properties of low-dimensional quantum systems. In particular, we consider the steady-state spin and energy conduction through XXZ boundary-driven spin-1/2 chains. In the first part, we analyse the transport through chains with only coherent processes in the bulk. For spin transport induced by a magnetisation imbalance between the boundaries, previously identified ballistic, diffusive and negative differential conductivity regimes are reproduced. We provide a comprehensive explanation of the latter. The energy conduction induced by this driving scheme features the same properties as spin transport. For thermally-driven chains, we discuss the nature of energy transport and the emergence of local thermal states when the integrability of the Hamiltonian is broken.
In the second part of the thesis we analyse the effect of bulk incoherent effects on the transport properties previously discussed. First we find that for weak particle-particle interactions, pure dephasing degrades spin and energy conduction. In contrast, for strong interactions dephasing induces a significant transport enhancement. We identify the underlying mechanism and discuss its generality. Finally, motivated by the lattice structure of several organic conductors, we study the interplay between coherent and incoherent processes in systems of weakly-coupled chains. We find an enhancement effect due to incoherent interchain hopping, stronger than that by dephasing, which increases with the chain length and relates to superdiffusive transport.
The synthesis and characterisation of metal complexes containing chemically reduced bipyridyl ligand systems
Keywords: 4'-bipy
Mossbauer spectroscopy.
2'-bipy
2'-bipyridine
structural chemistry
radical
non-innocent ligand
crystallography
4'-bipyridine
X-ray crystallography
DFT
non-innocence
magnetochemistry

This thesis describes the synthesis and characterisation of metal complexes that contain chemically reduced bipyridyl ligands. The crystal structures of twenty-six novel complexes are reported alongside detailed discussions on the electronic and spectroscopic effects and trends associated with the different oxidation states within these species.
Chapter One introduces the isomers of bipyridine and their redox chemistry, the concept of non-innocent ligands and the spectroscopic techniques that are currently used in determining ligand oxidation states. Subsequently, examples of main group, transition metal, lanthanide and actinide species that contain or may contain reduced forms of the ligand are discussed.
Chapter Two details the synthesis and structural characterisation of alkali metal salts of singly and doubly reduced forms of the three commercially available bipyridine isomers. The effects of this reduction are investigated with the aim of developing diagnostic fingerprints for each of the ligand oxidation states.
Chapter Three discusses the synthesis of an homologous series of compounds of the form [M(2,2'-bipy)(mes)2]n– where M = Cr, Mn, Fe, Co, Ni and n = 0, 1. Trends in magnetism, bonding and electronic structure are investigated with reference to theoretical calculations and the diagnostic fingerprints identified in the previous chapter.
Chapter Four describes the synthesis and characterisation of three compounds containing the isostructural motif [Zn2(4,4'-bipy)(mes)4]n– where n = 0, 1, 2. Structural and spectroscopic changes are discussed and com- pared to theoretical calculations.
Chapter Five contains descriptions of the spectroscopic techniques employed in the above research and synthesis routes to all compounds featured in this thesis.
RAB-A2a dependent membrane traffic in Arabidopsis thaliana
Keywords: Rab-GTPases
membrane traffic
PIN2
recycling

Rab GTPases are major regulatory proteins of vesicle traffic and thus responsible for membrane identity, vesicle targeting and vesicle fusion. The angiosperm Rab GTPase family is grouped into eight clades (Rab-A to Rab-H) that are broadly conserved in animals and yeasts. It has been proposed that the Rab-A clade has diversified in land plants giving rise to six plant- specific structural subclasses, Rab-A1 to Rab-A6. Previous work suggests that the Arabidopsis Rab-A2 and Rab-A3 proteins define a novel endosomal compartment that lies on a pathway between the Golgi and the plasma membrane. In dividing cells, the Rab-A2/A3 compartment is implicated in biosynthetic traffic to the cell plate but it is unclear what traffics through this compartment in non-dividing cells.
In this project, I investigated a range of membrane trafficking pathways in Arabidopsis thaliana. These were probed for dependency on RAB-A2a function, using the dominant negative approach combined with fluorescent marker technology. The data presented in this thesis suggests that RAB-A2a acts on a protein recycling pathway that is used by PIN2:GFP.
The peopling of Southern Africa: a genetics approach
Keywords: African human population genetics
molecular anthropology

Human populations in Africa have high levels of genetic, cultural and linguistic diversity. Despite this, only a small proportion of African populations have been studied from a genetics perspective. There is a particular dearth of information for Southern Africa, even though this region is one of the few places where hunter-gatherer, pastoralist and farmer populations remain, and where interaction between these groups can be studied. This thesis analyses novel populations from Lesotho, Namibia and South Africa, for both maternal and paternal markers, in order to provide a more accurate understanding of the history of this region. Analysis of biodemographic data for these populations highlights signatures of specific cultural traits. Interestingly, contrary to expectations, results indicate that in the patrilocal Basotho there are no differences in within and between area mtDNA and NRY variation, despite observations of a higher female than male migration rate. Females move preferentially at shorter distances than males, minimising the impact of the higher female migration rate. Further analysis of the Southern African samples indicates that the genetic composition of these populations is different to previously studied populations from Sub-Saharan Africa. Notably, there is a significantly higher maternal hunter-gatherer component, potentially as a result of an archeologically defined static frontier which existed along the Maloti/Drakensberg escarpment. Analysis of Namibian samples provides additional information about the history of populations with different lifestyles in the region, with support for a link between Southern Africa pastoralists and East Africa, while other Namibian populations appear genetically different from previously studied populations. Overall, this work demonstrates the diversity of populations in Southern Africa, improves understanding of the history of this region, and also emphasises the value of having access to geographically and ethnically well-defined samples.
A study of the Human Platelet Antigen 1a (HPA-1a) antibody response in neonatal alloimmune thrombocytopenia (NAIT)
Keywords: neonatal alloimmune thrombocytopenia
Blood platelets
integrins
platelet antibodies

Neonatal alloimmune thrombocytopenia (NAIT) is caused by maternal alloantibodies against fetal platelet antigens inherited from the father and which are absent from maternal platelets. In Caucasians, antibodies against the Leu33 (HPA-1a) polymorphism of integrin β3 (part of the platelet αIIbβ3 complex) account for >70% of cases. Antenatal screening for these antibodies does not currently take place in the UK, partly because of the absence of sensitive, predictive tests.
We hypothesized that the poor sensitivity and predictive abilities of current assays are due to the use of β3 in an inappropriate conformation, resulting in sub-optimal binding of HPA-1a antibodies. We hypothesized firstly that in vitro induced changes to αIIbβ3 might alter accessibility of the HPA-1a epitopes to alloantibodies, thus reducing assay sensitivity. Secondly, we hypothesized that HPA-1a antibodies are stimulated by, and preferentially recognise, β3 in association with αv, a molecule present on placental syncytiotrophoblasts, and that reactivity against platelet αIIbβ3 reflects only cross-reactivity with αvβ3.
Our first hypothesis was proven by demonstrating that use of the cation chelating compound EDTA, used by many diagnostic laboratories as a component of assay reagents or present in blood samples as anticoagulant, resulted in significantly reduced assay sensitivity. These findings were confirmed in an international workshop. Support for our second hypothesis was provided by demonstrating enhanced reactivity of a small panel of examples of anti-HPA-1a against αvβ3 compared to αIIbβ3 and by molecular modelling data.
We also showed that HPA-1a antibodies can inhibit platelet function by using a novel application of the ROTEM® delta thromboelastograph and an immunofluorescence assay in which we demonstrated blocking of platelet function using a monoclonal antibody, PAC-1, that binds only to activated αIIbβ3.
These studies provide possible explanations for the poor sensitivity and predictive abilities of current assays and suggest further areas for research.
The role of private institutional investors for the development of urban infrastructure assets
Keywords: urban infrastructure
institutional investment
economic geography

The topic of infrastructure investment has emerged as a critical public policy issue over the last thirty years as governments grapple with an infrastructure deficit that has become one of the great global challenges of our time. Through the simultaneous processes of neo-liberalisation and globalisation, the urban infrastructure landscape has emerged as an attractive investment area for large financial institutions. With the recent Global Financial Crisis further exacerbating both the funding and growth lifting needs of nations, the urgency of linking institutional investors with urban infrastructure assets is more apparent than ever.
This thesis looks at the evolving dynamics associated with the growing involvement of the financial industry in the provision of urban infrastructure assets. This is achieved by using a relational perspective, studying the interactions of financial actors, while simultaneously being aware that these decisions are made within a larger political economic context. It is argued that the complex, heterogeneous and long-term nature of institutional infrastructure investing requires a multi-disciplinary relational economic geography framework. Specifically, relational theory is used to explore the informational content and geographical structure of the infrastructure financial product, the influence of government decision-making, the corporate governance of infrastructure investments and the investment relationship between investors and financial intermediaries.
Despite exponential growth in the field over the last decade, the infrastructure financial product has a level of sophistication and obscurity that prohibits it from being classed a transparent investment area, highlighting the importance of a relational approach to investments. From the case study on Auckland International Airport Ltd., it is shown that through a relational form of light-handed regulatory contract, the government plays a central role in affecting the favourable performance of an economically significant asset. The explication of the Spanish-led ADI consortium acquisition of UK airport operating company BAA illustrates the need for ‘glocal’ infrastructure governance to incorporate a wider stakeholder perspective as well as an appropriate shareholder wealth maximisation strategy. And finally, through analysing the relationships between investment partners for the infrastructure investment process, investment consultants are playing a crucial role to help align interests and promote the long-term relational approach to investing for the infrastructure asset class.
In an age where infrastructure investment has been recognised by many nations around the world as the most important growth lifting strategy, this thesis provides a deeper understanding of how a relational approach can facilitate successful private institutional infrastructure investment.