Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Under BACKTRACK control structure, the hierarchy of activations of functions previously executed is maintained so that it is possible to revert to any previous state. Thus programs can easily manipulate elaborate hypothetical tentative states. In addition PLANNER uses multiprocessing so that there can be multiple loci of changes in state. Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to maintain the desired degree of control. The use of a general-purpose matching language as the basis of the deductive system increases the flexibility of the system. Instead of explicitly naming procedures in calls, procedures can be invoked implicitly by patterns of what the procedure is supposed to accomplish. The language is being applied to solve problems faced by a robot, to write special purpose routines from goal oriented language, to express and prove properties of procedures, to abstract procedures from protocols of their actions, and as a semantic base for English.

Writing the War on Terrorism: Language, Politics and Counter-terrorism

Jackson, Richard, Writing the War on Terrorism: Language, Politics and Counter-terrorism (Manchester: Manchester University Press, 2005), pp.viii + 232 RAE2008

New Collected Poems of W. S. Graham

Francis, Matthew, New Collected Poems of W. S. Graham, (London: Faber and Faber, 2004 RAE2008

Obraz stosunków językowych polsko-niemieckich w historii języka polskiego. Księga sądu wójtowskiego m. Opola z lat 1698-1721 jako językowy wyraz kontaktów międzyetnicznych

Wydział Filologii Polskiej i Klasycznej: Instytut Filologii Polskiej

Qualidade de vida relacionada com a saúde oral

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para a obtenção do grau de Mestre em Psicologia, ramo de Psicologia Clínica e da Saúde

Adding Polymorphic Abstraction to ML (Detailed Abstract)

The ML programming language restricts type polymorphism to occur only in the "let-in" construct and requires every occurrence of a formal parameter of a function (a lambda abstraction) to have the same type. Milner in 1978 refers to this restriction (which was adopted to help ML achieve automatic type inference) as a serious limitation. We show that this restriction can be relaxed enough to allow universal polymorphic abstraction without losing automatic type inference. This extension is equivalent to the rank-2 fragment of system F. We precisely characterize the additional program phrases (lambda terms) that can be typed with this extension and we describe typing anomalies both before and after the extension. We discuss how macros may be used to gain some of the power of rank-3 types without losing automatic type inference. We also discuss user-interface problems in how to inform the programmer of the possible types a program phrase may have.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Aesthetic campaigns and counter-campaigns. Jorge Luis Borges and a century of the Argentine detective story (1877-1977)

This cultural history of Argentine crime fiction involves a comprehensive analysis of the literary and critical traditions within the genre, paying particular attention to the series of ‘aesthetic campaigns’ waged by Jorge Luis Borges and others during the period between 1933 and 1977. The methodological approach described in the introductory chapter builds upon the critical insight that in Argentina, generic discourse has consistently been the domain, not only of literary critics in the traditional mould, but also of prominent writers of fiction and specialists from other disciplines, effectively transcending the traditional tripartite ‘division of labour’ between writers, critics and readers. Chapter One charts the early development of crime fiction, and contextualises the evolution of the classical and hardboiled variants that were to provide a durable conceptual framework for discourse in the Argentine context. Chapter Two examines a number of pioneering early works by Argentine authors, before analysing Borges’ multi-faceted aesthetic campaign on behalf of the ‘classical’ detective story. Chapter Three examines a transitional period for the Argentine crime genre, book-ended by the three Vea y Lea magazine-sponsored detective story competitions that acted as a vital stimulus to innovation among Argentine writers. It includes a substantial treatment of the work of Rodolfo Walsh, documenting his transition from crime writer and anthologist to pioneer of the non-fiction novel and investigative journalism traditions. Chapter Four examines the period in which the novela negra came to achieve dominance in Argentina, in particular the aesthetic counter-campaigns conducted by Ricardo Piglia and others on behalf of the hard-boiled variant. The study concludes with a detailed analysis of Pablo Leonardo’s La mala guita (1976), which is considered as a paradigmatic example of crime fiction in Argentina in this period. The final chapter presents conclusions and a summary of the dissertation, and recommendations for further research.

Challengers to provisional republicanism: the official republican movement, people’s democracy and the Irish republican socialist party, 1968–98

The Provisional IRA and its political wing Sinn Féin have attracted by far the greatest scholarly interest of all the players in the Northern Irish conflict. This emphasis is perfectly legitimate, given the centrality of the Provos to so many turning-points in the conflict, from the collapse of Stormont in the early 1970s to the hunger strikes of the following decade and the ceasefires which were followed by the Belfast Agreement. My project, however, looks at political groups that at one time or another challenged the Provos for leadership of the militant, anti-state constituency in Northern Ireland (chiefly based in the Catholic working class). Although never as large or influential as the Provisional republicans, groups such as the Official IRA and the Irish Republican Socialist Party sometimes had a discernible impact on the course of events which is overlooked by most studies, and often pioneered ideas and tactics that were later adopted by the Provos themselves. The idea that republicans should embrace political action and work in broad campaigning alliances was promoted by the IRSP and socialist groups such as People’s Democracy before it was taken up by Gerry Adams and his allies, while the Official IRA supported the principle of a settlement based on democratization of the Northern Irish state, which was later accepted by Sinn Féin in the form of the Belfast Agreement. The goal of my research is to provide a novel perspective on the conflict in Northern Ireland, while engaging with theoretical debates about its character.

Merleau-Ponty and Nishida: Artistic expression as 'motor-perceptual faith'

This dissertation carries out a dialogue between Maurice Merleau-Ponty and Nishida Kitarō concerning their theories of artistic expression and faith. Both philosophers go through remarkably similar trajectories in their philosophic projects: In their early works they focus on the motor-perceptual body of the artist, and as they move towards the mature articulation of their ontologies, the concept of faith becomes central. I propose the term “motor-perceptual faith” to bring these seemingly diverse sets of concerns into a conceptual continuity. My study explores this connection, and argues that the artist’s motor-perceptual expressive body, as colourfully and sometimes poetically articulated in their early works, enacts the form of faith developed more abstractly in their later writings. Exploring these relations fosters a mutual expansion of the early by the later works, thus thickening the concept of faith by seeing it as enacted by the artist, while enlarging the concept of artistic expression by understanding it as a practice of motor‐perceptual faith. Framing these philosophers as putting forth a traditionally religious concept as illustrated by way of artistic expression, offers a new articulation of both of their writings, an important conceptual bridge between the two, while challenging un-ambiguous distinctions between art, philosophy and religion, and ultimately philosophy East and West.

TRADITION AND INNOVATION: ANALYSIS AND PERFORMANCE OF SELECTED COMPOSITIONS FOR VIOLONCELLO BY HEITOR VILLA-LOBOS

Brazilian composer Heitor Villa-Lobos (1887-1959) began his musical career as a cellist. When he was only twelve years old, it became imperativeupon the sudden and untimely death of his fatherthat the young Villa-Lobos earn money as a cellist to provide financial support for his mother and sisters. Villa-Lobos's intimate relationship with the cello eventually inspired him to compose great music for this instrument. This dissertation explores both the diversity of compositional technique and the evolution of style found in the music for cello written by Villa-Lobos. The project consists of two recorded recital performances and a written document exploring and analyzing those pieces. In the study of the music of Villa-Lobos, it is of great interest to consider the music's traditional European elements in combination (or even juxtaposition) with its imaginative and sometimes wildly innovative Brazilian character. His early works were greatly influenced by European Romantic composers such as Robert Schumann, Frédéric Chopin, and the virtuoso cellist/composer David Popper (whom Villa-Lobos idolized). Later, Villa-Lobos flourished in a newfound compositional independence and moved away from Euro-romanticism and toward the folk music of his Brazilian homeland. It is intriguing to experience this transition through an exploration of his cello compositions. The works examined and performed in this dissertation project are chosen from among the extensive number of Villa-Lobos's cello compositions and are his most important works for cello with piano, cello with another instrument, and cello with orchestra. The chosen works demonstrate the evolving range and combination of characteristic elements found in Villa-Lobos's compositional repertoire.

STUDIES AND PERFORMANCES OF TRANSCRIPTIONS FOR CELLO FROM THE VIOLIN REPERTOIRE

The potential of the violoncello as a solo instrument was recognized and supported by cellists such as Luigi Boccherini (1743-1805), Luis Duport (1749-1819), Auguste Franchomme (1808-1884), and Alfredo Piatti (1822-1901). These pioneers composed technically demanding etudes, exercises, and caprices for the cello that were comparable to those already present in the violin literature. Even so, in the late nineteenth century and early twentieth century, considerably fewer substantial works were brought forth for the cello as compared with the violin. Consequently, many cellists such as Luigi Silva (1903-1961), Gregor Piatigorsky (1903-1976), Pierre Fournier (1906-1986), and Janos Starker (b. 1924) selected notable pieces from the violin repertoire and transcribed these for the cello. Some composers themselves actually adapted for the cello their own works originally written for the violin. Johannes Brahms with his Violin Sonata Op. 78, Igor Stravinsky with his Suite Italienne, and Béla Bartók with his First Rhapsody all belong to this category. Adaptations such as these further raised awareness among composers and performers of the possibilities of the cello as an independent and expressive instrument. Thus, many composers from the early 1900s to the present were encouraged to write increasing numbers of more soloistic and demanding works for cello. Herein, I explore the repertoire of cello transcriptions in order to analyze the differences between the original and transcribed versions and the challenges found therein. The performer may attempt to recreate the effect originally intended for the violin or, more daringly, may strive to search for alternate presentations of the music more suitable and expressive of the cello's own character. The project includes two recitals of the following transcribed works presented at the University of Maryland College Park, School of Music: Sonata in A by César Franck, transcribed by Jules Delsart, Variations on a Theme from Rossini by Nicolo Paganini, transcribed by Fournier, Suite Italienne by Igor Stravinsky, transcribed with the help of Piatigorsky, Sonatina Op. 137, No. 1 by Franz Schubert, transcribed by Starker, First Rhapsody by Béla Bartók and Sonata, Op. 108 by Johannes Brahms, transcribed by Hsiao-mei Sun.

Visual Disobedience: The Geopolitics of Experimental Art in Central America, 1990-Present

This dissertation centers on the relationship between art and politics in postwar Central America as materialized in the specific issues of racial and gendered violence that derive from the region's geopolitical location and history. It argues that the decade of the 1990s marks a moment of change in the region's cultural infrastructure, both institutionally and conceptually, in which artists seek a new visual language of experimental art practices to articulate and conceptualize a critical understanding of place, experience and knowledge. It posits that visual and conceptual manifestations of violence in Central American performance, conceptual art and installation extend beyond a critique of the state, and beyond the scope of political parties in perpetuating violent circumstances in these countries. It argues that instead artists use experimental practices in art to locate manifestations of racial violence in an historical system of domination and as a legacy of colonialism still witnessed, lived, and learned by multiple subjectivities in the region. In this postwar period artists move beyond the cold-war rhetoric of the previous decades and instead root the current social and political injustices in what Aníbal Quijano calls the `coloniality of power.' Through an engagement of decolonial methodologies, this dissertation challenges the label "political art" in Central America and offers what I call "visual disobedience" as a response to the coloniality of seeing. I posit that visual colonization is yet another aspect of the coloniality of power and indispensable to projects of decolonization. It offers an analysis of various works to show how visual disobedience responds specifically to racial and gender violence and the equally violent colonization of visuality in Mesoamerica. Such geopolitical critiques through art unmask themes specific to life and identity in contemporary Central America, from indigenous genocide, femicide, transnational gangs, to mass imprisonments and a new wave of social cleansing. I propose that Central American artists--beyond an anti-colonial stance--are engaging in visual disobedience so as to construct decolonial epistemologies in art, through art, and as art as decolonial gestures for healing.

WORKS BY FRANCO-BELGIAN COMPOSERS AND THE VIOLINISTS WHO INSPIRED THEM

In the late nineteenth century, French composers such as Camille Saint- Saens, Cesar Franck, and Claude Debussy worked to elevate instrumental music in late-Romantic period France, creating symphonies, concertos, and chamber ensembles, including duo sonatas. These composers and followers like, Ernest Chausson and Guillaume Lekeu were all influenced by a particular violinist to whom they dedicated their compositions. The primary violinist who inspired these composers was Eugene Ysaye (1858-1931), a brilliant performer and composer. His freedom of expression motivated many prominent French composers to dedicate major works to him. For example, Debussy dedicated his string quartet to Ysaye, who established the Ysaye Quartet and premiered Debussy's composition. In 1886, Franck completed his sonata for violin and piano which he also dedicated to Ysaye. Fritz Kreisler (1875-1962), one of the most talented violinists of his era, had a relationship withYsaye that was quite special. They respected, supported, and befriended each other. To Ysaye, Kreisler dedicated his Recitativo and Scherzo. To Kreisler, Ysaye dedicated one ofhis celebrated Sonatas for Solo Violin. Pablo de Sarasate (1844-1908) was a magnificent Spanish violinist of the late nineteenth century, and his music and performances influenced many composers, especially Saint-Saens, who included Spanish gypsy fragments in his works. These motifs may found in his Havanaise, Introduction and Rondo Capriccioso and Violin Concerto No.3 which were dedicated to Sarasate. My goal for this dissertation project has been to find and present, in three recitals, works by French composers and also works by the violinists who inspired them. As a violinist, I have endeavored to understand the influence of the various violinists on these French composers and how that knowledge can inform my approach to performing these works. In my first recital, with pianist Soo Young Jung, I performed works by Saint-Saens, Ysaye and Sarasate. With pianist Sun Ha Yoon, I performed works by Ysaye, Debussy, Kreisler and Franck in my second recital. My third recital, again with pianist Sun Ha Yoon, featured works by Ysaye, Chausson, and Lekeu. All recitals were recorded and performed at the University ofMaryland, College Park.

A policy-definition language and prototype implementation library for policy-based autonomic systems

This paper presents work towards generic policy toolkit support for autonomic computing systems in which the policies themselves can be adapted dynamically and automatically. The work is motivated by three needs: the need for longer-term policy-based adaptation where the policy itself is dynamically adapted to continually maintain or improve its effectiveness despite changing environmental conditions; the need to enable non autonomics-expert practitioners to embed self-managing behaviours with low cost and risk; and the need for adaptive policy mechanisms that are easy to deploy into legacy code. A policy definition language is presented; designed to permit powerful expression of self-managing behaviours. The language is very flexible through the use of simple yet expressive syntax and semantics, and facilitates a very diverse policy behaviour space through both hierarchical and recursive uses of language elements. A prototype library implementation of the policy support mechanisms is described. The library reads and writes policies in well-formed XML script. The implementation extends the state of the art in policy-based autonomics through innovations which include support for multiple policy versions of a given policy type, multiple configuration templates, and meta-policies to dynamically select between policy instances and templates. Most significantly, the scheme supports hot-swapping between policy instances. To illustrate the feasibility and generalised applicability of these tools, two dissimilar example deployment scenarios are examined. The first is taken from an exploratory implementation of self-managing parallel processing, and is used to demonstrate the simple and efficient use of the tools. The second example demonstrates more-advanced functionality, in the context of an envisioned multi-policy stock trading scheme which is sensitive to environmental volatility