Informe final y cuaderno de diseño. Regional Orinoquía y Amazonía, municipio de Cumaribo, departamento del Vichada. Asesoría en diseño y producción en el Oficio de Cestería en Cumare.

45 hojas : ilustraciones.

Informe final y cuaderno de diseño. Regional Centro Oriente, municipio del Guamo departamento Tolima. Asesoría en diseñoen el Oficio de Costura con trenza de palma real

10 hojas : cuadros.

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.

Improving the Accessibility of Lightweight Formal Verification Systems

In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to address these issues: a simple, familiar, and conventional concrete syntax that is independent of any environment, application, or verification strategy, and the possibility of reducing workload and entry costs by employing features selectively. We demonstrate the feasibility of satisfying such criteria by presenting our own formal representation and verification system. Our system’s concrete syntax overlaps with English, LATEX and MediaWiki markup wherever possible, and its verifier relies on heuristic search techniques that make the formal authoring process more manageable and consistent with prevailing practices. We employ techniques and algorithms that ensure a simple, uniform, and flexible definition and design for the system, so that it easy to augment, extend, and improve.

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.

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.

Health in the medieval world: Regionality and the bioarchaeology of Ireland and Britain

This study assesses regional health patterns in early medieval Ireland and Britain by analysing and interpreting palaeopathological indicators of stress. This was achieved by incorporating the results of demographic and palaeopathological study into the specific historical contexts. Although relatively small islands, both are home to unique and diverse cultural, physical, and political landscapes, which could potentially affect the general health of the population in different ways. To accurately answer the research question, a bioarchaeological survey of six regions within both islands was carried out, specifically analysing and comparing the demographic profile and general health trends within each region with one another. Results from the analysis have demonstrated statistically significant differences within and between the islands. Inferring that even the more subtle differences observed within the cultural, physical, and political landscapes, such as in the case of Ireland and Britain, can and do affect general health trends. The health of early medieval Ireland and Britain appears to be significantly affected by the physical landscape, specifically a north/south divide. The most northerly regions, Scotland South and Ireland North, manifested higher levels of stress indicators when compared to the more southerly positioned regions. Although it can only be hypothesised what factors within these regions are causing, enhancing or buffering stress, the study has established the potential and necessity for regional work to be continued when interpreting the historical past of these two islands.