Adultos mayores institucionalizados : Objetos de protección, cuidado y rentabilidad

En el presente trabajo intentaremos responder algunos interrogantes surgidos a partir de analizar las Residencias para Mayores. ¿Cómo habitamos las organizaciones de encierro? ¿Qué propuestas de corporalidad sustentamos? Iniciaremos este recorrido situando nuestra concepción de vejez como proceso que "da cuenta del entrecruzamiento particular y subjetivo de cada ser humano y su propia historia."(1) Reconocemos las múltiples dimensiones del proceso de envejecimiento: psicológica, biológica y socio - cultural. Afirmamos que este proceso es singular, sujeto a la trayectoria vital de aquel que porta los años y al mismo tiempo responde a variables histórico sociales más amplias. El sustento de este aporte está sujeto a los hallazgos de la Tesis de Maestría(2). Por tal razón daremos cuenta de los significados que se construyen en las Residencias para Adultos Mayores sobre la vejez dependiente. Esto enmarcado en un país con población envejecida(3), produciendo nuevas configuraciones a los escenarios de intervención del campo social, sanitario y educativo. Presentaremos los rasgos atribuidos a la vejez dependiente y la vinculación con la necesidad social de ocultar el deterioro. Identificamos que la respuesta asilar es una constante frente a la población envejecida, y que la tendencia mercantilizadota acrecienta estas prácticas.

Ana Rossetti y la configuración de su universo poético en los poemas de La ordenación

Ana Rossetti es una de las representantes más significativas de la poesía española de las décadas de 1980 y 1990. En su obra poética ?recopilada en La ordenación (Retrospectiva 1980-2004)? se observa una amplia gama de tonos y diversas maneras de modificar y subvertir convenciones y textos tradicionales que revelan un deseo de indagar, cuestionar y rehacer todas las facetas de la vida. Este artículo propone analizar la poesía de Rossetti bajo dos aspectos muy presentes a lo largo de toda su obra: la configuración de un universo poético personal y la subversión de la poesía amorosa tradicional. Rossetti crea su propio universo mediante tres elementos relacionados entre sí: un intenso proceso de búsqueda o indagación de lo que sucede a su alrededor, la incorporación de la fantasía en la realidad, a partir de la utilización de elementos de todo un universo simbólico; y la consecuente ampliación de los niveles de significación. Por otra parte, la poesía amorosa tradicional se subvierte a través de la inversión de los roles de la mujer y del hombre, a partir de la construcción de un nuevo sujeto femenino; la elección de objetos eróticos dispares y novedosos, y el uso de la parodia y la ironía a la hora de presentar el mundo sensual

El conflicto entre los derechos de autor y los derechos de la comunidad

La presente versará sobre la relación existente entre el dominio público y privado del conocimiento, es decir, entre el Derecho de Autor y el Derecho de la Comunidad. A partir de indagar el objetivo perseguido por la regulación en sus inicios y las variaciones en la significación de distintos conceptos directamente relacionados con las garantías mencionadas, se intentará determinar sobre qué objetos recae el Derecho de Autor y las peculiaridades que éstos presentan. Con el objetivo de conocer el modo en que el derecho de autor y el dominio público han sido interpretados y salvaguardados a lo largo del tiempo por nuestros representantes, se analizarán los trámites parlamentarios que dieron origen a la Ley de Propiedad Intelectual y aquellos otros que sucesivamente operaron sobre la misma modificaciones. A lo largo del desarrollo del trabajo se presentarán las distintas posiciones relacionadas con el derecho de autor y el dominio público, y los nuevos criterios emergentes para su tratamiento. Finalmente, y con el objetivo de ilustrar el nuevo papel que le cabe a los bibliotecarios para el desempeño de su rol profesional, se analizarán las medidas tomadas en materia de legislación frente al escenario que inauguran las nuevas tecnologías

Aportes conceptuales para pensar los Observatorios de Inteligencia y Desarrollo Territorial

Un Observatorio de Inteligencia y Desarrollo Territorial (OIDTe) es principalmente una herramienta de intervención para el desarrollo, propuesta por una 'pata científica' a otros actores del territorio. En otras palabras, nos referimos a la construcción de un espacio pertinente a los sujetos y objetos de la Inteligencia Territorial (Girardot, 2009; Bozzano, 2011). ¿Cómo se construye un espacio de interacción relevante para ellos, sus proyectos y su comunidad? El análisis interpretativo preliminar del proceso de implementación de seis OIDTes en el marco del proyecto Transporte, Ordenamiento y Desarrollo Territorial de la Provincia de Entre Ríos (Universidad Nacional de La Plata-Gobierno provincial 2010-2011) y la discusión en torno de los aprendizajes resultantes; nos motivaron a revisar los conceptos y enfoques utilizados en estos últimos años de difusión de la IT en Latinoamérica. Con esto, el artículo pretende ofrecer pistas para la comprensión de algunas limitaciones, potencialidades y rasgos principales de 'la micro-política' que resulta de la creación de estos ámbitos intersubjetivos

El Viaje a la Costa del Sol (1959-1969): Proyecto y transformación en los inicios del turismo moderno.

Fundamentos de la Tesis La presente Tesis investiga acerca de las primeras arquitecturas que surgieron a lo largo de La Costa del Sol con motivo de la apertura al exterior de la España turística de los años cincuenta, y cómo su implantación iba a suponer, a lo largo de la segunda mitad del siglo, la paulatina aparición de modos de vida y desarrollos urbanos que pueden ser considerados hoy día como contemporáneos. El Pacto Americano de 1953, pese a su origen militar, supuso en España el surgimiento a su vez de contraprestaciones económicas y de relación que permitirían salir al país de la autarquía y el inicio de un proceso de homologación con el entorno occidental de consecuencias imprevisibles. La Costa del Sol nace de esta manera como fenómeno de explotación turística de un territorio de paisaje amable y de buen clima. La investigación profundiza en el hecho turístico y en sus derivaciones antropológicas, sociales, económicas y culturales como resultado del intercambio de poblaciones autóctonas y lejanas en un lugar donde se relacionan diferentes modos de vida. En este sentido, la visita de Dalí a Torremolinos en 1930 permite introducir en la investigación conceptos relacionados con el azar como integrador de errores, deformaciones o transformaciones no previstas. Estas primeras arquitecturas de llamativo corte moderno aparecieron durante la década entre 1959 y 1969, en el entorno virgen preexistente, comprendido entre la playa y la montaña, proporcionando densidad y singularidad con sus diseños, y alentando un carácter de multiplicidad desde sus propios modelos, lo que favorecería un fenómeno interactivo entre las distintas soluciones. Visto desde la capital del Estado se reconocería un singular territorio supra-provincial entre el Cabo de Gata y la Punta de Tarifa. En dicho territorio, una serie de pequeñas poblaciones se enlazarían a través del cordón litoral gracias a la carretera nacional 340. Esta primera arquitectura comercial privada y de calidad surgió también gracias a la conexión del aeropuerto de Málaga con el turismo internacional. Gracias a esta conexión se exhibirán rasgos pertenecientes a la cultura arquitectónica de la época, a lo moderno, como reclamo, fundamentalmente edifi cios exóticos que mostrarán rasgos de progreso en una periferia empobrecida y rural. Metodología empleada • Búsqueda de fuentes primarias como documentación original de los diferentes proyectos y entrevistas con arquitectos protagonistas de esa época. • Búsqueda, catalogación y ordenación de los diferentes planes de ordenación de la Costa del Sol que se hicieron durante la década de estudio así como un análisis de sus propuestas y consecuencias. • Estudio de casos relativos a los dos modelos de actuaciones arquitectónicas predominantes en el periodo de estudio: los hoteles y los complejos de apartamentos. • Establecimiento de un planteamiento gradual por escalas, trabajando como “múltiplos” y permitiendo generar lazos de autosimilitud. • Análisis de la relación de estos proyectos con el paisaje circundante, con lo urbano, existiese o no, y con el interior de las células de apartamentos. Aportaciones de la Tesis El fenómeno estudiado ha permitido atisbar otra escala más, que atiende a la aparición de un nuevo ente urbano. Para ello las teorías sobre la ciudad vertidas durante los años 30 por F. Ll. Wright, junto con la visión reveladora de Reyner Banham sobre Los Ángeles a principios de los 70 o de Rem Koolhaas sobre la ciudad genérica como apoteosis del concepto de elección múltiple, permiten establecer parámetros que enmarcan el estudio del nuevo ente urbano de difícil legibilidad que se funda en la Costa del Sol durante la década de los 60. La investigación concluye acerca del papel de estas primeras arquitecturas del turismo dentro del proceso dinámico, imparable y crecedero que se inició durante la época de estudio. Un fenómeno que ha dado lugar a un desarrollo suburbial y a-jerárquico, sin centro concreto, donde se dan lugar multitud de relaciones en continua adaptación que permiten defi nirlo como una nueva ciudad. En este proceso estas primeras arquitecturas surgieron como objetos exóticos por su modernidad desafi ante. Esta cualidad convirtió a estos edifi cios en verdaderos atractores de actividad, embajadores de nuevos modos de vida contemporáneos. Por lo que en sus entornos próximos a lo largo de este territorio se provocó la cristalización paulatina de un hecho urbano. Su evolución posterior ha derivado en un progresivo relleno de huecos y vacíos. De manera no planifi cada, azarosa e incluso inesperada, las primeras arquitecturas, que servían a la vida a medias que supone el hecho turístico, han derivado en una paulatina ciudad completa, exenta de jerarquías. Conclusión final La arquitectura se hace más real que nunca como algo tangible en el fl uir de la ciudad. El proceso imparable que se inició en la Costa del Sol sólo puede comprenderse desde sus arquitecturas, que acogen momentos y lugares. En ellas se entremezclan signos, cultura, modos de vida, estilo, construcción, economía y vida contemporánea que han ido colonizando poco a poco este territorio en un proceso irreversible como en tantos otros lugares del planeta. Este proceso de desvelamiento ha constituido el motivo principal de esta Tesis

Detección y seguimiento de objetos en vídeos de actividades de vida diaria para rehabilitación de pacientes con daño cerebral adquirido

Las técnicas de rehabilitación permiten la recuperación y mejora de las funciones dañadas o deterioradas y ayuda al paciente con DCA a adaptarse a su nueva situación. El avance tecnológico que se ha producido en las últimas décadas, ha impulsado la investigación en el diseño y desarrollo de nuevos modelos de rehabilitación. La tecnología de vídeo interactivo se convierte en un elemento de apoyo en estos nuevos modelos rehabilitadores. Se hace necesario desarrollar nuevos algoritmos de segmentación y seguimiento que permitan dotar de información adicional a los vídeos. En este trabajo se han implementado y evaluado dos métodos que permiten realizar la detección y el seguimiento de objetos de interés.

Objetos y Tramas

Un paralelismo entre la investigación en la historia y la investigación en la arquitectura, conduce a la búsqueda de su relación considerada desde el punto de vista del investigador. El primer hallazgo de esta búsqueda es; la compresión de la relación problemática que existe entre el tiempo y el sentido, especialmente en campos de investigación como los mencionados, y la importancia que cobra de esta problemática la Filosofía. Esta compresión, ayuda al entendimiento del papel que ha desarrollado la «Filosofía de la Historia», que con su aparición, cambió la consideración del futuro, como algo que ya no depende de los acontecimientos pasados sino que se puede configurar, bajo las acciones e intenciones del hombre. Con este análisis, se perfila un comportamiento por parte del investigador y por otra, se sustenta una postura teórica cuyo principio consiste en aceptar que el ver y entender lo real sólo se consigue por su transformación en cierta y determinada realidad fundamentada teóricamente

Reconocimiento de objetos a partir de imágenes termográficas

La termografía es un método de inspección y diagnóstico basado en la radiación infrarroja que emiten los cuerpos. Permite medir dicha radiación a distancia y sin contacto, obteniendo un termograma o imagen termográfica, objeto de estudio de este proyecto. Todos los cuerpos que se encuentren a una cierta temperatura emiten radiación infrarroja. Sin embargo, para hacer una inspección termográfica hay que tener en cuenta la emisividad de los cuerpos, capacidad que tienen de emitir radiación, ya que ésta no sólo depende de la temperatura del cuerpo, sino también de sus características superficiales. Las herramientas necesarias para conseguir un termograma son principalmente una cámara termográfica y un software que permita su análisis. La cámara percibe la emisión infrarroja de un objeto y lo convierte en una imagen visible, originalmente monocromática. Sin embargo, después es coloreada por la propia cámara o por un software para una interpretación más fácil del termograma. Para obtener estas imágenes termográficas existen varias técnicas, que se diferencian en cómo la energía calorífica se transfiere al cuerpo. Estas técnicas se clasifican en termografía pasiva, activa y vibrotermografía. El método que se utiliza en cada caso depende de las características térmicas del cuerpo, del tipo de defecto a localizar o la resolución espacial de las imágenes, entre otros factores. Para analizar las imágenes y así obtener diagnósticos y detectar defectos, es importante la precisión. Por ello existe un procesado de las imágenes, para minimizar los efectos provocados por causas externas, mejorar la calidad de la imagen y extraer información de las inspecciones realizadas. La termografía es un método de ensayo no destructivo muy flexible y que ofrece muchas ventajas. Por esta razón el campo de aplicación es muy amplio, abarcando desde aplicaciones industriales hasta investigación y desarrollo. Vigilancia y seguridad, ahorro energético, medicina o medio ambiente, son algunos de los campos donde la termografía aportaimportantes beneficios. Este proyecto es un estudio teórico de la termografía, donde se describen detalladamente cada uno de los aspectos mencionados. Concluye con una aplicación práctica, creando una cámara infrarroja a partir de una webcam, y realizando un análisis de las imágenes obtenidas con ella. Con esto se demuestran algunas de las teorías explicadas, así como la posibilidad de reconocer objetos mediante la termografía. Thermography is a method of testing and diagnosis based on the infrared radiation emitted by bodies. It allows to measure this radiation from a distance and with no contact, getting a thermogram or thermal image, object of study of this project. All bodies that are at a certain temperature emit infrared radiation. However, making a thermographic inspection must take into account the emissivity of the body, capability of emitting radiation. This not only depends on the temperature of the body, but also on its surface characteristics. The tools needed to get a thermogram are mainly a thermal imaging camera and software that allows analysis. The camera sees the infrared emission of an object and converts it into a visible image, originally monochrome. However, after it is colored by the camera or software for easier interpretation of thermogram. To obtain these thermal images it exists various techniques, which differ in how heat energy is transferred to the body. These techniques are classified into passive thermography, active and vibrotermografy. The method used in each case depends on the thermal characteristics of the body, the type of defect to locate or spatial resolution of images, among other factors. To analyze the images and obtain diagnoses and defects, accuracy is important. Thus there is a image processing to minimize the effects caused by external causes, improving image quality and extract information from inspections. Thermography is a non-­‐destructive test method very flexible and offers many advantages. So the scope is very wide, ranging from industrial applications to research and development.Surveillance and security, energy saving, environmental or medicine are some of the areas where thermography provides significant benefits. This project is a theoretical study of thermography, which describes in detail each of these aspects. It concludes with a practical application, creating an infrared camera from a webcam, and making an analysis of the images obtained with it. This will demonstrate some of the theories explained as well as the ability to recognize objects by thermography.

Comparación de algoritmos detectores de puntos singulares para reconocimiento de objetos en vídeo quirúrgico.

El análisis de vídeo laparoscópico ofrece nuevas posibilidades a la navegación quirúrgica al garantizar una incorporación mínima de tecnología en quirófano, evitando así alterar la ergonomía y los flujos de trabajo de las intervenciones. Una de sus principales ventajas es que puede servir como fuente de datos para reconstruir tridimensionalmente la escena laparoscópica, lo que permite dotar al cirujano de la sensación de profundidad perdida en este tipo de cirugía. En el presente trabajo de investigación se comparan dos detectores de puntos singulares, SIFT y SURF, para estimar cuál de los dos podría integrarse en un algoritmo de cálculo de coordenadas 3D, MonoSLAM, basado en la detección y el seguimiento de estos puntos singulares en los fotogramas del vídeo. Los resultados obtenidos posicionan a SURF como la mejor opción gracias a su rapidez y a su mayor capacidad de discriminación entre estructuras anatómicas e instrumental quirúrgico.

Propuesta de un núcleo estándar de metadatos para los recursos del Patrimonio Histórico Español

La amplitud con la que se define legalmente el Patrimonio Histórico Español según la Ley 16/1985 de 25 de junio es uno de los factores claves en la identificación y caracterización del mismo: “... inmuebles y objetos muebles de interés artístico, históricos, paleontológicos, arqueológicos, etnográficos, científico o técnico. Asimismo el patrimonio documental o bibliográfico, los yacimientos o zonas arqueológicas así como sitios naturales, jardines y parques que tengan valor artístico, histórico y antropológico”. Los recursos patrimoniales están catalogados y descritos mediante un conjunto de metadatos, que permiten su búsqueda en la red, así como la consulta de las propiedades básicas de los mismos. INSPIRE plantea la directiva donde quedan enmarcados los recursos digitales georreferenciados. En este sentido el patrimonio es un recurso con componente espacial y la propia directiva lo considera dentro de los datos de referencia (Sistemas de coordenadas de referencia, Sistema de cuadrículas geográficas, Nombres geográficos, Unidades administrativas, Direcciones, Parcelas catastrales, Redes de transporte, Hidrografía, Lugares protegidos) como se puede ver en el anexo I. Según INSPIRE: “Lugares protegidos: zonas designadas o gestionadas dentro de un marco legislativo internacional, comunitario o propio de los estados miembros, para la consecución de unos objetivos de conservación específicos”.

Evaluación de las librerías disponibles para la definición de gestos y uso de los mismos para ser usados en U.I. con Kinect

La rápida evolución de tecnologías que mejoran la interacción con los ordenadores ha cambiado la forma de pensar de la sociedad actual. Una de las últimas alternativas se centra en el reconocimiento facial y de gestos, el cual ha dado muy buenos resultados, acercando ordenadores y humanos. El objetivo de este proyecto era desarrollar un prototipo que permita el reconocimiento de gestos mediante el dispositivo Kinect, el cual usa una de las tecnologías mencionadas anteriormente. Para la realización de este prototipo, fue necesario el estudio del funcionamiento de Kinect. Una vez realizado, el siguiente paso consistió en la búsqueda de librerías que facilitaran el reconocimiento de gestos, para compararlas y finalmente escoger una de ellas. Al ser una tecnología reciente, no existen demasiadas aplicaciones que utilicen Kinect y por lo tanto, la búsqueda de la librería era una parte fundamental del proyecto. Tras elegir la librería, se analizaron las características que debía tener el prototipo para realizar el diseño del mismo. Este diseño se realizó de forma iterativa y con numerosos cambios para otorgar al prototipo la mayor abstracción posible y una mayor orientación a objetos, para de esta manera, favorecer los posibles cambios que sean necesarios al ser una tecnología nueva y muy cambiante. Finalmente, el paso final fue la implementación del prototipo bajo el diseño propuesto, consiguiendo un prototipo funcional capaz de reconocer, almacenar, mostrar y definir diferentes gestos. Los resultados ofrecidos por Kinect son muy satisfactorios, con una gran precisión y eficiencia, demostrando el potencial de las nuevas tecnologías de interacción sin contacto, cuyo único defecto se encuentra en ser una tecnología poco madura y en evolución. ---------------------------------------------------------------------------------------------------------- The fast development of technologies that enhance interaction with computers has changed the mindset of the society. One of the latest alternatives focuses on face and gesture recognition, which has been very successful, bringing closer computers and humans. The purpose of this project was to develop a gesture recognition prototype with the Kinect device, which uses one of the technologies mentioned above. For the realization of this prototype, it was necessary to study how Kinect works. Once done, the next step was to search for libraries to facilitate the gesture recognition, to compare them and finally choose one of them. Because it is a recent technology, there are not many applications that use Kinect and therefore, the library search was an essential part of the project. After selecting the library, the characteristics that the prototype should have were analyzed for the design. This design was performed iteratively with numerous changes to give the prototype abstraction and object orientation, because as a new technology, it changes fast. Therefore, with this design it would be easier to deal with possible changes. Finally, the final step was the implementation of the prototype under the proposed design, getting a functional prototype able to recognize, store, display and define different gestures. The results offered by Kinect are very satisfactory, with high accuracy and efficiency, demonstrating the potential of the new interaction technologies without contact, whose only fault is to be a little mature technology and evolving.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Implementación del modelo RIM de HL7 v3 en orientación a objetos y su uso en procesos de interoperabilidad semántica

El trabajo ha sido realizado dentro del marco de los proyectos EURECA (Enabling information re-Use by linking clinical REsearch and Care) e INTEGRATE (Integrative Cancer Research Through Innovative Biomedical Infrastructures), en los que colabora el Grupo de Informática Biomédica de la UPM junto a otras universidades e instituciones sanitarias europeas. En ambos proyectos se desarrollan servicios e infraestructuras con el objetivo principal de almacenar información clínica, procedente de fuentes diversas (como por ejemplo de historiales clínicos electrónicos de hospitales, de ensayos clínicos o artículos de investigación biomédica), de una forma común y fácilmente accesible y consultable para facilitar al máximo la investigación de estos ámbitos, de manera colaborativa entre instituciones. Esta es la idea principal de la interoperabilidad semántica en la que se concentran ambos proyectos, siendo clave para el correcto funcionamiento del software del que se componen. El intercambio de datos con un modelo de representación compartido, común y sin ambigüedades, en el que cada concepto, término o dato clínico tendrá una única forma de representación. Lo cual permite la inferencia de conocimiento, y encaja perfectamente en el contexto de la investigación médica. En concreto, la herramienta a desarrollar en este trabajo también está orientada a la idea de maximizar la interoperabilidad semántica, pues se ocupa de la carga de información clínica con un formato estandarizado en un modelo común de almacenamiento de datos, implementado en bases de datos relacionales. El trabajo ha sido desarrollado en el periodo comprendido entre el 3 de Febrero y el 6 de Junio de 2014. Se ha seguido un ciclo de vida en cascada para la organización del trabajo realizado en las tareas de las que se compone el proyecto, de modo que una fase no puede iniciarse sin que se haya terminado, revisado y aceptado la fase anterior. Exceptuando la tarea de documentación del trabajo (para la elaboración de esta memoria), que se ha desarrollado paralelamente a todas las demás. ----ABSTRACT--- The project has been developed during the second semester of the 2013/2014 academic year. This Project has been done inside EURECA and INTEGRATE European biomedical research projects, where the GIB (Biomedical Informatics Group) of the UPM works as a partner. Both projects aim is to develop platforms and services with the main goal of storing clinical information (e.g. information from hospital electronic health records (EHRs), clinical trials or research articles) in a common way and easy to access and query, in order to support medical research. The whole software environment of these projects is based on the idea of semantic interoperability, which means the ability of computer systems to exchange data with unambiguous and shared meaning. This idea allows knowledge inference, which fits perfectly in medical research context. The tool to develop in this project is also "semantic operability-oriented". Its purpose is to store standardized clinical information in a common data model, implemented in relational databases. The project has been performed during the period between February 3rd and June 6th, of 2014. It has followed a "Waterfall model" of software development, in which progress is seen as flowing steadily downwards through its phases. Each phase starts when its previous phase has been completed and reviewed. The task of documenting the project‟s work is an exception; it has been performed in a parallel way to the rest of the tasks.

Andrea Branzi y la “Città senza architettura”: De la No-Stop City a los modelos de urbanización débil

El tema de estudio de esta tesis son las propuestas urbanas que Andrea Branzi ha desarrollado durante los últimos cincuenta años, centrándose especialmente en aquellas más elaboradas y completas: la No-Stop City (1970-71), que elabora como miembro del grupo radical Archizoom, y dos de sus modelos de urbanización débil, Agronica (1995) y el Master Plan para el Strijp Philips de Eindhoven (2000). Se trata de una parte de su obra que ha mantenido constante, a lo largo del tiempo, una propuesta de disolución de la arquitectura de notable consistencia que puede describirse con la fórmula “città senza architettura”, acuñada por él mismo. Una voluntad que ya se apunta en la muy variada producción de Archizoom previa a la No-Stop City, y que cristaliza y se hace explícita en este proyecto que aspiraba a: “liberar al hombre de la arquitectura”. A pesar de la continuidad de esta idea en el tiempo, la ciudad sin arquitectura de Branzi ha evolucionado claramente dando lugar a distintos tipos de disolución. Una disolución que, obviamente, no supone la efectiva desaparición de la disciplina, sino la formulación de una arquitectura “otra” basada en un replanteamiento radical de la naturaleza y el papel de la misma. Esta agenda contra la disciplina se ha desplegado a través de una serie de temas que socavan el objeto arquitectónico canónico (su vaciamiento expresivo, la pérdida de importancia de la envolvente y la forma acabada, el carácter anticompositivo, la independencia entre forma y función, la mutabilidad en el tiempo…), pero va más allá al poner en crisis el rol que la propia arquitectura ha tenido en la configuración material, política y simbólica del hábitat humano. Una pérdida de protagonismo y centralidad en la sociedad contemporánea que, en el discurso del arquitecto, implica necesariamente un papel subordinado. De este proceso de disolución surge un nuevo tipo de ciudad en la que la forma urbana o se ha perdido o se ha convertido en superflua, en la que se ha disuelto la zonificación funcional, cuyos espacios interiores se hallan en un proceso de permanente reprogramación que ignora las tipologías, que trasciende la división entre lo urbano y lo agrícola y que es, ante todo, un espacio de flujos y servicios. La crisis de la ciudad tradicional implica, en definitiva, un cambio en la naturaleza misma de lo urbano que pasa de considerarse un lugar físico y construido, a convertirse en una condición inmaterial y virtualmente omnipresente que se despliega independientemente de su soporte físico. En las investigaciones urbanas de Branzi convergen, además, muchas de las reflexiones que el arquitecto ha desarrollado sobre, y desde, las distintas “escalas” de la actividad profesional: diseño, arquitectura y urbanismo. Estas propuestas no sólo cuestionan las relaciones establecidas entre objetos, edificios, ciudades y territorios sino que ponen en cuestión estas mismas categorías. Unas ciudades sin arquitectura que se basan, en última instancia, en plantear preguntas que son muy sencillas y, por otra parte, eternas: ¿Qué es un edificio? ¿Qué es una ciudad? ABSTRACT The subject of study of this thesis are the urban proposals developed by Andrea Branzi over the last fifty years, with a special focus on the more developed and comprehensive ones: the No- Stop City (1970-1971), produced as a member of the architettura radicale group Archizoom, and two of his “weak urbanization models”: Agronica (1995) and the Master Plan for Philips Strijp in Eindhoven (2000). This area of his work has kept, over time, a remarkably consistent proposal for the dissolution of architecture that can be described with the motto città senza architettura (city without architecture), coined by himself. A determination, already latent in the very diverse production of Archizoom prior to No-Stop City, that crystallizes and becomes explicit in this project which was aimed to "liberate man from the architecture." Despite the continuity of this idea over time, Branzi’s city without architecture has clearly evolved leading to different types of dissolution. A dissolution that, obviously, does not mean the effective demise of the discipline, but rather, the formulation of an architecture autre based on a radical rethinking of its nature and role. This agenda against the discipline has been developed through a number of issues that undermine the canonical architectural object (its expressive emptying, the loss of importance of the envelope and the finished shape, the anticompositional character, the independence between form and function, the mutability over time...), but goes beyond it by putting into crisis the role that architecture itself has had in the material, political and symbolic configuration of the human habitat. A loss of prominence and centrality in contemporary society that, in the architect’s discourse, implies a subordinate role. From this dissolution process, a new type of city arises: a city where urban form has been lost or has become superfluous, in which functional zoning has dissolved, whose interiors are in a permanent process of reprogramming that ignores typologies, that transcends the division between urban and agricultural and becomes, above all, a space of flows and services. Ultimately, the crisis of the traditional city implies a change in the very nature of the urban that moves from being regarded as a physical and built place, to become an immaterial and virtually omnipresent condition that unfolds regardless of its physical medium. Many of the ideas Branzi has developed on, and from, the different "scales" of professional activity (design, architecture and urbanism) converge in his urban research. These proposals not only question the relations between objects, buildings, cities and territories but also these very categories. Cities without architecture that are based, ultimately, on raising simple questions that are, on the other hand, eternal: What is a building? What is a city?

Modelo de calidad para el software orientado a objetos

El software ha obtenido en la actualidad una gran importancia en todos los ámbitos de la vida cotidiana. Es indudable que la calidad del software juega un papel fundamental en todo desarrollo informático, aunque en ocasiones no se le presta la suficiente atención, quizás debido a los relativamente escasos trabajos relacionados con este tema desarrollados hasta la fecha. En el presente trabajo, se plantea la necesidad de un modelo de calidad completo. Para cubrir esta necesidad se presenta un nuevo modelo de calidad, obtenido tras un estudio pormenorizado de los modelos de calidad existentes, centrado en el paradigma orientado a objetos. Este modelo de calidad muestra cómo la calidad del software se descompone en una serie de factores y éstos, a su vez, se descomponen en un conjunto de criterios medibles utilizando medidas. El modelo incluye un amplio conjunto de medidas, diseñadas especialmente para su aplicación dentro del paradigma orientado a objetos. Para completar el modelo, se ha diseñado un sencillo método de aplicación de este modelo de calidad para que pueda ser utilizado de una forma simple por los desarrolladores de sistemas informáticos orientados a objetos. El modelo de calidad definido se ha validado realizando un juego de experimentos. Estos experimentos han consistido en la aplicación del modelo sobre una serie de desarrollos orientados a objetos. Los resultados obtenidos han demostrado su utilidad práctica para determinar tanto la calidad global de los sistemas, como para identificar aquellas partes del sistema susceptibles de ser mejoradas. Con este trabajo, se llena un importante hueco existente en esta área, pues, en primer lugar, no existen modelos de calidad completos para la orientación a objetos. En segundo lugar, aunque hay medidas para la orientación a objetos, no se han asociado a los atributos que determinan la calidad del software, por lo que su utilidad, tal cual fueron definidas, resulta bastante cuestionable. Para finalizar, nunca se ha asociado un modelo de calidad con una método de aplicación, por lo que su utilidad quedaba considerablemente mermada, quedando a expensas de la habilidad y experiencia del Ingeniero del Software que lo utilizara.