Asesoría en diseño de joyería en plata en Santafé de Antioquia, Antioquia, Regional Occidente y en diseño de artesanía en cobre en Bogotá.

60 hojas: ilustraciones.

Asesoría en diseño regional oriente departamento de Cundinamarca Bogotá : desarrollo de catálogo de joyería.

51 hojas : ilustraciones.

Producción y asesoría en diseño regional Amazonas, departamento de Amazonas.

[60] hojas : ilustraciones, fotografías, diapositivas.

Cuaderno de diseño e informe final. Regional Santa Fe de Bogotá, evaluación de productos y asesorías puntuales gestión de producción, gestión oficina de diseño y actividades.

150 hojas.

Cuaderno de diseño e informe final. Regional Santa Fe de Bogotá, asesorías puntuales gestión oficina de diseño y actividades.

[79] hojas : ilustraciones, fotografías.

Cuaderno de diseño e informe final. Regional Atlántico, Centro - Oriente, Bogotá y Nacional.

112 hojas : ilustraciones, fotografías.

Registro fotográfico del cuaderno de diseño y manejo de tintes industriales regional Centro Oriente, departamento de Boyacá.

164 hojas : ilustraciones, fotografías color.

Diagnóstico y reconocimiento de los oficios en los municipios de Plato, Pivijay y Pedraza en el departamento de Magdalena regional Costa Atlántica.

12 hojas.

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.

Compilation and analysis of integrated regional input-output tables for NUTS 2 regions in Ireland

In 1966, Roy Geary, Director of the ESRI, noted “the absence of any kind of import and export statistics for regions is a grave lacuna” and further noted that if regional analyses were to be developed then regional Input-Output Tables must be put on the “regular statistical assembly line”. Forty-five years later, the lacuna lamented by Geary still exists and remains the most significant challenge to the construction of regional Input-Output Tables in Ireland. The continued paucity of sufficient regional data to compile effective regional Supply and Use and Input-Output Tables has retarded the capacity to construct sound regional economic models and provide a robust evidence base with which to formulate and assess regional policy. This study makes a first step towards addressing this gap by presenting the first set of fully integrated, symmetric, Supply and Use and domestic Input-Output Tables compiled for the NUTS 2 regions in Ireland: The Border, Midland and Western region and the Southern & Eastern region. These tables are general purpose in nature and are consistent fully with the official national Supply & Use and Input-Output Tables, and the regional accounts. The tables are constructed using a survey-based or bottom-up approach rather than employing modelling techniques, yielding more robust and credible tables. These tables are used to present a descriptive statistical analysis of the two administrative NUTS 2 regions in Ireland, drawing particular attention to the underlying structural differences of regional trade balances and composition of Gross Value Added in those regions. By deriving regional employment multipliers, Domestic Demand Employment matrices are constructed to quantify and illustrate the supply chain impact on employment. In the final part of the study, the predictive capability of the Input-Output framework is tested over two time periods. For both periods, the static Leontief production function assumptions are relaxed to allow for labour productivity. Comparative results from this experiment are presented.

Towards a regional understanding of Irish traditional music

The geography of Irish traditional music is a complex, popular and largely unexplored element of the narrative of the tradition. Geographical concepts such as the region are recurrent in the discourse of Irish traditional music but regions and their processes are, for the most part, blurred or misunderstood. This thesis explores the geographical approach to the study of Irish traditional music focusing on the concept of the region and, in particular, the role of memory in the construction and diffusion of regional identities. This is a tripartite study considering people, place and music. Each of these elements impacts on our experience of the other. All societies have created music. Music is often associated with or derived from places. Some places construct or reinforce their identity through the music and musicians through which they are associated. The thesis challenges conventional discourse on regional styles that construct an imagined pattern of regions based on subtle musical differences that may, though are not always, shared by people in that region and focuses on the social networks through which the music is disseminated. The thesis also challenges the abandonment of regional styles and the concept of regions in understanding the complex geographies of Irish traditional music (Morton, 2001). It seeks to find a middle ground between discourse analysis, musical analysis, the experience of music and place, and the representation of music and place. The dissertation is divided into three parts. Part one considers the development of music geography, noting and critiquing the abandonment of useful paradigms in both geography and ethnomusicology in search of new ways of understanding. Of particular interest is the concept of the region but it also considers the study of landscape and the humanist approach in cultural geography. The second part focuses on the discourse and study of regions in Irish traditional music and the various agents and processes that shape the concept of the region in Irish traditional music. The final part presents a case study of the Sliabh Luachra region combining and applying the various perspectives and paradigms drawn from geographical, ethnomusicological and anthropological sources. It attempts to generate an understanding of Sliabh Luachra as a region in the Irish traditional music narrative that is based on a combination of musical, socio-cultural and locational/environmental factors.

Anglo-Irish relations in the framework of the EEC and Northern Ireland, 1969-1975

This thesis will analyse Anglo-Irish relations between 1969 and 1975, when two topics dominated the relationship: Northern Ireland and the entry of Britain and Ireland into the European Economic Community (hereafter EEC). In 1969 entry to the EEC was still only a possibility and awaited political developments, while the Northern Ireland problem had yet to escalate. 1975 on the other hand confirmed that Ireland would remain in the EEC even if Britain left while Direct Rule for Northern Ireland was confirmed as the British policy for the foreseeable future. These dates are significant because they encompass firstly pre and post entry to the EEC and how this transformed Anglo-Irish relations. Secondly they contain the commencement and then deterioration of the Northern Ireland problem and the attempts to resolve it that finally led to direct rule by Westminster. The study will examine the fluctuating nature of the relationship between Britain and Ireland. Special regard will be devoted to the demands of internal British politics and how such demands affected the relationship. Overall, the study will demonstrate how the bilateral relationship evolved under the pressure of events in Northern Ireland and adapted to the multilateral context of the EEC. It will compare the dynamics of the states’ interactions in two extremely different areas. The thesis will demonstrate how entry to the EEC transformed the unequal Anglo-Irish economic relationship and created one of partners within the EEC. It will also analyse how the developing Northern Ireland problem caused changes to British policy. In particular, it will examine how the British Government came to recognise the beneficial role that the Republic of Ireland might play in resolving the Troubles in Northern Ireland.

Theme and variations: Christianity and regional landscapes in early medieval Ireland

This thesis explores the impact of Christianity on the landscape in Ireland from the conversion period to the coming of the Anglo-Normans. The premise is that ecclesiastical and secular settlement formed a cohesive whole which characterised the societal organisation of early medieval Ireland. The matter of the thesis is to isolate some of the agents of cohesion to see was this homogenous or did it vary in different areas. One of these agents was the ownership of land and the thesis undertakes to identify ecclesiastical landholding and examine the manner of settlement on it. A corollary is to explore the contribution of the genealogical link between kin-group, founding saint and territory to the construction of local identities. This necessitated a narrow focus; thus small study areas were chosen, which approximated to early medieval kingdoms in North Louth, Rathdown, Co Dublin and Ross, Co Cork. A multidisciplinary approach was taken using both archaeological and documentary evidence. The thesis found ecclesiastical sites were at the same density through the study areas, but there were considerable regional variations in related secular settlement. Ecclesiastical estates were identified in the three study areas and common settlement patterns were found in two of them. Settlement in all areas indicated the foundation of minor churches by local groups. Ecclesiastical sites were found to be integral to kin-group identity and status, but the manner in which each group negotiated this, was very different. Finally the thesis examined material evidence for a change from diffused to concentrated power in the political organisation of Irish society, a process entwined with developments of the Viking Age. This centralisation of power and associated re-formation of identity was still often mediated through the ecclesiastical sphere but the thesis demonstrates diversity in the materialising of the mediation.

Towards enhanced divine-human-earth relations: a Christian-Buddhist contribution

The central claim of the dissertation is that lesser known and somewhat neglected, yet influential thinkers, within classical religious traditions have something worthwhile to contribute to the kind of ethos we should adopt in the face of the world’s various environmental crises. Moreover an exploration of such perspectives is best done in dialogue, particularly between Eastern and Western thought. I examine this claim primarily through a dialogue between the Christian philosopher John Scottus Eriugena and the Japanese Buddhist philosopher Kūkai (Kōbō Daishi). This dialogue, framed by the triad of divine-human-earth relations, primarily emphasises the oneness of all reality, and it finds expression in Eriugena’s concept of natura or phusis and Kūkai’s central teaching that the phenomenal world is the cosmic Buddha Dainichi. By highlighting this focus, I contribute to the existing academic field of ecology and religion on the subject of holism. However, I go beyond the materialist focus that generally marks such ecological holism within that field, offering instead a more metaphysical approach. This is indicated through my use of the concept of ‘immanental transcendence’ to describe Eriugena’s and Kūkai’s dynamic, numinous and mysterious notion of reality, as well as my exploration of Eriugena’s concept of theophany and Kūkai’s notion of kaji. I further explore how both philosophers highlight the human role in the process of reaching enlightenment—understood as attaining union with the whole. In that regard, I note significant differences in their positions: in particular, I note that Kūkai’s emphasis on bodily practices contrasts with Eriugena’s more conceptual approach. Finally to bolster my claim, I examine some ecologically oriented understandings of contemporary phenomenological approaches found particularly in the work of Jean-Luc Marion and to a lesser extent Merleau-Ponty, arguing that these reflect notions of reality and of the human role similar to those of the medieval philosophers.