Bearing Witness to the 'Pain of Others': Researching Power, Violence and Resistance in a Women's Prison

Addressing the dynamics of interpersonal violence, institutionalised abuses and prisoner isolation, this article consolidates critical analyses as challenges to the essentially liberal constructions and interpretations of prisoner agency and penal reformism. Grounded in long-term research with women in prison in the North of Ireland, it connects embedded, punitive responses that undermine women prisoners’ self-esteem and mental health to the brutalising manifestations of formal and informal punishments, including lockdowns and isolation. It argues that critical social research into penal policy and prison regimes has a moral duty, an ethical obligation and a political responsibility to investigate abuses of power, seek out the ‘view from below’. Challenging the revisionism implicit within the ‘healthy prison’ discourse, it argues for alternatives to prison as the foundation of decarceration and abolition.

Commemoration in the United Kingdom: A multitude of memories

In the United Kingdom (UK) the centenary commemoration of the First World War has been driven by a combination of central government direction (and funding) with a multitude of local and community initiatives, with a particular focus on 4 August 2014; 1 July 2016 (the beginning of the Battle of the Somme) and 11 November 2018. ‘National’ ceremonies on these dates have been and will be supplemented with projects commemorating micro-stories and government-funded opportunities for schoolchildren to visit Great War battlefields, the latter clearly aimed to reinforce a contemporary sense of civic and national obligation and service. This article explores the problematic nature of this approach, together with the issues raised by the multi-national nature of the UK state itself.

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.

Characterizing and Extending Answer Set Semantics using Possibility Theory

Answer Set Programming (ASP) is a popular framework for modelling combinatorial problems. However, ASP cannot be used easily for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP. In PASP a weight is associated with each rule, whereas this weight is interpreted as the certainty with which the conclusion can be established when the body is known to hold. As such, it allows us to model and reason about uncertain information in an intuitive way. In this paper we present new semantics for PASP in which rules are interpreted as constraints on possibility distributions. Special models of these constraints are then identified as possibilistic answer sets. In addition, since ASP is a special case of PASP in which all the rules are entirely certain, we obtain a new characterization of ASP in terms of constraints on possibility distributions. This allows us to uncover a new form of disjunction, called weak disjunction, that has not been previously considered in the literature. In addition to introducing and motivating the semantics of weak disjunction, we also pinpoint its computational complexity. In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier.

Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Weak and strong disjunction in possibilistic ASP

Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.

Answer set programs with optional rules: a possibilistic approach

Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle.

The planning and control of operations involving the use of lethal force

This is an analysis of the case law of the European Court of Human Rights on the obligation on States to plan and control the use of potentially lethal force by their police and military personnel. It illustrates the Court's attachment to the strict or careful scrutiny test and suggests how the Court might want to develop its jurisprudence in the future.

Validation d'un modèle de formation en ligne portant sur le soutien nutritionnel auprès des diététistes.

Cet essai présente les résultats d'une recherche expérimentation en vue de valider un modèle de formation en ligne auprès des diététistes. Les besoins accrus de formation suscités par le nouveau cadre normatif amènent l'Ordre professionnel des diététistes du Québec (OPDQ) à développer différents moyens de perfectionnement pour ses membres. Bien que les moyens actuellement disponibles soient assez diversifiés, il importe de pouvoir offrir au plus grand nombre possible une offre de formation de haut niveau afin d'assurer e développement des compétences des diététistes. Comme l'OPDQ n'a pas les effectifs nécessaires pour former rapidement un grand nombre de personnes dispersées géographiquement, il devient intéressant d'explorer des moyens de formation complémentaires et d'envisager exploiter les possibilités offertes par la formation en ligne. C'est ainsi que l'auteure de cette recherche a constaté que l'ajout d'une offre complémentaire de formation en ligne pourrait grandement profiter aux diététistes afin de les aider à mieux répondre à l'obligation de mise à jour de leurs connaissances. Une enquête réalisée à l'été 2006 auprès des membres de l'OPDQ confirmait l'intérêt des répondantes pour ce type de formation ainsi que la présence des habiletés technologiques nécessaires. Les données alors recueillies ont permis de cibler une compétence à développer et d'expérimenter, auprès des diététistes, un modèle de formation en ligne portant sur le choix de la voie d'alimentation appropriée. Les objectifs spécifiques de la recherche expérimentation consistaient à élaborer un modèle de formation en ligne pour ensuite l'expérimenter auprès d'un groupe pilote de diététistes en exercice afin d'en évaluer le potentiel. Ce modèle identifiait les dimensions à considérer en ce qui concerne les apprenantes et les apprenants, leur accompagnement, le choix de la compétence et l'élaboration du système d'apprentissage.

Bycatch and discards of commercial trawl fisheries in the south coast of Portugal

Bycatch and discards are a cause of great concern in commercial world fisheries, with important ecological, economic and conservation implications. With the recent inclusion of a discards ban (‘landing obligation’), in the reform of the EU CFP, these issues have gained a tremendous attention from the economic, scientific, political and social point of view. Demersal trawl fisheries off the southern coast of Portugal capture an extraordinary diversity of species and generate considerable amounts of bycatch and discards. Bycatch includes commercially valuable target-species and bycatch species with low or no commercial value, but the great majority consists of unmarketable species, that are discarded. Bony fishes are dominant in bycatch and discards and the most discarded are of low or no commercial value. The reasons for discarding are fundamentally economic in nature (lack of commercial value) for bycatch species, and legal and administrative (legal minimum landing size) for commercially important species. The study of the reproductive biology of Galeus melastomus, discarded by crustacean trawls, suggests that a minimum landing size should be established for this species, and explains the importance of such a study in the assessment and management of fisheries. The discovery of a new species of the ray Neoraja iberica n. sp. contributes to the knowledge of the local marine biodiversity in Portuguese waters and of the global marine biodiversity. The three cases of abnormal hermaphroditism recorded in Etmopterus spinax, are the first cases known to date of hermaphroditism in this species. There is a need to find solutions to the problem of bycatch and discards of trawl fisheries in the Algarve coast. A combination of technical, regulatory and economic measures to minimize bycatch and reduce discards, before implementing a ‘landing obligation’, is thought to be the best approach to apply in the southern Portuguese multispecies trawl fisheries.

A etnia cigana : cultura e educação

Trabalho de projecto de mestrado, Ciências da Educação (Formação de Adultos), Universidade de Lisboa, Instituto de Educação, 2011

NGOs, International Aid, and Mental Health in Cambodia

Thesis (Master's)--University of Washington, 2016-03

Who gets to play? Investigating equity in musical instrument instruction in Scottish primary schools

There is a widely held view that learning to play a musical instrument is a valuable experience for all children in terms of their personal growth and development. Although there is no statutory obligation for instrumental music provision in Scottish primary schools, there are well-established Instrumental Music Services in Local Education Authorities that have been developed to provide this facility for pupils. This article presents the findings of a study that was aimed at investigating the extent to which the opportunity to undertake instrumental instruction in Scottish primary schools is equitable. The study employed a mixed-methods approach. Data were gathered from 21 Scottish primary schools, a total pupil population of 5122 pupils of whom 323 pupils were receiving instrumental instruction. The analysis involved an investigation of the academic profile of this group, the representation of children with additional support needs (ASN) and the nature of their ASN. A qualitative analysis of policy and guideline documents and interviews with Heads of Instrumental Services, headteachers and instrumental instructors served to explain and illuminate the quantitative data. The findings showed that particular groups of children with ASN were significantly under-represented and offer explanations of the processes by which this occurs.

O Combate à fraude e evasão fiscais: a atuação da administração tributária e a avaliação dos resultados obtidos

Dissertação para obtenção do Grau de Mestre em Auditoria Orientação científica do Professor Coordenador Rodrigo Mário Oliveira Carvalho

As freguesias e as políticas educativas locais: as necessidades e as obrigações

Dissertação apresentada para obtenção do grau de Mestre em Ciências da Educação Área de especialização em Administração Escolar 2013