Abstract Interpretation-based verification/certification in the ciaoPP system

CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs. In CiaoPP, the semantic approximations thus produced have been applied to perform high- and low-level optimizations during program compilation, including transformations such as múltiple abstract specialization, parallelization, partial evaluation, resource usage control, and program verification. More recently, novel and promising applications of such semantic approximations are being applied in the more general context of program development such as program verification. In this work, we describe our extensión of the system to incorpórate Abstraction-Carrying Code (ACC), a novel approach to mobile code safety. ACC follows the standard strategy of associating safety certificates to programs, originally proposed in Proof Carrying- Code. A distinguishing feature of ACC is that we use an abstraction (or abstract model) of the program computed by standard static analyzers as a certifícate. The validity of the abstraction on the consumer side is checked in a single-pass by a very efficient and specialized abstractinterpreter. We have implemented and benchmarked ACC within CiaoPP. The experimental results show that the checking phase is indeed faster than the proof generation phase, and that the sizes of certificates are reasonable. Moreover, the preprocessor is based on compile-time (and run-time) tools for the certification of CLP programs with resource consumption assurances.

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Program analysis, debugging and optimization using the ciao system preprocessor

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

Estimating the computational cost of logic programs

Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among different algorithms, guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization in deductive databases. Cost analysis of logic programs is complicated by nondeterminism: on the one hand, procedures can return múltiple Solutions, making it necessary to estímate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent.

An integration of partial evaluation in a generic abstract interpretation framework

Information generated by abstract interpreters has long been used to perform program specialization. Additionally, if the abstract interpreter generates a multivariant analysis, it is also possible to perform múltiple specialization. Information about valúes of variables is propagated by simulating program execution and performing fixpoint computations for recursive calis. In contrast, traditional partial evaluators (mainly) use unfolding for both propagating valúes of variables and transforming the program. It is known that abstract interpretation is a better technique for propagating success valúes than unfolding. However, the program transformations induced by unfolding may lead to important optimizations which are not directly achievable in the existing frameworks for múltiple specialization based on abstract interpretation. The aim of this work is to devise a specialization framework which integrates the better information propagation of abstract interpretation with the powerful program transformations performed by partial evaluation, and which can be implemented via small modifications to existing generic abstract interpreters. With this aim, we will relate top-down abstract interpretation with traditional concepts in partial evaluation and sketch how the sophisticated techniques developed for controlling partial evaluation can be adapted to the proposed specialization framework. We conclude that there can be both practical and conceptual advantages in the proposed integration of partial evaluation and abstract interpretation.

Valtra Versy y Direct

Los nuevos modelos Valtra, en sus versiones Versu y Direct, se han refinado las características tradicionales ofrecidas por Valtra añadiéndose otras muchas. De su “diseño tradicional” se destaca la facilidad de manejo en posición invertida utilizando el sistema de conducción reversible Twin-Trac. De lo "nuevo" se destacan sus nuevas transmisiones: transmisión variable continua (CVT), y transmisión múltiple escalonada con cambio bajo carga (Powershift).

El recinto ferial de la Casa de Campo de Madrid (1950-75)

El tema objeto de investigación “El recinto ferial de la Casa de Campo de Madrid (1950-75)” se trata desde una perspectiva que alterna la visión general y la visión pormenorizada. Profundizamos en la comprensión de las relaciones del recinto con el resto de la ciudad, desde la originalidad y singularidad de su trazado,la descripción y el análisis con distinto grado de detalle de sus arquitecturas, a partir, de la investigación documental, bibliográfica y la restitución gráfica realizada. Procuramos situar los pabellones en el contexto de las arquitecturas del periodo estudiado, indicando, en el caso del recinto original y los pabellones proyectados por el arquitecto Francisco Cabrero, posibles referencias a la tradición vernácula y clásica, los invariantes de la arquitectura española, sus maestros, la visión contemporánea de la arquitectura moderna e interpretación personal, recogida en sus cuatro libros de arquitectura. Otro campo de estudio, el resto de los pabellones construidos en virtud de las necesidades de los organismos que concurrían a la feria, constituyeron, dependiendo de sus distintos autores, un conjunto heterogéneo y diverso de planteamientos estilísticos, concepciones funcionales, espaciales y de calidad arquitectónica. De la comparación se extraen las oportunas reflexiones. La feria supone una alteración de las preexistencias del lugar, influyendo decisivamente en la configuración y evolución del ámbito urbano, condicionándolo, también hoy en día. Examinaremos la repercusión del trazado, la topografía, la vegetación y las construcciones. El carácter actual de cuña dotacional en el entorno del río Manzanares y la repercusión en la estructura del recinto de su división en dos piezas de arquitecturas tan distintas, como la parte antigua y la parte nueva. Partiremos de una restitución gráfica y cronológica, con distinto grado de detalle, del conjunto y los pabellones seleccionados. Otras reflexiones se centraran en el papel del comisario y los arquitectos directores. Desde los condicionantes del encargo inicial, la ampliación del recinto y la gestión de la evolución de la feria en base a los requerimientos agrícolas,folklóricos, comerciales, industriales y turísticos. Una arquitectura que nace de capacidad de improvisar, la flexibilidad, la habilidad y el provecho de cada situación particular. La concreción en unos 40 pabellones y stands (una tercera parte de los que se construyeron), supone una elección en base a criterios de calidad y oportunidad. Son hitos o ejemplos de las distintas corrientes que clasificamos en populares y modernos, casi, como una conclusión preestablecida. El trabajo se orienta hacia las edificaciones modernas ya sea por su logro en la asimilación del ideal, su grado de experimentación e innovación técnica o su interés en la configuración de sus espacios expositivos. Se conservan más y mejor los pabellones populares, lo que nos obliga a la puesta en valor de los modernos, sin menospreciar el interés de los populares, que deberán estudiarse con mayor detalle en trabajos posteriores, a partir, del abundante material recopilado. El objetivo fundamental del trabajo ha sido conocer en profundidad la arquitectura de los pabellones representativos de cada periodo, intentando comprender y restituir el proceso proyectual desde una visión múltiple que comprenda las disciplinas que confluyen en el proyecto arquitectónico. La tesis ofrece la restitución escrita y dibujada del recinto y sus arquitecturas, además,de la interpretación y valoración del autor. La visión contemporánea de Alejandro de la Sota con su crítica arquitectónica de la primera feria, los invariantes expuestos por Fernando Chueca o las sesiones de crítica celebradas en la Revista Nacional, indican el camino que siguieron los autores de los pabellones de la feria y permiten profundizar en el diagnóstico de las ideas del momento, también, a partir de algunas entrevistas realizadas. Se estudian además las relaciones entre el estrecho círculo de autores, las nuevas tendencias y la influencia otros artistas plásticos. Finalmente, la documentación y análisis del material audiovisual, los noticieros, revistas y boletines de la Feria del Campo, permiten extraer conclusiones sobre la originalidad del trazado del recinto y los pabellones, su utilización, así como, el funcionamiento y aceptación social de la feria, desde la perspectiva de la apertura y evolución política y cultural de la transición hacia la democracia. La abundante documentación administrativa localizada admite concluir sobre la veracidad de las circunstancias que influyeron en la concepción y desarrollo del recinto y sus edificios, contrastando el testimonio de sus protagonistas a partir de la recreación propuesta.

La evolución del paisaje fluvial en la confluencia de los ríos Tajo y Jarama

La tesis doctoral que se presenta realiza un análisis de la evolución del paisaje fluvial de las riberas de los ríos Tajo y Jarama en el entorno de Aranjuez desde una perspectiva múltiple. Contempla y conjuga aspectos naturales, tales como los hidrológicos, geomorfológicos y ecológicos; también culturales, como la regulación hidrológica y la gestión del agua, las intervenciones en cauce y márgenes, la evolución de la propiedad y los cambios de usos del suelo, fundamentalmente. Este análisis ha permitido identificar el sistema de factores, dinámico y complejo, que ha creado este paisaje, así como las interrelaciones, conexiones, condicionantes y dependencias de los descriptores paisajísticos considerados. Por ejemplo, se han estudiado las relaciones cruzadas observadas entre dinámica fluvial-propiedad de la tierra-estado de conservación, cuestiones que hasta la fecha no habían sido tratadas, evaluadas o cuantificadas en otros trabajos dedicados a esta zona. La investigación se ha organizado en tres fases fundamentales que han dado lugar a los capítulos centrales del documento (capítulos 2, 3 y 4). En primer lugar, se ha realizado una caracterización de los factores, naturales y culturales, que organizan el paisaje de este territorio eminentemente fluvial (geomorfología, factores climáticos e hidrológicos, vegetación, propiedad de la tierra y elementos culturales de significación paisajística). A continuación, se ha realizado el estudio de la evolución del paisaje fluvial mediante el análisis de diversos elementos, previamente identificados y caracterizados. Para ello se han procesado imágenes aéreas correspondientes a cinco series temporales así como varios planos antiguos, obteniendo una amplia base de datos que se ha analizado estadísticamente. Finalmente, se han contrastado los resultados parciales obtenidos en los capítulos anteriores, lo que ha permitido identificar relaciones causales entre los factores que organizan el paisaje y la evolución de los elementos que lo constituyen. También, interconexiones entre factores o entre elementos. Este método de trabajo ha resultado muy útil para la comprensión del funcionamiento y evolución de un sistema complejo, como el paisaje de la vega de Aranjuez, un territorio con profundas y antiguas intervenciones culturales donde lo natural, en cualquier caso, siempre subyace. Es posible que la principal aportación de este trabajo, también su diferencia más destacada respecto a otros estudios de paisaje, haya sido mostrar una visión completa y exhaustiva de todos los factores que han intervenido en la conformación y evolución del paisaje fluvial, destacando las relaciones que se establecen entre ellos. Esta manera de proceder puede tener una interesante faceta aplicada, de tal manera que resulta un instrumento muy útil para el diseño de planes de gestión de este territorio fluvial. No en vano, una parte sustancial de la vega del Tajo-Jarama en Aranjuez es un Lugar de Importancia Comunitaria (LIC) y su posterior e ineludible declaración como Zona de Especial Conservación (ZEC) de la Red Natura 2000, de acuerdo con lo establecido en la Directiva 92/43/CE, exige la elaboración de un Plan de Gestión que, en gran medida, podría nutrirse de lo presentado, analizado e interpretado en este trabajo. En este sentido, conviene señalar la conciencia ya asumida de considerar, por su carácter integrador de la realidad territorial, el paisaje como elemento clave para la gestión adecuada de la naturaleza y el territorio. Por otra parte, se considera que los resultados de esta Tesis Doctoral permitirían plantear medidas para la puesta en valor de un paisaje sobresaliente, cuyos límites sobrepasan con creces los que en la actualidad conforman el Paisaje Cultural declarado por la UNESCO. En suma, el análisis de este espacio fluvial realizado con la profundidad y amplitud que permite el método de trabajo seguido puede utilizarse para el diseño de estrategias que dirijan la evolución de este territorio en una línea que garantice su conservación global en términos paisajísticos, patrimoniales y ecológicos, permitiendo además, de este modo, su uso equilibrado como recurso económico, cultural o educativo. This doctoral thesis shows an analysis of fluvial landscape evolution from multiple perspectives on the banks of Tagus and Jarama rivers, around Aranjuez. The thesis contemplates and combines natural features, such as hydrological, geomorphological and ecological features, as well as cultural features, like hydrological regulation and water management, interventions in channels and margins, changes in ownership and land use changes, mainly. This analysis has allowed to identify the factors system, dynamic and complex, that this landscape has created, as well as the interrelationships, connections, constraints and dependencies among considered landscape descriptors. For example, we have studied the relationships observed among fluvial dynamics- land ownership -conservation status, issues not addressed, assessed or quantified up to now in other works about this area. The research is organized into three major phases that led to the paper's central chapters (Chapters 2, 3 and 4). First, there has been a characterization of the factors, both natural and cultural, that organize the landscape of this predominantly fluvial area (geomorphology, climate and hydrological factors, vegetation, land and cultural elements of landscape significance). Then, it was made to study of fluvial landscape evolution by analyzing various elements previously identified and characterized. Aerial images were processed for five series and several old maps, obtaining an extensive database, that has been analyzed statistically. Finally, we have contrasted the partial results obtained in the previous chapters, making it possible to identify causal relationships between the factors that organize the landscape and the evolution of the elements that constitute it. This working method has been very useful for understanding the operation and evolution of a complex system, as the landscape of the Vega de Aranjuez, a territory with deep and ancient cultural interventions where anyway, nature feature always lies. It is possible that the main contribution of this work, also its most prominent difference compared with other studies of landscape, has been to show a complete and exhaustive view of all factors involved in the formation and evolution of the fluvial landscape, highlighting the relationships established among them. This approach could have an interesting applied facet, so that is a very useful tool for designing management plans on this river territory. Not surprisingly, a substantial part of the valley of the Tagus-Jarama in Aranjuez is a Site of Community Importance (SCI) and their subsequent and inevitable declaration as Special Area of Conservation (SAC) of the Natura 2000 network, in accordance with the provisions Directive 92/43/EC, requires the development of a management plan that largely could draw on what was presented, analyzed and interpreted in this paper. In this regard, it should be noted conscience and assumed to consider, on the inclusiveness of territorial reality, the landscape as a key element for the proper management of nature and territory. On the other hand, it is considered that the results of this thesis allow to propose measures for enhancement of outstanding scenery, which go well beyond the boundaries that currently the Cultural Landscape declared by UNESCO. In sum, the analysis of this river area made with the depth and breadth that enables working method can be used to design strategies that address the evolution of this territory in a line that guarantees global conservation landscape terms, heritage and ecological, also, allowing its use as a balancing economic, cultural or educational resource.

Control de la madurez en frutos por medio de ensayos de impacto.

En anteriores trabajos se ha observado que la respuesta de los frutos a un impacto mecánico está muy influida por su estado de madurez. Se realizaron ensayos de impacto sobre peras cv. Limonera, a lo largo de 12 semanas de conservación frigorífica y de maduración controlada. El impacto desde 4 cm de altura (equivalente a 0,02 J) resulta no destructivo y puede utilizarse para la determinación del estado de madurez de estos frutos. Por métodos de regresión lineal múltiple sobre los 15 para metros del impacto más representativos se obtienen buenas p r e dicciones de la madurez, representada por la fuerza de corte de probetas de pulpa, FC (N).

Alta velocidad ferroviaria en California(USA): quinta parte (V) LAV San Francisco–Sacramento (Bay Crossing Alternative) = High speed railway in California (USA): fith part (V) HSRL San Francisco–Sacramento (Bay Crossing Alternative)

Implantación de la Red de Alta velocidad Ferroviaria en California. Tramo San Francisco-Sacramento. Este artículo de la serie “Alta velocidad Ferroviaria en California (CHSRS), se ocupa de la línea San Francisco– Sacramento “Bay Crossing Alternative”, que cierra la red de alta velocidad ferroviaria del Estado de California, permitiendo en la terminal HSR de Sacramento, conectar con la línea Fresno–Sacramento, en coincidencia de trazados para en el futuro prolongar la red californiana de alta velocidad ferroviaria hasta su entronque con la del Estado de Nevada, vía Tahoe Lake–Reno. La línea San Francisco–Sacramento “Bay Crossing Alternative”, consta de tres trayectos: El primero de ellos “San Francisco urbano” va desde la terminal HSR “San Francisco Airport”, donde termina la alternativa “Golden Gate” de la línea Fresno–San Francisco, hasta el viaducto de acceso al Paso de la Bahía, que constituye el segundo trayecto “San Francisco–Richmond”, trayecto estrella de la red, de 15,48 Km de longitud sobre la Bahía de San Francisco, con desarrollo a través de 11,28 Km en puente colgante múltiple, con vanos de 800 m de luz y 67 m de altura libre bajo el tablero que permite la navegación en la Bahía. El tercer trayecto “Richmond–Sacramento” cruza la Bahía de San Pablo con un puente colgante de 1,6 Km de longitud y tipología similar a los múltiples de la Bahía de San Francisco, pasa por Vallejo (la por plazo breve de tiempo, antigua capital del Estado de California) y por la universitaria Davis, antes de finalmente llegar a la HSR Terminal Station de Sacramento Roseville. This article of the series “California High Speed Railway System”(CHSRS) treats on Line San Francisco–Sacramento “Bay Crossing Alternative” (BCA). This line closes the system of California high speed state railway, and connects with the line Fresno–Sacramento “Stockton Arch Alternative”, joining its alignments in the HSR Terminal of Sacramento Roseville. From this station it will be possible, in the future, to extend the Californian railway system till the Nevada railway system, vía Tahoe Lake and Reno. The BCA consists of three sections: The first one passing through San Francisco city, goes from HSR San Francisco Airport Terminal Station (where the line Fresno–San Francisco “Golden Gate Alternative” ends), up to the Viaduct access at the Bay Crossing. The second section San Francisco–Richmond, constitutes the star section of the system, with 15,48 Km length on the San Francisco Bay, where 11,28 Km in multi suspension bridge, 800 m span and 67 m gauge under panel, to allow navigation through the Bay. The third section Richmond–Sacramento crosses the San Pablo Bay through another suspension bridge of similar typology to that of San Francisco Bay crossing; pass through Vallejo (the ancient and for a short time Head of the State of California) and through Davis, university city, to arrive to the HSR Terminal Station of Sacramento Roseville.

Identificación y evaluación de la creación de valor mediante la implantación y desarrollo de políticas de responsabilidad social corporativa estratégica

La Responsabilidad Social Corporativa (RSC) sigue constituyendo en la actualidad un área de estudio de elevado interés tanto para la comunidad académica como para los negocios en general. A pesar del gran número de investigaciones realizadas en las pasadas décadas sobre los distintos aspectos que la caracterizan, y la definición generalizada de políticas relacionadas en las compañías más importantes, existen todavía algunos asuntos clave sobre los que se plantean interrogantes fundamentales. La complejidad asociada al constructo RSC y su carácter intrínsecamente dinámico explican en parte esta afirmación. En su aplicación práctica, las dudas sobre la RSC se enfocan hoy en día hacia su implantación con carácter permanente en el día a día de las organizaciones, la relevancia estratégica de las principales iniciativas, o la posibilidad de obtención de beneficios a medio y largo plazo. Se observa de esta forma la traslación de los debates principales hacia las consecuencias más estratégicas de dichas políticas, influenciados por prestigiosos estudios académicos en los que se caracteriza la denominada RSC Estratégica (RSCE), y por las principales organizaciones de certificación de memorias anuales de RSC y sostenibilidad. En este contexto se sitúa el objeto principal de esta investigación, consistente en el diseño de un modelo de implantación de RSCE que permita no sólo identificar los factores más importantes a tener en consideración para su éxito, sino para caracterizar las potenciales formas de creación de valor que pueden surgir de la aplicación del mismo. Se argumenta la elección del tema por considerarse que los asuntos asociados a la RSC no están lo suficientemente explorados desde la visión estratégica más actual, y por constituir la creación de valor el objetivo más crítico dentro de los procesos directivos de planificación estratégica. De esta forma, se utilizan dos metodologías para destacar qué factores son esenciales en la implantación de la RSCE, con qué fines las compañías aplican esas políticas, y qué resultados obtienen como consecuencia: análisis comparativo de casos de estudio y análisis estadístico cuantitativo. Los casos de estudio analizan en profundidad políticas globales de RSCE bajo diferentes puntos de vista, para derivar conclusiones sobre los factores que facilitan u obstaculizan su implantación permanente en las organizaciones. Su desarrollo se estructura en torno a un marco conceptual de referencia obtenido a través de la revisión bibliográfica específica, y se complementa con la información primaria y secundaria de investigación. Por su parte, el análisis cuantitativo se desarrolla mediante tres técnicas exploratorias: estadística descriptiva, regresión múltiple y análisis de componentes principales. Su aplicación combinada va a posibilitar el contraste de aspectos destacados en los análisis de casos, así como la configuración final del modelo de implantación, y la expresión numérica de la creación de valor a través de la RSCE en función de las dimensiones estratégicas consideradas. En consecuencia, los resultados de la tesis se estructuran alrededor de tres preguntas de investigación: ¿cómo se están produciendo y qué caracterización presentan los beneficios que resultan como consecuencia de la implantación de la RSCE en los procesos de planificación estratégica de las compañías?, ¿qué factores esenciales y característicos de la RSCE pueden resultar críticos en los procesos de implantación y futuro desarrollo?, y ¿qué importancia puede tener en el medio y largo plazo el poder de decisión de compra de los consumidores y usuarios finales en la implantación y desarrollo de políticas de RSCE? ABSTRACT Corporate Social Responsibility (CSR) remains a study area of high interest today to both the academic community and businesses in general. Despite the large number of investigations of various aspects of CSR in past decades, and its generalized consideration by the world’s most important companies, there are still some key issues and fundamental questions to resolve. The complexity associated with the CSR construct and its inherently dynamic character, partly explains this statement. In its practical application, doubts about CSR arise today about its permanent implementation in normal business activities, the strategic relevance of related policies, and the possibility of making profits in the medium and long term. It is observed in this way the translation of the main debates towards the more strategic consequences of these policies, influenced by prestigious academic studies that characterize the so-called Strategic CSR (SCSR), and by leading certification agencies of CSR and sustainability reports. In this context, the main purpose of this investigation is to design a model of SCSR for implementation that allows one to not only identify the most important factors to consider for SCSR success, but also to characterize potential forms of value creation that can arise from its application. The selection of this research approach is justified because it is believed that important issues that are associated with CSR have not been sufficiently explored from the aspect of the strategic vision in the current context, and because value creation constitutes the most critical objective within the strategic planning steering processes. Thus, two methods are used to highlight which factors are essential in SCSR implementation processes, the end to which companies apply these policies, and the kind of results that they expect. These methods are: comparative analysis of case studies and quantitative statistical analysis. The case studies discuss in depth SCSR global policies under different perspectives to draw conclusions about the factors that facilitate or hinder permanent implantation in organizations. Their development is structured around a conceptual framework that is obtained by review of specific literature, and is complemented by primary and secondary research information. On the other hand, quantitative analysis is developed by means of three exploratory techniques: descriptive statistics, multiple regression and principal component analysis. Their combined application facilitates a contrast of highlighted aspects in analyzing cases, the final configuration of the implementation model, and the numerical expression of value creation by SCSR as a consequence of the strategic dimensions considered by companies. Finally, the results of the thesis are structured around three research questions: what are the benefits that result from the implementation of SCSR policies in companies’ strategic planning processes?, which essential SCSR factors are potentially critical in the implementation and future development of companies’ processes?, and how decisive in the medium and long term will be the purchase decision power of consumers to the success of SCSR policies?

An approach to a model of the visual cortex: disorders of vision

One of the most challenging problems that must be solved by any theoretical model purporting to explain the competence of the human brain for relational tasks is the one related with the analysis and representation of the internal structure in an extended spatial layout of múltiple objects. In this way, some of the problems are related with specific aims as how can we extract and represent spatial relationships among objects, how can we represent the movement of a selected object and so on. The main objective of this paper is the study of some plausible brain structures that can provide answers in these problems. Moreover, in order to achieve a more concrete knowledge, our study will be focused on the response of the retinal layers for optical information processing and how this information can be processed in the first cortex layers. The model to be reported is just a first trial and some major additions are needed to complete the whole vision process.

Factores transcripcionales de la clase DOF en Brachypodium distachyon: caracterización molecular de BdDOF24 durante la germinación de las semillas

La semilla es el órgano que garantiza la propagación y continuidad evolutiva de las plantas espermatofitas y constituye un elemento indispensable en la alimentación humana y animal. La semilla de cereales acumula en el endospermo durante la maduración, mayoritariamente, almidón y proteínas de reserva. Estas reservas son hidrolizadas en la germinación por hidrolasas sintetizadas en la aleurona en respuesta a giberelinas (GA), siendo la principal fuente de energía hasta que la plántula emergente es fotosintéticamente activa. Ambas fases del desarrollo de la semilla, están reguladas por una red de factores de transcripción (TF) que unen motivos conservados en cis- en los promotores de sus genes diana. Los TFs son proteínas que han desempeñado un papel central en la evolución y en el proceso de domesticación, siendo uno de los principales mecanismos de regulación génica; en torno al 7% de los genes de plantas codifican TFs. Atendiendo al motivo de unión a DNA, éstos, se han clasificado en familias. La familia DOF (DNA binding with One Finger) participa en procesos vitales exclusivos de plantas superiores y sus ancestros cercanos (algas, musgos y helechos). En las semillas de las Triticeae (subfamilia Pooideae), se han identificado varias proteínas DOF que desempeñan un papel fundamental en la regulación de la expresión génica. Brachypodium distachyon es la primera especie de la subfamilia Pooideae cuyo genoma (272 Mbp) ha sido secuenciado. Su pequeño tamaño, ciclo de vida corto, y la posibilidad de ser transformado por Agrobacterium tumefaciens (plásmido Ti), hacen que sea el sistema modelo para el estudio de cereales de la tribu Triticeae con gran importancia agronómica mundial, como son el trigo y la cebada. En este trabajo, se han identificado 27 genes Dof en el genoma de B. distachyon y se han establecido las relaciones evolutivas entre estos genes Dof y los de cebada (subfamilia Pooideae) y de arroz (subfamilia Oryzoideae), construyendo un árbol filogenético en base al alineamiento múltiple del dominio DOF. La cebada contiene 26 genes Dof y en arroz se han anotado 30. El análisis filogenético establece cuatro grupos de genes ortólogos (MCOGs: Major Clusters of Orthologous Genes), que están validados por motivos conservados adicionales, además del dominio DOF, entre las secuencias de las proteínas de un mismo MCOG. El estudio global de expresión en diferentes órganos establece un grupo de nueve genes BdDof expresados abundantemente y/o preferencialmente en semillas. El estudio detallado de expresión de estos genes durante la maduración y germinación muestra que BdDof24, ortólogo putativo a BPBF-HvDOF24 de cebada, es el gen más abundante en las semillas en germinación de B. distachyon. La regulación transcripcional de los genes que codifican hidrolasas en la aleurona de las semillas de cereales durante la post‐germinación ha puesto de manifiesto la existencia en sus promotores de un motivo tripartito en cis- conservado GARC (GA-Responsive Complex), que unen TFs de la clase MYB-R2R3, DOF y MYBR1-SHAQKYF. En esta tesis, se ha caracterizado el gen BdCathB de Brachypodium que codifica una proteasa tipo catepsina B y es ortólogo a los genes Al21 de trigo y HvCathB de cebada, así como los TFs responsables de su regulación transcripcional BdDOF24 y BdGAMYB (ortólogo a HvGAMYB). El análisis in silico del promotor BdCathB ha identificado un motivo GARC conservado, en posición y secuencia, con sus ortólogos en trigo y cebada. La expresión de BdCathB se induce durante la germinación, así como la de los genes BdDof24 y BdGamyb. Además, los TFs BdDOF24 y BdGAMYB interaccionan en el sistema de dos híbridos de levadura e in planta en experimentos de complementación bimolecular fluorescente. En capas de aleurona de cebada, BdGAMYB activa el promotor BdCathB, mientras que BdDOF24 lo reprime; este resultado es similar al obtenido con los TFs ortólogos de cebada BPBF-HvDOF24 y HvGAMYB. Sin embargo, cuando las células de aleurona se transforman simultáneamente con los dos TFs, BdDOF24 tiene un efecto aditivo sobre la trans-activación mediada por BdGAMYB, mientras que su ortólogo BPBF-HvDOF24 produce el efecto contrario, revirtiendo el efecto de HvGAMYB sobre el promotor BdCathB. Las diferencias entre las secuencias deducidas de las proteínas BdDOF24 y BPBF-HvDOF24 podrían explicar las funciones opuestas que desempeñan en su interacción con GAMYB. Resultados preliminares con líneas de inserción de T-DNA y de sobre-expresión estable de BdGamyb, apoyan los resultados obtenidos en expresión transitoria. Además las líneas homocigotas knock-out para el gen BdGamyb presentan alteraciones en anteras y polen y no producen semillas viables. ABSTRACT The seed is the plant organ of the spermatophytes responsible for the dispersion and survival in the course of evolution. In addition, it constitutes one of the most importan elements of human food and animal feed. The main reserves accumulated in the endosperm of cereal seeds through the maturation phase of development are starch and proteins. Its degradation by hydrolases synthetized in aleurone cells in response to GA upon germination provides energy, carbon and nitrogen to the emerging seedling before it acquires complete photosynthetic capacity. Both phases of seed development are controlled by a network of transcription factors (TFs) that interact with specific cis- elements in the promoters of their target genes. TFs are proteins that have played a central role during evolution and domestication, being one of the most important regulatory mechanisms of gene expression. Around 7% of genes in plant genomes encode TFs. Based on the DNA binding motif, TFs are classified into families. The DOF (DNA binding with One Finger) family is involved in specific processes of plants and its ancestors (algae, mosses and ferns). Several DOF proteins have been described to play important roles in the regulation of genes in seeds of the Triticeae tribe (Pooideae subfamily). Brachypodium distachyon is the first member of the Pooideae subfamily to be sequenced. Its small size and compact structured genome (272 Mbp), the short life cycle, small plant size and the possibility of being transformed with Agrobacterium tumefaciens (Ti-plasmid) make Brachypodium the model system for comparative studies within cereals of the Triticeae tribe that have big economic value such as wheat and barley. In this study, 27 Dof genes have been identified in the genome of B. distachyon and the evolutionary relationships among these Dof genes and those frome barley (Pooideae subfamily) and those from rice (Oryzoideae subfamily) have been established by building a phylogenetic tree based on the multiple alignment of the DOF DNA binding domains. The barley genome (Hordeum vulgare) contains 26 Dof genes and in rice (Oryza sativa) 30 genes have been annotated. The phylogenetic analysis establishes four Major Clusters of Orthologous Genes (MCOGs) that are supported by additional conserved motives out of the DOF domain, between proteins of the same MCOG. The global expression study of BdDof genes in different organs and tissues classifies BdDof genes into two groups; nine of the 27 BdDof genes are abundantly or preferentially expressed in seeds. A more detailed expression analysis of these genes during seed maturation and germination shows that BdDof24, orholog to barley BPBF-HvDof24, is the most abundantly expressed gene in germinating seeds. Transcriptional regulation studies of genes that encode hydrolases in aleurone cells during post-germination of cereal seeds, have identified in their promoters a tripartite conserved cis- motif GARC (GA-Responsive Complex) that binds TFs of the MYB-R2R3, DOF and MYBR1-SHAQKYF families. In this thesis, the characterization of the BdCathB gene, encoding a Cathepsin B-like protease and that is ortholog to the wheat Al21 and the barley HvCathB genes, has been done and its transcriptional regulation by the TFs BdDOF24 and BdGAMYB (ortholog to HvGAMYB) studied. The in silico analysis of the BdCathB promoter sequence has identified a GARC motif. BdCathB expression is induced upon germination, as well as, those of BdDof24 and BdGamyb genes. Moreover, BdDOF24 and BdGAMYB interact in yeast (Yeast 2 Hybrid System, Y2HS) and in planta (Bimolecular Fluorecence Complementation, BiFC). In transient assays in aleurone cells, BdGAMYB activates the BdCathB promoter, whereas BdDOF24 is a transcriptional repressor, this result is similar to that obtained with the barley orthologous genes BPBF-HvDOF24 and HvGAMYB. However, when aleurone cells are simultaneously transformed with both TFs, BdDOF24 has an additive effect to the trans-activation mediated by BdGAMYB, while its ortholog BPBF-HvDOF24 produces an opposite effect by reducing the HvGAMYB activation of the BdCathB promoter. The differences among the deduced protein sequences between BdDOF24 and BPBF-HvDOF24 could explain their opposite functions in the interaction with GAMYB protein. Preliminary results of T-DNA insertion (K.O.) and stable over-expression lines of BdGamyb support the data obtained in transient expression assays. In addition, the BdGamyb homozygous T-DNA insertion (K.O.) lines have anther and pollen alterations and they do not produce viable seeds.

Filtros de mirada y luz: una construcción visual del límite arquitectónico

En un tiempo como el actual, en el que en arquitectura ya casi nada es lo que aparenta ser ni las disciplinas tradicionales parecen proporcionar ya suficientes asideros para conocer el trazo de los caminos, el proyecto arquitectónico se enfrenta a una visible incertidumbre a lo largo del limbo que parece definir el momento presente. Las infinitas soluciones que aparentemente marcan nuevas opciones de trabajo definen también un panorama de escasa claridad con una consiguiente pérdida de referencias de rigor que faciliten la certidumbre y un obligado compromiso en esta ciencia poética que se desvirtúa a veces como un mal arte menor. Para ahondar en este camino borroso se propone un ejercicio de búsqueda de invariantes que sirvan como base de método de trabajo. El planteamiento que sigue a continuación aspira a explorar una serie de herramientas básicas que siguen constituyendo el armazón de la arquitectura justa: la materia, la luz, la estructura, la emoción. No se trata pues de valerse de artilugios pasajeros o de argumentos pobremente arraigados, sino que el objeto de estudio que aquí se presenta tenga como base aquellas cuestiones que son esenciales a la arquitectura como ciencia poética y como técnica. En el discurso de la arquitectura pura nada es accesorio. Como escribe Rem Koolhaas, «donde la arquitectura acontece, nada más sucede». Además de explorar dichas herramientas, la investigación propone la recuperación explícita de unas estrategias que son tanto atemporales como históricas. Los filtros de mirada y luz pueden encontrarse en muchas culturas y bajo muchos signos, destinados a toda una variedad de funciones resueltas a medida según la medida de cada región y de cada hombre. La recuperación de estos elementos en la presente investigación presupone no solo una experiencia de la emoción espacial determinada por los mismos, sino la constatación y el abanderamiento de lo vernáculo como conocimiento del proyecto, como mecanismo de creación carente de frivolidad que, acumulado entre siglos y culturas, se destila para ofrecer lo más sensato y poético al hombre que lo precisa. Por último, el filtro es construcción y estructura, es materia y luz, no es mera imagen sino un neto configurador de espacios físicos y de emoción arquitectónica. Trabajar con estos invariantes debería garantizar una investigación desde el rigor y la responsabilidad. Su validez arquitectónica pues ésta va siempre más allá de su valor geográfico o histórico. Los filtros recorren un camino que arranca con la salida del hombre de la cueva platónica y alcanza la estructura molecular más compleja del cerramiento estructural más contemporáneo. La constante pulsión de un invariante tan consolidado viene a confirmarse de nuevo hoy en el auge de la arquitectura actual. La arquitectura siempre ha necesitado de filtros. Éstos, desde sus múltiples configuraciones, han permitido dar solución a cuestiones funcionales básicas a la vez que integraban sistemas desde los que proporcionar una imagen exterior y una emoción interior. Su verdadero sentido se comprende en su relación en el medio continuo, donde se ponen de manifiesto las interacciones que fomenta y que van más allá de su propia naturaleza y de sus propiedades intrínsecas como objeto para establecer nuevos significados. Contribuyen, como señala Jean-Pierre Cometti, a que «aparezca algo que no estaba implícito en las observaciones desarrolladas desde el principio»2. Los filtros son, por tanto, más que la suma de construcción, estructura, espacio y ornamento. Esta múltiple condición es la que proporciona un carácter único al filtro en sus consecuencias espaciales. Tan sólidos han sido sus apoyos que su presencia se ha mantenido indemne al tiempo y ha permanecido en el cruce de la historia, capaz de dar tantos y tan buenos resultados en el proyecto de arquitectura. Nuestra propuesta es redescubrir esos filtros.

Evaluación de efectos del proyecto Cisternas Escolares en las condiciones de vida de las comunidades escolares rurales del semiárido brasileño

En el año 2003 Brasil incorporó a su Estrategia Nacional ¨Fome Zero¨ el Programa Cisternas, iniciativa que comenzó a nivel local y cuyo objetivo es garantizar el acceso a agua para el consumo humano por medio de la construcción de un millón de cisternas rurales en todo el semiárido brasileño. Las cisternas de captación de agua de lluvia son una tecnología social de bajo coste y alto valor técnico, cultural y ambiental, destinada a garantizar agua de calidad a la población rural de baja renta y a mitigar los efectos que sobre ella tienen las sequias recurrentes y prolongadas que afectan al semiárido. Como parte del Programa Cisternas, la ONG brasileña “Instituto Ambiental Brasil Sustentável” (IABS) está apoyando el proyecto Cisternas Escolares, cuyo objetivo es construir cisternas de 52.000 litros de captación de agua de lluvia en 110 escuelas rurales del semiárido alagoano, y capacitar a las comunidades escolares para su correcta gestión. Este Trabajo Fin de Máster consiste en la evaluación de los efectos que dicho proyecto está teniendo sobre las condiciones de vida de las comunidades escolares rurales beneficiarias, aspirando a aportar información sobre los potenciales beneficios sociales de este tipo de actuaciones y a incrementar dichos beneficios proporcionando recomendaciones prácticas. De esta forma se pretende dar respuesta a la necesidad de conocimiento y mejora de los efectos que los proyectos de cisternas de captación de agua de lluvia tienen sobre sus beneficiarios, pero también a la demanda que está surgiendo desde la agenda del desarrollo, de evaluaciones de impacto más prácticas que sirvan para mejorar los proyectos que evalúan. La metodología propuesta en este trabajo adopta un enfoque mixto orientado a combinar el rigor de los datos cuantitativos, con el análisis de la cadena de efectos del proyecto y las percepciones de los beneficiarios. Dicha metodología consta de cuatro partes diferenciadas: i) la elaboración de la línea de base del proyecto; ii) un análisis causa – efecto cualitativo del proyecto, incluyendo las percepciones de los beneficiarios; iii) una evaluación de impacto que no pudo llevarse a cabo debido a retrasos en la ejecución del proyecto que desplomaron el potencial estadístico; y iv) un estudio de caso múltiple, realizado como alternativa a la evaluación de impacto, orientado a identificar diferencias entre las escuelas que reciben una cisternas y las que no. Los resultados de esta evaluación de efectos muestran que el proyecto Cisternas Escolares tiene potencial para producir mejoras en la salud, el funcionamiento, la autonomía, los usos del agua, la preocupación de las comunidades escolares y los conflictos con los vecinos de las escuelas beneficiarias. Dicho potencial es variable en cada una de las escuelas y depende de múltiples factores, los cuales son identificados y analizados en este trabajo. Fruto de este trabajo son también una serie de recomendaciones orientadas a que el proyecto Cisternas Escolares consiga alcanzar su máximo potencial en todas las escuelas beneficiarias. Estas recomendaciones pretenden mejorar las capacitaciones del proyecto y los consejos gestores del agua de las escuelas, así como incluir nuevas actividades relevantes en el proyecto, como la creación de espacios de participación para los actores y la involucración de las alcaldías y las secretarías de educación.