Current projects Ongoing projects a researcher is involved in

  1. “FEI RISEWISE”

    Juan Pavón

  2. "FEI MILIEU"

    Juan Pavón

  1. "DESArrollo Formal de sistemas y servicios beneficiosos para la sOciedad "

    ELVIRA MARÍA ALBERT ALBIOL

  2. "SEGVAUTO 5Gen. Innovando para la movilidad del futuro."

    ELISA MARÍA PÉREZ MORENO

  3. "DESArrollo Formal de sistemas y servicios beneficiosos para la sOciedad"

    MANUEL NÚÑEZ GARCÍA

  4. RAISD for the Future

    RUBÉN FUENTES FERNÁNDEZ

  5. SUPERA: Evaluación e implementación de políticas públicas de cambio estructural de género en el ámbito académico

    MARÍA DOLORES BUSTELO RUESTA

  6. Métodos rigurosos para el desarrollo de sistemas software fiables y eficientes

    NARCISO MARTÍ OLIETFERNANDO RUBIO DÍEZ

  7. Agentes conversacionales basados en tecnología simbólica y neuronal para Entornos de aprendizaje interactivo

    Carlos LeónGonzalo Méndez

  8. P2P2: Comunidades Online

    Samer Hassan

  9. P2P1: Economía Colaborativa

    Samer Hassan

  10. P2P3: Tecnología Descentralizada

    Samer Hassan

  1. CLARIAH-CM: Humanidades Digitales y Tecnologías del Lenguaje

    LUCÍA DE JUAN FERRÉPABLO GERVÁS GÓMEZ-NAVARROMARÍA DOLORES ROMERO LÓPEZ

  2. “Atención primaria cronicidad y promoción de la salud”

    JOSÉ LUIS AYALA RODRIGO

  3. Auditoría de sistemas de IA mediante explicabilidad

    MARÍA BELÉN DÍAZ AGUDOJUAN ANTONIO RECIO GARCÍA

  4. IA centrada en las personas: Interfaces Adaptativas Dirigidas por el Usuario

    VIRGINIA FRANCISCO GILMARTÍNRaquel Hervás

  5. Corrección de errores en sistemas cuánticos: del análisis de algoritmos a la optimización del hardware

    FRANCISCO MIGUEL GARCÍA HERREROÓSCAR RUANO RAMOS

  6. XIA-SPICE

    MARÍA BELÉN DÍAZ AGUDO

  7. Una Europa committed to the world: Europe and Latin America in Dialogue

    MARÍA DEL ROSARIO CRISTÓBAL RONCERO

  1. “SHOU-X: UtiliSing Human-computer interaction approaches for Optimal Understanding in eXplainable artificial intelligence”

    MARTA CARO MARTÍNEZ

  2. "An European and Ibero-American approach for the digital collection, analysis and dissemination of folk music"

    Carlos León

  3. Generación de código seguro eficiente e interoperable mediante métodos formales e inteligencia artificial

    RUBÉN RAFAEL RUBIO CUÉLLAR

  4. “BOVIR: Blockchain Optimization and Verification via Intermediate Representations”

    PABLO GORDILLO ALGUACILMIGUEL ISABEL MÁRQUEZ

  5. "Metodologías avanzadas para arquitecturas, diseño y pruebas de software. Advanced methodologies for architectures, designing and testing of software systems Título del proyecto coordinado Metodologías avanzadas para arquitecturas, diseño y prueb

    Mercedes G. MerayoMANUEL NÚÑEZ GARCÍA

  6. UniSAFE: Implementación y evaluación de políticas públicas contra las violencias de género en el ámbito académico

    MARÍA DOLORES BUSTELO RUESTA

  7. “Digital Autonomy for RISC-V in Europe”

    FRANCISCO D. IGUAL

  8. FRONTLINE INNOVATIVE PRACTICES BANK

    ANDRÉS ARIAS ASTRAYJuan Pavón

  1. Cátedra de Ciberseguridad para la Innovación y la Protección Digital

    LUIS JAVIER GARCÍA VILLALBA

  2. "EDUCATION, REINTEGRATION, AND PRISON: A COMPARISON OF BEST PRACTICES"

    Juan Pavón

  3. "STEM AND EQUALITY, DIVERSITY AND INCLUSION: an open dialogue for research enhancement in Portugal"

    Juan Pavón

  4. ADARVE (Análisis de Datos de Realidad Virtual para formación en Emergencias Radiológicas)

    Carlos León

Completed projects Projects already finished in which a researcher has participated

2025

  1. Inteligencia Artificial para Operaciones en entornos Cloud/Edge

    RAFAEL AURELIO MORENO VOZMEDIANO

  2. "Digitalización y control de cianobacterias aplicado a la gestión de la calidad de embalses, incluidos los sistemas de captación y depuración de aguas. CYANOA"

    EVA BESADA PORTASJOSÉ ANTONIO LÓPEZ OROZCO

  3. Sistema wearable de inteligencia artificial para la toma de decisiones de personas con diabetes.

    J. Ignacio HidalgoJUAN LANCHARES DÁVILA

  4. IrisEmpower: Sistema inteligente de rehabilitación basado en gafas de Realidad Aumentada para mejorar la calidad de vida de pacientes con discapacidad visual (IRISEMP)

    MARÍA GUIJARRO MATA-GARCÍAJ. Recas

  5. Supervisión y control de turbinas eólicas marinas

    MATILDE SANTOS PEÑAS

  6. Cooperación de vehículos de superficie y aéreos para aplicaciones de inspección en entornos cambiantes.

    JESÚS CHACÓN SOMBRÍAJOSÉ ANTONIO LÓPEZ OROZCO

  7. "Evaluación de organizaciones autónomas descentralizadas basadas en blockchain para la gestión de proyectos DeFi, NFT y Metaverso"

    JAVIER ARROYO GALLARDOSamer Hassan

  8. Software de Sistema para Arquitecturas y Aplicaciones de Nueva Generación.

    CARLOS GARCÍA SÁNCHEZFRANCISCO D. IGUAL

  9. EQUALITY DIVERSITY AND INCLUSION FOR RESEARCH ENHANCEMENT IN BOSNIA HERZEGOVINA

    OLGA KOLOTOUCHKINA SHVEDOVAJuan Pavón

  10. Inteligencia Artificial aplicada al Desarrollo de Herramientas de Diseño de Videojuegos

    MARCO ANTONIO GÓMEZ MARTÍNPedro Antonio Gonzalez-Calero

  11. Métodos formales escalables para aplicaciones en entornos reales

    ELVIRA MARÍA ALBERT ALBIOLALBERT RUBIO

  12. Especialización de la Arquitectura desde las Perspectivas Aritmética y de Memoria.

    ALBERTO ANTONIO DEL BARRIO GARCÍAJOSÉ LUIS IMAÑA PASCUAL

  13. Estudio de los efectos de la radiación y procesamiento eficiente de imágenes hiperespectrales para "nuevo espacio"

    JUAN ANTONIO CLEMENTE BARREIRACARLOS GONZÁLEZ CALVO

  14. Inteligencia artificial sobre aceleradores hardware especializados y sistemas empotrados para el tratamiento personalizado de precisión de la diabetes.

    ÓSCAR GARNICA ALCÁZARJ. Ignacio Hidalgo

  15. Más allá del uso de tecnologías digitales en blooms de cianobacterias: gestión inteligente de cianobacterias mediante el uso de gemelos digitales y computación en el borde

    José L. Risco-Martín

  16. Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas

    NARCISO MARTÍ OLIETFERNANDO RUBIO DÍEZ

  17. COMPOSICION AUTOMATICA DE NARRATIVAS PERSONALES COMO APOYO A TERAPIA OCUPACIONAL BASADA EN REMINISCENCIA

    PABLO GERVÁS GÓMEZ-NAVARROGonzalo Méndez

2024

  1. Hacia un sistema Integral para la Alerta y GEStión de BLOOMs de cianobacterias en aguas continentales

    EVA BESADA PORTAS

  2. Plataforma de realidad virtual para formación docente en gestión del clima del aula.

    JOSÉ BORJA MANERO IGLESIAS

  3. PERXAI: Personalización de Inteligencia Artificial Explicable mediante conocimiento experimental

    MARÍA BELÉN DÍAZ AGUDOJUAN ANTONIO RECIO GARCÍA

  4. Exploración de sistemas IoT

    JOSÉ IGNACIO GÓMEZ PÉREZ

  5. Synthesis of hybrid systems from multimodal datasets

    NARCISO MARTÍ OLIET

  6. Intelligent Sharing of Explanation Experience by users for users

    MARÍA BELÉN DÍAZ AGUDO

  7. Desarrollo de técnicas avanzadas de inteligencia artificial para optimización de coste y minimización de riesgo de compañias aseguradoras.

    J. Ignacio Hidalgo

2023

  1. "Women, Disability, and Inclusion ? Scientific Excellence in Bulgaria"

    Juan Pavón

  2. Descifrando la clave para fomentar la igualdad de género en disciplinas STEM

    ANA ISABEL FRAGUAS SÁNCHEZ

  3. FEI DAOs

    JAVIER ARROYO GALLARDO

  4. "Desarrollo y aplicación de técnicas de Inteligencia Artificial Explicable mediante Razonamiento Basado en Casos"

    JUAN ANTONIO RECIO GARCÍA

  5. Big Data en Historias Clínicas de Covid-19

    LUIS JAÑEZ ESCALADA

  6. FEI RRI

    Juan Pavón

  7. FORmal models and Technologies for Emerging applications.

    ELVIRA MARÍA ALBERT ALBIOL

  8. "Social cohesion, Participation, and Inclusion through Cultural Engagement"

    MARÍA BELÉN DÍAZ AGUDO

  9. ConvergenciA Big dAta-Hpc: de Los sensores a las Aplicaciones

    KATZALIN OLCOZ HERREROJOSÉ FRANCISCO TIRADO FERNÁNDEZ

  10. FORmal models and Technologies for Emerging applications

    MANUEL NÚÑEZ GARCÍA

  11. EDGEDATA: Una infraestructura para sistemas híbridos altamente descentralizados

    EDUARDO HUEDO CUESTA

  12. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.

    FERNANDO RUBIO DÍEZ

2022

  1. COMUNICACIÓN EFECTIVA PARA PROFESORADO DE SECUNDARIA MEDIANTE REALIDAD VIRTUAL.

    JOSÉ BORJA MANERO IGLESIAS

  2. ANTICIPACIÓN y PREVENCIÓN de COVID-19 en la COMUNIDAD DE MADRID

    JORGE JESÚS GÓMEZ SANZ

  3. Decentralized Blockchain-based Organizations for Bootstrapping the Collaborative Economy

    Samer Hassan

  4. Analíticas para las comunidades en la blockchain

    JAVIER ARROYO GALLARDOSamer Hassan

  5. Diseño colaborativo para la promoción del bienestar en ciudades inteligentes inclusivas

    RUBÉN FUENTES FERNÁNDEZJORGE JESÚS GÓMEZ SANZ

  6. SISTEMA ADAPTATIVO BIOINSPIRADO PARA EL CONTROL GLUCÉMICO BASADO EN SENSORES Y ACCESORIOS INTELIGENTES

    J. Ignacio HidalgoJUAN LANCHARES DÁVILA

  7. Monitorización Automática de Contaminantes en Aguas Embalsadas utilizando Biosensores y Vehículos Autónomos de Superficie

    EVA BESADA PORTASJOSÉ ANTONIO LÓPEZ OROZCO

  8. Infraestructuras Cloud Desagregadas para Edge Computing

    RAFAEL AURELIO MORENO VOZMEDIANO

  9. HEREROGENEIDAD Y ESPECIALIZACIÓN EN LA ERA POST-MOORE.

    LUIS PIÑUEL MORENOMANUEL PRIETO MATÍAS

  10. RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES

    ELVIRA MARÍA ALBERT ALBIOL

  11. DESARROLLO DE TECNICAS Y METODOLOGIAS FLEXIBLES PARA LA OPTIMIZACION DE SISTEMAS CLOUD

    ALBERTO NÚÑEZ COVARRUBIAS

  12. Análisis y Control de un Dispositivo Flotante Híbrido de Energía Eólica y Marina

    MATILDE SANTOS PEÑAS

  13. Disaggregated Cloud Computing

    IGNACIO MARTÍN LLORENTE

  14. Reshaping Attention and Inclusion Strategies for Distinctively vulnerable people among the forcibly displaced

    RUBÉN FUENTES FERNÁNDEZ

  15. SHARPE: SOPORTE HARDWARE Y APRENDIZAJE POR REFUERZO PARA LA ACELERACION DE PLANIFICACION DE TAREAS EXPANDIDA

    FRANCISCO D. IGUAL

  16. Determinación de tensiones residuales microscópicas empleando métodos de difracción mapas de EBSD y algoritmos evolutivos.

    J. Ignacio Hidalgo

  17. MODELADO FORMAL Y MÉTODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES.

    Mercedes G. MerayoMANUEL NÚÑEZ GARCÍA

  18. Diseño mediante inteligencia artificial de algoritmos predictivos para la identificación de individuos en riesgo de desarrollar sobrepeso/obesidad y sus patologías asociadas: Aportación del análisis genético.

    J. Ignacio Hidalgo

  19. "Infraestructuras para la Visibilización, Integración y Transferencia de Aplicaciones y Resultados de Inteligencia Artificial"

    PABLO GERVÁS GÓMEZ-NAVARRO

  20. ENVISAGE-FEI

    ELVIRA MARÍA ALBERT ALBIOL

2021

  1. VISUALIZANDO LA SIGNOESCRITURA

    ANTONIO FERNANDO GARCÍA SEVILLA

  2. Técnicas hardware y software para el análisis detección y recuperación de errores inducidos por la radiación en sistemas digitales embarcados en misiones espaciales II

    HORTENSIA MECHA LÓPEZ

  3. Razonamiento basado en casos para la explicación de sistemas inteligentes

    MARÍA BELÉN DÍAZ AGUDOJUAN ANTONIO RECIO GARCÍA

  4. "Planificación, Optimización y Control en Sistemas con Incertidumbre (POCOSIN)"

    EVA BESADA PORTASJOSÉ ANTONIO LÓPEZ OROZCO

  5. A FINancial supervision and TECHnology compliance training programme

    JAVIER ARROYO GALLARDO

  6. Big data en historias clínicas

    LUIS JAÑEZ ESCALADA

  7. DESARROLLO DE UN SISTEMA PARA LA MEJORA DE LA DIABETTES MELLITUS BASADO EN INTELIGENCIA ARTIFICIAL

    ÓSCAR GARNICA ALCÁZAR

  8. RISE Women with disabilities In Social Engagement

    Juan Pavón

  9. Data-Intensive Cloud Computing

    IGNACIO MARTÍN LLORENTE

2020

  1. Tecnologías y herramientas para el desarrollo de software consciente de los recursos correcto y eficiente

    NARCISO MARTÍ OLIET

  2. Soluciones Efectivas basadas en la Lógica

    ELVIRA MARÍA ALBERT ALBIOL

  3. RED DE EXCELENCIA EN TRATAMIETNO INTELIGENTE DE DATOS Y GENERACION DE LENGUAJE NATURAL.

    PABLO GERVÁS GÓMEZ-NAVARRO

  4. Sensores Inteligentes

    GONZALO PAJARES MARTÍNSANZ

2019

  1. Inclusión Digital Lenguaje natural y Comunicación

    PABLO GERVÁS GÓMEZ-NAVARRORaquel Hervás

  2. DESARROLLO DE UN SISTEMA PARA LA MEJORA DEL CONTROL DE LA DIABETES MELLITUS BASADO EN INTELIGENCIA ARTIFICIAL

    ÓSCAR GARNICA ALCÁZAR

  3. Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos herramientas y aplicaciones

    MANUEL NÚÑEZ GARCÍA

  4. COmpPutación HEteRogéNea efIciente: del procesadOr al datacenter

    LUIS PIÑUEL MORENOMANUEL PRIETO MATÍAS

  5. DETECCION TEMPRANA DE DESARROLLO TUMORAL MEDIANTE COMPUTACIÓN DE ALTAS PRESTACIONES.

    GUILLERMO BOTELLA JUAN

  6. TÉCNICAS DE VISIÓN COMPUTERIZADA Y RECONSTRUCCIÓN 3D APLICADAS AL ESTUDIO DE LA CABEZA DEL NERVIO ÓPTICO Y ENFERMEDADES ASOCIADAS

    CARLOS GREGORIO RODRÍGUEZ

  7. COMUNICACIÓN EFECTIVA A TRAVÉS DE LA REALIDAD VIRTUAL Y LAS TECNOLOGÍAS EDUCATIVAS

    PABLO GERVÁS GÓMEZ-NAVARRO

  8. Comunicación efectiva a través de la realidad virtual y las tecnologías educativas

    PABLO GERVÁS GÓMEZ-NAVARRO

  9. DESARROLLO DE UNA HERRAMIEMTA DE BÚSQUEDA DE HISTORIAS CLÍNICAS SIMILARES.

    VIRGINIA FRANCISCO GILMARTÍN

  10. DESARROLLO DE UNA HERRAMIENTA DE BÚSQUEDA DE HISTORIAS CLÍNICAS SIMILARES.

    ALBERTO DÍAZ ESTEBAN

  11. DESARROLLO DE UNA HERRAMIENTA DE BÚSQUEDA DE HISTORIAS CLÍNICAS SIMILARES.

    MIGUEL ÁNGEL CASTELLANOS LÓPEZ

  12. "Breaking Educational Barriers with Contextualised, Pervasive and Gameful Learning (BEACONING)"

    BALTASAR FERNÁNDEZ MANJÓN

  13. System level management of hybrid memory systems

    CHRISTIAN TOMÁS TENLLADO VAN DER REIJDEN

  14. Realising an Applied Gaming Eco-system

    BALTASAR FERNÁNDEZ MANJÓN

2018

  1. Federación de Redes en Infraestructuras Cloud 

    IGNACIO MARTÍN LLORENTE

  2. Promoción de grupo de investiación UCM-GRASIA

    JORGE JESÚS GÓMEZ SANZ

  3. Personalización social en sistemas de recomendación

    MARÍA BELÉN DÍAZ AGUDOJUAN ANTONIO RECIO GARCÍA

  4. Next-GeneRation Energy-EfficieNt Secure Software.

    NARCISO MARTÍ OLIET

  5. DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.

    MANUEL NÚÑEZ GARCÍA

  6. MOdelado Social de Inteligencia Ambiental aplicado a Grandes InstaLaciones.

    JORGE JESÚS GÓMEZ SANZ

  7. Desarrollo de Sistemas Adaptativos y Bioinspirados para el Control Glucémico con Infusores Subcutáneos Continuos de Insulina y Monitores Continuos de Glucosa.

    J. Ignacio HidalgoJUAN LANCHARES DÁVILA

  8. Desarrollo Colaborativo de Soluciones AAL

    JORGE JESÚS GÓMEZ SANZJuan Pavón

  9. Investigación y Desarrollo de Tecnologías Educativas en la Comunidad de Madrid.

    BALTASAR FERNÁNDEZ MANJÓN

  10. Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas

    ELVIRA MARÍA ALBERT ALBIOL

  11. TÉCNICAS HARDWARE Y SOFTWARE PARA EL ANÁLISIS DETECCIÓN Y RECUPERACIÓN DE ERRORES INDUCIDOS POR LA RADIACIÓN EN SISTEMAS DIGITALES EMBARCADOS EN MISIONES ESPACIALES

    HORTENSIA MECHA LÓPEZMARÍA DEL CARMEN MOLINA PREGO

  12. SISTEMA AUTÓNOMO PARA LA LOCALIZACIÓN Y ACTUACIÓN ANTE CONTAMINANTES EN EL MAR

    JOSÉ ANTONIO LÓPEZ OROZCO

  13. Framework for Self-Organized network management in virtualized and software defined networks

    LUIS JAVIER GARCÍA VILLALBA

  14. CONTRATO PARA LA REALIZACIÓN DEL DISEÑO FINAL DEL INSTRUMENTO MEGARA PARA EL GRAN TELESCOPIO DE CANARIAS Y CONTRATO PARA LA FABRICACION Y PUESTA EN MARCHA DEL INSTRUMENTO MEGARA PARA EL GTC

    JESÚS GALLEGO MAESTROArmando Gil de Paz

  15. Fostering a Transition towards Responsible Research and Innovation Systems

    Juan Pavón

  16. Sistema autónomo para contención de vertidos en el mar

    JESÚS MANUEL DE LA CRUZ GARCÍAGONZALO PAJARES MARTÍNSANZ

2017

  1. TECNOLOGÍA PARA LOS DESAFÍOS EN EDUCACIÓN Y ENTRENAMIENTO

    BALTASAR FERNÁNDEZ MANJÓNIVÁN MARTÍNEZ ORTIZ

  2. Enabling Federated Cloud Networking

    IGNACIO MARTÍN LLORENTE

  3. Técnicas escalables para la validación de aplicaciones concurrentes

    ELVIRA MARÍA ALBERT ALBIOL

  4. Tecnologías rigurosas para software de nueva generación abierto y fiable

    NARCISO MARTÍ OLIET

  5. ARQUITECTURAS Y TECNOLOGÍAS EMERGENTES. EFICIENCIA MEDIANTE HETEROGENEIDAD.

    MANUEL PRIETO MATÍAS

2016

  1. The what if machine

    PABLO GERVÁS GÓMEZ-NAVARRO

  2. Engineering Virtualized Services

    ELVIRA MARÍA ALBERT ALBIOL

  3. Concept Creation Technology

    PABLO GERVÁS GÓMEZ-NAVARRO

  4. Techno-social platform for sustainable models and value generation in commons-based peer production in the Future Internet

    Samer Hassan

  5. Promoting the Scientific Exploration of Computational Creativity

    PABLO GERVÁS GÓMEZ-NAVARRO

  6. "Desarrollo de un sistema submarino autónomo (AUV, Autonomous Underwater Vehicle) para detección temprana de vertidos en líneas submarinas"

    GONZALO PAJARES MARTÍNSANZ

  7. Proactive Autonomic Management of Cloud Resources

    IGNACIO MARTÍN LLORENTE

2015

  1. PARTICIPACIÓN CIENTÍFICA ESPAÑOLA EN EL PROYECTO WSO-UV.II

    ANA INÉS GÓMEZ DE CASTRO

  2. SOCIAL AMBIENT ASSISTIN LIVING - METHODS.

    JORGE JESÚS GÓMEZ SANZ

  3. PROVISIÓN Y DESPLIEGUE AUTOMÁTICO DE SERVICIOS EN CLOUD COMPUTING.

    IGNACIO MARTÍN LLORENTE

  4. Especificación y Testing de Sistemas Altamente Distribuidos

    MANUEL NÚÑEZ GARCÍA

  5. Technology Enhanced Learning Leading to Unique Stories

    Pedro Antonio Gonzalez-Calero

  6. "Reenergize productivity, efficiency and competitiveness of European economy through Cloud Computing"

    IGNACIO MARTÍN LLORENTE

  7. ARQUITECTURA HARDWARE/SOFTWARE PARA SISTEMAS DE ALTO RENDIMIENTO II

    JOSÉ FRANCISCO TIRADO FERNÁNDEZ

2014

  1. Microgeneración/Minigeneración renovable distribuida y su control. MIRED-CON

    JORGE JESÚS GÓMEZ SANZ

  2. SISTEMAS DE INSPECCIÓN TERRESTRE EN VEHÍCULOS AUTÓNOMOS Y SU APLICACIÓN EFECTIVA A LA DETECCIÓN DE MALAS HIERBAS Y SU CONTROL LOCALIZADO (GroW)

    GONZALO PAJARES MARTÍNSANZ

  3. METODOLOGÍAS ARQUITECTURA Y ESTÁNDARES PARA E-LEARNING ADAPTATIVO Y ACCESIBLE.

    BALTASAR FERNÁNDEZ MANJÓN

  4. Robot fleets for Highly effective agrigulture and forestry management

    GONZALO PAJARES MARTÍNSANZ

  5. INVESTIGACION Y DESARROLLO DE TECNOLOGIA PARA EL E-LEARNING EN LA COMUNIDAD DE MADRID.

    BALTASAR FERNÁNDEZ MANJÓN

  6. INTEGRACION DE SERVICIOS MULTIMEDIA DE SIGUIENTE GENERACION EN LA INTERNET DEL FUTURO.

    IGNACIO MARTÍN LLORENTE

  7. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  8. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.

    NARCISO MARTÍ OLIET

  9. Plataforma de Servicios en la nube para operaciones en mercados financieros

    J. Ignacio Hidalgo

  10. Análisis de movimiento y personalización libre e inteligente de avatares. AMPLIA

    Pedro Antonio Gonzalez-Calero

2013

  1. CONSIDERACIONES AVANZADAS PARA LA IMPLEMENTACIÓN REALISTA Y EFICIENTE DE MULTITAREA HARDWARE SOBRE FPGAs

    DANIEL MOZOS MUÑOZ

  2. Building service testbeds on FIRE

    IGNACIO MARTÍN LLORENTE

  3. MODELOS DE INTERACCIÓN CENTRADOS EN EL LENGUAJE EL ESPACIO Y LA SEMÁNTICA COMPUTACIONAL

    PABLO GERVÁS GÓMEZ-NAVARRO

  4. EVOLUCIÓN DEL RAZONAMIENTO BASADO EN CASOS PARA APLICACIONES CON MÚLTIPLES FUENTES DE EXPERIENCIA Y RICAS EN CONOCIMIENTO.

    Pedro Antonio Gonzalez-Calero

  5. SISTEMA DE VIGILANCIA BÚSQUEDA Y RESCATE EN EL MAR MEDIANTE COLABORACIÓN DE VAHÍCULOS AUTÓNOMOS MARINOS Y AÉREOS.

    JESÚS MANUEL DE LA CRUZ GARCÍA

  6. Building the PaaS Cloud of the Future

    IGNACIO MARTÍN LLORENTE

  7. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

  8. DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE DISTRIBUIDO Y SEGURO

    NARCISO MARTÍ OLIET

  9. Initiative for Globus in Europe

    IGNACIO MARTÍN LLORENTE

2012

  1. INFRAESTRUCTURAS VIRTUALES DISTRIBUIDAS PARA LA PROVISIÓN DE RECURSOS DE COMPUTACIÓN.

    IGNACIO MARTÍN LLORENTE

  2. Análisis de Imágenes para el Control de Robots Autónomos.

    GONZALO PAJARES MARTÍNSANZ

  3. Enhancing Grid Infrastructures with Virtualization and Cloud Technologies

    IGNACIO MARTÍN LLORENTE

  4. Arquitectura Grid para el Procesamiento Distribuido de Información Captada por Redes Inalámbricas de Sensores.

    EDUARDO HUEDO CUESTA

  5. PARTICIPACIÓN CIENTÍFICA ESPAÑOLA EN EL PROYECTO WSO-UV. I

    ANA INÉS GÓMEZ DE CASTRO

  6. Desarrollo de métodos de identificación de texturas naturales y su localiación espacial mediante métodos de visión artificial.

    GONZALO PAJARES MARTÍNSANZ

2011

  1. HERRAMIENTAS BASADAS EN AGENTES PARA EL MODELADO Y SIMULACIÓN DE SISTEMAS SOCIALES COMPLEJOS

    Juan Pavón

  2. RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS

    ELVIRA MARÍA ALBERT ALBIOL

  3. SERVICIOS ADAPTATIVOS PARA E-LEARNING BASADOS EN ESTANDARES.

    BALTASAR FERNÁNDEZ MANJÓN

  4. Resources and services virtualisation without boundaries

    IGNACIO MARTÍN LLORENTE

2010

  1. HACIA LA PROTEÓMICA FUNCIONAL: UNA APROXIMACIÓN CONJUNTA DESDE LA PROTEÓMICA LA BIOINFORMÁTICA Y LA BIOLOGÍA ESTRUCTURAL. CENTROSOA-CM
  2. Testing Online Collaborative Editing
  3. Tecnologías de Marcado Descriptivo ¿XML- como base a un Proceso de Desarrollo de Software Guiado por Lenguajes

    JOSÉ LUIS SIERRA RODRÍGUEZ

  4. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

  5. Enabling Grids for EsciencE-III

    IGNACIO MARTÍN LLORENTE

  6. DESARROLLO DE SOFTWARE DE ALTA CALIDAD FIABLE DISTRIBUIDO Y SEGURO -SUBPROYECTOS DE LA UNIVERSIDD COMPLUTENSE DE MADRID-

    NARCISO MARTÍ OLIET

2009

  1. PROGRAMA EN MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

  2. INSTRUCCIONES VERBALES PARA LA NAVEGACIÓN BASADAS EN ONTOLOGIAS

    PABLO GERVÁS GÓMEZ-NAVARRO

  3. RED MAUDE

    NARCISO MARTÍ OLIET

  4. CONTROL DE SISTEMAS COMPLEJOS EN LA LOGÍSTICA Y PRODUCCIÓN DE BIENES Y SERVICIOS.

    JESÚS MANUEL DE LA CRUZ GARCÍA

  5. EVOLUCIÓN DE LAS APLICACIONES BIOINFORMÁTICAS SOBRE SERVICIOS DE RED Y COMPUTACIÓN DISTRIBUIDA.

    IGNACIO MARTÍN LLORENTE

  6. MULTITAREA HARDWARE SOBRE ARQUITECTURAS CON FPGAS DE 1 2 Y 3 DIMENSIONES: TÉCNICAS DE PLANIFICACIÓN Y COLOCACIÓN DE TAREAS Y ESTRATEGIAS DE DEFRAGMENTACIÓN.

    DANIEL MOZOS MUÑOZ

  7. Business Experiments in GRID

    IGNACIO MARTÍN LLORENTE

  8. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA

  9. ENVIRA: ENTORNOS VITUALES INTELIGENTES PARA EL APRENDIZAJE

    Pedro Antonio Gonzalez-Calero

  10. UNA INFRAESTRUCTURA GRID PARA UTILITY COMPUTING

    IGNACIO MARTÍN LLORENTE

  11. PLATFORMA DE PLANIFICACIÓN SIMULACIÓN Y CONTROL PARA COLABORACIÓN DE MÚLTIPLES VEHÍCULOS AUTÓNOMOS MARINOS Y AEREOS

    JESÚS MANUEL DE LA CRUZ GARCÍA

  12. MID-CBR: UN MODELO INTEGRADOR PARA EL DESARROLLO DE SISTEMAS DE RAZONAMIENTO BASADO EN CASOS.

    MARÍA BELÉN DÍAZ AGUDO

  13. GENERACIÓN DE LENGUAJE NATURAL PARA TEXTOS CON EMOCIONES

    PABLO GERVÁS GÓMEZ-NAVARRO

  14. METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  15. OBJETOS DE APRENDIZAJE EN EL CAMPUS VIRTUAL

    ALFREDO FERNÁNDEZ-VALMAYOR CRESPO

  16. ARQUITECTURA HADWAER/SOFWARE PARA SISTEMAS DE ALTO RENDIMIENTO

    JOSÉ FRANCISCO TIRADO FERNÁNDEZ

  17. APLICACIONES DE MÉTODOS FORMALES AL DISEÑO Y ANÁLISIS DE DE SERVICIOS WEB Y COMERCIO ELECTRÓNICO

    ISMAEL RODRÍGUEZ LAGUNA

2008

  1. METODOS Y HERRAMIENTAS PARA EL MODELADO DE SISTEMAS MULTI-AGENTE

    Juan Pavón

  2. EL ESTUDIO DE METODOS DE DETECCIÓN VISUAL DE ESTRUCTURAS NATURALES.

    GONZALO PAJARES MARTÍNSANZ

  3. Training and Research On Testing

    MANUEL NÚÑEZ GARCÍA

  4. Metodologías Arquitecturas y Lenguajes para la creación de Servicios Adaptativos para E-learning.

    BALTASAR FERNÁNDEZ MANJÓN

  5. Enabling Grids for E-science phase II

    IGNACIO MARTÍN LLORENTE

  6. Participación española en el proyecto WSO/UV

    ANA INÉS GÓMEZ DE CASTRO

  7. RED TEMÁTICA PARA LA COORDINACIÓN DE ACTIVIDADES MIDDLEWARE EN GRIDS.

    IGNACIO MARTÍN LLORENTE

2007

  1. UNA ARQUITECTURA RECURSIVA PARA LA COEXISTENCIA DE DIFERENTES INFRAESTRUCTURAS GRID EN INTERNET

    IGNACIO MARTÍN LLORENTE

  2. PLATAFORMA DE ANÁNISIS EFICIENTE DE DATOS EN BIOINFORMÁTICA Y BIOLOGÍA COMPUTACIONAL.
  3. INTERACCIÓN ESTRELLA-DISCO EN SISTEMAS PRE-SECUENCIA PRINCIPAL

    ANA INÉS GÓMEZ DE CASTRO

2006

  1. ARQUITECTURA PARA EL DESARROLLO E INTEGRACION DE SIMULACIONES INTERACTIVAS EN EL APRENDIZAJE

    Pedro Antonio Gonzalez-Calero

  2. Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.

    NARCISO MARTÍ OLIET

  3. Una entorno para la ejecución auto-adaptativa de aplicaciones en Grids computacionales y de datos.

    IGNACIO MARTÍN LLORENTE

  4. Automatización de vehiculos marinos para actuaciones en cooperación.

    JOSÉ MARÍA RICARDO GIRÓN SIERRA

  5. Testing y evaluación del rendimiento: modelos y aplicaciones a sistemas multi-agente.

    MANUEL NÚÑEZ GARCÍA

  6. UN SISTEMA HADWARE RECONFIGURABLE Y FLEXIBLE PARA LA EJECUCION DE APLICACIONES DE PROPOSITO GENERAL

    DANIEL MOZOS MUÑOZ

  7. Remote Sensor for Identification of Polymers for Recycling

    LUIS JAÑEZ ESCALADA

  8. Diseño e implementación de sistemas multimedia eficientes con uso de tecnicas formales.

    MANUEL NÚÑEZ GARCÍA

  9. Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2005

  1. Documentación de armazones basada en casos y su aprendizaje mediante ejemplos.

    Pedro Antonio Gonzalez-Calero

  2. Estrategias de control en redes de distribución de Gas.

    JESÚS MANUEL DE LA CRUZ GARCÍA

  3. Gestión de recursos hardware dinámicamente reconfigurables en sistemas computadores de propósito general y aprovechamiento de los mismos en entornos distribuidos.

    DANIEL MOZOS MUÑOZ

  4. Tecnologías HW/SW para sistemas de alto rendimiento.

    JOSÉ FRANCISCO TIRADO FERNÁNDEZ

  5. Ingeniería de Agentes Software en múltiples plataformas.

    Juan Pavón

2004

  1. Arquitectura de un sistema de optimización y planificación logística manipulado a través de servicios web.

    JOSÉ JAIME RUZ ORTIZ

  2. JAVY FOREST-APPLICATION OF METAPHOR AND BLENDING IN GAME ENVIRONMENTS.

    PABLO GERVÁS GÓMEZ-NAVARRO

2003

  1. PROGRAMACION FUNCIONAL PARALELA Y REACTIVA: TECNOLOGIA Y APLICACIONES.
  2. DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.

    DAVID DE FRUTOS ESCRIG

  3. Computación en Grid: exploración de recursos computacionales en Internet.

    IGNACIO MARTÍN LLORENTE

2002

  1. Agentlink Ii: Continuation Of A Network Of Excellence For Agent-Based Computing

    Juan Pavón

  2. COMPUTACION PARALELA SOBRE PLATAFORMAS DE BAJO COSTE/ NUEVAS METODOLOGIAS PARA LA VERIFICACION Y DISEÑO DE ALTO NIVEL.

    JOSÉ FRANCISCO TIRADO FERNÁNDEZ

  3. AGENTES SOFTWARE PARA EL TRATAMIENTO DE INFORMACION HIPERMEDIA

    Juan Pavón

  4. CONTROL EN SEIS GRADOS DE LIBERTAD DE FERRIES RAPIDOS PARA MEJORA DE LA SEGURIDAD Y CONFORT.

    JOSÉ MARÍA RICARDO GIRÓN SIERRA

2001

  1. ESTUDIO Y DESARROLLO DE ALGORITMOS DE PARTICIONAMIENTO HARDWARE/SOFTWARE SOBRE UNA PLATAFORMA BASADA EN FPGAs.

    HORTENSIA MECHA LÓPEZ

  2. TECNICAS AVANZADAS DE DESARROLLO DE PROGRAMAS EN ENTORNOS DECLARATIVOS (TREND).

    Mario RODRÍGUEZ ARTALEJO

  3. TECNICAS DE INTELIGENCIA ARTIFICIAL APLICADAS A LA REUTILIZACION DE FRAMEWORKS ORIENTADOS A OBJETOS.

    Pedro Antonio Gonzalez-Calero

2000

  1. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.
  2. DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS.

    DAVID DE FRUTOS ESCRIG

  3. CONTROL ROBUSTO E INTELIGENTE DE BUQUES DE ALTA VELOCIDAD.

    JESÚS MANUEL DE LA CRUZ GARCÍA

  4. LOCALIZACION DIGITAL DE LAS MEMBRANAS SUB-RETINIANAS EN LA DEGENERACION MACULAR ASOCIADA A LA NDAD (DMAE).

    JOSE MANUEL RAMÍREZ SEBASTIÁN

  5. RESOLUTOR ROBUSTO Y ESCALABLE PARA PROBLEMAS DE DINAMICA DE FLUIDOS SOBRE COMPUTADORES DE ALTAS PRESTACIONES.

    JOSÉ FRANCISCO TIRADO FERNÁNDEZ

1999

  1. SISTEMA DE DESARROLLO PARA APLICACIONES DE HARDWARE RECONFIGURABLE.

    JOSÉ JAIME RUZ ORTIZ

  2. TELE-TRATAMIENTO DE IMAGENES MEDICAS POR INTERNET.

    LUIS JAÑEZ ESCALADA

  3. Active decision support toolkit for the financial sector

    LUIS JAÑEZ ESCALADA

  4. ENTORNO DE SIMULACION NUMERICA PARALELA/NUEVAS METODOLOGIAS PARA LA AUTOMATIZACION DEL DISEÐO DE SISTEMAS.

    JOSÉ FRANCISCO TIRADO FERNÁNDEZ

  5. EVALUACION DEL RENDIMIENTO DE PROGRAMAS FUNCIONALES PARALELOS EN ARQUITECTURAS MULTIPROCESADOR.
  6. EVALUACION DEL RENDIMIENTO DE PROGRAMAS FUNCIONALES PARALELOS EN ARQUITECTURAS MULTIPROCESADOR.
  7. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1998

  1. LAS RELACIONES SEMANTICAS COMO CLAVE PARA LA ORGANIZACION MENTAL DEL LEXICO.
  2. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

    Mario RODRÍGUEZ ARTALEJO

1997

  1. DISEÐO INTEGRAL DE SISTEMAS DE COMUNICACIONES (DISC)

    DAVID DE FRUTOS ESCRIG

  2. ENTORNO DE SINTESIS PARA CIRCUITOS DE COMUNICACIONES A PARTIR DE DESCRIPCIONES VHDL.
  3. HERRAMIENTAS DE AYUDA A LA REUTILIZACION DE CLASES EN PROGRAMACION ORIENTADA A OBJETOS.

    MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO

  4. GENERADOR AUTOMATICO DE CODIGO DE CONTROL EN TIEMPO REAL E INTEGRACION MULTISENSORIAL: APLICACION A PROCESOS MECANICOS Y QUIMICOS.

    JESÚS MANUEL DE LA CRUZ GARCÍA

  5. LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.

    NARCISO MARTÍ OLIET

1996

  1. SISTEMA VISUAL CON MODULOS VISUALMENTE SOLAPADOS. APLICACION AL RECONOCIMIENTO DE RASGOS FACIALES.

    LUIS JAÑEZ ESCALADA

  2. DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1995

  1. FIDIAS II: UN ENTORNO INTEGRADO DE SINTESIS DE ALTO NIVEL

    ROMÁN HERMIDA CORREA

  2. METODOLOGIA DE DISEÐO Y HERRAMIENTAS DE DESARROLLO PARA SISTEMAS EXPERTOS BASADOS EN CASOS

    MARÍA DEL CARMEN FERNÁNDEZ CHAMIZO

  3. ESTUDIOS NUMERICOS EN ECUACIONES DE ONDA NO LINEALES CON APLICACIONES

    LUIS VÁZQUEZ MARTÍNEZ

  4. DINAMICA DE ECUACIONES DE ONDA EN PRESENCIA DE IMPUREZAS Y ESTRUCTURASSFRACTALES. APLICACIONES

    LUIS VÁZQUEZ MARTÍNEZ

  5. DESARROLLO E IMPLEMENTACION DE UN LENGUAJE DE PROGRAMACION FUNCIONAL PARA PROGRAMACION CONCURRENTE.

1994

  1. EXTENSIONES DEL LENGUAJE LOTOS: TIEMPO REAL PRIORIDADES PROBABILIDADES MODULARIDAD Y TIPOS EJECUTABLES.

    DAVID DE FRUTOS ESCRIG

  2. ESTUDIOS NUMERICOS EN ECUACIONES DE ONDA NO LINEALES CON APLICACIONES..

    LUIS VÁZQUEZ MARTÍNEZ

1992

  1. MODELIZACION SIMULACION CALIBRACION SENSORIAL Y NAVEGACION INERCIAL EN SISTEMAS DE AUTOMATIZACION AVANZADA.

    JESÚS MANUEL DE LA CRUZ GARCÍA

1987

  1. ANALISIS VISUAL DEL MOVIMIENTO TRIDIMENSIONAL.

    LUIS JAÑEZ ESCALADA