Responsable:

Antonio Abad Civit Balcells

civit ARROBA atc PUNTO us PUNTO es

Descripción:

• Robótica.
• Adaptación de buses (y redes) a todos los niveles (hardware y software).
• Diseño para todos y tecnología asistencial.
• Sistemas neuronales pulsantes (con interconexión AER).
• Redes heterogéneas de área local para el acceso a servicios y comunicaciones inalámbricas.

Más Información.

Responsable:

Antonio Ruiz Cortés

aruiz ARROBA us PUNTO es

Descripción:

• Acuerdos de nivel de servicio (SLA): análisis, creación, diagnosis, negociación y gestión automática de SLAs; modelos avanzados de SLAs: temporalidad, simetría, incertidumbre, composición; formalización y extensión de WS-Agreement.
• Gobierno SOA: análisis, creación, diagnosis y gestión automática de documentos de gobierno; modelado de políticas; aseguramiento de SLAs; plataformas autónomas y adaptativas; monitorización.
• Ingeniería de requisitos: elicitación, especificación, análisis, negociación, validación y verificación.
• Ingeniería de servicios: composición de servicios sensibles a la calidad, modelado y gestión avanzada de preferencias de usuario; descubrimiento y ranking (semánticos); soporte al ciclo de vida.
• Líneas de producto: análisis y gestión de modelos de características; algebra de modelos de variabilidad; ecosistemas software; gestión del producto.
• Metaheurísticas: desarrollo de frameworks y ecosistemas metaheurísticos; nuevas heurísticas para problemas de optimación en ingeniería de servicios y del software: composición, negociación, ranking, etc.
• Procesos de negocio: análisis, diagnosis y gestión automática de modelos procesos; indicadores clave de procesos; transacciones de negocio; gestión de cuadros de mando; análisis de conformidad; álgebra de modelos.
• Proceso software: entornos de gestión del ciclo de vidad de la aplicación (ALM); marcos de desarrollo y modelos de referencia (CMMI, Métrica, ...)
• Pruebas: generadores de casos de prueba; metamorfic testing.

Más Información.

Responsable:

Jorge Juan Chico

jjchico ARROBA dte PUNTO us PUNTO es

Descripción:

• Diseño y Modelado de Circuitos Integrados Digitales CMOS VLSI: Modelado de retrasos y de consumo de energía en circuitos integrados digitales, Desarrollo de simuladores a nivel lógico-temporal, Diseño de circuitos digitales de altas prestaciones temporales (sincronizadores, arbitradores), Diseño de circuitos digitales para aplicaciones de baja potencia.
• Diseño de Sistemas Digitales sobre dispositivos programables: Diseño de DSP sobre FPGA, Diseño de SoC basados en Hardware y Software Libre, Diseño de sistemas de aplicación específica sobre FPGA.

Responsable:

Mario Jesús Pérez Jiménez

marper ARROBA us PUNTO es

Descripción:

• Desarrollo de lenguajes formales para la especificación de sistemas dinámicos complejos multi-escalares con especial atención a sistemas multi-compartimentales en organizaciones biológicas que van desde colonias bacterianas hasta ecosistemas.
• Desarrollo de algoritmos basados en semánticas formales para la correcta simulación e integración de las diferentes escalas espacio-temporales presentes en dichos sistemas biológicos.
• Implementación usando tecnologías de alto rendimiento computacional (high perfomance computing) basadas en el uso de procesadores gráficos optimizados para propósito general (GPGPU) de marcos computacionales que combinen los lenguajes y algoritmos desarrollados en los dos puntos anteriores.
• Diseño de modelos dentro de las disciplinas integradoras Biología Computacional de Sistemas y Biología Sintética usando los marcos computacionales anteriores.
• Estudio teórico del poder computacional y de la eficiencia de los paradigmas computacionales no convencionales inspirados en la estructura y el funcionamiento de sistemas biológicos, principalmente con el objetivo de proporcionar caracterizaciones no convencionales de la conjetura P distinto de NP.

Más Información.

Responsable:

Ángel Barriga Barros

barriga ARROBA us PUNTO es

Descripción:

• Diseño de sistemas empotrados sobre ASICs y FPGAs: Diseño de circuitos digitales sobre dispositivos programables, Diseño de sistemas de procesado específicos, Sistemas empotrados.
• Modelado del comportamiento dinámico de los sistemas digitales: Problemas de sincronización en los sistemas digitales, Reducción del ruido de conmutación, Circuitos de bajo consumo.
• Sistemas electrónicos para inteligencia computacional: Diseño de circuitos neuro-fuzzy, Aplicaciones de sistemas inteligentes, Desarrollo de herramientas de CAD para sistemas neuro-fuzzy.

Más Información.

Responsable:

Carlos León de Mora

cleon ARROBA us PUNTO es

Descripción:

• Inteligencia Computacional aplicada a la gestión de Redes Eléctricas: Detección y localización de fallos en redes de distribución, Smartgrids, Telegestión.
• Aplicaciones de Sistemas Basados en el Conocimiento: Asistentes inteligentes para la búsqueda automática y la extracción de información, Sistema de ayuda a la decisión, Minería de datos, Clasificación automática de imágenes, Comunicaciones ionosféricas.
• Redes de sensores inalámbricos con inteligencia distribuida y RFID activo y pasivo: Redes de sensores con inteligencia distribuida para la Monitorización Medioambiental, RFID activo y pasivo, Redes de sensores aplicadas a la industria.
• Sistemas multiagente y agentes inteligentes: Monitorización automática en entornos industriales, Sistemas multiagentes sobre sistemas empotrados, Interacción, aprendizaje y propagación del conocimiento en sistemas multiagente, Sistemas multiagente pedagógicos, Sistemas multiagente aplicados a ambientes inteligentes, Sistemas multiagente aplicados a la mejora de la QoS y la seguidad en redes de datos.
• Interfaces Multimodales: Interfaces basadas en electroencefalograma, Interfaces afectivas, Interfaces basadas en electrooculografía y electromiografía, Interfaces basadas en movimientos de cabeza o extremidades.
• Telemedicina: Redes de área personal (BAN), Redes de área extendida, Procesamiento de señales para telemedicina, Seguridad.

Más Información

Responsable:

José Antonio Alonso Jiménez

jalonso ARROBA us PUNTO es

Descripción:

Grupo de Lógica Computacional

• Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos.
• Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional.
• Construcción de sistemas expertos aplicados a entornos industriales.
• Estudio y aplicación de sistemas de representación del conocimiento y razonamiento.
• Aplicación de técnicas de Inteligencia Artificial a la web social (web 2.0).
• Técnicas de revisión semántica de ontologías.
• Web semántica y Metaweb.

Más Información.

Grupo de Lógica Matemática

• Lógica Lineal (estudio de álgebras de funciones computables y diversas clases subrecursivas).
• Aritmética Acotada (estudio de Fragmentos de la Aritmética de primer y segundo orden).

Más Información.

Responsable:

José Antonio Troyano Jiménez

troyano ARROBA us PUNTO es

Descripción:

• Análisis de Información no Estructurada a Partir de Datos Generados Por Usuarios.
• Optimización y Simulación Software de Centros de Datos.
• Aprendizaje Profundo y Transferencia de Aprendizaje Eficientes para Salud y Movilidad Conectada.
• Modelos Híbridos Adaptativos para Predecir la Producción de Energías Renovables Solar y Eólica.
• Tecnologías Big Data para Smart Grids.
• Visión Por Computador Aplicada a Problemas de Clasificación, Detección y Segmentación.
• Monitorización de Comportamiento Humano Mediante Sensores, Imagen y Dispositivos Móviles.
• Modelos de Deep Learning para Sistemas de Energía Renovable: Predicción de Generación y Mantenimiento Preventivo y Predictivo.
• Etiquetado Semántico de Datos. Compleción e Integración de Grafos de Conocimiento.

Más información.

Responsable:

Maria José Escalona Cuaresma

mjescalona ARROBA us PUNTO es

Descripción:

• Metodologías del software orientadas a la web
• Desarrollo de aplicaciones y sistemas web
• Aplicación de técnicas de early testing
• Técnicas de early testing orientadas a la web
• Aplicación del paradigma guiado por modelos al desarrollo de sistemas Web
• Generación sistemática de pruebas basadas en Ingeniería de Requisitos
• Calidad en el desarrollo de sistemas Web
• Simulación de procesos
• Desarrollo orientado a procesos y a productos
• Estándares de calidad

Más Información.

Responsable:

Juan Antonio Ortega

jortega ARROBA us PUNTO es

Descripción:

• Eficiencia Energética y Sostenibilidad.
• Computación Ubicua.
• Sistemas de aprendizaje.
• Sistemas de posicionamiento.