8,353 research outputs found

    Composing games into complex institutions

    Get PDF
    Game theory is used by all behavioral sciences, but its development has long centered around tools for relatively simple games and toy systems, such as the economic interpretation of equilibrium outcomes. Our contribution, compositional game theory, permits another approach of equally general appeal: the high-level design of large games for expressing complex architectures and representing real-world institutions faithfully. Compositional game theory, grounded in the mathematics underlying programming languages, and introduced here as a general computational framework, increases the parsimony of game representations with abstraction and modularity, accelerates search and design, and helps theorists across disciplines express real-world institutional complexity in well-defined ways. Relative to existing approaches in game theory, compositional game theory is especially promising for solving game systems with long-range dependencies, for comparing large numbers of structurally related games, and for nesting games into the larger logical or strategic flows typical of real world policy or institutional systems.Comment: ~4000 words, 6 figure

    Constraints on Incremental Assembly of Upper Crustal Igneous Intrusions, Mount Ellen, Henry Mountains, Utah

    Get PDF
    Magma systems within the shallow crust drive volcanic processes at the surface. Studying active magma systems directly poses significant difficulty but details of ancient magma systems can provide insight to modern systems. The ancient intrusions now exposed in the Henry Mountains of southern Utah provide an excellent opportunity to study the emplacement of igneous intrusions within the shallow crust. The five main intrusive centers of the Henry Mountains are Oligocene in age and preserve different stages in the development of an igneous system within the shallow crust. Recent studies worldwide have demonstrated that most substantial (> 0.5 km3) igneous intrusions in the shallow crust are incrementally assembled from multiple magma pulses. In the Henry Mountains, smaller component intrusions (< 0.5 km3) clearly demonstrate incremental assembly but an evaluation of incremental assembly for an entire intrusive center has yet to be performed. The Mount Ellen intrusive complex is the largest intrusive center (~ 100 km3, 15 – 20 km diameter) in the Henry Mountains. This thesis research provides constraints on the construction history and emplacement of Mount Ellen using a combination of multiple techniques, including fieldwork, whole-rock major and trace element geochemistry, anisotropy of magnetic susceptibility, and crystal size distribution analysis. Field work and anisotropy of magnetic susceptibility data suggest that Mount Ellen is a laccolith that in cross section is built a network of stacked igneous sheets. In map-view, the laccolith has an elliptical shape built from numerous igneous lobes radiating away from the central portion of the intrusion. Field observations suggest most lobes are texturally homogenous and likely emplaced from a single magma batch. Samples collected throughout Mount Ellen were divided into five groups based on a qualitative evaluation of texture. Possible distinctions between these textural groups were then tested using several different techniques. Geochemistry, anisotropy of magnetic susceptibility, and phenocryst crystal size distribution data are individually not sufficient to distinguish all five textural groups. However, limited datasets for two textures can be consistently distinguished using these techniques. These new results can be integrated with existing constraints to create a comprehensive model for the construction history of Mount Ellen. The intrusive center was constructed in approximately 1 million years at a time-averaged magma injection rate of 0.0004 km3 y-1. The laccolith geometry was built from a radiating network of stacked igneous sheets. The sheets are lobate in map-view (longer than they are wide) and were fed radially outward from a central feeder zone. These component intrusions were emplaced by a minimum of 5 texturally distinct magma pulses, with periods of little or no magmatism between sequential pulses

    Animating potential for intensities and becoming in writing: challenging discursively constructed structures and writing conventions in academia through the use of storying and other post qualitative inquiries

    Get PDF
    Written for everyone ever denied the opportunity of fulfilling their academic potential, this is ‘Chloe’s story’. Using composite selves, a phrase chosen to indicate multiplicities and movement, to story both the initial event leading to ‘Chloe’s’ immediate withdrawal from a Further Education college and an imaginary second chance to support her whilst at university, this Deleuzo-Guattarian (2015a) ‘assemblage’ of post qualitative inquiries offers challenge to discursively constructed structures and writing conventions in academia. Adopting a posthuman approach to theorising to shift attention towards affects and intensities always relationally in action in multiple ‘assemblages’, these inquiries aim to decentre individual ‘lecturer’ and ‘student’ identities. Illuminating movements and moments quivering with potential for change, then, hoping thereby to generate second chances for all, different approaches to writing are exemplified which trouble those academic constraints by fostering inquiry and speculation: moving away from ‘what is’ towards ‘what if’. With the formatting of this thesis itself also always troubling the rigid Deleuzo-Guattarian (2015a) ‘segmentary lines’ structuring orthodox academic practice, imbricated in these inquiries are attempts to exemplify Manning’s (2015; 2016) ‘artfulness’ through shifts in thinking within and around an emerging PhD thesis. As writing resists organising, the verb thesisising comes into play to describe the processes involved in creating this always-moving thesis. Using ‘landing sites’ (Arakawa and Gins, 2009) as a landscaping device, freely creating emerging ‘lines of flight’ (Deleuze and Guattari, 2015a) so often denied to students forced to adhere to strict academic conventions, this ‘movement-moving’ (Manning, 2014) opens up opportunities for change as in Manning’s (2016) ‘research-creation’. Arguing for a moving away from writing-representing towards writing-inquiring, towards a writing ‘that does’ (Wyatt and Gale, 2018: 127), and toward writing as immanent doing, it is hoped to animate potential for intensities and becoming in writing, offering opportunities and glimmerings of the not-yet-known

    The temporality of rhetoric: the spatialization of time in modern criticism

    Get PDF
    Every conception of criticism conceals a notion of time which informs the manner in which the critic conceives of history, representation and criticism itself. This thesis reveals the philosophies of time inherent in certain key modern critical concepts: allegory, irony and the sublime. Each concept opens a breach in time, a disruption of chronology. In each case this gap or aporia is emphatically closed, elided or denied. Taking the philosophy of time elaborated by Giorgio Agamben as an introductory proposition, my argument turns in Chapter One to the allegorical temporality which Walter Benjamin sees as the time of photography. The second chapter examines the aesthetics of the sublime as melancholic or mournful untimeliness. In Chapter Three, Paul de Man's conception of irony provides an exemplary instance of the denial of this troubling temporal predicament. In opposition to the foreclosure of the disturbing temporalities of criticism, history and representation, the thesis proposes a fundamental rethinking of the philosophy of time as it relates to these categories of reflection. In a reading of an inaugural meditation on the nature of time, and in examining certain key contemporary philosophical and critical texts, I argue for a critical attendance to that which eludes those modes of thought that attempt to map time as a recognizable and essentially spatial field. The Confessions of Augustine provide, in the fourth chapter, a model for thinking through the problems set up earlier: Augustine affords us, precisely, a means of conceiving of the gap or the interim. In the final chapter, this concept is developed with reference to the criticism of Arnold and Eliot, the fiction of Virginia Woolf and the philosophy of cinema derived from Deleuze and Lyotard. In conclusion, the philosophical implications of the thesis are placed in relation to a conception of the untimeliness of death

    Effects of forest degradation on Amazonian ferns in a land‐bridge island system as revealed by non‐specialist inventories

    Get PDF
    Tropical forests have been rapidly deforested and degradation worldwide has outpaced biodiversity field sampling. No study to date has assessed the effects of insular habitats induced by hydroelectric dams on Amazonian understory plants. Fern community responses to anthropogenic effects on tropical forest islands can be revealed at a faster pace by using simple and cheap, yet informative, protocols that could be applied by non-specialists. This study seeks to both understand the drivers of fern and lycophytes assemblages on forest islands and investigate the relative costs and effectiveness of a simplified sampling protocol that can be applied by non-specialists. Fern species were sampled by a non-specialist who photographed all ferns and lycophytes within seventeen 0.25-ha plots on 10 forest islands at the lake of Balbina Hydroelectric dam, central Amazonia. Sampling was carried out opportunistically during a field expedition planned to conduct tree inventories. As predictors, we used locally measured or GIS-derived descriptors of plot and landscape conditions. We used multivariate and linear models to further assess the influence of predictors on patterns of species richness and composition of ferns assemblages. A total of 286 photographed individual ferns or lycophytes represented at least 23 species and 14 genera. The average number of taxa per plot was 6.1 in the islands and 14.3 in the mainland. The species pool found on islands was a nested subset of the mainland fern community. Species richness was positively related to island size and negatively related to isolation and fire severity. Area, isolation and fire severity also significantly explained variation in community composition. The relative cost of the picture-based fern protocol applied was very modest (only 4% of the total expedition budget), even compared to the typically low cost of alternative field campaigns. We conclude that fern community structure in this forest archipelago was primarily driven by island size, isolation and fire disturbance. Moreover, we show that a simple sampling protocol carried out by a non-specialist can lead to inexpensive and highly reliable ecological data. This opens an avenue for crowdsourcing ecological fern data collections using a citizen science approach

    Foundations for programming and implementing effect handlers

    Get PDF
    First-class control operators provide programmers with an expressive and efficient means for manipulating control through reification of the current control state as a first-class object, enabling programmers to implement their own computational effects and control idioms as shareable libraries. Effect handlers provide a particularly structured approach to programming with first-class control by naming control reifying operations and separating from their handling. This thesis is composed of three strands of work in which I develop operational foundations for programming and implementing effect handlers as well as exploring the expressive power of effect handlers. The first strand develops a fine-grain call-by-value core calculus of a statically typed programming language with a structural notion of effect types, as opposed to the nominal notion of effect types that dominates the literature. With the structural approach, effects need not be declared before use. The usual safety properties of statically typed programming are retained by making crucial use of row polymorphism to build and track effect signatures. The calculus features three forms of handlers: deep, shallow, and parameterised. They each offer a different approach to manipulate the control state of programs. Traditional deep handlers are defined by folds over computation trees, and are the original con-struct proposed by Plotkin and Pretnar. Shallow handlers are defined by case splits (rather than folds) over computation trees. Parameterised handlers are deep handlers extended with a state value that is threaded through the folds over computation trees. To demonstrate the usefulness of effects and handlers as a practical programming abstraction I implement the essence of a small UNIX-style operating system complete with multi-user environment, time-sharing, and file I/O. The second strand studies continuation passing style (CPS) and abstract machine semantics, which are foundational techniques that admit a unified basis for implementing deep, shallow, and parameterised effect handlers in the same environment. The CPS translation is obtained through a series of refinements of a basic first-order CPS translation for a fine-grain call-by-value language into an untyped language. Each refinement moves toward a more intensional representation of continuations eventually arriving at the notion of generalised continuation, which admit simultaneous support for deep, shallow, and parameterised handlers. The initial refinement adds support for deep handlers by representing stacks of continuations and handlers as a curried sequence of arguments. The image of the resulting translation is not properly tail-recursive, meaning some function application terms do not appear in tail position. To rectify this the CPS translation is refined once more to obtain an uncurried representation of stacks of continuations and handlers. Finally, the translation is made higher-order in order to contract administrative redexes at translation time. The generalised continuation representation is used to construct an abstract machine that provide simultaneous support for deep, shallow, and parameterised effect handlers. kinds of effect handlers. The third strand explores the expressiveness of effect handlers. First, I show that deep, shallow, and parameterised notions of handlers are interdefinable by way of typed macro-expressiveness, which provides a syntactic notion of expressiveness that affirms the existence of encodings between handlers, but it provides no information about the computational content of the encodings. Second, using the semantic notion of expressiveness I show that for a class of programs a programming language with first-class control (e.g. effect handlers) admits asymptotically faster implementations than possible in a language without first-class control

    The Role of English and Welsh INGOs: A Field Theory-Based Exploration of the Sector

    Get PDF
    This thesis takes a field theory-based approach to exploring the role of English and Welsh international non-governmental organisations (INGOs), using the lens of income source form. First, the thesis presents new income source data drawn from 933 Annual Accounts published by 316 INGOs over three years (2015-2018). The research then draws on qualitative data from 90 Leaders' letters include within the Annual Reports published by 39 INGOS, as well as supplementary quantitative and qualitative data, to explore the ways in which INGOs represent their role. Analysis of this income source data demonstrates that government funding is less important to most INGOs than has previously been assumed, while income from individuals is more important than has been recognised in the extant development studies literature. Funding from other organisations within the voluntary sector is the third most important source of income for these INGOs, while income from fees and trading is substantially less important than the other income source forms. Using this income source data in concert with other quantitative data on INGO characteristics as well as qualitative data drawn from the Leaders' letters, I then show that the English and Welsh INGO sector is a heterogenous space, divided into multiple fields. The set of fields identified by this thesis is arranged primarily around income source form, which is also associated with size, religious affiliation, and activities of focus and ways of working. As Bourdieusian field theory suggests, within these fields individual INGOs are engaged in an ongoing struggle for position: competing to demonstrate their maximal possession of the symbolic capitals they perceive to be valued by (potential) donors to that field. Further analysis of these Leaders' letters, alongside additional Annual Reports and Accounts data, also reveals a dissonance in the way in which INGOs describe their relationship with local partners in these different communication types. While these Leaders' letters and narrative reports tell stories of collaborative associations with locally-based partners, this obscures the nature of these relationships as competitive and hierarchical. The thesis draws on the above findings to reflect on the role of INGOs as suggested in the extant literature. This discussion highlights how the various potential INGO fields identified are associated with differing theoretical roles for INGOs. Finally, the thesis considers how INGO role representations continue to contribute to unequal power relations between INGOs and their partners
    • …
    corecore