Para el martes 1 de junio

A la 1 del mediodía, en el aula 10 si está libre (y si no, en la 14), la que posiblemente sea la última sesión por este curso de estas Working Sessions.

Speaker: Joos Heintz.

Abstract

The aim of this talk is twofold:

On one side, we present a new, computer science oriented view of a classical subject of approximation theory and numerical analysis, namely the Hermite–Lagrange interpolation of multivariate polynomials.

On the other side, we shall present Hermite–Lagrange interpolation as a special instance of a software project which allows an architectural specification and a realization in terms of object oriented programming.

The unexpected outcome is that a software architecture formulation of a classic numeric task like Hermite–Lagrange interpolation leads directly to a very natural quality attribute scenario which provably implies the inefficiency of any program that satisfies the given non–functional requirements.

Documentando con retraso…

…que Marta Zorrilla y Diego García presentaron el martes 25 la última de las sesiones dedicadas a Confidence Boost y su aplicación a Educational Data Mining.

Confidence boost: Continuación

Martes 18 de mayo, 13h, aula 14 (o bien aula 10 si está disponible):

Cristina Tîrnãucã: Closure spaces and confidence boost for association rules with negations.

(Aprovecho para subir a la entrada anterior las transparencias de las últimas dos sesiones y enlaces a artículos.)

Sesiones de mayo

Tras algunas semanas de baja actividad pública, a lo largo del mes de mayo tendremos una secuencia de presentaciones relativas a Reglas de Asociación, una de las tecnologías básicas de minería de datos, con los avances recientes obtenidos en la UC (Jose L Balcázar, Cristina Tîrnãucã y Marta Zorrilla):

* redundancia y bases (JLB);

* «confidence boost»: desarrollo teórico (JLB, CT);

* «confidence boost» en la práctica (MZ, CT, JLB).

Los martes a las 13:00 en el Aula 14, empezando el martes próximo, 4 de mayo.

(Edit: enlaces.)

Transparencias de las sesiones del 4 y 11 de mayo

Un artículo sobre bases en reglas de asociación: Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules (to appear in: Logical Methods in Computer Science).

Accesible también, junto con versiones preliminares de artículos sobre confidence boost, entre los artículos de JLB.

Próxima sesión, martes 30 de marzo

Marta Zorrilla: A Decision Support System to Improve e-Learning Environments

(International workshop on Business Intelligence and the WEB, Lausanne 2010)

Martes 30 de marzo, 13:00, aula 14

Nueva sala

Contraorden. El Seminario de Electronica no estaba disponible.

Empezando el proximo martes 9 de marzo, y en adelante hasta nuevo aviso, el seminario WorSe de LSI sera en el AULA 14.

Proxima sesion, la de Carlos Blanco anunciada en la entrada anterior.

Ruego disculpeis la falta de tildes pero hoy esta maquina se me niega a ponerlas, no se si sera por el teclado o por el navegador. (Probare a salir y volver a entrar… 😉

Next Speaker: Carlos Blanco

(El martes 2 de marzo no habrá seminario, estaba previsto que éste tuviera lugar el 2 de marzo pero le ha surgido una incompatibilidad al «speaker» y se retrasa una semana.)

Martes 9 de marzo, a las 12:50 en el Seminario de Electrónica (salvo contraorden):

Aplicación del enfoque de desarrollo dirigido por modelos a la construcción de Almacenes de Datos Seguros

Resumen:

El enfoque de desarrollo dirigido por modelos permite contruir software en base a varios modelos que representan distintos niveles de abstracción y separan la funcionalidad del sistema de su implementación en tecnologías específicas. Una de las principales ventajas es que partiendo de un mismo modelo más abstracto del problema se pueden obtener modelos e implementaciones para distintas tecnologías, y todo de forma automática definiendo reglas de transformación entre modelos. En este sentido, la OMG (principal consorcio de la industria del software mundial) propone el estándar MDA (Model-Driven Architecture).

En este caso, esta filosofía de desarrollo ha sido aplicada a los almacenes de datos, que al igual que el resto de sistemas de información han de ser construidos siguiendo una serie de etapas en las que se generan modelos y pueden beneficiarse de este enfoque.

Debido a que los almacenes de datos manejan información muy sensible, se han incluido aspectos de seguridad en dichos modelos de forma que en las transformaciones se tienen en cuenta de forma conjunta a los aspectos estructurales típicos de este tipo de sistemas.

Tradicionalmente, la seguridad de la información ha sido reconocida como un aspecto crucial para la supervivencia de las organizaciones pero no ha sido debidamente integrada en el proceso de desarrollo, siendo considerada en etapas finales. Un desarrollo de sistemas de información de calidad ha de considerar la seguridad como un requisito no funcional de vital importancia que ha de ser integrado desde etapas tempranas del desarrollo, influyendo en las posteriores decisiones de diseño.

Next Speaker: Pepe Montaña

(La próxima semana subiré transparencias de las sesiones más recientes. –JLB)

Tuesday feb 23, 2010, seminario de Electrónica:

Selección de Modelos en Programación Genética

Cruz E. Borges y José Luis Montaña

La programación genética es una técnica de Machine Learning utilizadapara optimizar una población de programas de computador de acuerdo a una función de fitness que estima la capacidad del programa para realizar una determinada tarea. A diferencia de las redes neuronales y de las máquinas de soporte vectorial, el entrenamiento genético no opera sobre una familia de modelos parametrizada por una cantidad finita de valores escalares, y por lo tanto, con una capacidad de clasificación limitada; sino sobre expresiones simbólicas cuyo fenotipo varía desde las expresiones booleanas, aritméticas, algebraicas o trascendentes hasta estructuras complejas como los programas de computador. Tales expresiones definen modelos no lineales y no descritos en forma paramétrica que se representan típicamente mediante árboles de expresión.

Los activistas de la programación genética, como si de una energía renovable se tratase, alentados por pequeños éxitos, suelen afirmar que son capaces de descubrir -mediante sus estrategias- programas que realizan tareas complejas simplemente dejando que la evolución trabaje por nosotros. Sin estar de acuerdo con esta afirmación, lo que sí es aparentemente cierto es que la programación genética es capaz de operar con familias de modelos mas que con una familia de modelos concreta, lo que da una representación más rica que la que habitualmente ofrecen otras estrategias de aprendizaje antes mencionadas y que hacen excesivo hincapié en la optimización de parámetros y no de estructuras.

Aun utilizando la programación genética como una caja negra que optimiza programas, existe la posibilidad de actuar sobre la función de fitness de dicha caja negra, siendo éste un problema independiente del método que se use para optimizar y situando la pregunta en los siguientes términos: ¿Qué función debemos optimizar en un problema de aprendizaje supervisado si la clase de modelos tiene capacidad de clasificación infinita? ¿Cómo influye la función de fitness en el error de la generalización? Estas preguntas constituyen el punto de partida de nuestro deambular por el mundo del aprendizaje supervisado.

Next Speaker: Pablo

Martes 16 de febrero, 12:50

Pablo Sánchez Barreiro:

Líneas de Productos Software

Abstract: El objetivo de una línea de productos software es similar al de una línea de producción de automóviles: ensamblar, a partir de una serie de componentes software prefabricados, productos software similares, tan automáticamente como sea posible. Estos productos software comparten una serie de características comunes, a la vez que presentan diferencias entre ellos. Las líneas de productos software presentan nuevos retos con respecto al desarrollo software tradicional: (1) en primer lugar, debemos disponer de nuevas técnicas y lenguajes para analizar y especificar las variaciones existentes entre diferentes productos; (2) debemos diseñar productos software «flexibles», que permitan la incorporación de dichas variaciones; y (3) debemos diseñar mecanismos que, dada una selección de las características que queremos incluir en un producto, permitan el ensamblado tan automático como sea posible, de dicho producto.

Transparencias: worse20100216: Software Product Line Engineering

Aviso de cambio de horario

Para el segundo cuatrimestre, en que tenemos todos horario distinto del que traíamos en el primero, también el horario de estas Working Sessions va a cambiar.

Los meses próximos nos reuniremos los martes a las 12:50; oportunamente se indicará dónde. Asimismo, en breve plazo anunciaremos las próximas sesiones.