Tesis realizadas
Las tesis se publican en el Archivo Institucional E-Prints Complutense de la Biblioteca de la UCM.
Años
| 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 |
2017
- Modelo de conciencia situacional para el análisis de datos en redes móviles 5G: Arquitectura SELFNET
Lorena Isabel Barona López - Mejorando la extracción automática de relaciones biomédicas usando diferentes características lingüísticas de los textos
Behrouz Bokharaeian - Modelando la variabilidad: Métodos formales para la representación de líneas de productos software
Carlos Delfín Camacho González - Técnicas de visión por computador para la identificación del verdor y la detección de obstáculos en campos de maíz
Yerania Campos Silvestre - Una aproximación dirigida por modelos para la caracterización de la capa de presentación web de aplicaciones empresariales
Humberto Javier Cortés Benavides - Traduciendo OCL como lenguaje de consultas y restricciones
Carolina Dania Flores - Métodos de visión por computador para detección automática de líneas de cultivo curvas/rectas y malas hierbas en campos de maíz
Iván Danilo García Santillán - Gestión de colecciones digitales con esquemas de catalogación reconfigurables
Joaquín Gayoso Cabada - Análisis de la distribución de las interacciones en la web
Manuel Jesús Gómez Zotano - Desarrollo de algoritmos eficientes para identificación de usuarios en accesos informáticos
César Byron Guevara Maldonado - Gestión de jerarquías de memoria híbridas a nivel de sistema
Manu Perumkunnil Komalan - Más allá del prototipado rápido: automatización robótica de impresión 3D para la construcción
Adolfo Nadal Serrano - Modelado de sistemas de inversión mediante lógica borrosa como soporte a la toma de decisiones en mercados bursátiles
Rodrigo Naranjo Mota - Aplicaciones de técnicas de aprendizaje automático supervisables por el diseñador al desarrollo de agentes inteligentes en videojuegos
Ismael Sagredo Olivenza - Mejorando la evaluación de juegos serios mediante el uso de analíticas de aprendizaje
Ángel Serrano Laguna - Arquitectura, técnicas y modelos para posibilitar la ciencia de datos en el archivo de la misión Gaia
Daniel Tapiador de Pedro - Monitorización y descubrimiento para la gestión de redes auto-organizativas virtualizadas y definidas por software
Ángel Leonardo Valdivieso Caraguay
2016
- Verificación de extensiones de redes de Petri con precios, tiempo y múltiples instancias
María Rosa Martos Salgado - Optimización de la factorización de matrices no negativas en Bioinformática
Edgardo Manuel Mejía Roa - Confianza de grupo en sistemas distribuidos y sus relaciones con la seguridad de la información y la ciberseguridad
Robson de Oliveira Albuquerque - Herramientas educativas para facilitar la adopción de la ingeniería de lenguajes software entre los desarrolladores informáticos
Daniel Rodríguez Cerezo - Mecanismos de gestión de escrituras en sistemas con tecnologías de memoria no volátiles
Roberto Alonso Rodríguez Rodríguez - Más sobre equivalencias lógicas y distancias entre procesos
David Romero Hernández - Paralelización y mejora del proceso de conformación de haz en sistemas de apertura sintética para la generación de imagen ultrasónica en tiempo real
David Romero Laorden - Planificación multinivel eficiente con aprovisionamiento dinámico en grids y clouds
Antonio Juan Rubio Montero - Nuevos ataques estadísticos de revelación de identidades en redes de comunicaciones anónimas
Alejandra Guadalupe Silva Trujillo - Optimización de la ejecución de aplicaciones en entornos heterogéneos de computación de altas prestaciones
Richard Michael Wallace
2015
- Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación
Gabriel Aranda López - Técnicas de identificación de la fuente de adquisición en imágenes digitales de dispositivos móviles
David Manuel Arenas González - Un modelo computacional para la simplificación automática de expresiones numéricas
Susana Bautista Blasco - Computación emergente y auto-organización aplicada al diseño de algoritmos bio-inspirados de búsqueda heurística
José María Benítez Escario - Sistematización del desarrollo de simulaciones educativas con estrategia de juego en el campo médico
Blanca Beatriz Borro Escribano - Planificación y supervisión de flotas de robots autónomos en tareas agrícolas
Jesús Conesa Muñoz - Percepción basada en visión estereoscópica, planificación de trayectorias y estrategias de navegación para eploración robótica autónoma
Raúl Correal Tezanos - Arquitectura de un sistema multi-agente para el soporte de la anotación funcional (MASSA: Multi-Agent System to Support functional Annotation)
Daniela Dias Xavier - Microplanificación de asignación tardía y caché distribuidas para flujos de trabajo intensivos en datos
Antonio Delgado Peris - Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP
Sonia Estévez Martín - Desarrollo dirigido por modelos para la simulación de tráfico rodado basada en agentes
Alberto Fernández Isabel - Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información
Miguel Ángel García de Dios - Sistema de visión para agricultura de precisión: identificación en tiempo real de líneas de cultivo y malas hierbas en campos de maíz
José Miguel Guerrero Hernández - Métodos basados en aprendizaje automático para el estudio del metabolismo y su efecto en el comportamiento de sistemas biológicos
Clara Higuera Cabañes - Aplicación de métodos de aprendizaje automático para el estudio de la comorbilidad inversa entre cáncer y trastornos del sistema nervioso central
Kristina Ibáñez Garikano - Técnicas de gestión de infraestructuras virtuales en entornos multi-cloud
José Luis Lucas Simarro - Del teatro clásico a los videojuegos educativos
Borja Manero Iglesias - Semántica de simulación para relaciones de conformidad
Rafael Martínez Torres - Técnicas de visión artificial para la segmentación y detección de líneas de cultivo en imágenes agrícolas
Martín Montalvo Martínez - Aplicación de algoritmos metaheurísticos en procesamiento de señales, imágenes y en energías alternativas
Diego Alberto Oliva Navarro - Emplazamiento de objetos de datos dinámicos sobre organizaciones de memoria heterogéneas en sistemas empotrados
Miguel Peón Quirós - Impacto de los factores y organizadores sociales en los procesos de recomendación para grupos
Lara Quijano Sánchez - Segmentación automática de texturas en imágenes agrícolas
María Isabel Ríomoros Callejo - Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
Lidia Sánchez Gil - Un enfoque metalingüístico al procesamiento de documentos XML
Bryan Jesús Temprado Battad - Desarrollo de solvers CFD híbridos en plataformas heterogéneas
Pedro Valero Lara - Diseño y validación de políticas de transmisión de datos en redes inalámbricas de sensores de bajo consumo
Mónica Ayde Vallejo Velasquez
2014
- De programas abstractos a cotas asintóticas precisas en forma cerrada
Diego Esteban Alonso Blas - Aplicación de estándares de e-learning para la integración de videojuegos educativos en el flujo de enseñanza
Ángel del Blanco Aguado - Mejora de la eficiencia de resolución del sistema TOY(FD) y su aplicación a problemas reales de la industria
Ignacio Castiñeiras Pérez - Operando en el mercado de valores: Análisis financieros híbridos y computación evolutiva
Iván Contreras Fernández-Dávila - Contribuciones a la configuración de flotas de robots para agricultura de precisión
Luis Alfredo Emmi Pizzela - Arquitectura de pizarras distribuidas para sistemas de inteligencia ambiental
José María Fernández de Alba López de Pablo - Técnicas de detección y diagnosis de errores en consultas de bases de datos
Yolanda García Ruiz - Aceleración de técnicas de ajuste de bloques mediante el procesador Nios II
Diego González Rodríguez - Metodología ontológica para el desarrollo de videojuegos
David Llansó García - Algoritmos eficientes de búsqueda de códigos cíclicos y cíclicos acortados correctores de ráfagas múltiples de errores
Ana Lucila Sandoval Orozco - Aplicaciones de los algoritmos evolutivos al análisis de procesos económicos
Francisco José Soltero Domingo - Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing
Roberto Torres de Alba - Mejorando la accesibilidad de los serious games mediante herramientas de autoría
Francisco Javier Torrente Vigil
2013
- Heurísticas bioinspiradas para el problema de floorplanning 3D térmico de dispositivos MPSoCs
Ignacio Arnaldo Lucas - Análisis e implementación de técnicas hardware para organizaciones de la memoria de instrucciones de bajo consumo
Antonio Artés García - Aceleración de algoritmos bioinspirados para estimación de movimiento en hardware paralelo
Fermín Ayuso Márquez - Búsqueda por similitud en espacios métricos sobre plataformas paralelas multi-core y multi-GPU
Ricardo Javier Barrientos Rojel - Técnicas de diseño para el control de la temperatura en arquitecturas multiprocesador en tres dimensiones
David Cuesta Gómez - Reconocimiento de patrones y aprendizaje automático en bases de datos de fusión nuclear
Gonzalo Alberto Farias Castro - Herramientas de asistencia al diseño de comportamientos inteligentes
Gonzalo Flórez Puga - Algoritmos eficientes de búsqueda de códigos cíclicos y cíclicos acortados correctores de ráfagas de errores
José René Fuentes Cortez - Síntesis de alto nivel guiada por gestión de patrones y descomposición de operaciones
Pedro Luis García Repetto - Gestión del acceso a memoria en sistemas de altas prestaciones
Rodrigo González Alberquilla - Técnicas de minería de datos para bases de datos masivas: una aplicación a los dispositivos de fusión JET Y TJ-II
Sergio González Sanz - Modelo computacional cognitivo de toma de decisiones basado en el conocimiento: Aplicación en la inferencia de explicaciones
Ángel Iglesias Sánchez - Búsqueda de objetivos móviles en tiempo mínimo sobre entornos con incertidumbre
Pablo Lanillos Pradas - Algoritmos meméticos paralelos para el problema de distribución de esfuerzo en sistemas multiagente dinámicos
David Millán Ruiz - Estrategias de recomendación basadas en conocimiento para la localización personalizada de recursos en repositorios educativos
Almudena Ruiz Iniesta - Protocolos de encaminamiento adaptativo para redes móviles ad hoc
Delfín Rupérez Cañas - Procesamiento de imágenes hiperespectrales en GPUs
Javier Setoain Rodrigo
2012
- Analyzing, enhancing, optimizing and applying dependency analysis
Miguel Ballesteros Martínez - Una técnica para la optimización de los parámetros de indicadores técnicos bursátiles mediante algoritmos evolutivos multi-objetivo
Diego José Bodas Sagi - Certificación formal de programas en un lenguaje funcional impaciente
Javier de Dios Castro - Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos
Ignacio Fábregas Alfaro - Caracterización y optimización térmica de sistemas en chip mediante emulación con FPGAs
Pablo García del Valle - Protocolo de autoconfiguración y encaminamiento seguro para redes móviles ad hoc
Julián García Matesanz - Generalizaciones de las medidas de especificidad y de la T-Transitividad para los conjuntos difusos intervalo valorados
Ramón González del Campo Rodríguez Barbero - Minería de texto aplicada a la bioinformática funcional
Mariana Lara Neves - Contribuciones a la autoría de juegos y simulaciones educativas basadas en un enfoque multidisciplinar
Eugenio Jorge Marchiori - Sistemas de tipos en lenguajes lógico-funcionales
Enrique Martín Martín - Diseño e implementación de un sistema de información de movilidad para redes heterogéneas
Fabio Mesquita Buiati - Dos aplicaciones de los métodos formales para el desarrollo y testing de sistemas complejos
Carlos Molinero Brizuela - Técnicas de diseño de redes inalámbricas de sensores corporales inteligentes y energéticamente eficientes
Francisco Javier Rincón Vallejos - Ejecución eficiente de códigos Monte Carlo en infraestructuras grid
Manuel Aurelio Rodríguez Pascual - Mecanismos de compensación de variabilidad en memorias a nivel de sistema
Concepción Sanz Pineda - Desarrollo de aplicaciones XML mediante herramientas de construcción de procesadores
Antonio Sarasa Cabezuelo - Arquitectura para el aprovisionamiento dinámico de recursos computacionales
Constantino Vázquez Blanco
2011
- Utilización de unidades funcionales especulativas en síntesis de alto nivel
Alberto Antonio Barrio García - Gestión eficiente de transacciones en máquinas de búsqueda para la web
Carolina Bonacic Castro - Un modelo lingüístico-semántico basado en emociones para la clasificación de textos según su polaridad e intensidad
Jorge Carrillo de Albornoz Cuadrado - Técnicas de planificación en entornos reconfigurables para aplicaciones multimedia
Juan Antonio Clemente Barreira - Un servidor híbrido adaptativo para difusión de información en entornos de comunicación asimétricos con restricciones temporales
Jesús Fernández Conde - Procesamiento a bordo de imágenes hiperespestrales de la superficie terrestre mediante hardware reconfigurable
Carlos González Calvo - Aplicación de técnicas de ingeniería de lenguajes al campo del modelado educativo
Iván Martínez Ortiz - Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura
Manuel Montenegro Montes - Uso de grafos semánticos en la generación automática de resúmenes y estudio de su aplicación en distintos dominios: Biomedicina, Periodismo y Turismo
Laura Plaza Morales - Depuración declarativa y verificación heterogénea en Maude
Adrián Riesco Rodríguez - Programación declarativa cualificada con restricciones
Carlos Alberto Romero Díaz - Planificación de procesos en sistemas multicore asimétricos
Juan Carlos Saez Alcaide
2010
- Testing activo y pasivo de sistemas con información temporal y probabilística
César Andrés Sánchez - Diseño, construcción y validación del sistema de adquisición de datos de las cámaras de deriva del experimento CMS
Cristina Fernández Bedoya - Desarrollo de nuevas metodologías para el ajuste de estructuras tridimensionales en biomoléculas sobre infraestructuras grid
José Ignacio Garzón Cañas - Modelado basado en agentes dirigido por datos: Simulando la España postmoderna
Samer Hassan Collado - Correspondencia estereoscópica en imágenes obtenidas con proyección omnidireccional para entornos forestales
Pedro Javier Herrera Caro - Estrategias de planificación en infraestructuras grid federadas
Katia Leal Algara - Un modelo computacional para la extracción automática de esquemas estructurales de tramas narrativas simples
Carlos León Aznar - Herramienta de simulación basada en agentes para la ayuda en la formación y configuración de equipos de trabajo
Juan Crisóforo Martínez Miranda - Desarrollo de una plataforma eficiente de análisis de datos en Bioinformática y Biología Computacional
Rubén Nogales Cadenas - Algoritmos heurísticos y aplicaciones a métodos formales
Pablo Manuel Rabanal Basalo - Programación con indeterminismo: un enfoque basado en reescritura
Juan Rodríguez Hortalá - Una aproximación ontológica al modelado de conocimiento en los dominios de planificación
Antonio Alejandro Sánchez Ruiz-Granados - Métodos y aplicaciones para el análisis funcional en Bioinformática
Miguel Vázquez García - Optimización de la gestión de memoria dinámica en Java
José Manuel Velasco Cabo
2009
- Construcción de recursos lingüísticos basados en ontologías con control de relaciones semánticas
Francisco José Álvarez Montero - Percepción y actuación para el tratamiento selectivo de malas hierbas en tiempo real
Xavier Paolo Burgos Artizzu - Marcos temporales y probabilísticos para testing formal
María de las Mercedes García Merayo - Un marco para la definición y transformación de modelos en los sistemas multi-agentes
Iván García-Magariño García - Transformación y análisis de código de bytes orientado a objetos
Miguel Gómez-Zamalloa Gil - Entendiendo las semánticas de procesos
Carlos Gregorio Rodríguez - Combinación de clasificadores para identificación de texturas en imágenes naturales: nuevas estrategias locales y globales
María Guijarro Mata-García - Expresiones de referencia y figuras retóricas para la distinción y descripción de entidades en discursos generados automáticamente
Raquel Hervás Ballesteros - Memorias cache adaptativas en procesadores SMT
Sonia López Alarcón - Reducción del consumo de potencia en unidades funcionales mediante cotejo de códigos de operación
Guadalupe Miñana Ropero - Técnicas para reducir la penalización en rendimiento y consumo debido a la reconfiguración dinámica
María Elena Pérez Ramo - Entorno para multitarea hardware en dispositivos reconfigurables con gestión dinámica de particiones y complejidad constante
Sara Román Navarro - Análisis de características en el modelo BST
José Ramón Sánchez Couso - Nucleo: un sistema para el aprendizaje virtual colaborativo escenificado a través de un juego de rol multi-jugador
Pilar Sancho Thomas - Técnicas de ubicación de tareas y defragmentación para multitarea hardware en sistemas dinámicamente reconfigurables
Jesús Tabero Godino - Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
Rafael del Vado Vírseda
2008
- Mecanismos para la gestión de accesos a memoria fuera de orden
Fernando Castro Rodríguez - Estudio e implementación de un simulador para evaluar el rendimiento de microarquitecturas asíncronas
José Manuel Colmenar Verdugo - Una semántica formal ejecutable para OCL con aplicaciones al análisis y a la validación de modelos
Marina Soledad Egea González - Formalizando el proceso de depuración en programación funcional paralela y perezosa
Alberto de la Encina Vara - Identificación automática del contenido afectivo de un texto y su papel en la presentación de información
Virginia Francisco Gilmartín - Modelo de enseñanza basada en casos: de los tutores inteligentes a los videojuegos
Pedro Pablo Gómez Martín - Arquitectura y metodología para el desarrollo de sistemas educativos basados en videojuegos
Marco Antonio Gómez Martín - COBBER: Un enfoque sistémico, afectivo y ontológico para el razonamiento basado en casos conversacional
Hector Gómez Gauchía - Modelo de programación para infraestructuras grid computacionales
José Herrera Sanz - Entornos virtuales basados en técnicas de aprendizaje activo para la enseñanza de la orientación a objetos
Guillermo Jiménez Díaz - Un armazón para el desarrollo de aplicaciones de narración automática basado en componentes ontológicos reutilizables
Federico Peinado Gil - Análisis y mejora de los métodos de expansión de consultas en recuperación de información
José Ramón Pérez Agüera - jCOLIBRI: Una plataforma multinivel para la construcción y generación de sistemas de razonamiento basado en casos
Juan Antonio Recio García - Técnicas de planificación de configuraciones y datos para la ejecución de aplicaciones dinámicas en sistemas reconfigurables multi-contexto
Fredy A. Rivera - Ejecución eficiente de flujos de trabajos computacionales en entornos grid
José Luis Vázquez Poletti
2007
- Estrategias para la explotación de paralelismo a nivel de palabra y SMT
Carlos García Sanchez - Asignación de datos y planificación de instrucciones en sistemas empotrados multitarea
José Ignacio Gómez Pérez - Nuevo sistema distribuido de control para aviónica: aspectos funcionales
Carlos Ceferino Insaurralde - Una aproximación documental para la creación en integración de juegos digitales en entornos virtuales de enseñanza
Pablo Moreno Ger - Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos
Fernando Rosa Velardo - Metodología para el estudio de sociedades artificiales
Candelaria Elizabeth Sansores Pérez - Síntesis arquitectónica a nivel de bit guiada por tiempos de llegada
Rafael Ruiz Sautua - Modelo computacional de lectura cognitiva para la representación automática de textos
José Ignacio Serrano Moreno - Optimización de la transformada Wavelet. Explotación de paralelismo de grano fino
Christian Tenllado van der Reijden
2006
- Mecanismos adaptativos para la captación de instrucciones en procesadores superescalares
Daniel Chaver Martínez - Modelado y control experimental en seis grados de libertad aplicado a la atenuación de movimientos en barcos de alta velocidad
Joaquín Recas Piorno
2005
- Metodología multinivel de refinamiento del subsistema de memoria dinámica para los sistemas empotrados de altas prestaciones
David Atienza Alonso - Integración de técnicas de clasificación de texto y modelado de usuario para la personalización en servicios de noticias
Alberto Díaz Esteban - Esquemas numéricos sobre teselado hexagonal para la simulación de ecuaciones en derivadas parciales
Juan Carlos Fabero Jiménez - Un estudio de la aplicabilidad del razonamiento basado en casos a la reutilización de frameworks
Carlos Fernández Conde - Integración de bases de datos léxicas y colecciones de entrenamiento en la categorización automática de documentos
José María Gómez Hidalgo - Visualización en tiempo real de terrenos irregulares de grandes dimensiones
Roberto Lario de Llano - Reducción del desaprovechamiento de hardware en la síntesis de alto nivel de especificaciones heterogéneas
María Carmen Molina Prego - Reflexión, abstracción y simulación en la lógica de reescritura
Miguel Palomino Tarjuelo - Técnicas de minimización del coste de reconfiguración en sistemas dinámicamente reconfigurables
Jesús Javier Resano Ezcaray
2004
- Fusion multisensorial de medidas temporalmente desordenadas. Aplicación a robots autónomos móviles
Eva Besada Portas - Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
Rafael Caballero Roldán - Estudio de los algoritmos evolutivos y su implementación como técnica heurística de optimización para su aplicación industrial
Pablo Fernández Blanco - Teoría de la actividad para el desarrollo de sistemas multi-agente
Rubén Fuentes Fernández - Semánticas formales para un lenguaje funcional paralelo
Mercedes Hidalgo Herrero - Ejecución adaptativa en grids computacionales
Eduardo Huedo Cuesta - Modelo y control neuro-borroso de las aceleraciones verticales de un buque de alta velocidad
Rafael López Martínez - Optimización del uso compartido de recursos durante la síntesis conductual de sistemas con modelo de ejecución condicional
Olga Peñalba Rodríguez - Sistema integrado de gestión logística optimizada
José Luis Risco Martín - Especificación de sistemas concurrentes usando conceptos de teoría económica: Sintaxis, semántica, aplicaciones y extensiones del lenguaje formal PAMR
Ismael Rodríguez Laguna - Gestión de la planificación de datos en sistemas reconfigurables multi-contexto, orientada a baja energía
Marcos Sánchez-Élez - Una aproximación al fallo en programación declarativa multiparadigma
Jaime Sánchez Hernández - Hacia un paradigma documental de desarrollo de aplicaciones
José Luis Sierra Rodríguez