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.

Responsable:

Pedro Real Jurado

real ARROBA us PUNTO es

Descripción:

• Procesamiento de Imágenes Digitales basado en Topología: Software de imágenes médicas, Método para calcular invariantes topológicos avanzados de la microaquitectura de medios porosos desordenados, Cálculo topológico en pirámides irregulares y otras estructuras de representación jerárquicas. Aplicación a visión robótica.
• Computación Natural y Topología: Topología de la computación natural, Computación natural aplicado a la Topología de la Imagen Digital.
• Topología del Internet del Futuro: Complejos celulares probabilísticos y su topología, Técnicas de cálculo homológico en complejos celulares probabilísticos o fuzzy.
• Teoría cocíclica de códigos correctores de errores y matrices de Hadamar: Técnicas cohomológicas, Técnicas heurísticas.

Responsable:

Alberto Márquez Pérez

almar ARROBA us PUNTO es

Página personal

Descripción:

• Invariantes y algoritmos de teoría de grafos y diseño de redes.
• Geometría computacional, con especial énfasis en estructuras discretas de puntos sobre el espacio euclídeo.

Más Información

Relación de los Grupos de Investigación en los departamentos de la ETSII.

Relación de Departamentos que imparten docencia en la ETSII.