Affective Justice

Since its inception in 2001, the International Criminal Court (ICC) has been met with resistance by various African states and their leaders, who see the court as a new iteration of colonial violence and control. In Affective Justice Kamari Maxine Clarke explores the African Union's pushback against the ICC in order to theorize affect's role in shaping forms of justice in the contemporary period. Drawing on fieldwork in The Hague, the African Union in Addis Ababa, sites of postelection violence in Kenya, and Boko Haram's circuits in Northern Nigeria, Clarke formulates the concept of affective justice—an emotional response to competing interpretations of justice—to trace how affect becomes manifest in judicial practices. By detailing the effects of the ICC’s all-African indictments, she outlines how affective responses to these call into question the "objectivity" of the ICC’s mission to protect those victimized by violence and prosecute perpetrators of those crimes. In analyzing the effects of such cases, Clarke provides a fuller theorization of how people articulate what justice is and the mechanisms through which they do so

1976/1977 UCI General Catalogue

General catalogue for the academic year 1976-1977

1977/1978 UCI General Catalogue

General catalogue for the academic year 1977-1978

The other art of computer programming: A visual alternative to communicate computational thinking

The thesis will explore the implications of teaching computer science through visual communication. This study aims to define a framework for using pictures within learning computer science. Visual communication materials for teaching computer science were created and tested with Year 8 students. Along with a recent commercial and political focus on the introduction of coding to adolescents, it appears that the computer industry has a large shortfall of programmers. Accompanying this shortfall is a rise among adolescents in the preference for visual communication (Brumberger, 2011; Coats, 2006; Oblinger et al., 2005; Prensky, 2001; Tapscott, 1998) while textual communication currently dominates the teaching materials in the computing discipline. This study looks at the learning process and utilises the ideas of Gibson, Dewey and Piaget to consider the role of visual design in teaching programming. According to Piagetian theory Year 8 is the time a child begins to understand abstract thought. This research investigated through co-creation and prototyping how to creatively support cognition within the learning process. Visual communication theories, comprising the fields of graphic and information design, were employed to communicate computer science to approximately 60 junior high school students across eight schools. Literature in a range of visual communication fields is reviewed along with the psychology of perception and cognition to help create a prototype lesson plan for the target audience of Year 8 students. The history of computer science is reviewed to illustrate the mental imagery within the discipline and also to explore computational thinking concepts. These concepts are . . . the metaphors and structures that underlie all areas of science and engineering (Guzdial, 2008). The participants’ attitudes increased toward learning programming through visual communication. Quantitative questionnaires were used to gather data on cognition and measure the effectiveness of the learning process. Thirteen hypotheses were established concerning learning programming through pictures from the quantitative data. Focus groups further triangulated data gathered in the quantitative stage. Approximately seventy percent of the participants understood seventy percent of the information within the instrumentation. Models of intent to learn programming through pictures were established using structural equation modelling (SEM). Outcomes of the exegesis are a framework for using pictures that demonstrates computational thinking and explains the research

Assertion level proof planning with compiled strategies

This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not available in the sequent calculus without cut. In addition, a strategy language for abstract underspecified declarative proof patterns is developed. Together, the complementary methods provide a framework to automate declarative proofs. The benefits of the techniques are illustrated by practical applications.Die vorliegende Arbeit beschäftigt sich damit, das Formalisieren von Beweisen zu vereinfachen, indem Methoden entwickelt werden, um informale Beweise formal zu verifizieren und erzeugen zu können. Dazu wird ein abstrakter Kalkül entwickelt, der direkt auf der Faktenebene arbeitet, welche von Menschen geführten Beweisen relativ nahe kommt. Anhand einer Fallstudie wird gezeigt, dass die abstrakte Beweisführung auf der Fakteneben vorteilhaft für automatische Suchverfahren ist. Zusätzlich wird eine Strategiesprache entwickelt, die es erlaubt, unterspezifizierte Beweismuster innerhalb des Beweisdokumentes zu spezifizieren und Beweisskizzen automatisch zu verfeinern. Fallstudien zeigen, dass komplexe Beweismuster kompakt in der entwickelten Strategiesprache spezifiziert werden können. Zusammen bilden die einander ergänzenden Methoden den Rahmen zur Automatisierung von deklarativen Beweisen auf der Faktenebene, die bisher überwiegend manuell entwickelt werden mussten

Assertion level proof planning with compiled strategies

This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not available in the sequent calculus without cut. In addition, a strategy language for abstract underspecified declarative proof patterns is developed. Together, the complementary methods provide a framework to automate declarative proofs. The benefits of the techniques are illustrated by practical applications.Die vorliegende Arbeit beschäftigt sich damit, das Formalisieren von Beweisen zu vereinfachen, indem Methoden entwickelt werden, um informale Beweise formal zu verifizieren und erzeugen zu können. Dazu wird ein abstrakter Kalkül entwickelt, der direkt auf der Faktenebene arbeitet, welche von Menschen geführten Beweisen relativ nahe kommt. Anhand einer Fallstudie wird gezeigt, dass die abstrakte Beweisführung auf der Fakteneben vorteilhaft für automatische Suchverfahren ist. Zusätzlich wird eine Strategiesprache entwickelt, die es erlaubt, unterspezifizierte Beweismuster innerhalb des Beweisdokumentes zu spezifizieren und Beweisskizzen automatisch zu verfeinern. Fallstudien zeigen, dass komplexe Beweismuster kompakt in der entwickelten Strategiesprache spezifiziert werden können. Zusammen bilden die einander ergänzenden Methoden den Rahmen zur Automatisierung von deklarativen Beweisen auf der Faktenebene, die bisher überwiegend manuell entwickelt werden mussten