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.

Sensor IoT para monitorización de consumo de energía en continua

Hoy en día la mayor parte de los sensores de energía IoT (Internet of Things) están orientados a la medida de corriente alterna (AC). No son aptos para monitorizar equipos que no estén conectados a la red eléctrica (baterías, paneles fotovoltaicos, etc.) o que formen parte de otros equipos más grandes y que estén situados detrás del transformador (ej. aceleradores de cómputo en supercomputadores). El presente trabajo tiene como objetivo principal construir un sistema, con una instalación sencilla y reducida, que permita la monitorización de consumo de dispositivos conectados a corriente continua. Toda la información recogida será mostrada a través de una interfaz web, que nos permitirá observar los cambios en el consumo en tiempo real con un intervalo de actualización especificado por el usuario. Además el sistema será robusto, con bajo coste de implementación y permitirá una alta escalabilidad, ya que el objetivo del proyecto es que sea escalable a nivel de centro de datos o institución.

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.

Monitorización de los principales patógenos de las abejas para la detección de alertas y riesgos sanitarios

Las abejas, principalmente la especie Apis mellifera, desarrollan una función biológica muy importante puesto que se encargan de polinizar diversos cultivos agrícolas y la flora silvestre de todo el mundo. No obstante, existen numerosos factores que influyen en el estado sanitario de las colonias de abejas y presentan además un alto grado de interacciones entre ellos. Algunos de los potenciales riesgos para la apicultura española ya han sido identificados, como por ejemplo las dos especies de microsporidios, Nosema apis y N. ceranae, que actúan como parásitos intracelulares obligados o los ectoparásitos Varroa destructor, Acarapis woodi o Braula coeca; así como numerosos virus capaces de infectar a Apis melífera, de los cuales los principales son el virus de las alas deformadas (DWV), el virus de las realeras negras (BQCV), el virus Kashmir (KBV), el virus de la parálisis aguda (ABPV) y su variante israelí (IAPV). Otras enfermedades que afectan fundamentalmente a la cría de abejas son la loque americana y la loque europea, ambas de origen bacteriano (Paenibacillus larvae y Melissococcus plutonius respectivamente), así como la ascosferosis causada por el hongo Ascosphaera apis. Otro riesgo potencial para las abejas es la posible entrada de agentes exóticos como el coleóptero Aethina tumida o el ácaro Tropilaelaps clareae cuya presencia en Europa debe ser declarada según la OIE (2015). Recientemente se ha incluido a los neogregarinos y tripanosomátidos como posibles agentes patógenos. Actualmente, N. ceranae junto con V. destructor son los principales agentes patógenos que producen problemas sanitarios de las colonias de abejas en Europa. Además, se considera que los patógenos podrían jugar un papel primordial en el incremento de mortalidad de las abejas detectado en distintos países durante los últimos años...

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...