Supervised theses (323) Theses supervised by Faculty members

2022

  1. Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs

    MERAYO CORCOBA, ALICIA

    Supervised by ELVIRA MARÍA ALBERT ALBIOL
  2. Análisis estático de tipos para lenguajes de tipado dinámico

    SUÁREZ GARCÍA, GORKA

    Supervised by MANUEL MONTENEGRO MONTES y FRANCISCO JAVIER LÓPEZ FRAGUAS
  3. Aportaciones al modelado computacional de trastornos emocionales mediante fuentes de información alternativas

    LLAMOCCA PORTELLA, PAVÉL HAROLD

    Supervised by MARÍA VICTORIA LÓPEZ LÓPEZ y MATILDE SANTOS PEÑAS
  4. Applications of Information Theory and Artificial Intelligence to Software Testing

    IBIAS MARTINEZ, ALFREDO

    Supervised by MANUEL NÚÑEZ GARCÍA
  5. Blockchain para la gobernanza de comunidades de producción colaborativa de bienes comunes: Blockchain for the governance of commons based peer production communities

    TENORIO FORNÉS, ÁMBAR

    Supervised by JUAN LUIS PAVÓN MESTRAS y SAMER HASSAN COLLADO
  6. Contribuciones a la rehabilitación cognitiva de pacientes con enfermedades neurodegenerativas por medio de realidad virtual y dispositivos de bajo coste

    Varela Aldás, José Luis

    Supervised by IVÁN GARCÍA-MAGARIÑO GARCÍA
  7. Contribuciones en la creación y aplicabilidad de juegos serios (serious games) en el ámbito del geoposicionamiento

    PEREZ COLADO, VICTOR MANUEL

    Supervised by BALTASAR FERNÁNDEZ MANJÓN y IVÁN MARTÍNEZ ORTIZ
  8. Design, Implementation, and Characterization of Custom RISC-V Soft-Core Processors for Future Communication Networks

    KUO, YAO-MING

    Supervised by FRANCISCO MIGUEL GARCÍA HERRERO
  9. Model checking of strategy-controlled systems in rewriting logic

    Rubio Cuéllar, Rubén Rafael

    Supervised by JOSÉ ALBERTO VERDEJO LÓPEZ, MARÍA ISABEL PITA ANDREU y NARCISO MARTÍ OLIET
  10. Scalable outlier detection methods for functional data

    Ojo, Oluwasegun Taiwo

    Supervised by ROSA ELVIRA LILLO RODRÍGUEZ
  11. Sistemas de recomendación y explicaciones basados en grafos de interacción

    Caro Martinez, Marta

    Supervised by JUAN ANTONIO RECIO GARCÍA y GUILLERMO JIMÉNEZ DÍAZ
  12. Studies on genetic programming techniques for the short and medium term predictions of the interstitial glucose of diabetic patients

    CONTADOR PACHÓN, SERGIO

    Supervised by JOSÉ IGNACIO HIDALGO PÉREZ y JOSÉ MANUEL VELASCO CABO
  13. Una metodología de ajuste dinámico de dificultad en videojuegos.: Entre Rubber Band AI y la teoría de flow

    LORA ARIZA, DIANA SOFÍA

    Supervised by ANTONIO ALEJANDRO SÁNCHEZ RUIZ-GRANADOS
  14. Videojuegos y realidades extendidas para el aumento del interés de los jóvenes por la danza y el teatro

    ROMERO HERNÁNDEZ, ALEJANDRO

    Supervised by JOSÉ BORJA MANERO IGLESIAS y PABLO GERVÁS GÓMEZ-NAVARRO

2021

  1. Análisis de la asociación entre dominancia o prevalencia ocular y miopía en jóvenes adultos

    González Montero, Guadalupe

    Supervised by AMALIA LORENTE VELÁZQUEZ y MARÍA GUIJARRO MATA-GARCÍA
  2. Composición en lógica de reescritura

    Martín Sánchez, Óscar

    Supervised by NARCISO MARTÍ OLIET y JOSÉ ALBERTO VERDEJO LÓPEZ
  3. Contention-aware scheduling and resource management for emerging multicore architectures

    García García, Adrián

    Supervised by MANUEL PRIETO MATÍAS y JUAN CARLOS SÁEZ ALCAIDE
  4. Desarrollo y optimización de aplicaciones de computación en la nube para el análisis bioinformático de datos de secuenciación masiva (rna-seq y rad-seq) de especies forestales leñosas

    Mora Márquez, Fernando

    Supervised by JOSÉ LUIS VÁZQUEZ POLETTI
  5. Diseño de un sistema ciberfisico aplicado al ámbito de la salud

    González Landero, Franks Edison

    Supervised by IVÁN GARCÍA-MAGARIÑO GARCÍA