VictorJuiz/thesis huggingface dataset:
An algebraic theory of componentised interaction
Keywords: component theory
assume-guarantee
interface theory
specification theory
compositional reasoning
concurrency theory
compositional specification

This thesis provides a specification theory with strong algebraic and compositionality properties, allowing for the systematic construction of new components out of existing ones, while ensuring that given properties continue to hold at each stage of system development. The theory shares similarities with the interface automata of de Alfaro and Henzinger, but is linear-time in the style of Dill's trace theory, and is endowed with a richer collection of operators.
Components are assumed to communicate with one another by synchronisation of input and output actions, with the component specifying the allowed sequences of interactions between itself and the environment. When the environment produces an interaction that the component is unwilling to receive, a communication mismatch occurs, which can correspond to run-time error or underspecification. These are modelled uniformly as inconsistencies. A linear-time refinement preorder corresponding to substitutivity preserves the absence of inconsistency under all environments, allowing for the safe replacement of components at run-time.
To build complex systems, a range of compositional operators are introduced, including parallel composition, logical conjunction and disjunction, hiding, and quotient. These can be used to examine the structural behaviour of a system, combine independently developed requirements, abstract behaviour, and incrementally synthesise missing components, respectively. It is shown that parallel composition is monotonic under refinement, conjunction and disjunction correspond to the meet and join operations on the refinement preorder, and quotient is the adjoint of parallel composition. Full abstraction results are presented for the equivalence defined as mutual refinement, a consequence of the refinement being the weakest preorder capturing substitutivity.
Extensions of the specification theory with progress-sensitivity (ensuring that refinement cannot introduce quiescence) and real-time constraints on when interactions may and may not occur are also presented. These theories are further complemented by assume-guarantee frameworks for supporting component-based reasoning, where contracts (characterising sets of components) separate the assumptions placed on the environment from the guarantees provided by the components. By defining the compositional operators directly on contracts, sound and complete assume-guarantee rules are formulated that preserve both safety and progress. Examples drawn from distributed systems are used to demonstrate how these rules can be used for mechanically deriving component-based designs.
The barbarian Sophist: Clement of Alexandria’s Stromateis and the Second Sophistic
Keywords: Church history - primitive and early Church
Clement of Alexandria
Second Sophistic
the Alexandrian School

Clement of Alexandria, active in the second half of the second century AD, is one of the first Christian authors to explain and defend the nascent religion in the terms of Greek philosophy and in relation to Greek paideia. His major work, the Stromateis, is a lengthy commentary on the true gnosis of the Christian faith, with no apparent overarching structure or organisational principle, replete with quotations from biblical, Jewish, Greek 'gnostic' and Christian works of all genres.
This thesis seeks to read this complex and erudite text in conversation with what has been termed the ‘Second Sophistic’, the efflorescence of elite Greek literature under the Roman empire. We will examine the the text as a performance of authorial persona, competing in the agonistic marketplace of Greek paideia. Clement presents himself as a philosophical teacher in a diadoche from the apostles, arrogating to himself a kind of apostolic authority which appeals to both philosophical notions of intellectual credibility and Christian notions of the authentic handing down of tradition. We will also examine how the work engages key thematic concerns of the period, particularly discourses of intellectual eclecticism and ethnicity, challenging both Greek and Roman forms of hegemony to create a space for Christian identity.
Lastly, this thesis will critically examine the Stromateis' intertextual relationship with the Homeric epics; the Iliad and the Odyssey are used as a testing ground for Christian self-positioning in relation to Greek culture as a whole. As we trace this variable relationship, we will also see the cross-fertilisation of reading strategies between Homer and the bible; these developing complex allegorical methods not only presage the rise of Neoplatonism, but also lay the foundations for changes in cultural authority which accompany the Christianisaton of the Roman empire in the centuries after Clement.
Terahertz spectroscopy of graphene and other two-dimensional materials
Keywords: Graphene
Transition Metal Dichalcogenides
Terahertz Spectroscopy

In this thesis, two-dimensional materials such as graphene are tested for their suitability for opto-electronic applications using terahertz time domain spectroscopy (THz-TDS). This ultrafast all-optical technique can probe the response of novel materials to photoexcitation, and yield information about the dynamics of the material systems.
Graphene grown by chemical vapour deposition (CVD) is studied using optical-pump THz-probe time domain spectroscopy in a variety of gaseous environments in Chapter 4. The photoconductivity response of graphene grown by CVD is found to vary dramatically depending on which atmospheric gases are present. Adsorption of these gases can open a local bandgap in the material, allowing stimulated emission of THz radiation across the gap.
Semiconducting equivalents to graphene, molybdenum disulphide (MoS2) and tungsten diselenide (WSe2), grown by CVD, are investigated in Chapter 5. These members of the transition metal dichalcogenide family show sub-picosecond responses to photoexcitation, suggesting promise for use in high-speed THz devices.
In Chapter 6, an alternative production route to CVD is studied. Liquid-phase exfoliation offers fast, easy production of few-layer materials. THz spectroscopy reveals that the dynamics of these materials after photoexcitation are remarkably similar to those in CVD-grown materials, offering the potential of cheaper materials for future devices.
Finally in Chapter 7, it is shown that carbon nanotubes can be used to make ultrafast THz devices. Unaligned, semiconducting single walled carbon nanotubes can be photoexcited to produce an ultrafast, dynamic THz polariser.
The work in this thesis demonstrates the potential for these novel materials in future opto-electronic applications. THz spectroscopy is shown to be an important tool for the characterisation of new materials, providing information that can be used to understand the dynamics of materials, and improve production methods.
The evolution of literacy: a cross-cultural account of literacy’s emergence, spread, and relationship with human cooperation
Keywords: cultural transmission
evolutionary anthropology
literacy
ritual
cooperation
cross cultural studies
cognitive anthropology
cultural evolution
Human Relations Area Files

Social theorists have long argued that literacy is one of the principal causes and hallmark features of complex society. However, the relationship between literacy and social complexity remains poorly understood because the relevant data have not been assembled in a way that would allow competing hypotheses to be adjudicated. The project set out in this thesis provides a novel account of the multiple origins of literate behaviour around the globe, the principal mechanisms of its cultural transmission, and its relationship with the cultural evolution of large-group human cooperation and complex forms of socio-political organisation. A multi-method large-scale cross-cultural approach provided the data necessary to achieve these objectives. Evidence from the societies within which literate behaviour first emerged, and from a representative sample of ethnographically-attested societies worldwide (n=74), indicates that literate behaviour emerged through the routinization of rituals and pre-literate sign systems, eventually spreading more widely through classical religions. Cross-cultural evidence also suggests that literacy assumed a wide variety of forms and socio-political functions, particularly in large, complex groups, extending evolved psychological mechanisms for cooperation, which include reciprocity, reputation formation and maintenance systems, social norms and norm enforcement systems, and group identification. Finally, the results of a cross-cultural historical survey of first-generation states (n=10) reveal that simple models assuming single cause-and-effect relationships between literacy and complex forms of socio-political organisation must be rejected. Instead, literacy and first-generation state-level polities appear to have interacted in a complex positive feedback loop. This thesis contributes to the wider goal of transforming social and cultural anthropology into a cumulative and rapid-discovery science.
'The Factory in a Garden': corporate recreational landscapes in England and the United States, 1880-1939
Keywords: sport
landscape
gardens
recreation
advertising
corporate identity
industrial welfare
industry

From the 1880s, a new type of designed green space appeared in the industrial landscape in England and the USA - the factory pleasure garden or park. At the same time, industrialists began to enhance their office and factory buildings with landscaping and planting, and some opened allotment gardens for the children of factory workers. The making of gardens and parks around or near office and factory buildings, designed by professionals, was driven by belief in the value of gardens and parks to recruitment and retention of staff, to industrial welfare, and to advertising, corporate identity and public relations.
The thesis will show how industrialists appropriated the historical, cultural and metaphorical meanings of gardens in a bid to redefine industry as progressive and responsible and to shift the image of factory labour from unhealthy and exploitative to healthy, caring, respectable and sociable. The thesis will argue that companies employed landscape professionals to contribute to a positive image of industry and industrial development in the suburban or rural landscape, and to harmonise industry and nature. It will show how the factory gardens and parks supported numerous and varied opportunities for outdoor recreation that in some districts would not have been so readily accessible to working people, particularly to women and young people. The thesis will show how companies exploited the social and cultural capital of gardens and recreation space through photography, illustration and film for promotional purposes. It will suggest that although the sporting and other outdoor recreational opportunities at factories were likely to be beneficial to many, the greater value to companies of factory pleasure gardens was in advertising and public relations. The thesis will build on existing research that highlights the valuable contribution of industry to sports and recreation provision in this period. It will also suggest that industry had more influence on gardens and gardening than is currently understood.
Protest and repression in democratic systems: a comparative analysis with a focus on Brazil
Keywords: social movements
Brazil
democracy
protest
repression
Latin America

This thesis focuses on whether protest affects the levels of repression in electoral democracies and, if so, in what manner. After an overview of the literature, Chapter 2 contains an empirical analysis of the relationship between protest and repression at a global level, using a dataset of 71 democracies over 10 years. The results point to a positive association between protest and repression that is driven primarily by post-1974 democracies. The chapter then develops a theoretical model of the costs and benefits accruing to a democratic leader when deciding whether to repress a protest. The model yields a number of testable hypotheses about which factors will affect the likelihood that repression will be chosen, which are then tested for using cross-national and sub-national data. The impact of constitutional constraints is examined first using the cross-national dataset, which reveals that executives in new democracies centralise power in response to protest. Chapter 4 is a quantitative study of the 27 Brazilian states over a 9-year period using data on the repression of land protesters and political variables. The results indicate that governors with precarious political positions are less likely to promote repressive policing strategies. Chapter 5 uses data drawn from five Brazilian national newspapers to identify whether under-reporting of land protest events might contribute to the level of state repression. Chapter 6 is a qualitative comparison of two states – São Paulo and Pará – and suggests that while tight political control over the police explains repression in the former, the unaccountability of the police and the ideology of the main opposition parties in the state assembly may explain why the latter has a much higher level of repression than would be predicted by political factors alone. Chapter 7 revisits the cross-national dataset of 71 democracies to test whether additional determinants of repression identified in Chapter 6 have an effect at the global level.
Statistical methods for the analysis of genetic association studies
Keywords: association analysis
HAPGEN
association study
imputation
IMPUTE
allelic heterogeneity
GENECLUSTER
fine-mapping

One of the main biological goals of recent years is to determine the genes in the human genome that cause disease. Recent technological advances have realised genome-wide association studies, which have uncovered numerous genetic regions implicated with human diseases. The current approach to analysing data from these studies is based on testing association at single SNPs but this is widely accepted as underpowered to detect rare and poorly tagged variants. In this thesis we propose several novel approaches to analysing large-scale association data, which aim to improve upon the power offered by traditional approaches. We combine an established imputation framework with a sophisticated disease model that allows for multiple disease causing mutations at a single locus. To evaluate our methods, we have developed a fast and realistic method to simulate association data conditional on population genetic data. The simulation results show that our methods remain powerful even if the causal variant is not well tagged, there are haplotypic effects or there is allelic heterogeneity. Our methods are further validated by the analysis of the recent WTCCC genome-wide association data, where we have detected confirmed disease loci, known regions of allelic heterogeneity and new signals of association. One of our methods also has the facility to identify the high risk haplotype backgrounds that harbour the disease alleles, and therefore can be used for fine-mapping. We believe that the incorporation of our methods into future association studies will help progress the understanding genetic diseases.
Genome evolution in Streptococcus pneumoniae.
Keywords: recombination
evolution
resistance
penicillin
genome
Streptococcus pneumoniae

Streptococcus pneumoniae (the pneumococcus) is a bacterial pathogen responsible for >1.6 million annual deaths globally. Pneumococcal penicillin-resistance is conferred by acquisition of ‘altered’ penicillin-binding protein (pbp) genes. The first penicillin-nonsusceptible pneumococci were identified in the late 1960s. Global pneumococcal penicillin-nonsusceptibility rates rapidly increased in the 1980s/90s.
Since 2000, protein-conjugate vaccines, targeting 7, 10 or 13 of the ≥94 different pneumococcal capsule types (serotypes), have been introduced in many countries. Following vaccine implementation there has been a decline in vaccine-type pneumococcal disease and an increase in non-vaccine-type disease. These epidemiological changes result from “serotype replacement” and/or “serotype switching”. The former describes the expansion of non-vaccine-type clones in the absence of vaccine-type pneumococci. The latter describes serotype change following recombination at the capsule polysaccharide synthesis (cps) locus.
To fully understand how pneumococci respond to vaccine- and antibiotic-induced selective pressures, we must better understand the evolutionary history of this pathogen. This thesis describes the study of a global collection of 426 pneumococci, dated 1937 - 2007. Serotype, genotype and penicillin-susceptibility data were collected. Nucleotide sequences of three pbp genes (for 389 isolates) and whole-genome sequences (for 96 isolates) were also generated.
The data demonstrated the long-term persistence of certain clones within pneumococcal populations, and that pbp and large-fragment (>30 kb) cps ± pbp recombination was occurring prior to both widespread antibiotic use and vaccine implementation. The data highlighted the promiscuous nature of the globally-distributed PMEN1 clone and its contribution to the spread of pneumococcal penicillin-resistance. PMEN1 also donated multiple, large regions (1.7 - 32.3 kb) of its genome to at least two un-related clones. Finally, six “Tn916-like” genetic elements, conferring resistance to non-penicillin antibiotics, were newly identified. These included two of the oldest ever described.
These results provided a unique insight into the history of pneumococcal evolution and the importance of genetic recombination.
Indian hi-tech immigrants in Canada: emerging gendered divisions of labour
Keywords: global labour migrations
technology
knowledge economy
India
reproductive work
Canada

In this thesis, I draw on the particular experiences of Indian hi-tech immigrants arriving in a growing Canadian technological cluster, the Waterloo Region, located in south-western Ontario. This bilateral pattern of international labour migration between India and Canada reflects both nationsʼ efforts to enhance their economic competitiveness in a global knowledge economy: India as a global exporter and Canada as an importer of knowledge professionals. The stereotypical association of Indian nationals with technology work brings both restrictions and opportunities for Indian hi-tech immigrants navigating a racialised as well as gendered technology labour market in the Waterloo Region. My main aim is to reveal a microcosm of gendered negotiations involving individual economic migrants, their skilled spouses, their employers and the welfare state, particularly in the guise of officials regulating migration and access to childcare. The complex set of individual behaviours, ideologies, attitudes and practices all contribute to the emergence and maintenance of, as well as challenges to, particular gendered divisions of productive and reproductive work among these new entrants to Canada, as they lose the significant employment, social and familial networks and supports that typically are available in India. These Indian newcomer families view their responsibilities to their family to be as significant as their engagement in the Canadian labour market, as well as the advancement of their individual careers. In practice, however, familial responsibilities remain a more significant aspect of womenʼs lives, reproducing gendered divisions of both paid and unpaid work that mirror traditional gender roles and ideologies. The labour market participation of this particular group of Indian hi-tech immigrants, and especially professional immigrant mothers, is limited by the non-recognition of foreign credentials and cultural and/or racial discrimination but perhaps to an even greater extent by the lack of sufficient provisions for reproductive work under Canadaʼs liberal welfare state.
Vibrations of precast and partially prestressed floor systems under moving loads: development of a dynamic fork-lift truck model for vibration serviceability analysis and its application
Keywords: dynamics

This project studies the dynamic response of a composite floor system to excitations from moving fork-lift trucks. The floor system analysed is a system of precast and partially prestressed double-tee elements with a cast in-situ topping. Currently, there are concerns whether the vibrations caused by fork-lift trucks might exceed acceptable limits due to an ongoing trend towards structures of higher slenderness. This study investigates the mechanical background of the excitation and the current design of the floor system. The study is divided into three major chapters:
Dynamic fork-lift truck model A dynamic load model of a fork-lift truck is developed which can be used in the analytical verification of the vibration serviceability of structures. The model is based on tests performed on four fork-lift trucks in various configurations. The tests are analysed for the spectrum of accelerations. The analysis results in a simple two-degree-of-freedom model. Its only variables are velocity and time. All other values are constant throughout a simulation and depend on the geometry of the specific fork-lift truck and its payload. The frequencies and phase delays are constants and they are verified as eigen-frequencies of a three-degree-of-freedom model.
FE-simulation of vibrations of a composite floor system The fork-lift truck model is applied to a three-dimensional model of a composite floor system. The finiteelement model is developed to simulate the construction process of the composite floor system and its influence on the in-service properties of the structure. As part of this work a preliminary investigation of the damping potential of the joint between precast and cast in-situ concrete is undertaken. A linear time-step analysis of the structure is performed and the nodal accelerations are analysed for their magnitude, dependence on the excitation and frequency content.
Field test In order to verify the FE-model of the floor system and the results of the dynamic analysis a field test was undertaken: a floor system was monitored under service conditions. The field data comprise the accelerations of the floor and the forklift truck and the position of the truck relative to the points of measurement. A comparison of the field data and the simulation results proves the validity of both the dynamic fork-lift truck model and the FE-model of the floor system.