Recuperación de estructuras latentes y estimación de parámetros en test multidimensionales ordinales: análisis comparado entre la TRI la TCT y el análisis factorial

A través de la realización de cuatro estudios basados en datos simulados y unidos por una preocupación común, aunque parcialmente independientes en su metodología y foco específico, esta tesis se plantea como objetivo general poner a prueba algunas de las ventajas que podría obtener un investigador aplicado al utilizar modelos clásicos de TRI frente a otras opciones, para de esta forma evaluar la posibilidad de obtener resultados relativamente equivalentes utilizando procedimientos alternativos. Específicamente, en esta tesis se pone a prueba: a) la calidad diferencial de las estimaciones de las propiedades de los ítems obtenidas por los procedimientos TRI frente a los factoriales; b) la validez de los procedimientos de escalamiento TRI frente a los de la TCT; y c) los límites de la propiedad de invarianza de las estimaciones de sujetos e ítems obtenidas con procedimientos TRI. La hipótesis general de esta tesis es que, en el tipo de condiciones en que se ha enfocado el estudio, las ventajas de utilizar modelos clásicos de TRI no serán demasiado amplias, con lo que existirán condiciones en las que emplear procedimientos alternativos será recomendable, dada su simplicidad relativa y su equivalencia de resultados. La primera investigación utiliza datos simulados para comparar las estimaciones de discriminación de ítems politómicos provenientes del AFI, frente a las posibles de obtener con distintas estrategias relacionadas con el análisis factorial clásico. La segunda investigación, también utiliza datos simulados para poner a prueba la equivalencia de las estimaciones de discriminación de los ítems obtenidas con los procedimientos TRI y AFI. La tercera investigación, utiliza dos estudios basados en datos simulados tanto para comparar los escalamientos de los sujetos obtenidos por la TRI y la TCT, como para aclarar las condiciones en que es posible esperar la presencia similitudes o diferencias entre ambos...

Vivir con Chagas en Madrid: estructuras temporales de la vivencia de un grupo de pacientes bolivianos con el diagnóstico y la atención médica a la enfermedad de Chagas en un hospital metropolitano español

How can a chronic disease determine the life of a group of people diagnosed as seropositive away from their home country? And how do we account for that lived experience. Some diseases contemplated a few decades ago as strictly rural or of poor countries, are an urban reality now and are part of the epidemiological setting in wealthy developed countries. That is the case of Chagas disease in Spain. A disease linked for a long time to rural poverty, until migratory movements occurred nationwide from the country side to the city, and recently with international migration have turned pathology into a global public health issue. Chagas disease is a chronic parasitic infection, endemic in all Latin America and can be transmitted by triatomine or “kissing bug” (Triatoma Infestans), which lives and reproduces in straw houses of rural regions. According to the Pan American Health Organization (PAHO, 2006), the disease affects approximately eight million people. It is recognized by the WHO as a “neglected tropical disease”...

Interacción y manipulación de estructuras de datos complejas en VizHaskell

Nuestro trabajo se ha centrado principalmente en la mejora y extensión de una aplicación web llamada VizHaskell, la cual fue creada en otro proyecto anterior. La finalidad de esta herramienta es ser utilizada en el ámbito educativo para el aprendizaje del lenguaje Haskell y, por ello, incluye diferentes mecanismos para facilitar la programación de este lenguaje, a diferencia de otras que están destinados a un uso más serio o profesional. Entre sus características están la de incluir un mecanismo de gestión de usuarios en el que cada usuario dispondrá de su propio espacio de trabajo, permitir la creación de proyectos con la que los usuarios pueden tener de una manera organizada los módulos que vayan realizando, incluso proporcionar una visión original a la hora de obtener los resultados de su trabajo y poder entenderlos mejor, mediante el uso de representaciones gráficas como tablas o escenas 3D totalmente manejables y manipulables. Todo esto es posible sin la necesidad de instalar nada más allá de un navegador compatible con HTML5. Entre las mejoras añadidas están la inclusión de dos nuevas representaciones (tablas asociativas y escenas tridimensionales), la capacidad de anidar complejas estructuras de datos y la capacidad de poder manipular las estructuras de una forma sencilla mediante el uso de conocidos elementos como son los menús contextuales, además de otras mejoras que quizás no son tan llamativas, pero no por ello menos importantes, como la incorporación de funcionalidades relacionadas con los backreferences. Todo esto podemos verlo en detalle en la memoria del proyecto.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

El filme de vanguardia mudo y los nuevos medios digitales del siglo XXI: autores principales, estructuras plásticas complejas y estrategias creativas

El origen y naturaleza de la investigación refieren al filme de vanguardia mudo como forma plástica y recurso técnico adjunto a los nuevos medios mecánicos de principios del siglo veinte – léase, fotografía, fotomontaje, cine, impresión offset - y sus correspondencias creativas y metodológicas con la vanguardia del software informático y nuevos medios digitales. En este sentido, la propuesta conceptual y formal señala este campo de correspondencias y combinatorias como plataforma de análisis crítico y proyectual, antes que un sistema homogéneo de interpretación y sistematización del ámbito de interés. El filme de vanguardia deriva de las mediaciones sociales, científicas y políticas de las vanguardias artísticas en arte, diseño y arquitectura de las primeras décadas de la era industrial. A este respecto, los filmes seleccionados se realizaron durante el período mudo; es decir, no hay diálogos ni banda sonora incorporada al material fílmico. Sin embargo, en estricto rigor, tampoco es correcto identificarlos a tábula rasa con la denominada estética muda; puesto que esta obra refiere otra interfaz, otro vector y botón de búsqueda de los pioneros de la nueva visión mecánica...