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.
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/07 | Learning 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.
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 | 8 | 15 | 22 | 29 | F | 5 | ||||
| MARTES | E | 9 | 16 | 23 | 30 | E | 6 | Seguridad y mejora de procesos | ||
| MIERCOLES | N | 10 | 17 | 24 | 31 | B | 7 | Aplicación de las TIC a los procesos de enseñanza -aprendizaje | ||
| JUEVES | E | 11 | 18 | 25 | R | 1 | 8 | 18 - TIC ... 25 - Computación Natural | ||
| VIERNES | R | 12 | 19 | 26 | E | 2 | 9 | Computación Natural | ||
| SABADO | O | 13 | 20 | 27 | R | 3 | 10 | |||
| DOMINGO | 14 | 21 | 28 | O | 4 | 11 | ||||
| LUNES | F | 26 | 5 | 12 | 19 | 26 | Desarrollo e Implementación de Lenguajes con Tecnología Declarativa | |||
| MARTES | E | 27 | M | 6 | 13 | 20 | 27 | Fundamentos matemáticos para Soft Computing | ||
| MIERCOLES | B | 28 | A | 7 | 14 | 21 | 28 | Sistemas de Ayuda a la Decisión | ||
| JUEVES | R | R | 1 | 8 | 15 | 22 | 29 | Informática aplicada al Procesado de señal e imagen | ||
| VIERNES | E | Z | 2 | 9 | 16 | 23 | 30 | Informatica Biomedica | ||
| SABADO | R | O | 3 | 10 | 17 | 24 | 31 | |||
| DOMINGO | O | 4 | 11 | 18 | 25 | |||||
| LUNES | 16 | 23 | 30 | 7 | 14 | 21 | Ingenieria de Mineria de Datos | |||
| MARTES | A | 17 | 24 | 1 | 8 | 15 | 22 | Ingeniería del Software Empírica | ||
| MIERCOLES | B | 18 | 25 | M | 2 | 9 | 16 | 23 | Ingeniería Ontológica | |
| JUEVES | R | 12 | 19 | 26 | A | 3 | 10 | 17 | Inteligencia Artificial | |
| VIERNES | I | 13 | 20 | 27 | Y | 4 | 11 | 18 | Percepción computacional y Robótica | |
| SABADO | L | 14 | 21 | 28 | O | 5 | 12 | 19 | ||
| DOMINGO | 15 | 22 | 29 | 6 | 13 | 20 | ||||
| LUNES | 28 | 4 | 11 | 18 | 25 | Polinomios ortogonales y Geometría fractal | ||||
| MARTES | M | 29 | J | 5 | 12 | 19 | 26 | Sistemas Distribuidos (H1005, Bloque I) | ||
| MIERCOLES | A | 30 | U | 6 | 13 | 20 | 27 | Información y Computación Cuántica (H1005, Bloque I) | ||
| JUEVES | Y | 24 | 31 | N | 7 | 14 | 21 | 28 | Tecnología informática y de las comunicaciones | |
| VIERNES | O | 25 | I | 1 | 8 | 15 | 22 | 29 | Validación y Aplicaciones industriales (H1005, Bloque I) | |
| SABADO | 26 | O | 2 | 9 | 16 | 23 | 30 | |||
| DOMINGO | 27 | 3 | 10 | 17 | 24 | |||||
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.
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.
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)
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)
Grupo de investigación en Información y Computación Cuántica (Vicente Martín Ayuso)
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.
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:
Joao Manuel Portela da Gama, Universidade de Porto
Yakoov Benenson, Harvard University
The course will emphasize the experimental approaches and cover the following topics:
Grupo de investigación: Percepción computacional y Robótica (Luis Baumela Molina)
Yucel Saigin, Sabanci University
Lectures for this seminar will cover the following:
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)
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)
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)
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)
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)
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.
LSD: Distributed Systems Lab (Ricardo Jiménez Peris)
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.
Grupo de Validación y Aplicaciones industriales (Jesús Cardeñosa Lera)
Bettina Berendt, Humboldt-Universitat zu Berlin
(1 crédito de LE para estudiantes Ingeniería Informática)
