Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.

Between safety and vulnerability:the exiled other of international relations

Inspired by the idea of safe citizenship this article queries the possibilities of safety in an age of securitization. It challenges the cosmopolitan worldview and its iteration of a global cosmopolitan citizen. It champions an account of affective citizenship, narration and attends to the trauma of exile. It offers an account of exile before suggesting an institutional design premised on politicization. This design, it is argued, facilitates moments of storytelling fostering individual empowerment. This unorthodox rendering of agency allows the traumatized exile to negotiate the world as it is, not as it could be, as a potential ‘safe’ citizen.

Analysing organisational culture : a critical ethnography of public relations and personnel specialists in a state bureaucracy

Following an introductory chapter, I examine (i) typologies which have differentiated the literature on organisational culture and symbolism (Chapter 2), (ii) the contribution of organisation theory to organisation culture (Chapter 3), and (iii) recent literature on organisational culture and symbolism (Chapter 4). Within these chapters, I adopt Habermas' (1972) notion of knowledge-constitutive interests, assessing the contrubutions to understanding organisational culture made by literature guided by technical, practical and emancipatory cognitive interests. In doing so, I suggest that more critical studies on organisational culture and symbolism have been comparatively neglected. Lamenting this neglect, I suggest that Giddens' theory of structuration can be employed to advance the development of a critical, emancipatory conceptualisation of organisational culture. In particular, I argue that this Giddensian analysis, by penetrating the existential, poltical and material processes of cultural reproduction (Chapter 5), is able to disclose some of the more contradictory features of organisation culture. The remainder of the thesis comprises of a critical ethnography of the work cultures of public relations and personnel specialists located in a state bureaucracy. I begin the ethnography with a dicussion of my research methods (Chapter 6) and an overview of the departments studied (Chapter 7): I then examine (i) the work cultures of the specialists (Chapter 8), (ii) the specialists' management of the relationships with the hosts bureaucracy (Chapter 9); and, (iii) opportunities the specialists had for developing an emancipatory praxis (Chapter 10). Finally, in a concluding section, I offer some critical reflections on the contributions of the thesis and suggest areas for future research.

Catholic Child Welfare Society v Institute of Brothers 2012

Case law report - online

Renfrewshire Council v Educational Institute of Scotland 2012

Case law report - online

Financial risk management for management accountants:Society of Management Accountants Canada, American Institute of Certified Public Accountants and Chartered Institute of Management Accountants

Management accounting guideline

The Fiftieth Anniversary of the Institute of Mathematics and Informatics

In October 1997 we celebrate the fiftieth anniversary of the founding of the Institute for Mathematics and Informatics (IMI) of the Bulgarian Academy of Sciences (BAS).

Computer Processing of Medieval Slavic Sources in the Institute of Literature at BAS Repertorium Project (1994–2004)

Mixed-content miscellanies (very frequent in the Byzantine and mediaeval Slavic written heritage) are usually defined as collections of works with non-occupational, non-liturgical application, and texts in them are selected and arranged according to no identifiable principle. It is a “readable” type of miscellanies which were compiled mainly on the basis of the cognitive interests of compilers and readers. Just like the occupational ones, they also appeared to satisfy public needs but were intended for individual usage. My textological comparison had shown that mixed- content miscellanies often showed evidence of a stable content – some of them include the same constituent works in the same order, regardless that the manuscripts had no obvious genetic relationship. These correspondences were sufficiently numerous and distinctive that they could not be merely fortuitous, and the only sensible interpretation was that even when the operative organizational principle was not based on independently identifiable criteria, such as the church calendar, liturgical function, or thematic considerations, mixed-content miscellanies (or, at least, portions of their contents) nonetheless fell into types. In this respect, the apparent free selection and arrangement of texts in mixed-content miscellanies turns out to be illusory. The problem was – as the corpus of manuscripts that I and my colleagues needed to examine grew – our ability to keep track of the structure of each one, and to identify structural correspondences among manuscripts within the corpus, diminished. So, at the end of 1993 I addressed a letter to Prof. David Birnbaum (University of Pittsburgh, PA) with a request to help me to solve the problem. He and my colleague Andrey Boyadzhiev (Sofia University) pointed out to me that computers are well suited to recording, processing, and analyzing large amounts of data, and to identifying patterns within the data, and their proposal was that we try to develop a computer system for description of manuscripts, for their analysis and of course, for searching the data. Our collaboration in this project is now ten years old, and our talk today presents an overview of that collaboration.

Digitization of Old Mathematical Periodicals Published by the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences

The digitization practice for retro-converting of the mathematical periodicals, published by the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences (IMI-BAS) and the followed benefits for long-term preserving and assuring open access to these materials is discussed in the article.