Skip to main content

Research Repository

Advanced Search

All Outputs (46068)

Accurate Step Counting (2005)
Presentation / Conference Contribution
Hope, C., & Hutton, G. (2005). Accurate Step Counting.

Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevance to studying both the space and time properties of programs because these ca... Read More about Accurate Step Counting.

Framing post-conflict societies: an analysis of the international pathologisation of Cambodia and the post-Yugoslav states (2005)
Journal Article
Hughes, C., & Pupavac, V. (2005). Framing post-conflict societies: an analysis of the international pathologisation of Cambodia and the post-Yugoslav states. Third World Quarterly, 26(6), https://doi.org/10.1080/01436590500089232

The article examines the pathologisation of post-conflict societies through a comparison of the framing of the Cambodian and post-Yugoslav states. The notion of failed states fixes culpability for war on societies in question, rendering the domestic... Read More about Framing post-conflict societies: an analysis of the international pathologisation of Cambodia and the post-Yugoslav states.

Calculating an Exceptional Machine (2005)
Presentation / Conference Contribution
Hutton, G., & Wright, J. (2005). Calculating an Exceptional Machine.

In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to verify, an abstract machine for this language. The key step is the use of Reynold's defunctionalizatio... Read More about Calculating an Exceptional Machine.

'Malicious Code Execution Detection and Response Immune System inspired by the Danger Theory' (2005)
Presentation / Conference Contribution
Kim, J., Greensmith, J., Twycross, J., & Aickelin, U. 'Malicious Code Execution Detection and Response Immune System inspired by the Danger Theory'. Presented at Adaptive and Resilient Computing Security Workshop (ARCS-05)

The analysis of system calls is one method employed by anomaly detection systems to recognise malicious code execution. Similarities can be drawn between this process and the behaviour of certain cells belonging to the human immune system, and can be... Read More about 'Malicious Code Execution Detection and Response Immune System inspired by the Danger Theory'.

'Cooperative Automated worm Response and Detection ImmuNe ALgorithm (CARDINAL) inspired by T-cell Immunity and Tolerance' (2005)
Presentation / Conference Contribution
Kim, J., Wilson, W., Aickelin, U., & McLeod, J. (2005). 'Cooperative Automated worm Response and Detection ImmuNe ALgorithm (CARDINAL) inspired by T-cell Immunity and Tolerance'.

The role of T-cells within the immune system is to confirm and assess anomalous situations and then either respond to or tolerate the source of the effect. To illustrate how these mechanisms can be harnessed to solve real-world problems, we present t... Read More about 'Cooperative Automated worm Response and Detection ImmuNe ALgorithm (CARDINAL) inspired by T-cell Immunity and Tolerance'.

Contrasts in China and Soviet reform: sub-national and national causes (2005)
Journal Article
Lai, H. (2005). Contrasts in China and Soviet reform: sub-national and national causes. Asian Journal of Political Science, 13(1), https://doi.org/10.1080/02185370508434248

Why did reform in China and the former Soviet Union produce drastically different outcomes? Why did some provinces in China embrace faster economic reform than others? This article argues that the state sector and reform initiatives in the sub-nation... Read More about Contrasts in China and Soviet reform: sub-national and national causes.

Encapsulating and Manipulating Component Object Graphics (COGs) using SVG (2005)
Presentation / Conference Contribution
Macdonald, A. J., Brailsford, D. F., & Bagley, S. R. Encapsulating and Manipulating Component Object Graphics (COGs) using SVG. Presented at ACM Symposium on Document Engineering (DocEng05)

Scalable Vector Graphics (SVG) has an imaging model similar to that of PostScript and PDF but the XML basis of SVG allows it to participate fully, via namespaces, in generalised XML documents.There is increasing interest in using SVG as a Page Descri... Read More about Encapsulating and Manipulating Component Object Graphics (COGs) using SVG.

MATCH: a new industry-focused approach to medical device development (2005)
Book Chapter
Martin, J. L., Craven, M. P., & Norris, B. J. (2005). MATCH: a new industry-focused approach to medical device development. In R. Tartaglia (Ed.), Healthcare systems ergonomics and patient safety: human factor, a bridge between care and cure : proceedings of the International Conference HEPS 2005, Florence, Italy, 30th March-2nd April 2005. Taylor & Francis

MATCH (Multidisciplinary Assessment of Technology Centre for
Healthcare) is a new collaboration in the UK that aims to support the healthcare sector by creating methods to assess the value of medical devices from concept through to mature product. A... Read More about MATCH: a new industry-focused approach to medical device development.

Occupational Safety and Health (2005)
Book Chapter
Middleton, C. (2005). Occupational Safety and Health. In R. A. MacLeod, & J. Corlett (Eds.), Information sources in engineering. 4th ed. K.G.Saur

Empowering women? An assessment of international gender policies in Bosnia (2005)
Journal Article
Pupavac, V. (2005). Empowering women? An assessment of international gender policies in Bosnia. International Peacekeeping, 12(3), https://doi.org/10.1080/13533310500074507

International policy-making promises to empower women in Bosnia through encouraging their participation in the political process, giving them voice in civil society and through providing enhanced opportunities for economic independence. This paper ch... Read More about Empowering women? An assessment of international gender policies in Bosnia.

Human security and the rise of global therapeutic governance (2005)
Journal Article
Pupavac, V. (2005). Human security and the rise of global therapeutic governance. Conflict, Security and Development, 5(2), https://doi.org/10.1080/14678800500170076

This article discusses the emergence of global therapeutic governance or the influence of social psychology on international development policy. Therapeutic governance links psychosocial well-being and security, and seeks to foster personalities able... Read More about Human security and the rise of global therapeutic governance.

Multiculturalism and its discontents in SFR Yugoslavia and Bosnia: a critique of the multiculturalist rights model (2005)
Book Chapter
Pupavac, V. (2005). Multiculturalism and its discontents in SFR Yugoslavia and Bosnia: a critique of the multiculturalist rights model. In The UN, human rights and post-conflict situations. Manchester University Press

In this chapter I seek to contribute to debates over multiculturalism and highlight problems with ethnic rights strategies. I hope to facilitate understanding of the failures to overcome ethnic divisions in Bosnia, as well as to suggest how critiques... Read More about Multiculturalism and its discontents in SFR Yugoslavia and Bosnia: a critique of the multiculturalist rights model.

Designing the spectator experience (2005)
Presentation / Conference Contribution
Reeves, S., Benford, S., O'Malley, C., & Fraser, M. Designing the spectator experience. Presented at SIGCHI Conference on Human Factors in Computing Systems (CHI)

Interaction is increasingly a public affair, taking place in our theatres, galleries, museums, exhibitions and on the city streets. This raises a new design challenge for HCI, questioning how a performer s interaction with a computer experienced is b... Read More about Designing the spectator experience.

Seeing it my way: a case of a selective deficit in inhibiting self-perspective (2005)
Journal Article
Samson, D., Apperly, I. A., Kathirgamanathan, U., & Humphreys, G. W. (2005). Seeing it my way: a case of a selective deficit in inhibiting self-perspective. Brain, 128(5), https://doi.org/10.1093/brain/awh464

Little is known about the functional and neural architecture of social reasoning, one major obstacle being that we crucially lack the relevant tools to test potentially different social reasoning components. In the case of belief reasoning, previous... Read More about Seeing it my way: a case of a selective deficit in inhibiting self-perspective.

Compression stockings and the prevention of symptomatic venous thromboembolism: data from the Tinzaparin in Acute Ischaemic Stroke Trial (2005)
Journal Article
Sprigg, N., Gray, L. J., Bath, P. M., Boysen, G., de Deyn, P. P., Leys, D., …van der Sande, J. J. (2005). Compression stockings and the prevention of symptomatic venous thromboembolism: data from the Tinzaparin in Acute Ischaemic Stroke Trial. Journal of Stroke and Cerebrovascular Diseases, 14(5),

Background: Venous thromboembolism (VTE) is a well recognised and preventable complication of acute stroke. While graduated compression stockings reduce the risk of VTE in surgical patients their benefit in acute stroke remains uncertain.
Methods: T... Read More about Compression stockings and the prevention of symptomatic venous thromboembolism: data from the Tinzaparin in Acute Ischaemic Stroke Trial.

Assessment of the anthelmintic effect of natural plant cysteine proteinases against the gastrointestinal nematode, Heligmosomoides polygyrus, in vitro (2005)
Journal Article
Stepek, G., Buttle, D. J., Duce, I., Lowe, A., & Behnke, J. M. (2005). Assessment of the anthelmintic effect of natural plant cysteine proteinases against the gastrointestinal nematode, Heligmosomoides polygyrus, in vitro. Parasitology, 130(2), https://doi.org/10.1017/S0031182004006225

We examined the mechanism of action and compared the anthelmintic efficacy of cysteine proteinases from papaya, pineapple, fig, kiwi fruit and Egyptian milkweed in vitro using the rodent gastrointestinal nematode Heligmosomoides polygyrus. Within a 2... Read More about Assessment of the anthelmintic effect of natural plant cysteine proteinases against the gastrointestinal nematode, Heligmosomoides polygyrus, in vitro.

European Cosmopolitanism and Civil Society (2005)
Journal Article
Stevenson, N. (2005). European Cosmopolitanism and Civil Society. Innovation / Innovation: The European Journal of Social Science Research, 18(1),

The discussion of European cosmopolitanism and civil society has failed to take questions of culture seriously enough. While remaining sympathetic to liberal forms of cosmopolitanism, this article considers the view that such proposals fail to make s... Read More about European Cosmopolitanism and Civil Society.