Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Between respectability and disgrace: schismogenesis and the regeneration of inequality, stigma and social exclusion in Limerick

The thesis examines cultural processes underpinning the emergence, institutionalisation and reproduction of class boundaries in Limerick city. The research aims to bring a new understanding to the contemporary context of the city’s urban regeneration programme. Acknowledging and recognising other contemporary studies of division and exclusion, the thesis creates a distinctive approach which focuses on uncovering the cultural roots of inequality, educational disadvantage, stigma and social exclusion and the dynamics of their social reproduction. Using Bateson’s concept of schismogenesis (1953), the thesis looks to the persistent, but fragmented culture of community and develops a heuristic ‘symbolic order of the city’. This is defined as “…a cultural structure, the meaning making aspect of hierarchy, the categorical structures of world understanding, the way Limerick people understand themselves, their local and larger world” (p. 37). This provides a very different departure point for exploring the basis for urban regeneration in Limerick (and everywhere). The central argument is that if we want to understand the present (multiple) crises in Limerick we need to understand the historical, anthropological and recursive processes underpinning ‘generalised patterns of rivalry and conflict’. In addition to exploring the historical roots of status and stigma in Limerick, the thesis explores the mythopoesis of persistent, recurrent narratives and labels that mark the boundaries of the city’s identities. The thesis examines the cultural and social function of ‘slagging’ as a vernacular and highly particularised form of ironic, ritualised and, often, ‘cruel’ medium of communication (often exclusion). This is combined with an etymology of the vocabulary of Limerick slang and its mythological base. By tracing the origins of many normalised patterns of Limerick speech ‘sayings’, which have long since forgotten their roots, the thesis demonstrates how they perform a significant contemporary function in maintaining and reinforcing symbolic mechanisms of inclusion/exclusion. The thesis combines historical and archival data with biographical interviews, ethnographic data married to a deep historical hermeneutic analysis of this political community.

Nanofabrication towards biophotonics

This thesis explores methods for fabrication of nanohole arrays, and their integration into a benchtop system for use as sensors or anti-counterfeit labels. Chapter 1 gives an introduction to plasmonics and more specifically nanohole arrays and how they have potential as label free sensors compared to the current biosensors on the market. Various fabrication methods are explored, including Focused Ion Beam, Electron Beam Lithography, Nanoimprint lithography, Template stripping and Phase Shift Lithography. Focused Ion Beam was chosen to fabricate the nanohole arrays due to its suitability for rapid prototyping and it’s relatively low cost. In chapter 2 the fabrication of nanohole arrays using FIB is described, and the samples characterised. The fabricated nanohole arrays are tested as bulk refractive index sensors, before a bioassay using whole molecule human IgG antibodies and antigen is developed and performed on the senor. In chapter 3 the fabricated sensors are integrated into a custom built system, capable of real time, multiplexed detection of biomolecules. Here, scFv antibodies of two biomolecules relevant to the detection of pancreatic cancer (C1q and C3) are attached to the nanohole arrays, and detection of their complementary proteins is demonstrated both in buffer (10 nM detection of C1q Ag) and human serum. Chapter 4 explores arrays of anisotropic (elliptical) nanoholes and shows how the shape anisotropy induces polarisation sensitive transmission spectra, in both simulations and fabricated arrays. The potential use of such samples as visible and NIR tag for anti-counterfeiting applications is demonstrated. Finally, chapter 5 gives a summary of the work completed and discusses potential future work in this area.