Strategic intelligence, Counter-Intelligence and Alliance Diplomacy in Anglo-French relations before the Second World War

Jackson, Peter, and Joe Maiolo, 'Strategic intelligence, Counter-Intelligence and Alliance Diplomacy in Anglo-French relations before the Second World War', Military History (2006) 65(2) pp.417-461 RAE2008

C.A.W. Manning and the Study of International Relations

Suganami, H., C.A.W.Manning and the Study of International Relations, Review of International Studies (2001), 27 : 091-107 RAE2008

The Realist Tradition and the Limits of International Relations

Williams, Mike, Realist Tradition and the Limits of International Relations (Cambridge: Cambridge University Press, 2005), pp.ix+236 RAE2008

Through the Wire: Relations of Power and Relations of Violence

Edkins, J. and Pin-Fat, V. (2005). Through the Wire: Relations of Power and Relations of Violence. Millennium - Journal of International Studies. 34(1), pp.1-24 RAE2008

The English School of International Relations: A Contemporary Reassessment

Linklater, A. and Suganami, A. (2006). The English School of International Relations: A Contemporary Reassessment. Cambridge Studies in International Relations (No. 102). Cambridge: Cambridge University Press. RAE2008

'What Foes more dang'rous than too strong Allies?': Anglo-Welsh relations in eighteenth-century London

Prescott, Sarah, ''What Foes more dang'rous than too strong Allies?': Anglo-Welsh relations in eighteenth-century London', The Huntington Library Quarterly (2006) 69 (4) pp.535-554 RAE2008

Effects of a stay-green mutation on plant nitrogen relations in Lolium perenne during N starvation and after defoliation

Macduff, J. H., Humphreys, M. O., Thomas, Howard (2002). Effects of a stay-green mutation on plant nitrogen relations in Lolium perenne during N starvation and after defoliation. Annals of Botany, 89 (1), 11-21. Sponsorship: BBSRC RAE2008

The use of two relations in L-fuzzy contexts

In the analysis of relations among the elements of two sets it is usual to obtain different values depending on the point of view from which these relations are measured. The main goal of the paper is the modelization of these situations by means of a generalization of the L-fuzzy concept analysis called L-fuzzy bicontext. We study the L-fuzzy concepts of these L-fuzzy bicontexts obtaining some interesting results. Specifically, we will be able to classify the biconcepts of the L-fuzzy bicontext. Finally, a practical case is developed using this new tool.

An Implementation of Mermera: A Shared Memory System that Mixes Coherence with Non-coherence

Coherent shared memory is a convenient, but inefficient, method of inter-process communication for parallel programs. By contrast, message passing can be less convenient, but more efficient. To get the benefits of both models, several non-coherent memory behaviors have recently been proposed in the literature. We present an implementation of Mermera, a shared memory system that supports both coherent and non-coherent behaviors in a manner that enables programmers to mix multiple behaviors in the same program[HS93]. A programmer can debug a Mermera program using coherent memory, and then improve its performance by selectively reducing the level of coherence in the parts that are critical to performance. Mermera permits a trade-off of coherence for performance. We analyze this trade-off through measurements of our implementation, and by an example that illustrates the style of programming needed to exploit non-coherence. We find that, even on a small network of workstations, the performance advantage of non-coherence is compelling. Raw non-coherent memory operations perform 20-40~times better than non-coherent memory operations. An example application program is shown to run 5-11~times faster when permitted to exploit non-coherence. We conclude by commenting on our use of the Isis Toolkit of multicast protocols in implementing Mermera.

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.

The Whitby life of Gregory the Great: exegesis and hagiography

The eight-century Whitby Vita Gregorii is one of the earliest examples of Anglo-Saxon hagiography, and is the earliest surviving life of Gregory the Great (590-604). The work has proved itself an anomaly in subject matter, style and approach, not least because of the writer’s apparently arbitrary insertion of an account of the retrieval of the relics of the Anglo-Saxon King Edwin (d.633). There has, however, been relatively little research on the document to date, the most recent concentrating on elements in the Gregorian material in the work. The present thesis adapts a methodology which identifies patristic exegetical themes and techniques in the Vita. That is not only in material originating from the pen of Gregory himself, which is freely quoted and cited by the writer, but also in the narrative episodes concerning the Pope. It also identifies related exegetical themes underlying the narrative of the Anglo-Saxon material in the document, and this suggests that the work is of much greater coherence then has previously been thought. In the course of the thesis some of the Vita Gregorii’s major patristic themes are compared with Bede and other insular writers in the presentation of topics that have been of considerable interest to insular historians in recent years. That is themes including: the conversion and salvation of the English people; the ideal pastor; monastic influence on formation of Episcopal spiritual authority; relations between king and bishop. The thesis also includes a re-evaluation of the possible historical context and purpose of the work, and demonstrates the value of a proper understanding of the Vita’s spiritual nature in order to achieve this. Finally the research is supported by a new structural analysis of the entire Vita Gregorii as an artefact formed within literary traditions.

Anglo-Irish relations in the framework of the EEC and Northern Ireland, 1969-1975

This thesis will analyse Anglo-Irish relations between 1969 and 1975, when two topics dominated the relationship: Northern Ireland and the entry of Britain and Ireland into the European Economic Community (hereafter EEC). In 1969 entry to the EEC was still only a possibility and awaited political developments, while the Northern Ireland problem had yet to escalate. 1975 on the other hand confirmed that Ireland would remain in the EEC even if Britain left while Direct Rule for Northern Ireland was confirmed as the British policy for the foreseeable future. These dates are significant because they encompass firstly pre and post entry to the EEC and how this transformed Anglo-Irish relations. Secondly they contain the commencement and then deterioration of the Northern Ireland problem and the attempts to resolve it that finally led to direct rule by Westminster. The study will examine the fluctuating nature of the relationship between Britain and Ireland. Special regard will be devoted to the demands of internal British politics and how such demands affected the relationship. Overall, the study will demonstrate how the bilateral relationship evolved under the pressure of events in Northern Ireland and adapted to the multilateral context of the EEC. It will compare the dynamics of the states’ interactions in two extremely different areas. The thesis will demonstrate how entry to the EEC transformed the unequal Anglo-Irish economic relationship and created one of partners within the EEC. It will also analyse how the developing Northern Ireland problem caused changes to British policy. In particular, it will examine how the British Government came to recognise the beneficial role that the Republic of Ireland might play in resolving the Troubles in Northern Ireland.

Towards enhanced divine-human-earth relations: a Christian-Buddhist contribution

The central claim of the dissertation is that lesser known and somewhat neglected, yet influential thinkers, within classical religious traditions have something worthwhile to contribute to the kind of ethos we should adopt in the face of the world’s various environmental crises. Moreover an exploration of such perspectives is best done in dialogue, particularly between Eastern and Western thought. I examine this claim primarily through a dialogue between the Christian philosopher John Scottus Eriugena and the Japanese Buddhist philosopher Kūkai (Kōbō Daishi). This dialogue, framed by the triad of divine-human-earth relations, primarily emphasises the oneness of all reality, and it finds expression in Eriugena’s concept of natura or phusis and Kūkai’s central teaching that the phenomenal world is the cosmic Buddha Dainichi. By highlighting this focus, I contribute to the existing academic field of ecology and religion on the subject of holism. However, I go beyond the materialist focus that generally marks such ecological holism within that field, offering instead a more metaphysical approach. This is indicated through my use of the concept of ‘immanental transcendence’ to describe Eriugena’s and Kūkai’s dynamic, numinous and mysterious notion of reality, as well as my exploration of Eriugena’s concept of theophany and Kūkai’s notion of kaji. I further explore how both philosophers highlight the human role in the process of reaching enlightenment—understood as attaining union with the whole. In that regard, I note significant differences in their positions: in particular, I note that Kūkai’s emphasis on bodily practices contrasts with Eriugena’s more conceptual approach. Finally to bolster my claim, I examine some ecologically oriented understandings of contemporary phenomenological approaches found particularly in the work of Jean-Luc Marion and to a lesser extent Merleau-Ponty, arguing that these reflect notions of reality and of the human role similar to those of the medieval philosophers.

Separating the scattering and absorption coefficients using the real and imaginary parts of the refractive index with low-coherence interferometry.

We present an analytical method that yields the real and imaginary parts of the refractive index (RI) from low-coherence interferometry measurements, leading to the separation of the scattering and absorption coefficients of turbid samples. The imaginary RI is measured using time-frequency analysis, with the real part obtained by analyzing the nonlinear phase induced by a sample. A derivation relating the real part of the RI to the nonlinear phase term of the signal is presented, along with measurements from scattering and nonscattering samples that exhibit absorption due to hemoglobin.