Ir al contenido

Inicio
ETSIINF en Twitter ETSIINF en Facebook
Inicio > Programas en extinción > Postgrado y Doctorado en extinción > Cursos avanzados

Cursos avanzados

Estos cursos son los seminarios que componen la oferta docente del módulo "Ciencia de la Computación" de los estudios de máster del programa de postgrado. En cada máster se exigen o reconocen un número de créditos diferente de dicho módulo, según el plan de estudios del máster en cuestión.

El estudiante debe matricularse en la asignatura “Ciencia de la Computación” y reunir el número de créditos necesarios acumulando los conseguidos en cada uno de los seminarios a los que asista, para lo cual debe comunicar al Vicedecanato de Investigación y Postgrado su intención de asistir a cada seminario con antelación al mismo.

Seminarios impartidos por profesores visitantes

Los seminarios ofertados para el curso 06/07 son los siguientes. Todos tienen una valoración de 2 ECTS. Todos tendrán lugar en el hemiciclo H1002 (Bloque I) de 16:00 a 19:00 horas, excepto donde se indica.

Para los estudiantes de Ingeniería Informática la asistencia a cualquiera de estos seminarios se podrá reconocer por 1 crédito de libre elección.

 

Seminarios ofertados curso 2006/07
26/02/07 a 02/03/07 Privacy, security, and data mining
Yucel Saigin, Sabanci University
06/03/07 a 09/03/07 Diseño de un Sistema Experto para diagnóstico de enfermedades
Luis Laita, profesor emérito UPM
H1004 (Bloque I)
19/03/07 a 23/03/07 Procesos de data mining
Pedro Sousa, Universidade Nova de Lisboa
26/03/07 a 30/03/07 Molecular computing
Yakoov Benenson, Harvard University
23/04/07 a 27/04/07Learning from data streams
Joao Manuel Portela da Gama, Universidade de Porto
07/05/07 a 11/05/07 Robustness programming patterns
Christof Fetzer, Technical University of Dresden
16/05/07 a 18/05/07 Distributed computing environments
Bettina Kemme, McGill University
(de 16:00 a 20:00)
21/05/07 a 25/05/07 Static analysis, program verification, and automated theorem proving
Deepak Kapur, University of New Mexico
28/05/07 a 01/06/07 Fault-tolerance in distributed systems
Jean Charles Fabre, Universidad de Toulouse/CNRS
18/06/07 a 22/06/07 Web usage mining
Bettina Berendt, Humboldt-Universitat zu Berlin
25/06/07 a 29/06/07 Scalable storage systems: efficient remote block-level I/O & reliability
Angelos Bilas, Universidad de Creta/FORTH

Los anteriores seminarios están impartidos por profesores visitantes, lo que ofrece la oportunidad al alumno de tomar contacto con la investigación que se lleva a cabo en otras instituciones, particularmente en el extranjero. Otro tipo de seminarios permiten al alumno el contacto con la investigación que se realiza en la propia universidad, puesto que son impartidos por profesores investigadores en activo en nuestra universidad, adscritos a grupos de investigación reconocidos.

Seminarios impartidos por investigadores propios

Estos seminarios se desarrollan a lo largo de todo el curso, cada uno durante cinco días. Los cinco días de un seminario son el mismo día de la semana durante cinco semanas consecutivas (salvo pequeñas excepciones).Todos tienen una valoración de 1 ECTS. Todos tendrán lugar en el aula A6201 (Bloque 6) de 19:00 a 21:00 horas, excepto donde se indica.

LOS SEMINARIOS SIN PROGRAMA ESTAN SIN CONFIRMAR

(rojo=festivo; amarillo=sin seminario)

Calendario curso 2006/07
LUNES 8152229F 5  
MARTESE9162330E 6 Seguridad y mejora de procesos
MIERCOLESN10172431B 7 Aplicación de las TIC a los procesos de enseñanza -aprendizaje
JUEVESE111825 R18 18 - TIC ... 25 - Computación Natural
VIERNESR121926 E29 Computación Natural
SABADOO132027 R310  
DOMINGO 142128 O411  
           
LUNESF26  5121926 Desarrollo e Implementación de Lenguajes con Tecnología Declarativa
MARTESE27M 6132027 Fundamentos matemáticos para Soft Computing
MIERCOLESB28A 7142128 Sistemas de Ayuda a la Decisión
JUEVESR R18152229 Informática aplicada al Procesado de señal e imagen
VIERNESE Z29162330 Informatica Biomedica
SABADOR O310172431  
DOMINGOO  4111825   
           
LUNES  162330 71421Ingenieria de Mineria de Datos
MARTESA 1724 181522Ingeniería del Software Empírica
MIERCOLESB 1825M291623Ingeniería Ontológica
JUEVESR121926A31017 Inteligencia Artificial
VIERNESI132027Y41118 Percepción computacional y Robótica
SABADOL142128O51219  
DOMINGO 152229 61320  
           
LUNES  28  4111825Polinomios ortogonales y Geometría fractal
MARTESM 29J 5121926Sistemas Distribuidos (H1005, Bloque I)
MIERCOLESA 30U 6132027Información y Computación Cuántica (H1005, Bloque I)
JUEVESY2431N 7142128Tecnología informática y de las comunicaciones
VIERNESO25 I18152229Validación y Aplicaciones industriales (H1005, Bloque I)
SABADO 26 O29162330 
DOMINGO 27  3101724  

Matrícula en los Cursos

El Módulo Ciencia de la Computación se ofrece en los siguientes títulos de Máster:

En el primero se han de matricular las asignaturas 103000248 y 103000249, Ciencia de la Computación I y II, ambas de 10 ECTS. En los otros tres, se ha de matricular la asignatura 103000242, de 6 ECTS. La matrícula puede realizarse tanto a comienzo de curso como en el momento de tener ya superados los créditos correspondientes.

Programas de los seminarios

Diseño de un Sistema Experto para diagnóstico de enfermedades

Luis Laita, profesor emérito UPM

Los estudiantes deben buscar en Internet alguna descripción de los síntomas fundamentales de una enfermedad y escribir una descripción de la enfermedad y de sus síntomas en unas diez páginas. Los síntomas se dividen en cinco grupos: emocionales, cognitivos, los relacionados con la salud, los relacionados con el entorno familiar y los relacionados con el trabajo y la empresa. Con cada uno de esos grupos se construye una base de reglas de producción y una base de hechos potenciales. Se aplica un método de condensación del conocimiento en fórmulas de la lógica, que puede ser bivalente o trivalente-modal.

Las reglas de producción se construyen usando mapas de Karnaugh que relacionan síntomas en cada grupo y asignan un nivel de gravedad (“abordable”, “indefinida” e “inabordable”) a cada “pieza” de conocimiento. Luego se relacionan esos niveles en otros más altos. Los resultados parciales acerca de la gravedad de la enfermedad se reúnen al final para dar lugar a un diagnóstico. El resultado es un sistema experto para el diagnóstico de la enfermedad.

Distributed computing environments

Bettina Kemme, McGill University

Los entornos de computación distribuida se han convertido en estándar en los entornos de las tecnologías de la información. Ejemplos son los clusters de estaciones de trabajos, entornos móviles, sistemas grid, sistemas middleware multi-capa or sistemas peer-2-peer. La gestión de datos en tales entornos es un reto. En este curso cubriremos temas tales como la consistencia de datos (modelos de consistencia, modelos de transacciones avanzadas, control de concurrencia avanzado y recuperación distribuida), replicación de datos, y ejecución distribuida de consultas. También se estudiarán los aspectos de tolerancia a fallos. En primer lugar se estudiarán estos temas desde un punto de vista abstracto y entonces se analizarán para entornos de computación específicos, en particular, los clusters y los entornos peer-2-peer. El curso estará formado por 15 horas lectivas y el profesor dedicará otras 15 a otras actividades en concepto de atención a los alumnos del curso.

(1 crédito de LE para estudiantes Ingeniería Informática)

Fault-tolerance in distributed systems

Jean Charles Fabre, Universidad de Toulouse/CNRS

El seminario cubre diversos aspectos de la confiabilidad (dependability). Tiene una breve introducción a los distintos aspectos de la confiabilidad tales como seguridad y tolerancia a fallos. El seminario después cubre en profundidad temas candentes de investigación en confiabilidad. En primer lugar trata la tolerancia a intrusiones (Shamir threshold schemes, fragmentation-redundancy-scattering techniques). En segundo lugar se tratará la tolerancia a fallos en dos contextos diferentes: los sistemas distribuidos orientados a objetos y componentes estándar (COTS). En el caso de los sistemas distribuidos orientados a objetos se estudiarán aspectos arquitectónicos de cómo emplea la reflexión computacional para separar la tolerancia a fallos (aspecto no funcional) de los aspectos funcionales. En el caso de los componentes estándar se estudiarán técnicas de wrapping para introducir tolerancia a fallos en componentes COTS para aumentar su robustez. El curso estará formado por 15 horas lectivas y el profesor dedicará otras 15 a otras actividades en concepto de atención a los alumnos del curso.

(1 crédito de LE para estudiantes Ingeniería Informática)

Información y Computación Cuántica

Grupo de investigación en Información y Computación Cuántica (Vicente Martín Ayuso)

Ingeniería del Software Empírica

Ingeniería del Software Empírica (Natalia Juristo Juzgado)

La Ingeniería del Software Experimental es un área de la Ingeniería del Software relativamente reciente relacionada con la colección y el análisis de datos y experiencias que pueden ser utilizados para caracterizar, evaluar e identificar relaciones entre distintos artefactos utilizados en la construcción de software. En otras palabras, el objetivo principal es entender, desde un punto de vista empírico, las debilidades y fortalezas de las tecnologías utilizadas en el desarrollo de software.

Las investigaciones en Ingeniería del Software Experimental pretenden comprobar las fortalezas de las tecnologías utilizadas en los desarrollos, proporcionando datos que demuestren cómo mejoran la producción de software, y determinando sus mejores condiciones de aplicación. Adicionalmente, tal como ocurre en otras disciplinas, también se deben replicar los experimentos, bien para corroborar los resultados antes las mismas condiciones de aplicación, o para proporcionar información adicional en nuevos contextos. Como resultado de este proceso, la investigación podría proporcionar a los desarrolladores conocimiento contrastado experimentalmente sobre los beneficios de la aplicación de las distintas tecnologías de desarrollo y sus condiciones de aplicación.

La aplicación de métodos experimentales para riguroso para evaluar y comparar métodos, técnicas y herramientas utilizadas en el desarrollo de software asegura que los resultados de dichas evaluaciones y comparaciones son fiables. En función de los objetivos que se planteen se pueden aplicar distintos tipos de estudios empíricos. Los experimentos son típicamente realizados en contextos de laboratorio. Los case study, se emplean para analizar el efecto de determinada técnica o método en la industria. Los surveys se utilizan para obtener una visión global de alguna faceta del desarrollo de software.

Inteligencia Artificial

Grupo de Inteligencia Artificial (Alfonso Rodríguez-Patón Aradas)

Cuatro de las cinco charlas del grupo se centrarán en una introducción a diferentes ramas de la Computación Natural. La Computación Natural se puede describir como un área científica con dos objetivos: (1) comprender los procesos computacionales que tienen lugar en la Naturaleza (en particular, en la Biología) y (2) desarrollar modelos computacionales inspirados en la Naturaleza. Las sesiones del seminario serán:

  1. Alfonso Rodríguez-Patón presentará un resumen de todas las cinco charlas y en especial hablará sobre la Computación biomolecular in vivo, los autómatas biomoleculares, la Biología de Sistemas y sus trabajos de investigación en estas áreas.
  2. Andrei Paun disertará sobre la Computación biomolecular "in info" (en concreto, sobre el modelo denominado Computación celular con membranas o sistemas P) y sobre sus investigaciones recientes en estas áreas.
  3. Petr Sosík expondrá su visión sobre la interelación entre las siguientes áreas: Computación Biomolecular, Biología Computacional, Bioinformática y Computación Biológica. También comentará problemas abiertos y líneas futuras de investigación.
  4. Daniel Manrique Gamo introducirá las Redes de Neuronas Artificiales y la Computación Evolutiva y explicará sus trabajos de investigación en estas áreas.
  5. La quinta sesión correrá a cargo del Prof. Juan Pazos Sierra, quien expondrá su teoría basada en "Holones e Informones".

Learning from data streams

Joao Manuel Portela da Gama, Universidade de Porto

  1. Introduction to data streams
  2. Maintaining simple statistics
    2.1 Histograms
  3. Change detection
    3.1 Introduction
    3.2 Methods and algorithms
  4. Knowledge discovery
    4.1 Desiderata for learning
    4.2 Decision trees
    4.3 Clustering
    4.4 Association rules
    4.5 Multiple models
    4.6 Detecting drift using ensembles of classifiers
  5. Final words

Molecular computing

Yakoov Benenson, Harvard University

The course will emphasize the experimental approaches and cover the following topics:

  1. Introduction to molecular biology for computer scientists
  2. Computer science concepts relevant to molecular computing
  3. Early theory of molecular computing (1970-1993)
  4. Solving combinatorial problems using DNA
  5. Self –assembly of DNA as computation
  6. Autonomous molecular computers and molecular automata
  7. In vivo computing systems

Percepción computacional y Robótica

Grupo de investigación: Percepción computacional y Robótica (Luis Baumela Molina)

Privacy, security, and data mining

Yucel Saigin, Sabanci University

Lectures for this seminar will cover the following:

Documento 1

Documento 2

Referencias

Las horas restantes no lectivas se dedicarán a la interacción con el alumno en un caso práctico de análisis con datos reales del problema de preservar la privacidad al mismo tiempo que se busca conocimiento en bases de datos y los retos que esto supone y que se analizaron en las horas teóricas.

(1 crédito de LE para estudiantes Ingeniería Informática)

Procesos de data mining

Pedro Sousa, Universidade Nova de Lisboa

El profesor impartirá 10 horas lectivas con el siguiente esquema:

Las clases teóricas se complementarán con al menos 10 horas dedicadas a un caso práctico:

(1 crédito de LE para estudiantes Ingeniería Informática)

Publish/subscribe systems for information dissemination in dynamic distributed systems

Roberto Baldoni, Univ. La Sapienza di Roma

El paradigma de comunicación Publish/Subscribe es un alternativa al modelo más tradicional cliente/servidor. Gracias a su inherentes características de desacoplamiento que hoy es reconocida como una solución prometedora para aplicaciones que requieren interacciones con bajo acoplamiento. Durante este seminario el estudiante será introducido a este modelo de comunicación y las distintas implementaciones posibles. En particular, el seminario revisará algoritmos de enrutamiento de eventos discutiéndolos en base a sus supuestos en términos como la carga inducida de mensajes, información de enrutado requerido por cada nodo, dependencia del lenguaje de subscripción, adaptividad a los cambios dinámicos de la red subyacente. Además, se especificarán cómo los algoritmos de cada clase se relaciona con la red superpuesta (overlay network), en particular, destacando qué red superpuesta es la más adecuada para una solución de eventos específica y por qué. Finalmente, se estudiarán los sistemas pub/sub más representativos. El curso estará formado por 15 horas lectivas y el profesor dedicará otras 15 a otras actividades en concepto de atención a los alumnos del curso.

(1 crédito de LE para estudiantes Ingeniería Informática)

Robustness programming patterns

Christof Fetzer, Technical University of Dresden

El propósito de este seminario es una introducción a los patrones de robustez que son útiles para evitar fallos software y ser capaz de tolerarlos en tiempo de ejecución. Los temas de este seminario incluirán: pares de procesos, modelos de comunicación entre procesos, checkpointing, asertos, retries, manejo de excepciones, model checking, logging y mutaciones software. El seminario está basado en el curso de postgrado “Software Fault tolerante” que actualmente imparte en TU Dresden. El seminario estará acompañado de algunos ejercicios que los estudiantes deberán realizar como trabajo en casa. Los estudiantes tendrán acceso a un sistema de meta-aspectos y las herramientas asociadas para ganar cierta experiencia práctica con los temas cubiertos por el seminario. El curso estará formado por 15 horas lectivas y el profesor dedicará otras 15 a otras actividades en concepto de atención a los alumnos del curso.

(1 crédito de LE para estudiantes Ingeniería Informática)

Scalable storage systems: efficient remote block-level I/O & reliability

Angelos Bilas, Universidad de Creta/FORTH

Los sistemas modernos de almacenamiento tienen requisitos de escalabilidad muy estrictos que requieren escalar a altas capacidades de almacenamiento y de productividad de E/S (throughput) de forma efectiva en coste. Por esta razón, existe un número creciente de estos sistemas que están siendo construidos con hardware estándar, principalmente PCs equipados con un alto número de discos e interconectados mediantes system area networks de alto rendimiento. En este seminario primero se describirán los problemas abiertos en esta área. Se bosquejará nuestro enfoque para abordar las limitaciones arquitectónicas de los sistemas de almacenamiento actuales y se presentará el trabajo actual de comprensión del rendimiento de los sistemas de almacenamiento de E/S a nivel de bloque en hardware estándar y redes y tarjetas de red RDMA-capable. A continuación se estudiarán como la interfaz exportada por los sistemas de almacenamiento en red pueden extenderse con fiabilidad. El curso estará formado por 15 horas lectivas y el profesor dedicará otras 15 a otras actividades en concepto de atención a los alumnos del curso.

(1 crédito de LE para estudiantes Ingeniería Informática)

Sistemas de Ayuda a la Decisión

Grupo de Análisis de Decisiones y Estadística (Alfonso Mateos Caballero)

Muchos problemas a los que debemos enfrentarnos son extremadamente complejos por la presencia de varias fuentes de incertidumbre, varios objetivos y metas conflictivos, posibles impactos de las decisiones a largo plazo y sobre distintos grupos de la población… Aunque en ocasiones es posible resolverlos con la experiencia y la intuición, se ha probado repetidas veces que tales aproximaciones a los problemas complejos pueden conducir a malas soluciones. Como alternativa, los Sistemas de Ayuda a la Decisión proporcionan modelos que permiten resolver problemas de forma estructurada teniendo en cuenta todos los aspectos relevantes del mismo.

El objetivo de este seminario es mostrarle a los alumnos como los Sistemas de Ayuda a la Decisión pueden ser herramientas de gran utilidad a la hora de tomar la mejor decisión en un problema de decisión. Concretamente nos centraremos en dos Sistemas de Ayuda a la Decisión que pueden ser obtenidos gratuitamente de la red y que han sido construidos con fines académicos y prácticos. El primero de los sistemas se denomina GMAA (Generic Multiattribute Analysis) y puede obtenerse de la página web: http://www.dia.fi.upm.es/%7Eajimenez/GMAA Este sistema ha sido fruto de las investigaciones llevadas a cabo por profesores pertenecientes al grupo de Análisis de Decisiones y Estadística del Departamento de Inteligencia Artificial de la Facultad de Informática de la Universidad Politécnica de Madrid. El segundo se denomina GeNie, un entorno de desarrollo de modelos gráficos (diagramas de influencia) para representar problemas de decisión y evaluar las politicas óptimas. Se puede obtener de http://genie.sis.pitt.edu/ junto con ejemplos, documentación técnica y refrencias.

El seminario constará de dos fases. La primera fase consistirá en la presentación de los sistemas y la segunda en la utilización de los sistemas con ejemplos prácticos.

Sistemas Distribuidos

LSD: Distributed Systems Lab (Ricardo Jiménez Peris)

  1. Introducción a los sistemas distribuidos y actividades del LSD.
  2. Investigación en Bases de Datos Escalables y Tolerantes a Fallos.
  3. Investigación en Edge Computing.
  4. Investigación en Clustering de Servidores de Aplicación.
  5. Investigación en Teoría de Computación Distribuida.

Static analysis, program verification, and automated theorem proving

Deepak Kapur, University of New Mexico

This short course will give a bird's eye-view of current attempts in deriving invariants/properties of programs. The main focus will be on recent research by Prof. Kapur on automatically generating loop invariants using methods based on abstract interpretation and polynomial ideal theory, quantifier-elimination and solving recurrence relations. The course will also discuss the importance of decision procedures and automated theorem proving techniques in these activities. Time permitting, techniques based on counter-example guided abstraction refinement framework will be discussed for deriving properties of programs.

Validación y Aplicaciones industriales

Grupo de Validación y Aplicaciones industriales (Jesús Cardeñosa Lera)

  1. Lineas de investigación del Grupo de Investigación y trabajos de investigacion relacionados. Prof: Jesús Cardeñosa
  2. Traduccion automatica. Logros y problemas. Sistema ETAP. Prof: Igor Boguslavsky
  3. Recursos lexicos. Diseño de bases de datos lexicas. Prof: Eugenio Santos
  4. Nuevas lineas de extraccion de informacion a partir de textos. Prof: Carolina Gallardo
  5. Soluciones multilingues para problemas en dominios limitados. Prof: Adriana Toni.

Web usage mining

Bettina Berendt, Humboldt-Universitat zu Berlin

(1 crédito de LE para estudiantes Ingeniería Informática)

Aplicación de las TIC a los procesos de enseñanza-aprendizaje

Computación Natural

Desarrollo e Implementación de Lenguajes con Tecnología Declarativa

Fundamentos matemáticos para Soft Computing

Informática aplicada al Procesado de señal e imagen

Informática Biomédica

Ingeniería de Minería de Datos

Ingeniería Ontológica

Polinomios ortogonales y Geometría fractal

Seguridad y mejora de procesos

Tecnología informática y de las comunicaciones