Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Soft-core Stream Processing on FPGA: An FFT Case Study

The increasing design complexity associated with modern Field Programmable Gate Array (FPGA) has prompted the emergence of 'soft'-programmable processors which attempt to replace at least part of the custom circuit design problem with a problem of programming parallel processors. Despite substantial advances in this technology, its performance and resource efficiency for computationally complex operations remains in doubt. In this paper we present the first recorded implementation of a softcore Fast-Fourier Transform (FFT) on Xilinx Virtex FPGA technology. By employing a streaming processing architecture, we show how it is possible to achieve architectures which offer 1.1 GSamples/s throughput and up to 19 times speed-up against the Xilinx Radix-2 FFT dedicated circuit with comparable cost.

The Dublin Lock Hospital: Medicine, Morality, Disease and Sin

Anecdotal evidence has it that when Dublin’s venereal disease hospital closed its doors for the last time in the 1950s, its administrative staff began to burn its records, starting with the most recent. This attempt to conceal the results of sexual profligacy is perhaps understandable in the rarefied climate of mid-century Catholic Ireland. However, the sense of shame attached to this institution has been pervasive. For example, of all Dublin’s major hospitals, the lock hospital remains the only one without a dedicated history. And, throughout its two centuries of existence, the ‘lock’ had often been a site of controversy and approbation.

The institution began in the eighteenth century as the most peripatetic, poor relation of the city’s voluntary hospitals, wandering indiscriminately through a series of temporary premises before finally achieving a permanent home and official recognition as a military-sponsored medical hospital in 1792. It also gained architectural extensions by both Richard and Francis Johnston and in the following decades. This new-found status and a growing re-conceptualisation of venereal disease as a legitimate medical problem rather than a matter of morality was, however, somewhat compromised by the choice of site at Townsend Street. The institution occupied a hidden part of city, appropriating the vacated home of the Hospital for Incurables, another marginalised group whose presence in the city had been viewed through the lens of superstition and fear. For the rest of its existence, the lock hospital would share this experience occupying a nebulous position between medicine and morality; disease and sin.

Using what’s left of the hospital’s records and a series of original architectural drawings, this paper discusses the presence and role of the lock hospital in the city in the eighteenth and early nineteenth century, tracking how changes in its administration and architectural form reflected wider attitudes towards disease, sexuality and gender in Georgian Dublin.

'This is a beautiful school.' 'This school is useless!' Explaining disengagement in a Greek vocational school through the examination of teacher ideologies

This multimethod case study of a Greek vocational school explored teachers’ culture (including beliefs about education, teachers’ role, and students’ nature) using the concept of Pupil Control Ideology to explain problems of disengagement and low morale among staff and students, as well as tensions in relationships. A prominent custodial culture was identified in the school using a functional/apolitical pedagogy to transmit ‘legitimate’ knowledge to students whose working-class background did not produce desired outcomes. This generated deficit views of students, teachers’ sympathy, and a seemingly caring school ethos which was, nevertheless, oppressive. Students’ failings were naturalised and vocational education misinterpreted as merely a streaming device in a system honouring academic achievement and middle-class ways. Teachers were blind to these cultural subtleties, believing they acted ‘rationally’ and altruistically. A humanistic subculture emphasising student empowerment and social transformation consisted of a minority of teachers and was rather marginalised. This disallowed meaningful dialogue and the identification of an alternative rationale for the sector, generating strong feelings of futility. Positive change in this school necessitated the deconstruction and (subsequent) reconstruction of custodial teachers’ worldview as embedded in their practice.