Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Regímenes Internacionales y Derechos Humanos. La incidencia del sistema interamericano de protección en la legislación y jurisprudencia argentinas. International Regimes and Human Rights. The incidence of inter-American system in Argentine law and jurisprudence.

El nuevo escenario internacional produce lo que se ha dado en caracterizar como la globalización del derecho, especialmente en el ámbito de los derechos humanos. En este contexto se analiza la incidencia del Sistema Interamericano de protección de los Derechos Humanos con especial énfasis en el derecho de la información, desde la optica del derecho interno. Nos preguntamos acerca de cómo se presenta la tensión entre la lógica estatal con su rasgo de afirmación en la soberanía y monopolio en la creación de la jurisdicción doméstica, con la doctrina del derecho internacional de los derechos humanos, que consecuentemente conduce hacia una globalización jurídica de estos temas. Esto refleja un debilitamiento en el monopolio de creación y aplicación del derecho por parte de los Estados. A partir de este dato del escenario internacional buscamos determinar la incidencia de los informes de la Comisión Interamericana de Derechos Humanos y los pronunciamientos de la Corte Interamericana en materia de derecho de la información y su influencia en la jurisprudencia y creación de legislación en nuestro país. The new internacional scenario produces wtah has come to be characterized as the globalization of law, especially in the field of the human rights. In this context we analyze the impact of the Inter-American system of human Rights, whit particular emphasis on media law in domestic law

Investigation into the feasibility of a West of Ireland Pumped Storage System

Ireland’s remote position on the tip of Europe ensures that the country is vulnerable to uncertainty of supply. The reliance on conventional sources of electricity has ensured that escalated prices and high carbon emissions have been witnessed whilst opportunities that inherent resources provide, such as the wind, have not been capitalised upon. The intermittent nature of the wind make it difficult to maximise its potential as in many cases the highest wind speeds are highest when demand is low. The West of Ireland’s combination of wind speeds and unique topography makes it suitable for and innovative wind powered pumped storage system, which can essentially regulate the wind generated electricity and integrate further penetration of renewable energy. In addition, its location along the Atlantic Ocean provides further scope for innovation as seawater can be integrated into the system design. The construction of such an unprecedented project in combination with increased interconnectors has the potential to make Ireland a rechargeable battery for Europe. However, such ambitious plans are at the very early stages and are in direct contrast to current events in the Irish energy market. This study focuses on the feasibility of West of Ireland pumped storage systems. Entailed within this is an extensive desk study, a detailed site selection process and a feasibility study of grid connection. To increase opportunities to identify the best possible site, the feasibility study was focused on the Galway and Mayo areas solely.

Development of a data acquisition system to characterise sustainable energy technologies and to support Web-Based learning (DAQ-WBL)

Driven by concerns about rising energy costs, security of supply and climate change a new wave of Sustainable Energy Technologies (SET’s) have been embraced by the Irish consumer. Such systems as solar collectors, heat pumps and biomass boilers have become common due to government backed financial incentives and revisions of the building regulations. However, there is a deficit of knowledge and understanding of how these technologies operate and perform under Ireland’s maritime climate. This AQ-WBL project was designed to address both these needs by developing a Data Acquisition (DAQ) system to monitor the performance of such technologies and a web-based learning environment to disseminate performance characteristics and supplementary information about these systems. A DAQ system consisting of 108 sensors was developed as part of Galway-Mayo Institute of Technology’s (GMIT’s) Centre for the Integration of Sustainable EnergyTechnologies (CiSET) in an effort to benchmark the performance of solar thermal collectors and Ground Source Heat Pumps (GSHP’s) under Irish maritime climate, research new methods of integrating these systems within the built environment and raise awareness of SET’s. It has operated reliably for over 2 years and has acquired over 25 million data points. Raising awareness of these SET’s is carried out through the dissemination of the performance data through an online learning environment. A learning environment was created to provide different user groups with a basic understanding of a SET’s with the support of performance data, through a novel 5 step learning process and two examples were developed for the solar thermal collectors and the weather station which can be viewed at http://www.kdp 1 .aquaculture.ie/index.aspx. This online learning environment has been demonstrated to and well received by different groups of GMIT’s undergraduate students and plans have been made to develop it further to support education, awareness, research and regional development.

An investigation into system security requirements and implementation in an Application Service Provider (ASP) environment

Although the ASP model has been around for over a decade, it has not achieved the expected high level of market uptake. This research project examines the past and present state of ASP adoption and identifies security as a primary factor influencing the uptake of the model. The early chapters of this document examine the ASP model and ASP security in particular. Specifically, the literature and technology review chapter analyses ASP literature, security technologies and best practices with respect to system security in general. Based on this investigation, a prototype to illustrate the range and types of technologies that encompass a security framework was developed and is described in detail. The latter chapters of this document evaluate the practical implementation of system security in an ASP environment. Finally, this document outlines the research outputs, including the conclusions drawn and recommendations with respect to system security in an ASP environment. The primary research output is the recommendation that by following best practices with respect to security, an ASP application can provide the same level of security one would expect from any other n-tier client-server application. In addition, a security evaluation matrix, which could be used to evaluate not only the security of ASP applications but the security of any n-tier application, was developed by the author. This thesis shows that perceptions with regard to fears of inadequate security of ASP solutions and solution data are misguided. Finally, based on the research conducted, the author recommends that ASP solutions should be developed and deployed on tried, tested and trusted infrastructure. Existing Application Programming Interfaces (APIs) should be used where possible and security best practices should be adhered to where feasible.

Design of a bifurcated stent graft, with its accompanying delivery system.

Abdominal Aortic Aneurysms (AAA) haemorhaging is a life-threatening disease. An aneurysm is a permanent swelling of an artery due to a weakness in its wall. Current surgical repair involves opening the chest or abdomen, gaining temporary vascular control of the aorta and suturing a prosthetic graft to the healthy aorta within the aneurysm itself The outcome of this surgical approach is not perfect, and the quality of life after this repair is impaired by postoperative pain, sexual dysfunction, and a lengthy hospital stay resulting in high health costs. All these negative effects are related to the large incision and extensive tissue dissection. Endovascular grafting is an alternative to the standard surgical method. This treatment is a less invasive method of treating aortic aneurysms. It involves a surgical exposure of the common femoral arteries where the stent graft can be inserted through by an over-the-wire technique. All manipulations are controlled from a remote place by the use of a catheter and this technique avoids the need to directly expose the diseased artery through a large incision or an extensive dissection. The proposed design method outlined in this project is to develop the endovascular approach. The main aim is to design an unitary bifurcated stent graft (1 e- bifurcated graft as a single component) to treat these Abdominal Aortic Aneurysms. This includes the delivery system and deployment mechanism necessary to first accurately position the stent graft across the aneurysm sac and also across the iliac bifurcation, and secondly fix the stent graft in position by using expandable metal stents. Thus, excluding the aneurysm from the circulation and therefore preventing rupture. Miniaturisation is a critical aspect of this design, as the smaller the crimped stent graft the easier to guide through the vascular system to the desired location. Biocompatibility is an important aspect. The preferred materials for this prosthesis are to use Shape Memory Alloys for the stent and a multifilament fabric for the graft. A taper design is applied for the geometry as this gives a favourable flow characteristic and reduced wave reflections. Adequate testing of the stent graft to prove its durability and the ease of the method of deployment is a prerequisite. A bench test facility has being designed and build to replicate the cardiovascular system and the disease in question aortic aneurysms at the iliac bifurcation. The testing here shows the feasibility of the proposed delivery system and the durability of the stent graft across the aneurysm sac. Finally, these endovascular treatments offer the economic advantage of short hospital stays or even treatment as an outpatient, as well as elimination of the need for postoperative intensive care The risk of developing an aneurysm increases with age, that is one of the mam reasons to look for less invasive ways of treating aneurysms. Consequently, there is enormous pressure to develop and use these devices rapidly.

Development of a life cycle management system for remote products.

The research described in this thesis has been developed as a part of the Reliability and Field Data Management for Multi-Component Products (REFIDAM) Project. This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway-Mayo Institute of Technology and an industrial company, Thermo King Europe. The project aimed to develop a system to manage the information required for maintenance costing, cost of ownership, reliability assessment and improvement of multi-component products, by establishing information flows between the customer network and across the Thermo King organisation.

Implementation of a customer relationship management system in an SME

The research conducted for this thesis has been carried out over a two year period as part of the Mobile Tools and Technology for customer care (MOTTO) project. The project was funded under the Applied Grant scheme administered by Enterprise Ireland and Nortel Networks Ltd. It was a partnership project between Galway-Mayo Institute of Technology, University of Limerick, National University of Ireland Galway, and a global Internet and communications company, Nortel Networks. The project aimed to investigate the enabling mobile communications technologies in e-Business and mobile communications in the area of Business-to-Business (B2B) customer care. The development of the application discussed in this thesis was developed in conjunction with the Galway-Mayo Institute of Technology, University of Limerick and AMT Ireland. The decision to develop the application in the Electronics Company of AMT in Limerick came about as a result of the contact established by Mark Southern from the University of Limerick. Mark was involved in overseeing the development and assisted in establishing the user requirements.

Development of a semi-automatic self learning pattern recognition system for the control of electronic boards

This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway - Mayo Institute of Technology and an industrial company, Tyco/Mallinckrodt Galway. The project aimed to develop a semi - automatic, self - learning pattern recognition system capable of detecting defects on the printed circuits boards such as component vacancy, component misalignment, component orientation, component error, and component weld. The research was conducted in three directions: image acquisition, image filtering/recognition and software development. Image acquisition studied the process of forming and digitizing images and some fundamental aspects regarding the human visual perception. The importance of choosing the right camera and illumination system for a certain type of problem has been highlighted. Probably the most important step towards image recognition is image filtering, The filters are used to correct and enhance images in order to prepare them for recognition. Convolution, histogram equalisation, filters based on Boolean mathematics, noise reduction, edge detection, geometrical filters, cross-correlation filters and image compression are some examples of the filters that have been studied and successfully implemented in the software application. The software application developed during the research is customized in order to meet the requirements of the industrial partner. The application is able to analyze pictures, perform the filtering, build libraries, process images and generate log files. It incorporates most of the filters studied and together with the illumination system and the camera it provides a fully integrated framework able to analyze defects on printed circuit boards.

Development of a rehabilitation system for the red mud waste generated at the Aughinish Alumina Bayer Plant

Aughinish Alumina Limited (AAL) have an obligation by terms of their Integrated Pollution Control Licence (IPCL) and Planning Permission to establish vegetation on the red mud stack at their plant at Aughinish, Co. Limerick. High pH and high exchangeable sodium percentage are the main known factors limiting the establishment of vegetation on red mud. Gypsum addition has been known to assist in alleviating these problems in other countries. However, there is no experience or published information on red mud rehabilitation under Irish conditions. Red mud with organic and inorganic waste-derived ameliorants as well as selected grassland species were examined under laboratory controlled environment conditions as well as in field plot trials. Also, in order that it would be economically achievable, the research utilised locally available waste products as the organic amendments. Screening trials found that physical constraints severely limit plant germination and growth in red mud. Gypsum addition effectively lowers pH, exchangeable sodium percentage and the availability of A1 and Fe in the mud. A strong relationship between pH, ESP and A1 levels was also found. Gypsum addition increased germination percentages and plant growth for all species investigated. Greenhouse trials demonstrated that organic wastes alone did not greatly improve conditions for plant growth but when used in conjunction with gypsum plant performances for all species investigated was significantly increased. There was a high mortality rate for grasses in non-gypsum treatments. An emerging trend of preferential iron uptake and calcium deficiency in non-gypsum treatments was found at pot screening stage. Species also displayed manganese and magnesium deficiencies.

The system of animate nature; the Gifford lectures delivered in the University of St. Andrews in the years 1915 and 1916, by J. Arthur Thomson.

1