Typed Abstraction of Complex Network Compositions

The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the design and implementation of robust network services largely inaccessible to the average programmer. We propose the development of a novel type system and practical type spaces which reflect simplified representations of the results and conclusions which can be derived from complex compositional theories in more accessible ways, essentially allowing the system architect or programmer to be exposed only to the inputs and output of compositional analysis without having to be familiar with the ins and outs of its internals. Toward this end we present the TRAFFIC (Typed Representation and Analysis of Flows For Interoperability Checks) framework, a simple flow-composition and typing language with corresponding type system. We then discuss and demonstrate the expressive power of a type space for TRAFFIC derived from the network calculus, allowing us to reason about and infer such properties as data arrival, transit, and loss rates in large composite network applications.

Changes in the McGurk Effect Across Phonetic Contexts

To investigate the process underlying audiovisual speech perception, the McGurk illusion was examined across a range of phonetic contexts. Two major changes were found. First, the frequency of illusory /g/ fusion percepts increased relative to the frequency of illusory /d/ fusion percepts as vowel context was shifted from /i/ to /a/ to /u/. This trend could not be explained by biases present in perception of the unimodal visual stimuli. However, the change found in the McGurk fusion effect across vowel environments did correspond systematically with changes in second format frequency patterns across contexts. Second, the order of consonants in illusory combination percepts was found to depend on syllable type. This may be due to differences occuring across syllable contexts in the timecourses of inputs from the two modalities as delaying the auditory track of a vowel-consonant stimulus resulted in a change in the order of consonants perceived. Taken together, these results suggest that the speech perception system either fuses audiovisual inputs into a visually compatible percept with a similar second formant pattern to that of the acoustic stimulus or interleaves the information from different modalities, at a phonemic or subphonemic level, based on their relative arrival times.

The ecology of the song thrush, Turdus philomelos Br., in Ireland

Over the last 30 years, western European Song Thrush populations have declined with the steepest decline recorded on British farmland. Changes in agricultural practices have been implicated in these population declines. Ireland is an agriculturally dominated landscape but changes in agriculture here have occurred on a relatively slower rate and scale. Little is known about the ecology of the Song Thrush in Ireland, even though it is not classified as a species of conservation concern here. Some decline is thought to have occurred but the current breeding population appears to be stable and widespread. In light of these facts, this study investigated various aspects of Song Thrush ecology in relation to the Irish landscape from 2001-2003. The breeding season extended from mid March to late June, where mean clutch size was 4.1 and number of fledglings was 3.7. There were very few third broods. Daily nest survival rates were calculated for egg stage 0.9362, incubation stage 0.9505 and nestling stage 0.6909. Most nest failures were due to avian predation at both egg and chick stages. Most nests were located 1.3 -2.4m from the ground at trees, bushes or hedgerow. Clutch size was significantly higher on farmland than garden & parkland and woodland, and the number of fledglings was significantly lower in nests in trees than hedgerow and bush sites. Daily nest fail rates were significantly higher at tree sites and partly concealed nests. Nesting areas had significantly denser vertical vegetation than non-nesting areas. Mercury and the organochlorine HEOD were the most common contaminants in Song Thrush eggs and livers. However concentrations and occurrence were low and of no apparent biological or ecological concern. The presence of breeding Song Thrushes was influenced by mixed surrounding farmland, the absence of grass surrounding farmland, ditches especially wet ones, tall dense vegetation and trimmed boundaries. Song Thrush winter densities were predicted by ditches, with wet or dry, low thin vegetation and untrimmed boundaries. Winter densities were almost double that of the breeding season, probably due to the arrival and passage of migrating Song Thrushes through the country, especially in November. Changes in Irish agriculture did not differ significantly in areas of Song Thrush breeding population stability and apparent decline during 1970 1990. Even though the current breeding population heavily uses farmland, woodland, human and scrub habitats are more preferred. Nevertheless no farmland habitat was avoided, highlighting a positive relationship between breeding Song Thrushes and Irish agriculture. This appears to be in contrast with findings between breeding Song Thrushes and British agriculture. Theses findings are compared with other studies and possible influences by agricultural intensification, climate, latitude and insular syndrome are discussed. Implications for conservation measures are considered, especially for areas of decline. Even though Song Thrushes are currently widespread and stable here, future environmental consequences of longer-term changes in Irish agriculture and perhaps climate change remain to be seen.

Systematic delay-driven power optimisation and power-driven delay optimisation of combinational circuits

With the proliferation of mobile wireless communication and embedded systems, the energy efficiency becomes a major design constraint. The dissipated energy is often referred as the product of power dissipation and the input-output delay. Most of electronic design automation techniques focus on optimising only one of these parameters either power or delay. Industry standard design flows integrate systematic methods of optimising either area or timing while for power consumption optimisation one often employs heuristics which are characteristic to a specific design. In this work we answer three questions in our quest to provide a systematic approach to joint power and delay Optimisation. The first question of our research is: How to build a design flow which incorporates academic and industry standard design flows for power optimisation? To address this question, we use a reference design flow provided by Synopsys and integrate in this flow academic tools and methodologies. The proposed design flow is used as a platform for analysing some novel algorithms and methodologies for optimisation in the context of digital circuits. The second question we answer is: Is possible to apply a systematic approach for power optimisation in the context of combinational digital circuits? The starting point is a selection of a suitable data structure which can easily incorporate information about delay, power, area and which then allows optimisation algorithms to be applied. In particular we address the implications of a systematic power optimisation methodologies and the potential degradation of other (often conflicting) parameters such as area or the delay of implementation. Finally, the third question which this thesis attempts to answer is: Is there a systematic approach for multi-objective optimisation of delay and power? A delay-driven power and power-driven delay optimisation is proposed in order to have balanced delay and power values. This implies that each power optimisation step is not only constrained by the decrease in power but also the increase in delay. Similarly, each delay optimisation step is not only governed with the decrease in delay but also the increase in power. The goal is to obtain multi-objective optimisation of digital circuits where the two conflicting objectives are power and delay. The logic synthesis and optimisation methodology is based on AND-Inverter Graphs (AIGs) which represent the functionality of the circuit. The switching activities and arrival times of circuit nodes are annotated onto an AND-Inverter Graph under the zero and a non-zero-delay model. We introduce then several reordering rules which are applied on the AIG nodes to minimise switching power or longest path delay of the circuit at the pre-technology mapping level. The academic Electronic Design Automation (EDA) tool ABC is used for the manipulation of AND-Inverter Graphs. We have implemented various combinatorial optimisation algorithms often used in Electronic Design Automation such as Simulated Annealing and Uniform Cost Search Algorithm. Simulated Annealing (SMA) is a probabilistic meta heuristic for the global optimization problem of locating a good approximation to the global optimum of a given function in a large search space. We used SMA to probabilistically decide between moving from one optimised solution to another such that the dynamic power is optimised under given delay constraints and the delay is optimised under given power constraints. A good approximation to the global optimum solution of energy constraint is obtained. Uniform Cost Search (UCS) is a tree search algorithm used for traversing or searching a weighted tree, tree structure, or graph. We have used Uniform Cost Search Algorithm to search within the AIG network, a specific AIG node order for the reordering rules application. After the reordering rules application, the AIG network is mapped to an AIG netlist using specific library cells. Our approach combines network re-structuring, AIG nodes reordering, dynamic power and longest path delay estimation and optimisation and finally technology mapping to an AIG netlist. A set of MCNC Benchmark circuits and large combinational circuits up to 100,000 gates have been used to validate our methodology. Comparisons for power and delay optimisation are made with the best synthesis scripts used in ABC. Reduction of 23% in power and 15% in delay with minimal overhead is achieved, compared to the best known ABC results. Also, our approach is also implemented on a number of processors with combinational and sequential components and significant savings are achieved.

States of play: Irish childhoods, race and belonging

This thesis explores the meaning-making practices of migrant and non-migrant children in relation to identities, race, belonging and childhood itself in their everyday lives and in the context of ‘normalizing’ discourses and spaces in Ireland. The relational, spatial and institutional contexts of children’s worlds are examined in the arenas of school, home, family, peer groups and consumer culture. The research develops a situated account of children’s complex subject positions, belongings and exclusions, as negotiated within discursive constructs, emerging in the ‘in-between’ spaces explored with other children and with adults. As a peripheral EU area both geographically and economically, Ireland has traditionally been a country of net emigration. This situation changed briefly in the late 1990s to early 2000s, sparking broad debate on Ireland’s perceived ‘new’ ethnic, cultural and linguistic diversity arising from the arrival of migrant people both from within and beyond the EU as workers and as asylum seekers, and drawing attention to issues of race, identity, equality and integration in Irish society. Based in a West of Ireland town where migrant children and children of migrants comprise very small minorities in classroom settings, this research engages with a particular demographic of children who have started primary school since these changes have occurred. It seeks to represent the complexities of the processes which constitute children’s subjectivities, and which also produce and reproduce race and childhood itself in this context. The role of local, national and global spaces, relational networks and discursive currents as they are experienced and negotiated by children are explored, and the significance of embodied, sensory and affective processes are integrated into the analysis. Notions of the functions and rhetorics of play and playfulness (Sutton-Smith 1997) form a central thread that runs throughout the thesis, where play is both a feature of children’s cultural worlds and a site of resistance or ‘thinking otherwise’. The study seeks to examine how children actively participate in (re)producing definitions of both childhood and race arising in local, national and global spaces, demonstrating that while contestations of the boundaries of childhood discourses are contingently successful, race tends to be strongly reiterated, clinging to bodies and places and compromising belonging. In addition, it explores how children access belongings through agentic and imaginative practices with regard to peer and family relationships, particularly highlighting constructions of home, while also illustrating practices of excluding children positioned as unintelligible, including the role of silences in such situations. Finally, drawing on teachers’ understandings and on children’s playful micro-level negotiations of race, the study argues that assumptions of childhood innocence contribute to justifying depoliticised discourses of race in the early primary school years, and also tend to silence children’s own dialogues with this issue. Central throughout the thesis is an emphasis on the productive potentials of children’s marginal positioning in processes of transgressing definitional boundaries, including the generation of post-race conceptualisations that revealed the borders of race as performative and fluid. It suggests that interrupting exclusionary raced identities in Irish primary schools requires engagement with children’s world-making practices and the multiple resources that inform their lives.

Algorithms for indoor localization based on IEEE 802.15.4-2011 UWB and inertial sensors

In this thesis, extensive experiments are firstly conducted to characterize the performance of using the emerging IEEE 802.15.4-2011 ultra wideband (UWB) for indoor localization, and the results demonstrate the accuracy and precision of using time of arrival measurements for ranging applications. A multipath propagation controlling technique is synthesized which considers the relationship between transmit power, transmission range and signal-to-noise ratio. The methodology includes a novel bilateral transmitter output power control algorithm which is demonstrated to be able to stabilize the multipath channel, and enable sub 5cm instant ranging accuracy in line of sight conditions. A fully-coupled architecture is proposed for the localization system using a combination of IEEE 802.15.4-2011 UWB and inertial sensors. This architecture not only implements the position estimation of the object by fusing the UWB and inertial measurements, but enables the nodes in the localization network to mutually share positional and other useful information via the UWB channel. The hybrid system has been demonstrated to be capable of simultaneous local-positioning and remote-tracking of the mobile object. Three fusion algorithms for relative position estimation are proposed, including internal navigation system (INS), INS with UWB ranging correction, and orientation plus ranging. Experimental results show that the INS with UWB correction algorithm achieves an average position accuracy of 0.1883m, and gets 83% and 62% improvements on the accuracy of the INS (1.0994m) and the existing extended Kalman filter tracking algorithm (0.5m), respectively.

Politics, Power, PISA: a genealogy of mathematics education policy at second level in Ireland at the beginning of the 21st century

This thesis traces a genealogy of the discourse of mathematics education reform in Ireland at the beginning of the twenty first century at a time when the hegemonic political discourse is that of neoliberalism. It draws on the work of Michel Foucault to identify the network of power relations involved in the development of a single case of curriculum reform – in this case Project Maths. It identifies the construction of an apparatus within the fields of politics, economics and education, the elements of which include institutions like the OECD and the Government, the bureaucracy, expert groups and special interest groups, the media, the school, the State, state assessment and international assessment. Five major themes in educational reform emerge from the analysis: the arrival of neoliberal governance in Ireland; the triumph of human capital theory as the hegemonic educational philosophy here; the dominant role of OECD/PISA and its values in the mathematics education discourse in Ireland; the fetishisation of western scientific knowledge and knowledge as commodity; and the formation of a new kind of subjectivity, namely the subjectivity of the young person as a form of human-capital-to-be. In particular, it provides a critical analysis of the influence of OECD/PISA on the development of mathematics education policy here – especially on Project Maths curriculum, assessment and pedagogy. It unpacks the arguments in favour of curriculum change and lays bare their ideological foundations. This discourse contextualises educational change as occurring within a rapidly changing economic environment where the concept of the State’s economic aspirations and developments in science, technology and communications are reshaping both the focus of business and the demands being put on education. Within this discourse, education is to be repurposed and its consequences measured against the paradigm of the Knowledge Economy – usually characterised as the inevitable or necessary future of a carefully defined present.

Afro-Cuban Bata Drum Aesthetics: Developing Individual and Group Technique, Sound and Identity

The Lucumi religion (also Santeria and Regla de Ocha) developed in 19th-century colonial Cuba, by syncretizing elements of Catholicism with the Yoruba worship of orisha. When fully initiated, santeros (priests) actively participate in religious ceremonies by periodically being possessed or "mounted" by a patron saint or orisha, usually within the context of a drumming ritual, known as a toque de santo, bembe, or tambor. Within these rituals, there is a clearly defined goal of trance possession, though its manifestation is not the sole measure of success or failure. Rather than focusing on the fleeting, exciting moments that immediately precede the arrival of an orisha in the form of a possession trance, this thesis investigates the entire four- to six-hour musical performance that is central to the ceremony. It examines the brief pauses, the moments of reduced intensity, the slow but deliberate build-ups of energy and excitement, and even the periods when novices are invited to perform the sacred bata drums, and places these moments on an equal footing with the more dynamic periods where possession is imminent or in progress. This document approaches Lucumi ritual from the viewpoint of bata drummers, ritual specialists who, during the course of a toque de santo, exercise wide latitude in determining the shape of the event. Known as omo Ana (children of the orisha Ana who is manifest in drums and rhythms), bata drummers comprise a fraternity that is accessible only through ritual initiation. Though they are sensitive to the desires of the many participants during a toque de santo, and indeed make their living by satisfying the expectations of their hosts, many of the drummers' activities are inwardly focused on the cultivation and preservation of this fraternity. Occasionally interfering with spirit possession, and other expectations of the participants, these aberrant activities include teaching and learning, developing group identity or signature sound, and achieving a state of intimacy among the musicians known as "communitas."

Equity trading volume and volatility: Latent information arrivals and common long-run dependencies

This article examines the behavior of equity trading volume and volatility for the individual firms composing the Standard & Poor's 100 composite index. Using multivariate spectral methods, we find that fractionally integrated processes best describe the long-run temporal dependencies in both series. Consistent with a stylized mixture-of-distributions hypothesis model in which the aggregate "news"-arrival process possesses long-memory characteristics, the long-run hyperbolic decay rates appear to be common across each volume-volatility pair.

Contracting Freedom: Governance and East Indian Indenture in the British Atlantic, 1838-1917

This is a dissertation about identity and governance, and how they are mutually constituted. Between 1838 and 1917, the British brought approximately half a million East Indian laborers to the Atlantic to work on sugar plantations. The dissertation argues that contrary to previous historiographical assumptions, indentured East Indians were an amorphous mass of people drawn from various regions of British India. They were brought together not by their innate "Indian-ness" upon their arrival in the Caribbean, but by the common experience of indenture recruitment, transportation and plantation life. Ideas of innate "Indian-ness" were products of an imperial discourse that emerged from and shaped official approaches to governing East Indians in the Atlantic. Government officials and planters promoted visions of East Indians as "primitive" subjects who engaged in child marriage and wife murder. Officials mobilized ideas about gender to sustain racialized stereotypes of East Indian subjects. East Indian women were thought to be promiscuous, and East Indian men were violent and depraved (especially in response to East Indian women's promiscuity). By pointing to these stereotypes about East Indians, government officials and planters could highlight the promise of indenture as a civilizing mechanism. This dissertation links the study of governance and subject formation to complicate ideas of colonial rule as static. It uncovers how colonial processes evolved to handle the challenges posed by migrant populations.

The primary architects of indenture, Caribbean governments, the British Colonial Office, and planters hoped that East Indian indentured laborers would form a stable and easily-governed labor force. They anticipated that the presence of these laborers would undermine the demands of Afro-Creole workers for higher wages and shorter working hours. Indenture, however, was controversial among British liberals who saw it as potentially hindering the creation of a free labor market, and abolitionists who also feared that indenture was a new form of slavery. Using court records, newspapers, legislative documents, bureaucratic correspondence, memoirs, novels, and travel accounts from archives and libraries in Britain, Guyana, and Trinidad and Tobago, this dissertation explores how indenture was envisioned and constantly re-envisioned in response to its critics. It chronicles how the struggles between the planter class and the colonial state for authority over indentured laborers affected the way that indenture functioned in the British Atlantic. In addition to focusing on indenture's official origins, this dissertation examines the actions of East Indian indentured subjects as they are recorded in the imperial archive to explore how these people experienced indenture.

Indenture contracts were central to the justification of indenture and to the creation of a pliable labor force in the Atlantic. According to English common law, only free parties could enter into contracts. Indenture contracts limited the period of indenture and affirmed that laborers would be remunerated for their labor. While the architects of indenture pointed to contracts as evidence that indenture was not slavery, contracts in reality prevented laborers from participating in the free labor market and kept the wages of indentured laborers low. Further, in late nineteenth-century Britain, contracts were civil matters. In the British Atlantic, indentured laborers who violated the terms of their contracts faced criminal trials and their associated punishments such as imprisonment and hard labor. Officials used indenture contracts to exploit the labor and limit the mobility of indentured laborers in a manner that was reminiscent of slavery but that instead established indentured laborers as subjects with limited rights. The dissertation chronicles how indenture contracts spawned a complex inter-imperial bureaucracy in British India, Britain, and the Caribbean that was responsible for the transportation and governance of East Indian indentured laborers overseas.

BAROQUE MUSIC FOR TRUMPET: A STUDY OF SOLO AND CHAMBER REPERTOIRE

The trumpet experienced important changes in terms of its musical use during the middle and late Baroque period. Prior to the Baroque, and even in to the first half of the 17th century, the trumpet had historically been used for rather "non-musical" purposes, sometimes as an instrument for battle or as a tool to be used in the town square to announce the arrival of a dignitary. On the whole, the trumpet was most certainly not used as an instrument of melody -that was typically reserved for violins, flutes, and oboes. However, in the late 1600's, composers such as Allesandro Stradella and Henry Purcell began to treat the trumpet differently. They saw the melodic potential in the trumpet and began to feature the trumpet more as an instrument of melody, as opposed to relegating it to only outlining triads and emphasizing harmony. Of course, keyboard, string, and woodwind instruments had long established a significant catalogue of works by the late 17th century. Additionally, even after the trumpet had been established as an instrument of melody, prominent composers of the time still wrote significantly more solo music for these other instrument families than for the trumpet. Consequently, the overall Baroque repertoire for the solo trumpet pales in comparison to that of the other families of instruments. But, much of this Baroque literature not originally written for trumpet can be presented effectively in the form of a transcription, thereby adding greatly to the repertoire of the Baroque solo trumpet. The goal of these three dissertation recitals is twofold: 1) to perform literature that offers music from a variety of countries of origin that span the entire Baroque era and 2) to feature music that has remained relatively unknown in the trumpet world, yet is musically strong. I will also introduce viable "new" music to the trumpet repertoire through Baroque transcriptions originally written for other instruments or voice. The majority of the transcriptions I will be performing have originated from my own listening and study of Baroque music, and I have selected music that I felt would translate well for the trumpet.

The island-scale internal wave climate of Moorea, French Polynesia

Analysis of five-year records of temperatures and currents collected at Moorea reveal strong internal wave activity at predominantly semi-diurnal frequencies impacting reef slopes at depths 30m around the entire island. Temperature changes of 1.5C to 3C are accompanied by surges of upward and onshore flow and vertical shear in onshore currents. Superimposed on annual temperature changes of approximately 3C, internal wave activity is high from Oct-May and markedly lower from Jun-Sep. The offshore pycnocline is broadly distributed with continuous stratification to at least 500m depth, and a subsurface fluorescence maximum above the strong nutricline at approximately 200m. Minimum buoyancy periods range from 4.8 to 6min, with the maximum density gradient occurring at 50 to 60m depth in summer and deepening to approximately 150 to 200m in winter. The bottom slope angle around all of Moorea is super-critical relative to the vertical stratification angle suggesting that energy propagating into shallow water is only a portion of total incident internal wave energy. Vertical gradient Richardson numbers indicate dominance by density stability relative to current shear with relatively limited diapycnal mixing. Coherence and lagged cross-correlation of semi-diurnal temperature variation indicate complex patterns of inter-site arrival of internal waves and no clear coherence or lagged correlation relationships among island sides. Semi-diurnal and high frequency internal wave packets likely arrive on Moorea from a combination of local and distant sources and may have important impacts for nutrient and particle fluxes in deep reef environments. © 2012 American Geophysical Union. All Rights Reserved.

A Markov modulated Poisson process model for rainfall increments

The problems encountered when using traditional rectangular pulse hierarchical point processmodels for fine temporal resolution and the growing number of available tip-time records suggest that rainfall increments from tipping-bucket gauges be modelled directly. Poisson processes are used with an arrival rate modulated by a Markov chain in Continuous time. The paper shows how, by using two or three states for this chain, much of the structure of the rainfall intensity distribution and the wet/dry sequences can be represented for time-scales as small as 5 minutes.

Airborne transport of Saharan dust to the Mediterranean and to the Atlantic

The Sahara desert is a significant source of particulate pollution not only to the Mediterranean region, but also to the Atlantic and beyond. In this paper, PM 10 exceedences recorded in the UK and the island of Crete are studied and their source investigated, using Lagrangian Particle Dispersion (LPD) methods. Forward and inverse simulations identify Saharan dust storms as the primary source of these episodes. The methodology used allows comparison between this primary source and other possible candidates, for example large forest fires or volcanic eruptions. Two LPD models are used in the simulations, namely the open source code FLEXPART and the proprietary code HYSPLIT. Driven by the same meteorological fields (the ECMWF MARS archive and the PSU/NCAR Mesoscale model, known as MM5) the codes produce similar, but not identical predictions. This inter-model comparison enables a critical assessment of the physical modelling assumptions employed in each code, plus the influence of boundary conditions and solution grid density. The outputs, in the form of particle concentrations evolving in time, are compared against satellite images and receptor data from multiple ground-based sites. Quantitative comparisons are good, especially in predicting the time of arrival of the dust plume in a particular location.

I wanna be a protocol: online media and electronic structures of kinship

Heidegger famously identified Modernity with a technological leveling of being to a single order of a “standing reserve.” In a radically different tone, Gilles Deleuze articulated a single “plane of immanence” within which ontological distinctions between mind and body, God and world, interiority and exteriority become indiscernible. Taking such philosophical declarations as points of departure, this panel will consider how a collapse of ontological distinction emerged as a thematic and structural trope in literary and cinematic modernisms. We hope to consider how writers and film-makers of the 20th c. utilize the resources of their media to ask “the question of being” that troubled their philosophical contemporaries and heirs. In this vein, we will examine how these modernist ontologies of immanence describe the crisis of a subject saturated and eclipsed by a world which comprises her while also remaining strange or opaque. Papers will ask what is lost with the departure of a distinctly human sense of “being” and how the historical arrival of an alternative ontological order may be evident in the lived experience of modernity. In this sense, the relationship to departures and arrivals becomes the modern subject’s suspicion that he is unable to do either vis á vis the world.