DE TESIS DOCTORALA partir de la aplicación de la metodología ergonómica, este estudio se dedicó a investigar propuestas para mejorar la accesibilidad y legibilidad de la información académica para los estudiantes universitarios con discapacidad, que solicitaron ayuda al Plan de Apoyo al Estudiante con Discapacidad de la UPC, - proyecto experimental que objetiva aminorar problemática de dicho alumnado en el proceso de aprendizaje / enseñanza.El grupo estudiado fue compuesto por 14 alumnos discapacitados físicos y/o sensoriales matriculados en las escuelas y centros adscritos de la Universitat Politècnica de Catalunya, entre los 22 atendidos por el Plan de Apoyo al Estudiante con Discapacidad de la UPC, que desearon participar y colaborar con esta investigación llevada a cabo entre los cursos académicos de 1999/2000 y 2001/2002.La originalidad del trabajo científico consiste en que la metodología ergonómica no ha sido aplicada anteriormente para la adaptación del puesto de estudio del estudiante universitario con necesidades educativas especiales por motivo de discapacidad, física y/o sensorial.Como objetivos generales y específicos, esta investigación se propuso a recompilar y analizar las dificultades del alumnado descrito como sujetos, en relación con el acceso y legibilidad de la información académica, y proponer un diseño ergonómico de la información que permita al grupo estudiado aminorar sus dificultades de participación en el proceso aprendizaje/enseñanza.Para ello, fue utilizado el "método etnográfico" aplicado en la metodología de la ciencia de la Ergonomía Cognitiva. En la composición de la investigación, se utilizaron las técnicas de investigación "observación", "aplicación de entrevistas" y "análisis de tarea", para estudiar casos presentados por alumnos disminuidos física, cognitiva y sensorialmente, matriculados en la Universitat Politècnica de Catalunya, UPC, durante los cursos académicos de 2000/2001 y 2001/2002. Las conclusiones muestran la idoneidad del método ergonómico para la descripción de las necesidades del alumnado delimitado. 100% de los sujetos estudiados describen una percepción de mejora en la accesibilidad y legibilidad de la información académica, a partir de las actuaciones ergonómicas propuestas y utilizadas, derivadas de las investigaciones realizadas. Se prevé que se produzca un éxito similar en la adaptación del puesto de estudio de los alumnos con las características mencionadas, con la aplicación del método desarrollado.El trabajo se concluye con la proposición de sugerencias en los métodos, técnicas y equipos utilizados en el proceso de enseñanza / aprendizaje que, incorporadas al sistema de educación universitario ordinario, podrían facilitar el acceso y la legibilidad de la información académica para dicho alumnado.En consecuencia de los resultados significativos encontrados, esta investigación se derivó en la publicación de tres artículos científicos publicados en Barcelona, por ocasión de los siguientes eventos:CAES¨99 - Congreso Internacional de Ergonomía,Les Tecnologies de la Informació i les Comunicacions en l´Educació - Jornades de Treball1º Congreso Internacional de Docencia Universitaria.

A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC DESIGN FRAMEWORKS En el desarrollo formal de software, la especificación formal se utiliza con fines de verificación y validación. Se han definido diferentes tipos de especificaciones formales. En esta tesis nos centraremos en especificaciones algebraicas. Este tipo de especificaciones formales son especificaciones axiomáticas, que suelen definirse en un lenguaje de especificación que incluye diferentes operadores de estructuración. La semántica de estos operadores se define de una forma que sea lo más independiente posible de la lógica de especificación o institución. Otra etapa fundamental en métodos formales es el diseño de software. Las tareas básicas que suelen realizarse durante esta etapa son la deducción de propiedades a partir de una especificación, el refinamiento de especificaciones o verificar que un programa satisface una especificación. Entendemos por entorno de diseño algebraico a un formalismo que incluye la definición de un lenguaje de especificación algebraica con semántica formal y la definición implícita o explícita de, al menos, las dos primeras de las tres tareas de diseño mencionadas anteriormente. Es importante que la definición de los entornos de diseño algebraico sea tambien lo más independiente posible de la lógica del lenguaje de especificación y, si es el caso, que la definición sea para una clase arbitraria de lenguajes de programación. El entorno de diseño algebraico con el que trabajaremos en esta tesis está basado en un lenguaje de especificación muy sencillo que ha sido utilizado para dar semántica a otros lenguajes de especificación de más alto nivel. El principal objetivo de esta tesis es definir un marco formal que permite reusar demostradores de teoremas para teorías de tipos con tipos dependientes e inductivos para el desarrollo de demostradores de teoremas para entornos de diseño algebraico. El problema puede considerarse interesante por varios motivos. Primero, esperamos que el desarrollo de este tipo de herramientas incrementará el uso de este tipo de métodos formales. Segundo, la investigación a realizar es completamente diferente a los trabajos realizados anteriormente y por último, el trabajo requiere un conocimiento extenso de una familia de formalismos no standard que forman las diferentes teorías de tipos con tipos dependientes que se han definido. En esta tesis, primero presentamos de forma general, las características basicas y las aplicaciones de las diferentes teorías de tipos con tipos dependientes. Estudiamos con más detalle la teoría de tipos que vamos a utilizar en el resto de la tesis, y a continuación presentamos un nuevo principio de codificación de sistemas de demostración finitos para la teoría de tipos escogida que mejora algunas de las limitaciones de otros principios de codificación existentes.Con el fin de comparar de forma abstracta las diferentes semánticas dadas a ciertos operadores de comportamiento del lenguaje de especificación escogido, definimos una institución a la que denominamos institución algebraica de comportamiento. Esta institución es también útil para definir las formas normales de las especificaciones que son necesarias para definir cierta clase de sistemas de demostración. A continuación, presentamos diferentes sistemas de demostración para la deducción de propiedades a partir de especificaciones y para el refinamiento de especificaciones. La principal aportación en esta parteconsiste en rediseñar los sistemas de demostración que no es posible dar representaciones adecuadas en la teoría de tipos escogida por ser sistemas de demostración infinitarios.Finalmente, damos una representación en la teoría de tipos de los sistemas de demostración más significativos de nuestro entorno de diseño algebraico usando el nuevo principio de codificación presentado en la tesis. Esto nos permite reutilizar los demostradores de teoremas de la teoría de tipos escogida para el desarrollo de demostradores de teoremas del entorno de diseño algebraico escogido. A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC DESIGN FRAMEWORKSIn software engineering, a formal specification of what a system has to do plays a crucial role in the software development process. Formality is required for verification and validation purposes. Different forms of formal specifications have been developed. This thesis concentrates on the algeraic approach to system specification. In essence, this approach can be characterized by:· Axiomatic specifications which consist of a signature together with a set of axioms in a specification logic which any implementation of the system with that specification has to satisfy.· Operations to combine and modify specifications from subspecifications with an algebraic semantics.· An abstract presentation of the semantics as independent as possible of the specification logic or institution.Another crucial step in the software development process is software design. Some of the usual tasks which are performed during software design are the following: deduction of properties from specifications, refinement of specifications and verification of a program with respect to a specification. We understand by an algebraic design framework a formalism which includes a formal definition of an algebraic specification language including a model-theoretic semantics and the implicit or explicit formal definition of at least the two first software design tasks. The definition of algebraic design frameworks should be for several specification logics or even better for an arbitrary but fixed institution, and if it is the case for an arbitrary class of programming languages. In the literature, there exists a large amount of algebraic specification languages and algebraic design frameworks. The algebraic design framework which we will work in this thesis will be based on a kernel and simple algebraic specification language. The main objective of this thesis is to give an approach to reuse theorem provers for type theories with dependent and inductive types for the development of theorem provers for algebraic design frameworks. The problem can be considered interesting for several reasons. First, we believe that the development of tools in type-theoretic theorem provers will help to spread the use of algebraic techniques. Note that these kind of theorem provers have been widely used and applied. Second, the work to be done is completely different to the work done before and finally this work requires a thorough understanding of a non-standard family of formalisms which are type theories. In this thesis, first we give an overall view of type theories together with their apllications and then we present a new principle of encoding in an expressive type theory which solves some of the limitations of previous principle of encodings. In order to give a generic presentation of the framework of ASL for different specification logics, we give an abstract semantic framework in which the semantics of the the behavioural operators of ASL can be uniformly instantiated in first-order and higher-order logic. We also redesign the different proof systems for deduction and refinement when it is not possible to give adequate encodings in the type theory because they are infinatary proof systems. In some cases, different solutions are given for first and higher-order logics. Finally, the main proof systems of the algebraic design framework for ASL have been encoded in UTT using the new principle of encoding presented in the thesis. This allows us to take advantage of the current implementation of theorem provers for UTT to implement proof checkers for the proof systems of our chosen algebraic design framework.

Des dels anys 80, els sistemes basats en el coneixement, programes que utilitzen una gran quantitat de informació per modelar situacions i resoldre problemes, han adquirit gran importància en el camp industrial, financer i científic. La complexitat d'aquests sistemes fa que el seu ús presenti més dificultats que altres aplicacions informàtiques. La comunicació entre els sistemes basats en el coneixement i l'usuari presenta, doncs, nous reptes. Tot i que el llenguate natural es especialment apropiat per comunicar-se amb aquests sistemes, són pocs els que incorporen interfícies en llenguatge natural. Els motius principals són els problemes d'eficiència que presenta el processament del llenguatge natural i l'elevat cost de desenvolupar les bases de coneixement (conceptual i lingüístic) necessàries per a cada aplicació. L'objectiu d'aquesta tesi és millorar la comunicació en llenguatge natural amb els sistemes basats en el coneixement. Aquesta recerca s'ha centrat en el disseny d'una representació reutilitzable dels diferents tipus de coneixement involucrats en aquesta comunicació, que permetir de generar de forma automàtica la interfície més adequada per a cada aplicació. S'ha desenvolupat un sistema, GISE (Generador de Interfaces a Sistemas Expertos), que genera interfícies en llenguatge natural per diferents tipus d'aplicacions. Aquest sistema adapta automàticament les bases de coneixement lingüístic generals als requeriments d'una aplicació concreta, obtenint la gramàtica més apropiada. El disseny del sistema està basat en una representació reutilitzable i modular dels diferents tipus de coneixement necessaris en la comunicació en llenguatge natural. Aquesta informació consisteix en els conceptes de l'aplicació, les tasques de comunicació, el coneixement lingüístic i les relacions generals entre el coneixement conceptual i la seva realització lingüística. Tres bases de coneixement s'han dissenyat per representar aquesta informació: la ontologia conceptual, la ontologia lingüística i un conjunt de relges de producció. El coneixement conceptual s'ha representat en la ontologia conceptual. Aquest coneixement inclou aspectes sobre el domini i la funcionalitat. Tota la informació necessària per modelar l'aplicació i tots els possibles actes de comunicació estan representats en la ontologia conceptual. La complexitat dels sistemes basats en el coneixement fa necessària una representació formal i explícita de la seva funcionalitat i domini.El coneixement lingüístic general necessari per expressar en llenguatge natural les possibles tasques del sistema es representen en la ontologia lingüística.La informació que permet relacionar el coneixement lingüístic general a una aplicació concreta per tal d'obtenir la gramàtica més adequada es representada mitjançant un conjunt de regles de producció.L'organització modular dels diferents tipus de coneixement que intervenen en la comunicació facilita l'adaptació del sistema a diferents tipus d'aplicacions i usuaris.Les gramàtiques generades pel sistema GISE utilitzen un llenguatge alhora ric i precís, adaptat a l'aplicació. La interfície del sistema incorpora un sistema de finestres que guia a l'usuari a introduir les opcions en llenguatge natural que el sistema reconeix.GISE s'ha aplicat a diferents sistemes: a SIREDOJ, un sistema expert en lleis i a un sistema que dóna informació sobre trens. / Since the 1980's, knowledge based systems (KBSs), programs that use knowledge to model situations and solve problems, have spread throughout industry, finance and science. Human communication with these systems deals with complex concepts and relationships that are not present in other software applications. Allthough the natural language (NL) is especially appropriate for expressing these concepts, there are not many KBSs incorporating NL interfaces. The main reasons for this are problems of efficiency in NLI performance, lack of adequacy to the communication needs of the applications and the high cost of developing and maintaining them.The aim of this thesis is to study how the communication process and engineering features can be improved in NL interaction with KBSs. This study has been focused on the efficient and reusable representation of the knowledge involved in NL communication with KBSs. GISE (Generador de Interfaces a Sistemas Expertos), a system supporting NL communication with KBSs has been developed. This system adapts the general linguistic resources to application requirements in order to automatically obtain application-restricted grammars. The main issue of the system design is a separate and reusable representation of all types of knowledge involved in communication with KBSs. This knowledge consists of the application knowledge appearing in the communication, the tasks of communication, the linguistic knowledge supporting their expression and the general relationships between conceptual knowledge and its linguistic realization. Three general bases were designed to represent all this knowledge : the Conceptual Ontology (CO), the Linguistic Ontology (LO) and a set of control rules.Conceptual knowledge is represented in the CO. This conceptual knowledge includes domain and functionality issues. All knowledge required to model the applications as well as the description of all possible communication acts is provided in the CO. The CO is the skeleton for anchoring the domain and the functionality of the applications. The complexity of KBS performance makes a formal and explicit representation of their domain and functionality necessary. The general linguistic knowledge needed to cover the expression in NL of the tasks the system performs is represented by means of the LO and a set containing all possible realizations of the application terms. The LO is domain and application independent. The control information to relate the general linguistic knowledge to conceptual application knowledge in order to generate the application-restricted grammars is represented by a set of production rules. The modular organization of the relevant knowledge into separate data structures provides great flexibility for adapting the system to different types of applications and users.The grammars generated by GISE use expressive and precise language tuned to the application and adapted to the evolution of the communicative process. A menu-system to guide the user in introducing the NL is integrated into the GISE interface. GISE has been applied to a couple of applications: SIREDOJ, an ES in law and a railway communication system.

La aplicación del modelo simulativo de f. Newhall (1976) a series de datos climáticos, del área meridional de Lleida, produce la aparición generalizada del régimen de humedad USTIC. Tal resultado es incoherente con las características de los suelos del clima de esta comarca y ha motivado la elaboración de un nuevo modelo simulativo del régimen de humedad de los suelos, cuyas características principales son: - considerar varios tipos de perfil de suelo. - posibilidad de utilizar datos de precipitación diaria o mensual. - tiene en cuenta la infiltración real del agua de lluvia. - tiene en cuenta las características de los suelos para modelizar los procesos de infiltración y evapotranspiración. - coinciden muy satisfactoriamente los resultados experimentales con los obtenidos mediante el modelo. El modelo simulativo propuesto da como resultado que el regimen de humedad de los suelos del área meridional de Lleida es XEREIC-I y ARIDIC en los de menos capacidad de retención de agua. / Lack of irrigation water in southern Lleida (north-east of Spain) restricts the possibilities of an intensive use of soils. To better this situation we need a good information about soil moisture contents, Esther in the present situation or in a future implantation of some irrigation methods.The present research has been developed from 1984 to 1988. Its first aim has been to study the soil moisture contents in the above mentioned area during these years . The soil moisture contents has been determined in order to establish the real situation of the moisture control section; from twenty-two initial control points we selected two representative ones.The second aim has been to determine the moisture regimes of soils in the above mentioned area in order to determine its classification as Soil Taxonomy (USDA 1975) is concerned, to avoid the problems that arose from the fact of not knowing whether the regime was Aridic or not.In this research, Franklin Newhall's simulation model (1976) has been proved inadequate when applied in a semiarid zone like the studied. Therefore we propose a new simulation model for the soil moisture regimes with the following main properties: (1) possibility of using daily or monthly precipitation data; (2) possibility of taking account the efficiency of infiltration of rainfall water: (3) possibility of using the model soil profiles of different available water capacity; (4) it takes into account local soils and local whether properties; (5) it allows knowing the state of the moisture control section each day during each year of the studied series (7) it is very easy to use in a Personal Computer with MS-DOS operating system.Finally, there is a great coincidence between the experimental mentioned results and the estimation obtained by applying the model proponed in this work. Therefore, the soil moisture regimes in southern Lleida are Xeric and Aridic in soils with lower available water capacity, opposite to Ustic regime obtained by applying the F. Newhall's model.

En la presente tesis se han estudiado métodos de paso fraccionado para la resolución numérica de la ecuación de Navier-Stokes incompresible mediante el método de los elementos finitos; dicha ecuación rige el movimiento de un fluido incompresible viscoso. Partiendo del análisis del método de proyección clásico, se desarrolla un método para el problema de Stokes (lineal y estacionario) con iguales propiedades en cuanto a discretizacion espacial que aquel, explicando así sus propiedades de estabilización de la presión. Se da también una extensión del nuevo método a la ecuación de Navier-Stokes incompresible estacionaria (no lineal).En la segunda parte de la tesis, se desarrolla un método de paso fraccionado para el problema de evolución que supera un inconveniente del método de proyección relativo a la imposición de las condiciones de contorno.Para todos los métodos desarrollados, se demuestran teoremas de convergencia y estimaciones de error, se proponen implementaciones eficientes y se proporcionan numerosos resultados numéricos.

Increased wildfire activity over the last years has made fire managers to become more concerned about the effectiveness of current fuel treatment practices to reduce fire risk and severity. Fuel treatments lead to changes in the forest structure and therefore modify certain basic parameters that may influence the fire behaviour. The goal of this work is to quantitatively assess the effectiveness of fuel treatments in reducing risk of wildfires spread in some typically Mediterranean forest. Specifically, it envisages to know the characteristics of the fire that can occur in the slash originated from regenerated aleppo pine stands that were thinned after a wildfire and also to know the evolution of slash combustibility after the treatment. First, an extensive literature review has been done, focused mainly on those works that assessed the effectiveness of fuel treatments in reducing the risk of wildfire. Several studies demonstrated the effectiveness of treatments such as prescribed burning or thinning. However, these studies are not consistent about what treatment and slash management technique are the most effective. A study area has been selected and located within the perimeter of a large forest fire occurred in Bages (Central Catalonia, Spain) in 1994 to study the effectiveness of a type of fuel treatment usually performed in the Mediterranean Basin. The site was previously thinned during different periods and the slash was left in, not managed. In this area, the fuel, environment and topographic characteristics have been determined. With the fuel sampling methods used at the site, a protocol has been produced in order to characterize the regenerated aleppo pine stands, useful to obtain the parameters needed to evaluate fire behaviour. Results have led to a new fuel model for regenerated aleppo pine stands and also fuel models for regenerated aleppo pine stands that have been thinned at different times with the slash remaining unmanaged at the site. An experimental burning program has been implemented reproducing two different regenerated structures (6 and 40 months after treatment). With these experiments it has been proved that ex-situ experimentation is not useful to reproduce actual fire situations because it is impossible to repeat faithfully the overall structure of the ecosystem that affect fire behavior. A series of simulations of potential fires that could occur in the study area have been performed, incorporating the determined inputs (environmental conditions and fuel type) and evaluating different simulation tools (NEXUS i WFDS). Results obtained with the two simulations tools used confirm that both tools are reliable. In general values obtained in fireline intensity and rate of spread with WFDS are larger than with NEXUS. Results from simulations of Bages plots carried with both simulation tools generally show that fire behavior is more severe 1 month and 6 months after the treatment. That is, the wildfire effects after the treatment would be worse than in the untreated control plot and that time does not improve this situation, at least six months after treatment. According to the results and given the characteristics of our country where the risk of fires is very high, the effect of thinning treatments performed in central Catalonia after the 1994 fire brings a great fire vulnerability in treated stands, at least during the first months of treatment.

L’oli d’oliva conté una sèrie de compostos minoritaris que s’ha demostrat que tenen efectes beneficiosos per la salut i és per això que el seu estudi ha generat gran interès. A aquesta tesi s’ha profunditzat en el coneixement de la fracció fenòlica de l’oliva, concretament en les rutes metabòliques de síntesi i degradació dels compostos fenòlics durant el desenvolupament i la maduració del fruit, segons la varietat, tipus de cultiu (ecològic o convencional) i zona de producció al llarg de dues campanyes, així com la implicació de l’enzim glucosidasa en aquest procés. A més, s’ha fet un estudi plurianual d’olis que podrien ser utilitzats per diversificar l’oferta d’aquest producte, com olis de producció ecològica de la varietat Arbequina de la zona de Lleida i d’altres varietats secundàries, difoses i locals que en els últims anys han caigut en desús. / En la composición del aceite de oliva hay una serie de compuestos minoritarios que se ha demostrado que tienen efectos beneficiosos para la salud y por ello han despertado gran interés. En esta tesis se ha profundizado en el conocimiento de la fracción fenólica de la oliva, en particular las rutas metabólicas de síntesis y degradación de los compuestos fenólicos durante el desarrollo y maduración del fruto, según la variedad, tipo de cultivo (ecológico o convencional) y zona de producción a lo largo de dos campañas, así como la implicación de la enzima glucosidasa en este proceso. Además, se ha hecho un estudio plurianual de aceites que podrían ser utilizados para diversificar la oferta de este producto, entre ellos los aceites de producción ecológica de la variedad Arbequina de la zona de Lleida y de otras variedades secundarias, difundidas y locales que en los últimos años han caído en desuso. / Olive oil contains a number of minor compounds that have been demonstrated to have beneficial effects on health and therefore have awakened interest. This thesis has studied in depth the phenolic fraction in olive fruit; specifically it has been focused on the metabolic pathways of synthesis and degradation of phenolic compounds during the fruit development and ripening. Factors as cultivar, management practices (organic or conventional) and the production area during two seasons have been considered. Also the involvement of glucosidase enzyme in this process has been analyzed. In addition, a multi-year study has been carried out in olive oils that could be used to diversify this product offer, such as organic olive oils of Arbequina cultivar from the area of Lleida and other secondary, disseminated and local cultivars that over the past years have fallen into disuse.

En los últimos años la mortalidad intrahospitalaria del infarto agudo de miocardio (IAM) se ha reducido, probablemente por la generalización de terapias de eficacia probada, aunque esta mejoría también puede explicarse por el reciente cambio en la definición del IAM. Los objetivos de esta tesis fueron analizar los cambios en la mortalidad intrahospitalaria y en el pronóstico a seis meses de un primer IAM comparando un grupo de pacientes registrados en la primera década del siglo XXI y otro grupo registrado en la última década del siglo XX. El registro se realizó en los mismos centros hospitalarios y utilizando los mismos criterios diagnósticos. También nos planteamos analizar si existían diferencias en la mortalidad precoz y a largo plazo (7 años) de los pacientes con un primer IAM en función de variables como el electrocardiograma al ingreso, las técnicas de revascularización y el género. Para responder a estos objetivos se obtuvieron datos de dos registros prospectivos, multicéntricos con inclusión consecutiva de pacientes con primeros infartos: el RESCATE I realizado entre 1991-1993 y que incluyó 1440 pacientes con IAM, y el RESCATE II realizado entre 2001-2003 y que incluyó 2048 pacientes. Además de las variables demográficas, clínicas y de evolución intrahospitalaria, se dispone del estado vital a 7 años de todos los pacientes del RESCATE II tras haber consultado el Índice Nacional de Defunciones. Hemos observado que el pronóstico a corto y medio plazo ha mejorado notablemente entre los dos periodos analizados. Por otra parte, los pacientes con IAM con elevación del ST y con electrocardiograma no clasificable tienen peor pronóstico a 28 días que los pacientes sin elevación del ST, especialmente en el subgrupo de pacientes no revascularizados. Sin embargo, el pronóstico vital a 7 años es mejor en el grupo de pacientes con elevación del ST. Finalmente, hemos observado que no existen diferencias entre sexos en el pronóstico a corto plazo de los pacientes con un primer IAM, aunque el pronóstico vital a 7 años es peor en hombres que en mujeres. / In recent years, the hospital mortality of acute myocardial infarction (AMI) has been reduced, probably by widespread proven therapies, although this improvement can also be explained by the recent change in the definition of AMI. The objectives of this thesis were to analyze changes in hospital mortality and six months prognosis of a first AMI comparing a group of patients enrolled in the first decade of the century and another group registered in the last decade of the twentieth century. The registry was established in the same hospitals and using the same diagnostics criteria. Also we aimed to analyze whether there were differences in early and long-term mortality (seven years) of patients with a first AMI based on variables such as the electrocardiogram on admission, revascularization techniques and gender. To meet these objectives, data were obtained from two prospective registries, including multicenter consecutive patients with first AMI: the RESCATE I made in 1991-1993 that included 1440 patients with AMI, and RESCATE II made in 2001-2003 that included 2048 patients. In addition to the demographic, clinical and hospital outcome, there is available the vital 7 years-prognosis for all patients in the RESCATE II registry, after consulting the National Death Index. We observed that the short-to-medium term prognosis has improved significantly between the two periods analyzed. Moreover, patients with ST elevation AMI and unclassifiable electrocardiogram have worse prognosis at 28 days than patients without ST elevation, especially in the subgroup of patients not revascularized. However, the 7-year prognosis is better in the group of patients with ST elevation. Finally, we noted that there are no gender differences in the short-term prognosis of patients with a first AMI, although the 7-year prognosis is worse in men than in women.

El recién nacido prematuro y los bebés de bajo peso al nacer frecuentemente presentan retrasos/anomalías en el desarrollo motor, cognitivo y emocional(1). Son una población que será clasificada como niños con riesgo de retraso en el desarrollo psicomotor(2). Uno de los diagnósticos más frecuentes en esta población es el de parálisis cerebral (PC)(3), que suele establecerse a partir de los 12 meses de edad del niño(4). El tapiz rodante se ha utilizado en población pediátrica con diferentes diagnósticos para estimular la adquisición de la marcha autónoma, como aspecto clave del desarrollo motor del niño, dada la relación que tiene con aspectos cognitivos y emocionales(5). Estudios en niños con PC(6,7) han resultado en una mejora de sus capacidades globales de desarrollo después de recibir la intervención. El impacto del entrenamiento con el tapiz rodante se desconoce en el caso de población clasificada como con riesgo. Esta tesis, que se presenta como compendio de publicaciones, plantea dos objetivos principales en relación a esta población: (1) explorar el estado actual de la evidencia científica respecto a la respuesta al tapiz rodante de los niños con riesgo de retraso en el desarrollo motriz, y (2) estudiar los efectos del entrenamiento de la marcha con el tapiz, en relación al desarrollo motriz y a la adquisición de la marcha autónoma. Para responder al primero de los objetivos, se realizó una revisión sistemática de la literatura publicada sobre las intervenciones con tapiz rodante en niños con riesgo de retraso en el desarrollo motriz, con edades comprendidas de los 0 hasta los 6 años. Las conclusiones principales encontradas en esta revisión fueron que faltaban ensayos clínicos controlados con muestras mayores en población con riesgo, sobre todo en relación al estudio de los efectos del entrenamiento de la marcha con el tapiz. En relación al segundo de los objetivos de esta tesis, se presentan los resultados de un ensayo clínico controlado realizado con una muestra de 28 niños con riesgo de retraso en el desarrollo motriz. Aproximadamente la mitad recibieron un entrenamiento protocolizado de la marcha con el tapiz. Al inicio del estudio los niños tenían edades comprendidas entre los 8 y los 11 meses. En este estudio no se observaron diferencias entre grupos en cuanto a la edad de inicio de la marcha autónoma, pero sí se vio una mejora en la calidad de los pasos en el tapiz, en aquellos sujetos que habían recibido el entrenamiento. Asimismo, se estableció una relación significativa entre la frecuencia de pasos en el tapiz y la edad de inicio de la marcha autónoma. Finalmente, se hizo un tercer estudio de caso con unas mellizas con antecedentes de prematuridad leve, en el cual se implementó un entrenamiento individualizado a partir de los 8 meses de edad, a la melliza que mostró mayor retraso motriz. Las conclusiones de este estudio fueron que, posiblemente, el entrenamiento con el tapiz tuvo un impacto positivo sobre la velocidad de desarrollo motriz de la melliza entrenada. En relación a aspectos de locomoción y la respuesta al tapiz rodante, se observó una mejora en la calidad de los pasos, y un aumento en la frecuencia de pasos alternos sobre el tapiz. Esto ocurrió en ambas mellizas, pero de una manera más acentuada en la melliza que recibió el entrenamiento. Como síntesis final, el tapiz rodante es una herramienta en uso creciente en el ámbito de la pediatría para potenciar aspectos relacionados con la locomoción. La evidencia científica disponible hasta la fecha indica que el entrenamiento de la marcha con el tapiz puede tener efectos positivos en niños con riesgo de retraso en el desarrollo motriz, tanto para la detección de retrasos o anomalías en el desarrollo, como para la prevención de retrasos más severos en relación a la adquisición de la marcha autónoma. Conseguir este hito motriz es de gran importancia, ya que conllevará la autonomía del niño, la cual es fundamental dada la relación de la misma con el desarrollo cognitivo y con la calidad de vida de las personas. Referencias 1. Almond D, Chay KY, Lee DS. The costs of low birth weight. Q J Econ. 2005;120(3):1031-1083. 2. Angulo-Barroso R, Tiernan CW, Chen L, Ulrich D, Neary H. Treadmill responses and physical activity levels of infants at risk for neuromotor delay. Pediatr Phys Ther. 2010;22(1):61-68. 3. Korvenranta E, Lehtonen L, Peltola M, et al. Morbidities and hospital resource use during the first 3 years of life among very preterm infants. Pediatrics. 2009;124(1):128-134. 4. Wood E. The child with cerebral palsy: Diagnosis and beyond. Semin Pediatr Neurol. 2006;13(4):286-296. 5. Campos JJ, Anderson DI, Barbu-Roth MA, Hubbard EM, Hertenstein MJ, Witherington D. Travel broadens the mind. Infancy. 2000;1(2):149-219. 6. Richards CL, Malouin F, Dumas F, Marcoux S, Lepage C, Menier C. Early and intensive treadmill locomotor training for young children with cerebral palsy: A feasibility study. Pediatr Phys Ther. 1997;9(4):158-165. 7. Mattern-Baxter K, McNeil S, Mansoor JK. Effects of home-based locomotor treadmill training on gross motor function in young children with cerebral palsy: A quasi-randomized controlled trial. Arch Phys Med Rehabil. 2013;94(11):2061-2067. 8. Begnoche DM, Pitetti KH. Effects of traditional treatment and partial body weight treadmill training on the motor skills of children with spastic cerebral palsy. A pilot study. Pediatr Phys Ther. 2007;19(1):11-19. 9. Day JA, Fox EJ, Lowe J, Swales HB, Behrman AL. Locomotor training with partial body weight support on a treadmill in a nonambulatory child with spastic tetraplegic cerebral palsy: A case report. Pediatr Phys Ther. 2004;16(2):106-113. 10. Valentin-Gudiol M, Mattern-Baxter K, Girabent-Farres M, Bagur-Calafat C, Hadders-Algra M, Angulo-Barroso RM. Treadmill interventions with partial body weight support in children under six years of age at risk of neuromotor delay. Cochrane Database Syst Rev. 2011;(12):CD009242. 11. Angulo-Barroso RM, Tiernan C, Chen LC, Valentin-Gudiol M, Ulrich D. Treadmill training in moderate risk preterm infants promotes stepping quality--results of a small randomised controlled trial. Res Dev Disabil. 2013;34(11):3629-3638. / Low birth-weight and premature infants are considered to be at risk for neuromotor, cognitive and emotional developmental delays(1). Some of these infants are diagnosed with cerebral palsy (CP), while others with early motor behaviour problems do not develop CP(2). Locomotor difficulties have been demonstrated in children with CP. Studies in children with CP have used a paediatric treadmill to improve functional gait and ambulation. Treadmill training (TT) has been shown to improve ambulatory capability in children with CP6(8,9). However, little is known about the impact of such training in infant populations at risk for neuromotor delay. This thesis aimed to: (1) assess the current state of scientific evidence regarding treadmill interventions in infants at risk for neuromotor delays (ND), and (2) to study the effects of TT in relation to motor development and the onset of independent walking. First, a systematic review about treadmill interventions in children under 6 years of age at risk of ND was carried out. The findings indicated that task-specific training (TT for independent walking acquisition) might be a useful tool to promote development in children at risk for ND. However, the number of studies found was limited and fairly heterogeneous, especially regarding the type of population studied (different diagnoses), treadmill parameters and training protocols(10). A controlled clinical trial was then conducted with a sample of 28 infants at risk for ND. The experimental group, which received TT (entry age 8-11 months), demonstrated an improvement in step quality. Although no differences were found between groups regarding age of onset of independent walking, a significant relationship between treadmill step frequency and onset of independent walking was established(11). Finally, an individualised TT protocol was implemented in a case study of twins with a history of mild prematurity. At 8 months corrected age, the twin who showed greater motor delays started to receive TT. An increase in the rate of gross motor development was shown in the trained twin 2 months after training had started. Improvement in step quality and frequency of alternate treadmill steps occurred in both twins, but was more accentuated on the trained one. In conclusion, TT may be considered as a useful tool to potentiate aspects related to locomotion in infants with or at risk for ND. Locomotion and walking acquisition is a key milestone for all children since it is associated with cognitive and emotional development(5), as well as quality of life. Referencias 1. Almond D, Chay KY, Lee DS. The costs of low birth weight. Q J Econ. 2005;120(3):1031-1083. 2. Angulo-Barroso R, Tiernan CW, Chen L, Ulrich D, Neary H. Treadmill responses and physical activity levels of infants at risk for neuromotor delay. Pediatr Phys Ther. 2010;22(1):61-68. 3. Korvenranta E, Lehtonen L, Peltola M, et al. Morbidities and hospital resource use during the first 3 years of life among very preterm infants. Pediatrics. 2009;124(1):128-134. 4. Wood E. The child with cerebral palsy: Diagnosis and beyond. Semin Pediatr Neurol. 2006;13(4):286-296. 5. Campos JJ, Anderson DI, Barbu-Roth MA, Hubbard EM, Hertenstein MJ, Witherington D. Travel broadens the mind. Infancy. 2000;1(2):149-219. 6. Richards CL, Malouin F, Dumas F, Marcoux S, Lepage C, Menier C. Early and intensive treadmill locomotor training for young children with cerebral palsy: A feasibility study. Pediatr Phys Ther. 1997;9(4):158-165. 7. Mattern-Baxter K, McNeil S, Mansoor JK. Effects of home-based locomotor treadmill training on gross motor function in young children with cerebral palsy: A quasi-randomized controlled trial. Arch Phys Med Rehabil. 2013;94(11):2061-2067. 8. Begnoche DM, Pitetti KH. Effects of traditional treatment and partial body weight treadmill training on the motor skills of children with spastic cerebral palsy. A pilot study. Pediatr Phys Ther. 2007;19(1):11-19. 9. Day JA, Fox EJ, Lowe J, Swales HB, Behrman AL. Locomotor training with partial body weight support on a treadmill in a nonambulatory child with spastic tetraplegic cerebral palsy: A case report. Pediatr Phys Ther. 2004;16(2):106-113. 10. Valentin-Gudiol M, Mattern-Baxter K, Girabent-Farres M, Bagur-Calafat C, Hadders-Algra M, Angulo-Barroso RM. Treadmill interventions with partial body weight support in children under six years of age at risk of neuromotor delay. Cochrane Database Syst Rev. 2011;(12):CD009242. 11. Angulo-Barroso RM, Tiernan C, Chen LC, Valentin-Gudiol M, Ulrich D. Treadmill training in moderate risk preterm infants promotes stepping quality--results of a small randomised controlled trial. Res Dev Disabil. 2013;34(11):3629-3638.

La muerte de células miocárdicas secundaria a una oclusión coronaria aguda es la responsable directa de la mayoría de las complicaciones que padecen los pacientes que ingresan en el hospital con un síndrome coronario agudo (SCA). Una vez que se produce una oclusión coronaria, la rápida reinstauración del flujo coronario o reperfusión es una condición indispensable para que no se produzca la muerte de los cardiomiocitos isquémicos. Sin embargo, las estrategias de revascularización de emergencia tienen limitada su eficacia como consecuencia una muerte adicional de cardiomiocitos que han sobrevivido a la isquemia previa causada por mecanismos desencadenados durante la reperfusión. Este fenómeno se conoce como daño letal por reperfusión y se produce principalmente durante los primeros minutos de la reperfusión en forma de muerte celular por necrosis. Junto a esta muerte celular inmediata, se ha sugerido la existencia de una muerte tardía de los cardiomiocitos como resultado de una respuesta inflamatoria al daño miocárdico y la activación de mecanismos apoptóticos. Esta muerte tardía contribuiría junto con otra serie de respuestas adaptativas a un patrón de remodelado ventricular adverso (RVA). Sin embargo, estudios recientes cuestionan la contribución de la apoptosis en la muerte de los cardiomiocitos y en la extensión final del tamaño del infarto. Por otro lado, la edad, la hipertensión, la diabetes mellitus tipo 2 (DM-2) o la obesidad actúan como potentes factores de riesgo independientes que provocan una mayor predisposición a padecer la enfermedad cardíaca, pero que también podrían modificar la tolerancia al daño letal por reperfusión y el RVA. Si bien la obesidad es un factor de riesgo principal asociado a la cardiopatía isquémica con una prevalencia en continuo aumento, diferentes estudios sugieren que los individuos con sobrepeso y los obesos presentan una mejor evolución de la enfermedad coronaria establecida. Este fenómeno controvertido y poco caracterizado se conoce como paradoja de la obesidad. La primera parte del trabajo experimental de esta tesis desarrolla un modelo de isquemia y reperfusión miocárdica in vivo en ratón. Este modelo con oclusión aguda transitoria de la arteria coronaria izquierda nos ha permitido reproducir la patología cardíaca con características funcionales y estructurales similares a las presentadas por los pacientes con infarto agudo de miocardio (IAM). Haciendo uso de este modelo experimental se han llevado a cabo dos estudios; En el primero de ellos, el modelo de isquemia y reperfusión miocárdica desarrollado ha sido aplicado a un ratón con doble deleción cardioespecífica de los genes para las caspasas efectoras 3 y 7, proteasas clave en el mecanismo apoptótico. Los resultados obtenidos nos han permitido concluir que la apoptosis no contribuye a la muerte celular de los cardiomiocitos, ni durante las primeras fases de la reperfusión, ni más tardíamente en el proceso de RVA, siendo esta muerte principalmente por necrosis y durante las primeras horas de reperfusión. En un segundo estudio se ha analizado el efecto de la obesidad en la tolerancia del miocardio al daño por IR. Para ello, por un lado se ha desarrollado y caracterizado un modelo de obesidad inducida por dieta alta en grasas en ratones BDF1, y por otro lado, usando nuestro modelo de IR, se ha determinado el efecto de la obesidad en la mortalidad y el remodelado ventricular adverso tras un episodio isquémico. Este estudio ha permitido obtener un modelo de ratón con obesidad inducida por dieta alta en grasas en ausencia de hipertensión arterial y otras comorbilidades asociadas que presenta una mayor tolerancia al daño por IR y confirma la existencia del fenómeno de la paradoja de la obesidad. Este efecto paradójico podría estar mediado por la sobreproducción de determinadas citoquinas, adipoquinas e insulina. / Myocardial cell death secondary to acute coronary occlusion is directly responsible for most of the complications reported in patients with an acute coronary syndrome. After an acute coronary infarction, the rapid restoration of coronary flow or reperfusion is the most effective strategy to limit the death of ischemic cardiomyocytes. However, the effectiveness of emergency revascularization strategies is reduced due to the death of cardiomyocytes that survive to the previous ischemia by mechanisms triggered during the reperfusion. This phenomenon is known as lethal reperfusion injury and occurs by necrosis and mainly during the first minutes of reperfusion. Along with this immediate cell death, it has been suggested that there is a late cardiomyocyte death triggered by an inflammatory response to myocardial injury and the activation of apoptotic mechanisms. This late death and other adaptive responses would result in a progressive adverse ventricular remodeling (AVR). However, recent studies question the contribution of apoptosis to cardiomyocyte death and the final extent of infarct size. On the other hand, age, hypertension, diabetes mellitus type 2 (DM- 2) and obesity act as potent independent risk factors that lead to increased predisposition to heart disease, but could also change the tolerance to lethal reperfusion injury and AVR. Whereas obesity is a major risk factor for ischemic heart disease, different studies suggest that overweight/obese patients with established coronary heart disease (CHD) have a better evolution prognosis than do leaner patients with the same diseases. This controversial and poorly characterized phenomenon is known as the obesity paradox. An in vivo model of myocardial ischemia and reperfusion (IR) in mice was developed in the first part of this experimental work. This model with transient myocardial acute occlusion of the left coronary artery has allowed us to reproduce the coronary pathology with functional and structural characteristics similar to those presented by patients with acute myocardial infarction (AMI). Two studies have been done using this experimental model: in the first one, myocardial IR was applied to transgenic mice with double cardiospecific deletion of the genes for the caspases 3 and 7, key proteases in the apoptotic mechanism of cell death. The results obtained demonstrate that apoptosis does not contribute to the death of cardiomyocytes during early reperfusion, nor to the process of AVR, and confirms that reperfusion-induced cell death is due to necrosis and occurs during the first hours of reperfusion. In a second study, after developing and characterizing a model of high fat diet induced obesity in BDF1 mice, the effect of obesity on the myocardial tolerance to IR injury was investigated. This study that yielded a mouse model of induced obesity in the absence of hypertension and hyperglycemia resulted in increased tolerance to IR injury, confirming the existence of the phenomenon of obesity paradox. This paradoxical effect could be mediated by the overproduction of cytokines, adipokines, and insulin.