19,935 research outputs found

    Identifying and responding to people with mild learning disabilities in the probation service

    Get PDF
    It has long been recognised that, like many other individuals, people with learningdisabilities find their way into the criminal justice system. This fact is not disputed. Whathas been disputed, however, is the extent to which those with learning disabilities arerepresented within the various agencies of the criminal justice system and the ways inwhich the criminal justice system (and society) should address this. Recently, social andlegislative confusion over the best way to deal with offenders with learning disabilities andmental health problems has meant that the waters have become even more muddied.Despite current government uncertainty concerning the best way to support offenders withlearning disabilities, the probation service is likely to continue to play a key role in thesupervision of such offenders. The three studies contained herein aim to clarify the extentto which those with learning disabilities are represented in the probation service, toexamine the effectiveness of probation for them and to explore some of the ways in whichprobation could be adapted to fit their needs.Study 1 and study 2 showed that around 10% of offenders on probation in Kent appearedto have an IQ below 75, putting them in the bottom 5% of the general population. Study 3was designed to assess some of the support needs of those with learning disabilities in theprobation service, finding that many of the materials used by the probation service arelikely to be too complex for those with learning disabilities to use effectively. To addressthis, a model for service provision is tentatively suggested. This is based on the findings ofthe three studies and a pragmatic assessment of what the probation service is likely to becapable of achieving in the near future

    The crisis of cultural authority in museums : contesting human remains in the collections of Britain

    Get PDF
    Museums in Britain have displayed and researched human remains since the eighteenth century. However, in the last two decades human remains in collections have become subject to claims and controversies. Firstly, human remains associated with acquisition during the colonial period have become increasingly difficult to retain and have been transfered to culturally affiliated overseas indigenous groups. Secondly, a group of British Pagans have formed to make claims on ancient human remains in collections. Thirdly, human remains that are not requested by any community group, and of all ages, have become the focus of concerns expressed about their treatment by members of the profession. A discourse arguing for 'respect' has emerged, which argues that all human remains should be treated with new care. The claims made on human remains have been vigourously but differentially contested by members of the sector, who consider the human remains to be unique research objects. This thesis charts the influences at play on the contestation over human remains and examines its construction. The academic literature tends to understand changes to museums as a result of external factors. This thesis argues that this problem is influenced by a crisis of legitimacy and establishes that there are strong internal influences. Through a weak social constructionist approach I demonstrate that the issue has been promoted by influential members of the sector as part of a broader attempt to distance themselves from their foundational role, as a consequence of a crisis of cultural authority stimulated by external and internal factors. The symbolic character of human remains in locating this problem is informed by the unique properties of dead bodies and is influenced by the significance of the body as a scientific object; its association with identity work and as a site of political struggle, in the high modem period

    How to Be a God

    Get PDF
    When it comes to questions concerning the nature of Reality, Philosophers and Theologians have the answers. Philosophers have the answers that can’t be proven right. Theologians have the answers that can’t be proven wrong. Today’s designers of Massively-Multiplayer Online Role-Playing Games create realities for a living. They can’t spend centuries mulling over the issues: they have to face them head-on. Their practical experiences can indicate which theoretical proposals actually work in practice. That’s today’s designers. Tomorrow’s will have a whole new set of questions to answer. The designers of virtual worlds are the literal gods of those realities. Suppose Artificial Intelligence comes through and allows us to create non-player characters as smart as us. What are our responsibilities as gods? How should we, as gods, conduct ourselves? How should we be gods

    Community, autonomy and divinity: studying morality across cultures

    Get PDF
    Moral rules are an important aspect of culture. Yet, to date no published scale exists to measure the endorsement of different moral codes. This thesis report the development of the CADS (Community, Autonomy and Divinity Scale), based on Shweder's (2003a; Shweder et aI., 1987) anthropological theory of moral codes, as a means to measure cross-cultural, sub-cultural, and individual differences in the contents of morality. Scale development, confirmatory factor analysis, convergent and discriminant validity are reported in Studies 1, 2, and 3, as well as analysis for structural invariance and meaningful differences across British and Brazilian cultural contexts. Findings suggest the CADS to be a reliable and valid scale, thereby enabling the cross-cultural quantitative study of similarities and differences in endorsement of moral codes. Following CADS' development, this thesis presents one experiment (Study 4) investigating the relationship between moral judgement and emotional reactions, suggesting that emotions act as mediators of the relationship between perceptions of moral code violations and moral judgement. Finally, Study 5 studies the power of the moral codes to predict honour concerns, and Study 6 replicates these findings, and most importantly, tests the CADS in six different cultural communities (Brazil, Japan, New Zealand, Spain, the UK, and the US). The variation of the moral codes endorsement across cultures, here operationally defined as nations, genders, and religious groups, is also investigated. Limitations of this work, as well as its theoretical and empirical implications for research in social psychology are discussed

    Strung pieces: on the aesthetics of television fiction series

    Get PDF
    As layered and long works, television fiction series have aesthetic properties that are built over time, bit by bit. This thesis develops a group of concepts that enable the study of these properties, It argues that a series is made of strung pieces, a system of related elements. The text begins by considering this sequential form within the fields of film and television. This opening chapter defines the object and methodology of research, arguing for a non-essentialist distinction between cinema and television and against the adequacy of textual and contextual analyses as approaches to the aesthetics of these shows. It proposes instead that these programmes should be described as televisual works that can be scrutinised through aesthetic analysis. The next chapters propose a sequence of interrelated concepts. The second chapter contends that series are composed of building blocks that can be either units into which series are divided or motifs that unify series and are dispersed across their pans. These blocks are patterned according to four kinds of relations or principles of composition. Repetition and variation are treated in tandem in the third chapter because of their close connection, given that variation emerges from established repetition. Exception and progression are also discussed together in the fourth chapter since they both require a long view of these serial works. The former, in order to be recognised as a deviation from the patterns of repetition and variation. The latter, In order to be understood in Its many dimensions as the series advances. Each of these concepts is further detailed with additional distinctions between types of units, motifs, repetitions, variations, and exceptions, using illustrative examples from numerous shows. In contrast, the section on progression uses a single series as case study, Carnivàle (2003-05), because this is the overarching principle that encompasses all the others. The conclusion considers the findings of the research and suggests avenues for their application

    Anytime algorithms for ROBDD symmetry detection and approximation

    Get PDF
    Reduced Ordered Binary Decision Diagrams (ROBDDs) provide a dense and memory efficient representation of Boolean functions. When ROBDDs are applied in logic synthesis, the problem arises of detecting both classical and generalised symmetries. State-of-the-art in symmetry detection is represented by Mishchenko's algorithm. Mishchenko showed how to detect symmetries in ROBDDs without the need for checking equivalence of all co-factor pairs. This work resulted in a practical algorithm for detecting all classical symmetries in an ROBDD in O(|G|³) set operations where |G| is the number of nodes in the ROBDD. Mishchenko and his colleagues subsequently extended the algorithm to find generalised symmetries. The extended algorithm retains the same asymptotic complexity for each type of generalised symmetry. Both the classical and generalised symmetry detection algorithms are monolithic in the sense that they only return a meaningful answer when they are left to run to completion. In this thesis we present efficient anytime algorithms for detecting both classical and generalised symmetries, that output pairs of symmetric variables until a prescribed time bound is exceeded. These anytime algorithms are complete in that given sufficient time they are guaranteed to find all symmetric pairs. Theoretically these algorithms reside in O(n³+n|G|+|G|³) and O(n³+n²|G|+|G|³) respectively, where n is the number of variables, so that in practice the advantage of anytime generality is not gained at the expense of efficiency. In fact, the anytime approach requires only very modest data structure support and offers unique opportunities for optimisation so the resulting algorithms are very efficient. The thesis continues by considering another class of anytime algorithms for ROBDDs that is motivated by the dearth of work on approximating ROBDDs. The need for approximation arises because many ROBDD operations result in an ROBDD whose size is quadratic in the size of the inputs. Furthermore, if ROBDDs are used in abstract interpretation, the running time of the analysis is related not only to the complexity of the individual ROBDD operations but also the number of operations applied. The number of operations is, in turn, constrained by the number of times a Boolean function can be weakened before stability is achieved. This thesis proposes a widening that can be used to both constrain the size of an ROBDD and also ensure that the number of times that it is weakened is bounded by some given constant. The widening can be used to either systematically approximate an ROBDD from above (i.e. derive a weaker function) or below (i.e. infer a stronger function). The thesis also considers how randomised techniques may be deployed to improve the speed of computing an approximation by avoiding potentially expensive ROBDD manipulation

    Epistemologies of possibility: social movements, knowledge production and political transformation

    Get PDF
    Urgent global problems - whether military conflicts, economic insecurities, immigration controls or mass incarceration-not only call for new modes of political action but also demand new forms of knowledge. For if knowledge frameworks both shape the horizons of social intelligibility and chart t he realms of political possibility, then epistemological interventions constitute a crucial part of social change. Social movements play a key role in this work by engaging in dissident knowledge practices that open up space for political transformation. But what are the processes and conditions through which social movements generate new ways of knowing?'What is politically at stake in the various knowledge strategies that activists use to generate social change? Despite a growing literature on the role of epistemological dimensions of protest, social movement studies tend to neglect specific questions of epistemological change. Often treating knowledge as a resource or object rather than a power relation and a social practice, social movement scholars tend to focus on content rather than production, frames rather than practices, taxonomies rather than processes. Missing is a more dynamic account of the conditions, means and power relations through which transformative knowledge practices come to be constituted and deployed. Seeking to better understand processes of epistemological transformation, this thesis explores the relationship between social movements, knowledge production and political change. Starting from an assumption that knowledge not only represents the world, but also works to constitute it, this thesis examines the role of social movement knowledge practices in shaping the conditions of political possibility. Drawing from the context of grassroots queer, transgender and feminist organizing around issues of prisons and border controls in North America, the project explores how activists generate new forms of knowledge and forge new spaces of political possibility. Working through a series of concepts-transformation, resistance, experience, co-optation, solidarity and analogy - this thesis explores different ways of understanding processes of epistemological change with in social movement contexts. It considers processes that facilitate or enable epistemological change and those that limit or prohibit such change. Bringing together a range of theoretical perspectives, including feminist, queer, critical race and post-structuralist analyses, and drawing on interviews with grassroots activists, the thesis explores what is politically at stake in the different ways we conceptualise, imagine and engage in processes of epistemological change

    On the readability of machine checkable formal proofs

    Get PDF
    It is possible to implement mathematical proofs in a machine-readable language. Indeed, certain proofs, especially those deriving properties of safety-critical systems, are often required to be checked by machine in order to avoid human errors. However, machine checkable proofs are very hard to follow by a human reader. Because of their unreadability, such proofs are hard to implement, and more difficult still to maintain and modify. In this thesis we study the possibility of implementing machine checkable proofs in a more readable format. We design a declarative proof language, SPL, which is based on the Mizar language. We also implement a proof checker for SPL which derives theorems in the HOL system from SPL proof scripts. The language and its proof checker are extensible, in the sense that the user can modify and extend the syntax of the language and the deductive power of the proof checker during the mechanisation of a theory. A deductive database of trivial knowledge is used by the proof checker to derive facts which are considered trivial by the developer of mechanised theories so that the proofs of such facts can be omitted. We also introduce the notion of structured straightforward justifications, in which simple facts, or conclusions, are justified by a number of premises together with a number of inferences which are used in deriving the conclusion from the given premises. A tableau prover for first-order logic with equality is implemented as a HOL derived rule and used during the proof checking of SPL scripts. The work presented in this thesis also includes a case study involving the mechanisation of a number of results in group theory in SPL, in which the deductive power of the SPL proof checker is extended throughout the development of the theory
    • …
    corecore