Compiling Scientific Code Using Partial Evaluation

Scientists are faced with a dilemma: either they can write abstract programs that express their understanding of a problem, but which do not execute efficiently; or they can write programs that computers can execute efficiently, but which are difficult to write and difficult to understand. We have developed a compiler that uses partial evaluation and scheduling techniques to provide a solution to this dilemma.

In Praise of Folly: International Administration and the Corruption of Humanity

Bain, William, 'In Praise of Folly: International Administration and the Corruption of Humanity', International Affairs, (2006) 82(3) pp.525-538 RAE2008

The paradox of using tacit and explicit knowledge: Strategies to face dilemnas

Jasimuddin, Sajjad, Klein, Jonathan, and Connell, Con, 'The paradox of using tacit and explicit knowledge: Strategies to face dilemnas', Management Decision (2005) 43(1) pp.102-112 RAE2008

Making Sadza with Deaf Zimbabwean Women: A Missiological Reorientation of Practical Theological Method toward Self-Theologizing Agency among Subaltern Communities

Missiological calls for self-theologizing among faith communities present the field of practical theology with a challenge to develop methodological approaches that address the complexities of cross-cultural, practical theological research. Although a variety of approaches can be considered critical correlative practical theology, existing methods are often built on assumptions that limit their use in subaltern contexts. This study seeks to address these concerns by analyzing existing theological methodologies with sustained attention to a community of Deaf Zimbabwean women struggling to develop their own agency in relation to child rearing practices. This dilemma serves as an entry point to an examination of the limitations of existing methodologies and a constructive, interdisciplinary theological exploration. The use of theological modeling methodology employs my experience of learning to cook sadza, a staple dish of Zimbabwe, as a guide for analyzing and reorienting practical theological methodology. The study explores a variety of theological approaches from practical theology, mission oriented theologians, theology among Deaf communities, and African women’s theology in relationship to the challenges presented by subaltern communities such as Deaf Zimbabwean women. Analysis reveals that although there is much to commend in these existing methodologies, questions about who does the critical correlation, whose interests are guiding the study, and consideration for the cross-cultural and power dynamics between researchers and faith communities remain problematic for developing self-theologizing agency. Rather than frame a comprehensive methodology, this study proposes three attitudes and guideposts to reorient practical theological researchers who wish to engender self-theologizing agency in subaltern communities. The creativity of enacted theology, the humility of using checks and balances in research methods, and the grace of finding strategies to build bridges of commonality and community offer ways to reorient practical theological methodologies toward the development of self-theologizing agency among subaltern people. This study concludes with discussion of how these guideposts can not only benefit particular work with a community of Deaf Zimbabwean women, but also provide research and theological reflection in other subaltern contexts.

Principles and prejudice: The erosion of fairness in admissibility determinations relating to historic child sexual abuse trials in Ireland

This thesis interrogates the construction of fairness to the accused in historic child sexual abuse trials in Ireland. The protection of fairness is a requirement of any trial that claims to adhere to the rule of law. Historic child sexual abuse trials, in which the charges relate to events that are alleged to have taken place decades previously, present serious challenges to the ability of the trial process to safeguard fairness. They are a litmus test of the courts’ commitment to fairness. The thesis finds that in historic abuse trials fairness to the accused has been significantly eroded and that therefore the Irish Courts have failed to respect the core of the rule of law in these most serious of prosecutions. The thesis scrutinises two bodies of case law, both of which deal with the issue of whether evidence should reach the jury. First, it examines the decisions on applications brought by defendants seeking to prohibit their trial. The courts hearing prohibition applications face a dilemma: how to ensure the defendant is not put at risk of an unfair trial, while at the same time recognising that delay in reporting is a defining feature of these cases. The thesis traces the development of the prohibition case law and tracks the shifting interpretations given to fairness by the courts. Second, the thesis examines what fairness means in the superior courts’ decisions regarding the admissibility of the following kinds of evidence, each of which presents particular challenges to the ability of the trial to safeguard fairness: evidence of multiple complainants; evidence of recovered memories and evidence of complainants’ therapeutic records. The thesis finds that in both bodies of case law the Irish courts have hollowed out the meaning of fairness. It makes proposals on how fairness might be placed at the heart of courts’ decisions on admissibility in historic abuse trials. The thesis concludes that the erosion of fairness in historic abuse trials is indicative of a move away from the liberal model of criminal justice. It cautions that unless fairness is prioritised in historic child sexual abuse trials the legitimacy of these trials and that of all Irish criminal trials will be contestable.

Inclusive education policy, the general allocation model and dilemmas of practice in primary schools

Background: Inclusive education is central to contemporary discourse internationally reflecting societies’ wider commitment to social inclusion. Education has witnessed transforming approaches that have created differing distributions of power, resource allocation and accountability. Multiple actors are being forced to consider changes to how key services and supports are organised. This research constitutes a case study situated within this broader social service dilemma of how to distribute finite resources equitably to meet individual need, while advancing inclusion. It focuses on the national directive with regard to inclusive educational practice for primary schools, Department of Education and Science Special Education Circular 02/05, which introduced the General Allocation Model (GAM) within the legislative context of the Education of Persons with Special Educational Needs (EPSEN) Act (Government of Ireland, 2004). This research could help to inform policy with ‘facts about what is happening on the ground’ (Quinn, 2013). Research Aims: The research set out to unearth the assumptions and definitions embedded within the policy document, to analyse how those who are at the coalface of policy, and who interface with multiple interests in primary schools, understand the GAM and respond to it, and to investigate its effects on students and their education. It examines student outcomes in the primary schools where the GAM was investigated. Methods and Sample The post-structural study acknowledges the importance of policy analysis which explicitly links the ‘bigger worlds’ of global and national policy contexts to the ‘smaller worlds’ of policies and practices within schools and classrooms. This study insists upon taking the detail seriously (Ozga, 1990). A mixed methods approach to data collection and analysis is applied. In order to secure the perspectives of key stakeholders, semi-structured interviews were conducted with primary school principals, class teachers and learning support/resource teachers (n=14) in three distinct mainstream, non-DEIS schools. Data from the schools and their environs provided a profile of students. The researcher then used the Pobal Maps Facility (available at www.pobal.ie) to identify the Small Area (SA) in which each student resides, and to assign values to each address based on the Pobal HP Deprivation Index (Haase and Pratschke, 2012). Analysis of the datasets, guided by the conceptual framework of the policy cycle (Ball, 1994), revealed a number of significant themes. Results: Data illustrate that the main model to support student need is withdrawal from the classroom under policy that espouses inclusion. Quantitative data, in particular, highlighted an association between segregated practice and lower socioeconomic status (LSES) backgrounds of students. Up to 83% of the students in special education programmes are from lower socio-economic status (LSES) backgrounds. In some schools 94% of students from LSES backgrounds are withdrawn from classrooms daily for special education. While the internal processes of schooling are not solely to blame for class inequalities, this study reveals the power of professionals to order children in school, which has implications for segregated special education practice. Such agency on the part of key actors in the context of practice relates to ‘local constructions of dis/ability’, which is influenced by teacher habitus (Bourdieu, 1984). The researcher contends that inclusive education has not resulted in positive outcomes for students from LSES backgrounds because it is built on faulty assumptions that focus on a psycho-medical perspective of dis/ability, that is, placement decisions do not consider the intersectionality of dis/ability with class or culture. This study argues that the student need for support is better understood as ‘home/school discontinuity’ not ‘disability’. Moreover, the study unearths the power of some parents to use social and cultural capital to ensure eligibility to enhanced resources. Therefore, a hierarchical system has developed in mainstream schools as a result of funding models to support need in inclusive settings. Furthermore, all schools in the study are ‘ordinary’ schools yet participants acknowledged that some schools are more ‘advantaged’, which may suggest that ‘ordinary’ schools serve to ‘bury class’ (Reay, 2010) as a key marker in allocating resources. The research suggests that general allocation models of funding to meet the needs of students demands a systematic approach grounded in reallocating funds from where they have less benefit to where they have more. The calculation of the composite Haase Value in respect of the student cohort in receipt of special education support adopted for this study could be usefully applied at a national level to ensure that the greatest level of support is targeted at greatest need. Conclusion: In summary, the study reveals that existing structures constrain and enable agents, whose interactions produce intended and unintended consequences. The study suggests that policy should be viewed as a continuous and evolving cycle (Ball, 1994) where actors in each of the social contexts have a shared responsibility in the evolution of education that is equitable, excellent and inclusive.

State building as strategy: An interrogation of NATO's comprehensive approach in Afghanistan between 2006 and 2011

The core of this thesis is the study of NATO’s Comprehensive Approach strategy to state building in Afghanistan between 2006 and 2011. It argues that this strategy sustained operational and tactical practices which were ineffective in responding to the evolved nature of the security problem. The thesis interrogates the Comprehensive Approach along ontological, empirical and epistemological lines and concludes that the failure of the Comprehensive Approach in the specific Afghan case is, in fact, indicative of underlying theoretical and pragmatic flaws which, therefore, generalize the dilemma. The research is pragmatic in nature, employing mixed methods (quantitative and qualitative) concurrently. Qualitative methods include research into primary and secondary literature sources supplemented with the author’s personal experiences in Afghanistan in 2008 and various NATO HQ and Canadian settings. Quantitative research includes an empirical case study focussing on NATO’s Afghan experience and its attempt at state building between 2006 and 2011. This study incorporates a historical review of NATO’s evolutionary involvement in Afghanistan incorporating the subject timeframe; offers an analysis of human development and governance related data mapped to expected outcomes of the Afghan National Development Strategy and NATO’s comprehensive campaign design; and interrogates the Comprehensive Approach strategy by means of an analysis of conceptual, institutional and capability gaps in the context of an integrated investigational framework. The results of the case study leads to an investigation of a series of research questions related to the potential impact of the failure of the Comprehensive Approach for NATO in Afghanistan and the limits of state building as a means of attaining security for the Alliance.

Prenegotiation public commitment in domestic and international bargaining

We use a formal bargaining model to examine why, in many domestic and international bargaining situations, one or both negotiators make public statements in front of their constituents committing themselves to obtaining certain benefits in the negotiations. We find that making public commitments provides bargaining leverage, when backing down from such commitments carries domestic political costs. However, when the two negotiators face fairly similar costs for violating a public commitment, a prisoner's dilemma is created in which both sides make high public demands which cannot be satisfied, and both negotiators would be better off if they could commit to not making public demands. However, making a public demand is a dominant strategy for each negotiator, and this leads to a suboptimal outcome. Escaping this prisoner's dilemma provides a rationale for secret negotiations. Testable hypotheses are derived from the nature of the commitments and agreements made in equilibrium.

The Harsh Reality of Pursuing Innovations: Emerging Market Perspectives

This short conference paper serves as a distillation of a keynote address delivered at the the Second National Conference on Management and Higher Education Trends & Strategies for Management & Administration hosted by Bangkok-based Stamford International University (Thailand) on November 1, 2014.Innovation is discussed as the heart of entrepreneurial processes occurring in today's capitalist economic systems, including transition economies like China and Vietnam, which underscores economic competitiveness of firms and economies. But the innovation effort and process also face dilemma of "entrepreneurial curse of innovation". Advantages and disadvantages are weighed for a more balanced view, especially in the context of outnumbering SMEs and given existence of pitfalls and traps along the innovation path of development. Toward the end, the value of the market is once again stressed amid the concern of subjective assumption and illusion about availability of market opportunities in the mind of innovators, which may contrast totally with the dismal outcome the actual market realities may show ex post.

Collaborating components in mesh-based electronic packaging

From the model geometry creation to the model analysis, the stages in between such as mesh generation are the most manpower intensive phase in a mesh-based computational mechanics simulation process. On the other hand the model analysis is the most computing intensive phase. Advanced computational hardware and software have significantly reduced the computing time - and more importantly the trend is downward. With the kind of models envisaged coming, which are larger, more complex in geometry and modelling, and multiphysics, there is no clear trend that the manpower intensive phase is to decrease significantly in time - in the present way of operation it is more likely to increase with model complexity. In this paper we address this dilemma in collaborating components for models in electronic packaging application.

Verhältnismäßig trivial

Zwischen pädagogischem Hochamt und Etikettierungs-Ressourcen-Dilemma: Wer selbst unterrichtet, merkt schnell, dass es weder allein in das Belieben des einzelnen Erwachsenen noch des Jugendlichen und auch nicht von diesen beiden nur gestellt ist, wie sie ihr pädagogisches Verhältnis regeln, wie sie ihre Beziehungen aushandeln, gestalten und einschätzen. „Wir müssen zu ihnen in Beziehung treten, und mit ihnen kommunizieren.“ (Fornefeld 1999). Dies erfordert „eine verantwortlich handelnde Erzieherpersönlichkeit, (die sich) um den reinen Begriff der Erziehung und Bildung schöpferisch bemüht“ (Klein 2001). Der hohe Ton pädagogischer Beziehung in Tateinheit mit Lebensweltorientierung wird allerdings durch eine eher triviale Frage relativiert, nämlich nach der Kontinuität personeller Ressourcen als Ermöglichungsgrund für Beziehungen. Es geht um die alltägliche Verlässlichkeit und Nachhaltigkeit, mit der die Beziehungs-Ressourcen bereit gestellt werden; nicht zufällig ist derlei verfasst in Ausdrücken wie Beschulungsdauer, Schulöffnungs- und Unterrichtszeiten, Klassenteiler, Schullastenausgleich, usw. Im Anschluss an Giesecke und Richter lässt sich dieser Sachverhalt gelassen formulieren: Professionelles Handeln als bezahlte Tätigkeit ist zeitlich und räumlich begrenzt. Wenn ein ‚Beziehungsanspruch’ besteht, dann nur während der Öffnungszeiten der Schule. Solche Beziehungen gehen die Professionellen nicht im rechtsfreien Raum ein (Richter 2004). Das Zustandekommen dieser Beziehungen ist ein Rechtsgut und kann von einer unbegrenzten Anzahl von Personen reklamiert werden. (vgl. Giesecke 1997, S. 246 ff). In unserem Land ‚erwirbt’ sich ein Kind oder ein Jugendlicher einen erweiterten Anspruch durch den fest gestellten sonderpädagogischen Förderbedarf. Ist es Zufall, wenn der Zusammenhang zwischen personellen und sächlichen Ressourcen und Etikettierung in der moralischen Kategorie des ‚Dilemmas’ gefasst wird (Bleidick/Rath/Schuck 1995; Kornmann 1994).

Hope in the Most Unlikely Spaces: Thawra and the Contemporary Arabic Novel

In the early to mid-twentieth century, many novelists in the Arab world championed Arab nationalism in their literary reflections on the social and political struggles of their countries, depicting these struggles primarily in terms of spatial binaries that pitted the Arab world against the West, even as they imported Western literary models of progress and modernity into their own work. The intense experience of national awakening that infused their writing often placed these authors at a literary disadvantage, for in their literature, all too often the depth and diversity of Arabic cultures and the complexity of socio-political struggles across the Arab world were undermined by restrictive spatial discourses that tended to focus only on particular versions of Arab history and on a seemingly unifying national predicament. Between the Arab defeat of 1967 and the present day, however, an increasing number of Arab authors have turned to less restrictive forms of spatial discourse in search of a language that might offer alternative narratives of hope beyond the predictable, and seemingly thwarted, trajectories of nationalism. This study traces the ways in which contemporary Arab authors from Egypt and the Sudan have endeavoured to re-think and re-define the Arab identity in ever-changing spaces where elements of the local and the global, the traditional and the modern, interact both competitively and harmoniously. I examine the spatial language and the tropes used in three Arabic novels, viewing them through the lens of thawra (revolution) in both its socio-political and artistic manifestations. Linking the manifestations of thawra in each text to different scenes of revolution in the Arab world today, in Chapter Two, I consider how, at a stage when the Sudan of the sixties was both still dealing with colonial withdrawal and struggling to establish itself as a nation-state, the geographical and textual landscapes of Tayeb Salih‟s Season of Migration to the North depict the ongoing dilemma of the Sudanese identity. In Chapter Three, I examine Alaa iii al-Aswany‟s The Yacoubian Building in the context of a socially diseased and politically corrupt Egypt of the nineties: social, political, modern, historical, local, and global elements intertwine in a dizzyingly complex spatial network of associations that sheds light on the complicated reasons behind today‟s Egyptian thawra. In Chapter Four, the final chapter, Gamal al-Ghitani‟s approach to his Egypt in Pyramid Texts drifts far away from Salih‟s anguished Sudan and al-Aswany‟s chaotic Cairo to a realm where thawra manifests itself artistically in a sophisticated spatial language that challenges all forms of spatial hegemony and, consequently, old and new forms of social, political, and cultural oppression in the Arab world.

Hybrid cluster state proposal for a quantum game

We propose an experimental implementation of a quantum game algorithm in a hybrid scheme combining the quantum circuit approach and the cluster state model. An economical cluster configuration is suggested to embody a quantum version of the Prisoners' Dilemma. Our proposal is shown to be within the experimental state of the art and can be realized with existing technology. The effects of relevant experimental imperfections are also carefully examined.

The trade unions membership dynamics and union members’ trajectories

This text presents an analysis of aggregated membership’s dynamics for Spanish trade unions, using ECVT data, as well as union memberships’ trajectories, or members’ decisions about joining the organization, permanency and responsibilities, and subsequent attrition. For the analysis of trajectories we make use of information of the records of actual memberships and the record of quitting of CCOO, and of a survey-questionnaire to a sample of leavers of the same union. This study allows us to confirm a linkage between the decision and motivations to become union member, to participate in union activities, the time of permanency, and the motives to quit the organization. We also identify five types of union members’ trajectories, indicating that, far from views that assert a monolithic structure, unions are complex organizations.

The role of theory in promoting social work values and its potential effect on outcomes in work with domestically violent men

This article is concerned with the ethical conflicts that arise for social workers when dealing with males that perpetrate violence against women and children with whom they have or had intimate relationships. In particular, the article seeks to highlight how a strong social work value base is essential when working with perpetrators whose apparent wilful violent controlling behaviour creates a major ethical dilemma for the practising social worker. The argument contends that strategies designed to protect and enhance the welfare of domestic violence victims, particularly those aimed at the re-education of perpetrators, are weakened when social workers do not adhere to a social work value base.