Tesis doctorales defendidas en el departamento

Romero Contreras, Elena. TÉCNICAS DE INTELIGENCIA ARTIFICIAL EXPLICABLE PARA MODELADO BASADO EN AGENTES

Aviles Lopez, Richard. CAUSAL ANALYSIS OF OBSERVATIONAL STUDIES: INDUSTRIAL APPLICATION

Argente Del Castillo Garrido, Alberto. DESARROLLO DE MODELOS DE INTELIGENCIA ARTIFICIAL INTERPRETABLES EN APRENDIZAJE FEDERADO: FUSIÓN DE ÁRBOLES DE DECISIÓN

Herrera Granda, Erick Patricio. RECONSTRUCCIÓN 3D DE ESCENARIOS EN TIEMPO REAL A PARTIR DE CÁMARAS DE TIPO MONOCULAR EMPLEANDO TÉCNICAS INTELIGENCIA ARTIFICIAL.

Valera Aranguren, Ramón Antonio. PROCESO DE DESARROLLO DE EXPERIENCIAS DE JUEGO SOCIALES PERVASIVAS (LA EXPANSIÓN SOCIAL DEL JUEGO)

Salazar Cardona, Johnny Alexander. PROCESO DE EVALUACIÓN DE EXPERIENCIAS DE JUEGO Y DIVERSIÓN EN ADULTOS MAYORES QUE INVOLUCRE PERVASIVIDAD PARA FOMENTAR EL ENVEJECIMIENTO ACTIVO

Torres Carazo, María Isabel. SISTEMA DE RECOMENDACIÓN DE APLICACIONES MÓVILES ACCESIBLES PARA PERSONAS CON NECESIDADES ESPECIALES: DISCAPACIDAD VISUAL

Alpala Alpala, Luis Omar. DISEÑO DE SISTEMAS INTELIGENTES DE REALIDAD VIRTUAL PARA LA MONITORIZACIÓN DE ENTORNOS EN SMART FACTORY.

Guerrero Ulloa, Gleiston Cicerón. METODOLOGÍA DE DESARROLLO ITERATIVO GUIADO POR PRUEBAS PARA SISTEMAS BASADOS EN IOT / ITERATIVE TEST-DRIVEN DEVELOPMENT METHODOLOGY FOR IOT-BASED SYSTEMS

García Lira, Keidy. ANÁLISIS DE LA COMUNICACIÓN VIRTUAL Y LA SATISFACCIÓN DEL ALUMNADO EN EDUCACIÓN SUPERIOR AL APLICAR METODOLOGÍAS FLIPPED CLASSROOM COMBINADAS CON M-LEARNING

Kraus, Matthias Peter. USER-CENTRED PROACTIVE DIALOGUE MODELLING FOR TRUSTWORTHY CONVERSATIONAL ASSISTANTS

García Moreno, Francisco Manuel. DISEÑO DE UN SISTEMA BASADO EN TECNOLOGÍAS MÓVILES, WEARABLES Y ANÁLISIS DE DATOS PARA PROMOVER EL ENVEJECIMIENTO ACTIVO EN MAYORES

López Escudero, Luis. SISTEMAS INTERPRETADOS EN GPUS: APLICACIONES EN PATRIMONIO HISTÓRICO Y VISUALIZACIÓN EXPRESIVA

Perez Macasaet, Ray James. REQUIREMENTS ELICITATION AND ANALYSIS FOR MICRO-BUSINESSES BASED ON REQUIREMENTS PATTERNS

Balderas Díaz, Sara. ASTREA FRAMEWORK: DEVELOPMENT OF ADAPTIVE MONITORING SYSTEMS FOR DYNAMIC AND MOBILE ENVIRONMENTS

López Campos, Miguel. GENERACIÓN AUTOMÁTICA DE SÍNTESIS DE OPINIONES. MINERÍA DE DATOS DESCRIPTIVA APLICADA AL PROCESAMIENTO DEL LENGUAJE NATURAL

Al-Rabai'ah, Hazem Abdelkarim Mahmoud. AGILE BEESWAX: AGILE DEVELOPMENT METHODOLOGY FOR MOBILE APPLICATIONS

Benítez Martínez, Francisco Luis. UN MODELO DE GOBERNABILIDAD PARA PROCESOS DE EDEMOCRACIA BASADOS EN UNA RED NEURONAL DE BLOCKCHAIN

Herrera Nieves, Liliana Beatriz. EVALUACIÓN DE LA USABILIDAD DE MOODLE. AMBIENTES EDUCATIVOS VIRTUALES INCLUSIVOS BAJO EL DISEÑO UNIVERSAL DE APRENDIZAJE

Arango López, Jeferson. GEOPGD: METODOLOGÍA PARA LA IMPLEMENTACIÓN DE JUEGOS PERVASIVOS GEORREFERENCIADOS APOYADOS EN LINKED OPEN DATA

Romero Mariño, Brunil Dalila. UNA PROPUESTA METODOLÓGICA PARA GARANTIZAR LA USABILIDAD Y ACCESIBILIDAD EN EL ECRM CENTRADA EN PERSONAS CON DISCAPACIDADES Y ADULTOS MAYORES.

Pico Valencia, Pablo Antonio. HACIA EL INTERNET DE LOS AGENTES: UN MODELO SEMÁNTICO PARA AGENTIFICAR ECOSITEMAS DE INTERNET DE LAS COSAS

Ramos Ontiveros, Beatriz. BITEPRINT: RECONOCIMIENTO SEMIAUTOMÁTICO DE MARCAS DENTALES Y COMPARACIÓN CON MOLDES 3D

Gutiérrez Guerrero, José Miguel. DESARROLLO DE SISTEMAS SOFTWARE INDUSTRIALES DIRIGIDO POR MODELOS: APLICACIÓN A OPC UA Y IEC 61131-3

Guerrero Contreras, Gabriel José. PROTEO: A SELF-ADAPTIVE SOFTWARE ARCHITECTURE TO SUPPORT QUALITY ATTRIBUTES IN UBIQUITOUS SYSTEMS

Pomboza Junez, Washington Gonzalo. CONTROL Y SUPERVISIÓN AVANZADA DE SISTEMAS DE CONTROL BASADO EN LA UTILIZACIÓN DE INTERFACES NATURALES DE USUARIO DE TIPO GESTUAL (INU-G).

Anzures García, Mario. UN ENFOQUE METODOLÓGICO SEMÁNTICO BASADO EN UN MODELO ARQUITECTÓNICO PARA EL DESARROLLO DE GROUPWARE

Prieto De Lope, Rafael Ángel. METODOLOGÍA DE DESARROLLO PARA VIDEOJUEGOS EDUCATIVOS BASADA EN NOTACIONES GRÁFICAS.

Aguilera Garcia, Angel Inocencio. INTERACCIÓN HÁPTICA EN TIEMPO REAL CON MODELOS GRÁFICOS DE ALTA RESOLUCIÓN

Rodríguez Aguilera, Alejandro Jose. MÉTODOS GPGPU PARA SIMULACIÓN Y VISUALIZACIÓN DE MODELOS VOLUMÉTRICOS INTERACTIVOS

Muros Cobos, Jesus Luis. SISTEMAS DE LABORATORIOS REMOTOS SOBRE INSTRUMENTACIÓN DE TIEMPO REAL: APLICACIÓN A LABORATORIOS DE MEDIDA DE TENSIÓN INTERFACIAL

Rico Ortega, Antonio. MULTI-TENANCY MULTI-TARGET (MT2): AN EXTENSION TO CLOUD MULTI-TENANT ARCHITECTURES FOR MULTI-SERVICE SUPPORT IN SAAS ENTERPRISE INFORMATION SYSTEMS

Cid López, Andrés. DESARROLLO DE UN MODELO MULTI-CRITERIO LINGÜÍSTICO DE TOMA DE DECISIONES PARA MEDIR LA CALIDAD DEL SERVICIO EN LAS TIC DESDE UNA VISIÓN DEL USUARIO. APLICACIÓN PRÁCTICA A LA EVALUACIÓN DE LAS TIC EN

Conde Rodriguez, Francisco De Asis. MODELADO DE SÓLIDOS HETEROGÉNEOS MEDIANTE HIPERPARCHES

Rodriguez Valenzuela, Sandra Sheila. PLATAFORMA DE SERVICIOS SEMÁNTICOS SENSIBLES AL CONTEXTO PARA SISTEMAS DE INTELIGENCIA AMBIENTAL

Alsaafin, Wael Hasan Abdallah. IMAGE SUPER RESOLUTION USING COMPRESSED SENSING OBSERVATIONS

Espin Martin, Vanessa. SISTEMAS DE RECOMENDACIÓN SEMÁNTICOS PARA LA COMPARTICIÓN DE CONOCIMIENTO Y LA EXPLOTACIÓN DE TESAUROS: UN ENFOQUE PRÁCTICO EN EL ÁMBITO DE LOS SISTEMAS NUTRICIONALES

Ruiz Zafra, Angel. E-MODE: A FRAMEWORK TO SUPPORT THE DEVELOPEMENT OF MOBILE TELEMONITORING PLATFORMS

Vazquez Rodriguez, Romel. NUEVOS MÉTODOS PARA EL PROCESAMIENTO Y ANÁLISIS DE INFORMACIÓN GEOGRÁFICA

Rodríguez Domínguez, Carlos. MUSYC: A MODEL-DRIVEN METHODOLOGY TO DEVELOP UBIQUITOUS SYSTEMS

Ruiz Lopez, Tomas. UN ENFOQUE DIRIGIDO POR MODELOS PARA EL DESARROLLO DE SERVICIOS PARA SISTEMAS UBICUOS BASADO EN PROPIEDADES DE CALIDAD

De La Asuncion Hernandez, Marc. DESARROLLO DE SOFTWARE NUMERICO DE SIMULACION DE FLUJOS GEOFISICOS BASADO EN VOLUMENES FINITOS USANDO HARDWARE GRAFICO

Bermudez Edo, Maria Del Campo. UNA APROXIMACIÓN AL ANÁLISIS DE LA INNOVACIÓN Y LOS PROCESOS DE GESTIÓN MEDIOAMBIENTAL: GESTIÓN DE PATENTES BASADAS EN ONTOLOGÍAS Y ESTUDIO DE WEBS CORPORATIVAS

Rodriguez Prados, Francisco Joaquin. DEFORMACIÓN DE MODELOS ELASTOPLÁSTICOS MEDIANTE INTERACCIÓN HÁPTICA

Fernandez Lopez, Alvaro. SISTEMAS DE MOBILE LEARNING PARA ALUMNADO CON NECESIDADES ESPECIALES

Navarro Galindo, Jose Luis. SISTEMA SEMÁNTICO DE GESTIÓN DE CONTENIDO (S-CMS)

Molina Ortiz, Fernando. JSEM-HP UNA HERRAMIENTA PARA EL DESARROLLO DE SISTEMAS HIPERMEDIA ADAPTATIVOS Y EVOLUTIVOS

Figueroa Martinez, Jose. INTEGRACIÓN DE LOS REQUERIMIENTOS DE CONCIENCIA SITUACIONAL Y GRUPAL AL DESARROLLO DE SISTEMAS COLABORATIVOS Y DINÁMICOS USANDO UN ENFOQUE BASADO EN MODELOS

Ibrahim, Amer. METODOLOGIA DE DESARROLLO DE VIDEOJUEGOS EDUCATIVOS CENTRADA EN EL JUGADOR

Villena Morales, Salvador. SUPERRESOLUCION Y RECONSTRUCCION BAYESIANA DE IMAGENES A PARTIR DE IMAGENES DE BAJA RESOLUCION ROTADAS Y DESPLAZADAS. COMBINACION DE MODELOS

Padilla Zea, Natalia. METODOLOGIA PARA EL DISEÑO DE VIDEOJUEGOS EDUCATIVOS SOBRE UNA ARQUITECTURA PARA EL ANALISIS DEL APRENDIZAJE COLABORATIVO

Mendoza Morales, Luis Eduardo. HERRAMIENTAS METODOLOGICAS PARA EL DISEÑO Y LA VERIFICACION COMPOSICIONAL DE SISTEMAS DE TIEMPO REAL

Gonzalez Sanchez, Jose Luis. JUGABILIDAD. CARACTERIZACIÓN DE LA EXPERIENCIA DEL JUGADOR EN VIDEOJUEGOS

Noguera Garcia, Manuel. MODELADO Y ANALISIS DE SISTEMAS CSCW SIGUIENDO UN ENFOQUE DE INGINIERIA DIRIGIDA POR ONTOLOGIAS

Leon Salas, Alejandro Jose. IDDG-OCTREE. UNA REPRESENTACIÓN HÍBRIDA PARA LA VISUALIZACIÓN Y MANIPULACIÓN DE VOLÚMENES

Benghazi Akhlaki, Kawtar. MEDISTAM-RT: METODOLOGÍA DE DISEÑO Y ANÁLISIS DE SISTEMAS DE TIEMPO REAL

Garcia Hernandez, Ruben Jesus. ESTUDIO Y DESARROLLO DE TÉCNICAS INTERACTIVAS DE ILUMINACIÓN GLOBAL

Melero Rus, Francisco Javier. BP-OCTREE: UNA ESTRUCTURA JERARQUICA DE VOLUMENES ENVOLVENTES

Yeguas Bolivar, Enrique. UN MODELO DE RENDIMIENTO DE ALGORITMOS EVOLUTIVOS APLICADOS A LA SELECCIÓN DE LA SOLUCIÓN DESEADA

Isla Montes, Jose Luis. MODELADO CONCEPTUAL DE SISTEMAS COOPERATIVOS EN BASE A PATRONES EN AMENITIES

Callejas Carrion, Zoraida. DESAROLLO DE SISTEMAS DE DIÁLOGO ORAL ADAPTATIVOS Y PORTABLES: RECONOCIMIENTO DE EMOCIONES, ADAPTACIÓN AL IDIOMA Y EVALUACIÓN DE CAMPO

Garcia Fernandez, Angel Luis. MODELOADO DE SOLIDOS DE FORMA LIBRE BASADO EN SUPERFICIES PARAMETRICAS TRIANGULARES DE GRADO BAJO

Montes Soldado, Rosa Ana. UN ALGORITMO DE MUESTREO POR IMPORTANCIAS PARA BRDFS ARBITRARIAS APLICADO A TÉCNICAS DE ILUMINACIÓN GLOBAL

Santamaria Lopez, Jose. SCATTER SEARCH PARA EL REGISTRADO DE IMÁGENES 3D: APLICACIÓN EN ANTROPOLOGÍA FORENSE

Jimenez Delgado, Juan Jose. DETECCIÓN DE COLISIONES MEDIANTE RECUBRIMIENTOS SIMPLICIALES

Montejo Raez, Arturo. AUTOMATIC TEXT CATEGORISATION OF DOCUMENTS IN THE ENERGY PHYSICS DOMAIN

Arroyo Moreno, German. VISUALIZACIÓN EXPRESIVA DE VOLÚMENES

Araque Cuenca, Francisco. DEFINICION DEL MODELO Y ESQUEMA DEL ALMACEN DE DATOS EN FUNCION DE LAS CARACTERISTICAS TEMPORALES DE LOS SISTEMAS OPERACIONALES COMPONENTES.

Ogayar Anguita, Carlos Javier. OPTIMIZACIÓN DE ALGORITMOS GEOMÉTRICOS BÁSICOS MEDIANTE EL USO DE RECUBRIMIENTOS SIMPLICIALES

Itmazi, Jamil Ahmad Salem. SISTEMA FLEXIBLE DE GESTION DEL E-LEARNING PARA SOPORTAR EL APRENDIZAJE EN LAS UNIVERSIDADES TRADICIONALES Y ABIERTAS

Rossainz Lopez, Mario. UNA METODOLOGIA DE PROGRAMACION BASADA EN COMPOSICIONES PARALELAS DE ALTO NIVEL (CPAN'S)

Medina Medina, Nuria. UN MODELO DE ADAPTACIÓN INTEGRAL Y EVOLUTIVO PARA SISTEMAS HIPERMEDIA. EL SISTEMA DE APRENDIZAJE DE SEM-HP

Delgado Negrete, Cecilia. EVOLUCION DE ESQUEMAS EN BASES DE DATOS ODMG

Lastra Leidinger, Miguel. METODOS ESTOCASTICOS DE SINTESIS DE IMAGENES PARA ENTORNOS COMPLEJOS

Cano Olivares, Pedro. SP-OCTREE REPRESENTACION JERARQUICA DE SOLIDOS POLIEDRICOS

Mantas Ruiz, Jose Miguel. DESARROLLO BASADO EN COMPONENTES DE RESOLUTORES DE ECUACIONES DIFERENCIALES PARA MULTICOMPUTADORES

Rodriguez Almendros, Maria Luisa. APROXIMACION METODOLOGICA FORMAL PARA DISEÑO Y DESARROLLO DE SISTEMAS INTERACTIVOS BASADOS EN EL ESTILO DE MANIPULACION DIRECTA

Hurtado Torres, Maria Visitacion. UN MODELO DE INTEGRACION EVOLUTIVO ENTRE SISTEMAS DE INFORMACION Y SISTEMAS DE AYUDA A LA DECISION

Velasco Anguita, Francisco. REPRESENTACION Y VISUALIZACION DE DATOS VOLUMETRICOS

Hornos Barranco, Miguel Juan. DESDE ESPECIFICACIONES LOGICAS DE INTERVALOS A AUTOMATAS DE PROPIEDAD: UNA CONSTRUCCION TABLEAU PARA SU APLICACION EN COMPROBACION DE MODELOS ON-THE-FLY

Paderewski Rodriguez, Patricia. UN MODELO ARQUITECTONICO EVOLUTIVO PARA SISTEMAS SOFTWARE BASADOS EN AGENTES

Rivero Cejudo, M.linarejos. ALGORITMOS PARA LAS OPERACIONES BOOLEANAS EN 2D Y 3D, BAJO UN SISTEMA DE REPRESENTACION FORMAL

Garrido Bullejos, Jose Luis. AMENITIES: UNA METODOLOGIA PARA EL DESARROLLO DE SISTEMAS COOPERATIVOS BASADA EN MODELOS DE COMPORTAMIENTO Y TAREAS

Garcia Cabrera, Lina Guadalupe. SEM-HP: UN MODELO SISTEMICO, EVOLUTIVO Y SEMANTICO PARA EL DESARROLLO DE SISTEMAS HEPERMEDIA

Revelles Moreno, Jorge. FORMALIZACION Y EVALUACION DE METODOS DE OPTIMIZACION PARA SINTESIS DE IMAGENES

Lopez Fernandez, Antonio E... RECONSTRUCCION BAYESIANA DE IMAGENES SPECT USANDO MODELOS DE GAUSS MARKOV. ESTIMACION DE PARAMETROS

Gutierrez Vela, Francisco Luis. ESPECIFICACION FORMAL DE SISTEMAS INTERACTIVOS

Torres Carbonell, Juan Jesus. EVOLUCION DE SISTEMAS SOFTWARE. APLICACIÓN DE MODELOS BIOLÓGICOS A LA CONCEPCIÓN EVOLUTIVA DE SISTEMAS SOFTWARE

Ruiz De Miras, Juan. MODELADO DE SOLIDOS DE FORMA LIBRE

Ureña Lopez, Luis Alfonso.. RESOLUCION DE LA AMBIGUEDAD LEXICA EN TAREAS DE CLASIFICACION AUTOMATICA DE DOCUMENTOS

Segura Sanchez, Rafael Jesus. MODELADO DE SOLIDOS MEDIANTE RECUBRIMIENTO SIMPLICIALES

Rodriguez Fortiz, Maria Jose. EVOLUCION DEL SOFTWARE: UNA FORMALIZACION BASADA EN LOGICA TEMPORAL DE PREDICADOS Y REDES DE PETRI COLOREADAS

Martin Perandres, Domingo. ALHAMBRA: UN MODELO PARA LA PRODUCCION DE ANIMACION BIDIMENSIONAL