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.

Finding optimal alternatives based on efficient comparative preference inference

Choosing the right or the best option is often a demanding and challenging task for the user (e.g., a customer in an online retailer) when there are many available alternatives. In fact, the user rarely knows which offering will provide the highest value. To reduce the complexity of the choice process, automated recommender systems generate personalized recommendations. These recommendations take into account the preferences collected from the user in an explicit (e.g., letting users express their opinion about items) or implicit (e.g., studying some behavioral features) way. Such systems are widespread; research indicates that they increase the customers' satisfaction and lead to higher sales. Preference handling is one of the core issues in the design of every recommender system. This kind of system often aims at guiding users in a personalized way to interesting or useful options in a large space of possible options. Therefore, it is important for them to catch and model the user's preferences as accurately as possible. In this thesis, we develop a comparative preference-based user model to represent the user's preferences in conversational recommender systems. This type of user model allows the recommender system to capture several preference nuances from the user's feedback. We show that, when applied to conversational recommender systems, the comparative preference-based model is able to guide the user towards the best option while the system is interacting with her. We empirically test and validate the suitability and the practical computational aspects of the comparative preference-based user model and the related preference relations by comparing them to a sum of weights-based user model and the related preference relations. Product configuration, scheduling a meeting and the construction of autonomous agents are among several artificial intelligence tasks that involve a process of constrained optimization, that is, optimization of behavior or options subject to given constraints with regards to a set of preferences. When solving a constrained optimization problem, pruning techniques, such as the branch and bound technique, point at directing the search towards the best assignments, thus allowing the bounding functions to prune more branches in the search tree. Several constrained optimization problems may exhibit dominance relations. These dominance relations can be particularly useful in constrained optimization problems as they can instigate new ways (rules) of pruning non optimal solutions. Such pruning methods can achieve dramatic reductions in the search space while looking for optimal solutions. A number of constrained optimization problems can model the user's preferences using the comparative preferences. In this thesis, we develop a set of pruning rules used in the branch and bound technique to efficiently solve this kind of optimization problem. More specifically, we show how to generate newly defined pruning rules from a dominance algorithm that refers to a set of comparative preferences. These rules include pruning approaches (and combinations of them) which can drastically prune the search space. They mainly reduce the number of (expensive) pairwise comparisons performed during the search while guiding constrained optimization algorithms to find optimal solutions. Our experimental results show that the pruning rules that we have developed and their different combinations have varying impact on the performance of the branch and bound technique.

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.

Work experience in transition year: a mixed methods study of subject and career choices

Transition Year (TY) has been a feature of the Irish Education landscape for 39 years. Work experience (WE) has become a key component of TY. WE is defined as a module of between five and fifteen days duration where students engage in a work placement in the broader community. It places a major emphasis on building relationships between schools and their external communities and concomitantly between students and their potential future employers. Yet, the idea that participation in a TY work experience programme could facilitate an increased awareness of potential careers has drawn little attention from the research community. This research examines the influence WE has on the subsequent subjects choices made by students along with the effects of that experience on the students’ identities and emerging vocational identities. Socio-cultural Learning Theory and Occupational Choice Theory frame the overall study. A mixed methods approach to data collection was adopted through the administration of 323 quantitative questionnaires and 32 individual semi-structured interviews in three secondary schools. The analysis of the data was conducted using a grounded theory approach. The findings from the research show that WE makes a significant contribution to the students’ sense of agency in their own lives. It facilitates the otherwise complex process of subject choice, motivates students to work harder in their senior cycle, introduces them to the concepts of active, experience-based and self-directed learning, while boosting their self-confidence and nurturing the emergence of their personal and vocational identities. This research is a gateway to further study in this field. It also has wide reaching implications for students, teachers, school authorities, parents and policy makers regarding teaching and learning in our schools and the value of learning beyond the walls of the classroom.

The intra-Traveller debate on ‘Traveller ethnicity’ in the Republic of Ireland. A critical discourse analysis

This dissertation assesses from an under-explored angle the enduring contention over Travellers’ ethnic recognition in the Republic of Ireland, particularly over the last decade. The novelty of this study concerns not only its specific focus on and engagement with the debate on ‘Traveller ethnicity’ among Traveller activists. It also pertains to the examination of Travellers’ arguments for and against ethnicity in light of critical theorisations as well as insights from identity politics. Furthermore, the adoption of a Critical Discourse Analytical framework offers new perspectives to this controversy and its potential implications. Finally, this thesis’ relevance extends beyond the contention on ‘Traveller ethnicity’ in itself. It also draws attention to the complex dynamics of colonisation and appropriation between the global and the local. Particularly, it points to the interplay between international human rights discourses and the local ones, formulated by NGOs struggling for equality. In this way it sheds light on more general issues such as the dialectical potential of human rights discourses: the benefits and pitfalls of framing recognition claims in the legalistic terms of human rights. In this study it is argued that the contention on ‘Traveller ethnicity’ defies a simplistic polarisation between Irish Travellers and the Irish State since it has been simultaneously played out within the Travelling community. Specifically, this study explores how ‘Traveller ethnicity’ has been introduced, embraced, promoted and contested within Traveller politics to the point of becoming a hotly debated and divisive issue among Traveller activists and at the heart of the community itself. Putting Traveller activists centre-stage, their discourses for and against ‘Traveller ethnicity’ are examined and assessed against one another and their potential implications for Traveller politics, policies and identities are pointed out. Contending discourses are historically contextualised as the product of specific structural, material and discursive configurations of power and socio-economic relations within Irish society. Discourses for and against ‘Traveller ethnicity’ are assessed as being significant beyond the representational level. They are regarded as contributing to dialectically constitute Travellers’ ways of being, representing and acting. Furthermore these discourses are considered as sites and means of power struggles, whose stakes are not only words, but relate to issues of power and leadership within the Travelling community; adjudications over material resources; the adoption of certain policy approaches over others; and, finally, the consolidation of certain subject positions over others for Travellers to draw upon and relate to mainstream society. This study highlights an ongoing ideological struggle for the naturalisation of ‘Traveller ethnicity’ as a self-evident ‘fact’, which involves no active choice by Travellers themselves. Overall, ‘Traveller ethnicity’ appears to constitute an enduring source of dilemmas for the Travelling community. These revolve around the contradictory potential of ethnicity claims-making —both its perils and advantages— and its status as a potent political strategic resource that can both challenge and reinforce existing power relations, policies and identities.

Legal regulation of the software "patentable subject matter" requirement in the US and in Europe: The need for certainty, predictability and uniformity

This thesis critically investigates the divergent international approaches to the legal regulation of the patentability of computer software inventions, with a view to identifying the reforms necessary for a certain, predictable and uniform inter-jurisdictional system of protection. Through a critical analysis of the traditional and contemporary US and European regulatory frameworks of protection for computer software inventions, this thesis demonstrates the confusion and legal uncertainty resulting from ill-defined patent laws and inconsistent patent practices as to the scope of the “patentable subject matter” requirement, further compounded by substantial flaws in the structural configuration of the decision-making procedures within which the patent systems operate. This damaging combination prevents the operation of an accessible and effective Intellectual Property (IP) legal framework of protection for computer software inventions, capable of securing adequate economic returns for inventors whilst preserving the necessary scope for innovation and competition in the field, to the ultimate benefit of society. In exploring the substantive and structural deficiencies in the European and US regulatory frameworks, this thesis develops to ultimately highlight that the best approach to the reform of the legal regulation of software patentability is two-tiered. It demonstrates that any reform to achieve international legal harmony first requires the legislature to individually clarify (Europe) or restate (US) the long-standing inadequate rules governing the scope of software “patentable subject matter”, together with the reorganisation of the unworkable structural configuration of the decision-making procedures. Informed by the critical analysis of the evolution of the “patentable subject matter” requirement for computer software in the US, this thesis particularly considers the potential of the reforms of the European patent system currently underway, to bring about certainty, predictability and uniformity in the legal treatment of computer software inventions.

The endless search for SA: spiritual ideology in Hindustāni music

This dissertation centres on philosophical attitudes presented by North Indian classical musicians in relation to the concept and experience of rāga improvisation. In Hindustāni music, there is a dynamic tension ideology and pragmatism, devotion and entertainment, fixity and improvisational freedom, and cognition and visceral experience. On one hand, rāga is an embodied methodological template for the creation of music. On the other hand, rāga improvisation is conceptualised as a path to metaphysical experience and as an evocation of an ineffable divine presence. A masterful rendition of rāga is both a re-enactment of a systematic prescribed formula and a spontaneous flow of consciousness. This study presents these apparent dichotomies to highlight ideological concerns, while simultaneously contextualising philosophical idealism in relation to pragmatic realities. A central paradigm is the manner in which pragmatic concerns are elevated in status and given spiritual significance. The dissertation begins with a view into historical and religious context. The discussion continues with a speculative investigation positing co-relations between Hindustāni music and central tenets of Indian philosophy, considering how rāga improvisation may manifest as a philosophy of sound. The study then explores the concept of rāga, a modal and conceptual construct that forms the heart of Indian classical music. The final three sections ground the subject of spiritual ideology within the life experience of Hindustāni musicians: ‘Transmission’ looks at the learning and enculturation process, which encapsulates values intrinsic to the ethos of Hindustāni music culture. ‘Practice’ explores the discipline, science and experience of musical practice, revealing core ideological concerns connecting spirituality to musical experience; and ‘Performance’ examines the live presentation of rāga improvisation, and the relationship between music as ‘entertainment’ and music as ‘devotion’. Both ethnographic and musicological, this research is the culmination of various fieldtrips to India, extensive interviews with Hindustāni musicians, fifteen year’s sitār training, and the study of relevant musicological and philosophical texts.

Researcher practices on returning genetic research results.

BACKGROUND/AIMS: as genetic and genomic research proliferates, debate has ensued about returning results to participants. In addition to consideration of the benefits and harms to participants, researchers must also consider the logistical and financial feasibility of returning research results. However, little data exist of actual researcher practices. METHODS: we conducted an online survey of 446 corresponding authors of genetic/genomic studies conducted in the United States and published in 2006-2007 to assess the frequency with which they considered, offered to, or actually returned research results, what factors influenced these decisions, and the method of communicating results. RESULTS: the response rate was 24% (105/446). Fifty-four percent of respondents considered the issue of returning research results to participants, 28% offered to return individual research results, and 24% actually returned individual research results. Of those who considered the issue of returning research results during the study planning phase, the most common factors considered were whether research results were deemed clinically useful (18%) and respect for participants (13%). Researchers who had a medical degree and conducted studies on children were significantly more likely to offer to return or actually return individual results compared to those with a Ph.D. only. CONCLUSIONS: we speculate that issues associated with clinical validity and respect for participants dominated concerns of time and expense given the prominent and continuing ethical debates surrounding genetics and genomics research. The substantial number of researchers who did not consider returning research results suggests that researchers and institutional review boards need to devote more attention to a topic about which research participants are interested.

Earliness penalties on a single machine subject to precedence constraints: SLK due date assignment

The paper considers the single machine due date assignment and scheduling problems with n jobs in which the due dates are to be obtained from the processing times by adding a positive slack q. A schedule is feasible if there are no tardy jobs and the job sequence respects given precedence constraints. The value of q is chosen so as to minimize a function ϕ(F,q) which is non-decreasing in each of its arguments, where F is a certain non-decreasing earliness penalty function. Once q is chosen or fixed, the corresponding scheduling problem is to find a feasible schedule with the minimum value of function F. In the case of arbitrary precedence constraints the problems under consideration are shown to be NP-hard in the strong sense even for F being total earliness. If the precedence constraints are defined by a series-parallel graph, both scheduling and due date assignment problems are proved solvable in time, provided that F is either the sum of linear functions or the sum of exponential functions. The running time of the algorithms can be reduced to if the jobs are independent. Scope and purpose We consider the single machine due date assignment and scheduling problems and design fast algorithms for their solution under a wide range of assumptions. The problems under consideration arise in production planning when the management is faced with a problem of setting the realistic due dates for a number of orders. The due dates of the orders are determined by increasing the time needed for their fulfillment by a common positive slack. If the slack is set to be large enough, the due dates can be easily maintained, thereby producing a good image of the firm. This, however, may result in the substantial holding cost of the finished products before they are brought to the customer. The objective is to explore the trade-off between the size of the slack and the arising holding costs for the early orders.

Relations, residuals, regular interiors, and relative regular equivalence

Given a relation α (a binary sociogram) and an a priori equivalence relation π, both on the same set of individuals, it is interesting to look for the largest equivalence πo that is contained in and is regular with respect to α. The equivalence relation πo is called the regular interior of π with respect to α. The computation of πo involves the left and right residuals, a concept that generalized group inverses to the algebra of relations. A polynomial-time procedure is presented (Theorem 11) and illustrated with examples. In particular, the regular interior gives meet in the lattice of regular equivalences: the regular meet of regular equivalences is the regular interior of their intersection. Finally, the concept of relative regular equivalence is defined and compared with regular equivalence.

Urban labour, voice and legitimacy: economic development and the emergence of community unionism

Community unionism has emerged in the past decade as a growing strand of industrial relations research and is influencing trade union strategies for renewal. This article seeks to further develop the concept, while exploring the potential roles for unions in communities subject to projects of urban regeneration.

Relational dimensions of corporate governance in translation: networked governance in China and India

The effectiveness of corporate governance mechanisms has been a subject of academic research for many decades. Although the large majority of corporate governance studies prior to mid 1990s were based on data from developed market economies such as the U.S., U.K. and Japan, in recent years researchers have begun examining corporate governance in transition economies. A comparison of China and India offers a unique environment for analyzing the effectiveness of corporate governance. First, both countries state-owned enterprise (SOE) reform strategies hinges on the Modern Enterprise System characterized by the separation of ownership and control. Ownership of an SOE’s assets is distributed among the government, institutional investors, managers, employees, and private investors. Effective control rights are assigned to management, which generally has a very small, or even nonexistent ownership stake. This distinctive shareholding structure creates conflict of interest not only between management (insiders) and outside investors but also between large shareholders and minority investors. Moreover, because both governments desire to retain some control—in part through partial retained ownership of commercialized SOEs, further conflicts arise between politicians and firms. Second, directors in publicly listed firms in both countries are predominantly drawn from institutions with significant non-market objectives: the government and other state enterprises, particularly in China, and extended families, particularly in India. As a result, the effectiveness of internal governance mechanisms, such as the number of independent directors on the board and the number of independent supervisors on the supervisory committee, are likely to be quiet limited, although this has yet to be fully evaluated. Third, because of the political nature of the privatization process itself, typical external governance mechanisms, such as debt (in conjunction with appropriate bankruptcy procedures), takeover threats, legal protection of investors, product market competition, etc., have not been effective. Bank loans have traditionally been viewed as grants from the state designed to bail out failing firms. State-owned banks retain monopoly or quasi-monopoly positions in the banking sector and profit is not their overriding objective. If political favor is deemed appropriate, subsidized loans, rescheduling of overdue debt or even outright transfer of funds can be arranged with SOEs (soft budget constraints). In addition, a market for private, non-bank debt is limited in India and has yet to be established China. There is no active merger or takeover activity in Chinese stock markets to discipline management. Information available in the capital markets is insufficient to keep at arm’s length of the corporate decisions. In light of the above peculiarities, China and India share many of the typical institutional characteristics as a transition economy, including poor legal protection of creditors and investors, the absence of an effective takeover market, an underdeveloped capital market, a relative inefficient banking system and significant interference of politicians in firm management. Su (2005) finds that the extent of political interference, managerial entrenchment and institutional control can help explain corporate dividend policies and post-IPO financing choices in this situation. Allen et al. (2005) demonstrate that standard corporate governance mechanisms are weak and ineffective for publicly listed firms while alternative governance mechanisms based on reputation and relationship have been remarkably effective in the private sector. Because the peculiarities are significant in this context, the differences in the political-economies of the two countries are likely to be evident in such relational terms. In this paper we explore the peculiarities of corporate governance in this transitional environment through a systematic examination of certain aspects of these reputational and relationship dimensions. Utilising the methods of social network analysis we identify the inter-organisational relationships at board level formed by equity holdings and by shared directors. Using data drawn from the Orbis database we map these relations among the 3700 largest firms in India and China respectively and identify the roles played in these relational networks by the particularly characteristic institutions in each case. We find greatly different social network structures in each case with some support in these relational dimensions for their distinctive features of governance. Further, the social network metrics allow us to considerably refine proxies for political interference, managerial entrenchment and institutional control used in earlier econometric analysis.

New public management of Higher education, Foucault and power

The theory of New Public Management (NPM) suggest that one of the features of advanced liberal rule is the tendency to define social, economic and political issues as problems to be solved through management. This paper argues that the restructuring of Higher Education (HE) in many Western countries since the 1980s has involved a shift from an emphasis on administration and policy to one of its efficient management. Utilising Foucault’s concept of governmentality rather than the liberal discourse of management as a politically neutral technology, managerialism can be seen as a newly emergent and increasingly rationalised disciplinary regime of governmentalising practices in advanced liberalism. As such the contemporary University as an institution governed by NPM can be demonstrated to have emerged not as the direct outcome of democratic policies that have rationalised its activities (so that the emancipatory aims of personal development, an educated workforce and of true research can be fully realised), nor can it be understood as the instrument through which individuals or self-realising classes are defeated through the calculations of the state acting on behalf of economic interests, rather it can be seen as the contingent and intractable outcome of the complex power/knowledge relations of advanced liberalism. I analyse the interlocking of the ‘tutor-subject’ and ‘student-subject’ as a local enacting of policy discourse informed by the NPM of HE that reshapes subjectivity and retunes the relationship between tutor and student. I put forward suggestions for how resistance to these new modes of disciplinary subjectification can be enacted.