Seminarios 2014-2015

Título: Caminos mínimos en grafos con uno y múltiples objetivos.

Ponente: Lawrence Mandow

Fecha: 13-Marzo

Horas: 16:00-19:30

Lugar: Salón de grados (Auditorio)

Créditos: 0.5

Resumen:
El problema del camino mínimo es probablemente uno de los más estudiados en investigación operativa e inteligencia artificial. En esta charla abordaremos el problema desde la perspectiva de ambas disciplinas, presentando y comparando la caracterización de algoritmos habitual en ellas. Prestaremos especial atención a los algoritmos de Dijkstra y A*, y describiremos algunas de sus aplicaciones. A continuación motivaremos y abordaremos la generalización del problema al caso multicriterio, describiendo algunos de los algorimos y logros más recientes, así como problemas de investigación abiertos.

Breve biografía:
Lorenzo Mandow es Licenciado en Informática y Doctor Ingeniero en Informática. Actualmente es Profesor Titular de Universidad en el área de Ciencia de la Computación e Inteligencia Artificial de la Universidad de Málaga. Su trabajo de investigación aborda fundamentalmente la integración de modelos de decisión multicriterio en las técnicas de la inteligencia artificial simbólica. Recientemente ha trabajado en el desarrollo y análisis de nuevos algoritmos multicriterio para el problema del camino mínimo en grafos.

Título: The stochastic multi-armed bandit problem: theory, empirical results and applications

• Lunes 2 de marzo, de 18:00 a 20:30.
• Miércoles 4 de marzo, de 12:00 a 14:00
• Viernes 6 de marzo, de 15:30 a 18:00

Créditos: 1 crédito

Ponente: Prof. Bernard Manderick

Lugar: Edificio Biblioteca Rey Pastor, sala 3.S1.08

Abstract

In the multi-armed bandit (or MAB) problem, an agent has to select among alternatives called arms and each time an arm is selected a stochastic reward is received. The goal of the agent is to maximize the total expected reward or equivalently the total regret. In order to solve the MAB-problem optimally,  the agent has to find a tradeoff between exploitation and exploration. In case of exploitation, the agent acts greedily and choses the arm with the highest expected reward based on the information collected so far. In case of exploration, the agents selects another arm in order to get more information about it and to improve the existing estimate. The agent has to balance both in such a way that the total regret is minimized.

In this series of 3 seminars the MAB problem is introduced together with several algorithms that solve it including the upper confidence bound, the knowledge gradient, the Gittins index and Thompson sampling. The empirical performance  of these algorithms for different reward distributions is compared and the theory is discussed for the algorithms for which it  exists. Also, some important applications are given such as web site optimization, clinical trials, routing, Monte Carlo tree search and optimization.

Créditos: 0.5
Construcción automática de narrativa: creatividad computacional aplicada a la invención de argumentos y a la comunicación textual

• Fechas: 27 de Febrero
• Horario: 16:00 a 19:30
• Ponentes: Pablo Gervás
• Lugar: 3.1.S08 (Edificio Rey Pastor)
• Organizador: Departamento de Informática. Grupo de Investigación SCALAB

Resumen:

En los últimos años, los avances en el área de Creatividad Computacional han explorado la conjunción de procesos generativos y modelos evaluativos para construir artefactos a la vez originales y de valor, en campos tan distintos como la música, las artes gráficas, o las matemáticas. En el area de la construcción de narrativa, los avances de los últimos años han llevado al desarrollo de un número considerable de sistemas de generación de historias. El grupo de investigación NIL lleva trabajando en este tema desde hace diez años. En  un principio nuestros esfuerzos se centraron en conseguir sistemas completos de construcción de historias, desde la concepción inicial de la historia a su comunicación en lenguaje natural. Estos esfuerzos resultaron en sistemas que producían historias de estructura rígida y formulación mayormente torpe. A raíz del análisis de estos resultados empezamos a plantear la subdivisión del problema en áreas más pequeñas, cada una relacionada con la consecución de alguna de las características que se echaban en falta en aquellas historias iniciales. De este modo hemos llegado a desarrollar modelos teóricos de la construcción de historias que permiten este tipo de subdivisión, y desde entonces trabajamos en el desarrollo de soluciones específicas para cada una de ellas. El seminario que se  propone revisará el estado del arte en este campo, aprovechando para ilustrar algunas de las dificultades y desafíos del campo. Seguidamente se presentará el modelo teórico utilizado para subdividir la tarea de desarrollo, y finalmente se presentarán soluciones y resultados de algunas de las áreas específicas en que se viene trabajando, como la invención de argumentos para historias, la construcción de personajes, la composición de discursos narrativos lineales a partir de logs de simulaciones, y los desafíos que la comunicación de todo esto presenta para la generación de lenguaje natural .

Biografía:

Pablo Gervás es profesor titular en la Facultad de Informática de la Universidad Complutense de Madrid. Investiga desde hace 25 años en inteligencia artificial y procesamiento de lenguaje natural y desde hace 15  en Creatividad Computacional. Dirige el grupo de investigación NIL (Natural Interaction based on Language,  http://nil.fdi.ucm.es/) y el Instituto de Tecnología del Conocimiento (http://www.itc.ucm.es/). En la actualidad participa en tres proyectos financiados por la Comisión Europea en temas relacionados con la Creatividad Computacional: PROSECCO (Promoting the Scientific Exploration of Computational Creativity, http://prosecco-network.eu/), ConCreTe (Concept Creation Technology, http://conceptcreationtechnology.eu/) and WHIM (The What-IF Machine, http://www.whim-project.eu/).

Créditos: 2

Scalable Data Analysis on Parallel and Cloud Computing Systems

• Fechas y hora:

      18 de Febrero (X) - Mañana.   9:30  - 14:00
      19 de Febrero (J)  - Tarde.   15:30- 20:00
      20 de Febrero (V) - Mañana.   9:30 - 14:00

• Ponentes: Prof. Domenico Talia, Full Professor of Computer Engineering at University of Calabria
• Lugar: Edificio Biblioteca Rey Pastor, sala 3.S1.08
• Organizador: Departamento de Informática. Grupo de Investigación ARCADE

SUMMARY:

The analysis of large and distributed data repositories requires the combined use of smart data analysis techniques and scalable architectures to find and extract useful information from them. Parallel systems, Grids and Cloud computing platforms offer an effective support for addressing both the computational and data storage needs of Big Data mining and parallel analytics applications. In fact, complex data mining tasks involve data- and compute-intensive algorithms that require large storage facilities together with high performance processors to get results in suitable times. In this seminar we introduce the most relevant topics and the main research issues in high performance data mining including parallel data mining strategies, knowledge Grids and Cloud data mining. We also present some data mining frameworks designed for developing distributed data analytics applications as workflows of services on Grids and Clouds. In these environment data sets, analysis tools, data mining algorithms and knowledge models are implemented as single services that are combined through a visual programming interface in distributed workflows. Some applications will be also discussed.

SHORT BIO:

Domenico Talia is a full professor of computer engineering at the University of Calabria in Italy. He is a partner of two startups, Exeura and DtoK Lab. His research interests include parallel and distributed data mining, cloud computing, Grid services, knowledge discovery, mobile computing, green computing systems, peer-to-peer systems, and parallel computing. Talia published ten books and more than 300 papers in archival journals such as CACM, Computer, IEEE TKDE, IEEE TSE, IEEE TSMC-B, IEEE Micro, ACM Computing Surveys, FGCS, Parallel Computing, IEEE Internet Computing and international conference proceedings. He is a member of the editorial boards of IEEE Transactions on Computers, IEEE Transactions on Cloud Computing, the Future Generation Computer Systems journal, the International Journal on Web and Grid Services, the Scalable Computing: Practice and Experience journal, MultiAgent and Grid Systems: An International Journal, International Journal of Web and Grid Services, and the Web Intelligence and Agent Systems International journal. Talia served as a chair, organizer, or program committee member of several international conferences and gave many invited talks and seminars in conferences and schools. He is a member of the ACM and the IEEE Computer Society.

Créditos: 2
Ingeniería del Software Basada en la Evidencia

• Fechas: 12 y 19 de diciembre, 9, 16, y 23 de enero
• Horario 16:00-19:00
• Ponentes: Marcela Genero y José Antonio Cruz-Lemus
• Lugar: Edificio Biblioteca Rey Pastor. Sala 3.1.S08
• Organizador: Departamento de Informática (Grupo de Investigación SINTONIA)

BREVE DESCRIPCION DEL CURSO

Los principales objetivos del curso son:

• 1)     Dar a conocer a los alumnos la relevancia de que las decisiones tomadas en el ámbito de la Ingeniería del Software sean tomadas basadas en evidencias.
• 2)     Dar a conocer a los alumnos la relevancia de la colaboración industria-empresa para la realización de estudios empíricos en el ámbito de la Ingeniería del Software.
• 3)     Que el alumno conozca las principales características del diseño de estudios empíricos para validar las tecnologías propuestas en la ingeniería del software (experimentos, estudios de casos, investigación en acción). Se profundizará más en las etapas del proceso para la realización de experimentos y en la realización de réplicas.
• 4)     Dar a conocer a los alumnos ejemplos relevantes de experimentos, estudios de caso y estudios de investigación en acción.
• 5)     Proporcionar a los alumnos literatura y otros recursos recomendados.

PROGRAMA

S1/S2/S3 (9 HORAS)

Introducción

◦ Ingeniería del software basada en la evidencia
◦ Definición
◦ Objetivos
◦ Contextualización de la evidencia
◦ Colaboración universidad-empresa
◦ Métodos empíricos en IS
◦ Métodos primarios
◦ Métodos secundarios

Experimentos

◦ Conceptos generales
◦ Proceso experimental
◦ Ejemplo 1
◦ Réplicas
◦ Agregación de resultados
◦ Recomendaciones
◦ Otros ejemplos

S4 (3 horas)

Estudios de casos

◦ Introducción
◦ Proceso para la realización de estudios de casos
◦ Ejemplos
◦ Estudios etnográficos

S5 (3 horas)

Investigación en acción

◦ Definición
◦ Objetivos
◦ Participantes en la IA
◦ Proceso de la IA
◦ IA Canónica
◦ IA Técnica
◦ Ejemplo

BIBLIOGRAFÍA

Genero, M., Cruz-Lemus, J.A., Piattini, M. (2014). Métodos de Investigación en Ingeniería del Software. RaMa.
Shull, Forrest; Singer, Janice; Sjøberg, Dag I.K. (Eds.) (2008). Guide to Advanced Empirical Software Engineering. Springer.
Wohlin, C., Runeson, P., Höst. M., Ohlson, M., Regnell, B., Wesslén, A. (2012). Experimentation in Software Engineering: An Introduction. Springer.

BIOGRAFÍA DE LOS PONENTES

MARCELA GENERO BOCCO

Profesora Titular de Universidad en el Departamento de Tecnologías y Sistemas de Información de la Universidad de Castilla-La Mancha, en Ciudad Real, España. Acreditada por la ANECA como Catedrática de Universidad en enero de 2012. Es Licenciada en Ciencias de la Computación, por la Universidad Nacional del Sur, en Bahía Blanca, Argentina (1989) y Doctora en Informática en la Universidad de Castilla-La Mancha (2002).
Tiene numerosas publicaciones en revistas de prestigio internacional: International Journal on Software Engineering and Knowledge Engineering, Information Software and Technology, Data and Knowledge Engineering, Journal of Software Maintenance, Journal of Systems and Software, Data and Knowledge Engineering, Software Quality Journal, Empirical Software Engineering, Information Sciences, Journal of Database Management, Software and System Modelling, ACM Transactions on Software Engineering and Methodology, entre otras.

Ha participado como editora, junto con Mario Piattini y Coral Calero de los siguientes libros: “Information and Database Quality” (publicado por Kluwer) y “Metrics for Software Conceptual Models” (publicado por Imperial College Press).

Es coautora junto con José Antonio Cruz-Lemus y Mario Piattini del libro “Métodos de Investigación en Ingeniería del Software”, publicado por RaMa.
Ha sido coautora de trabajos presentados en diferentes conferencias internacionales, como: SEKE, ER, CAISE, METRICS, ISESE, ESEM, MODELS, etc. y ha participado en numerosos comités de programas en congresos internacionales (EASE, ESEM, ICEIS, CAISE, METRICS, ISESE, RCIS, etc.). Participa activamente como revisora de artículos en revistas de prestigio internacional y en comités de programa de congresos de prestigio nacional e internacional.
Ha sido Presidenta del Comité de Programa del congreso EASE 2012, que es uno de los principales congresos sobre el uso de estudios empíricos en la ingeniería del software. Ha organizado lo simposios doctorales PROFES 2012 y IDOESE 2012, y varios workshops relacionados con la calidad de modelos conceptuales y los estudios empíricos (IWQCM 2002, 2003 (dentro del ER), EESSMod 2011, 2012, 2013 (dentro del MODELS)). Ha organizado tres tutoriales sobre estudios empíricos en la ingeniería del software y el modelado dentro de las JISBD 2004 y el MODELS 2012 y 2013) y el congreso EASE 2012 que es uno de los más relevantes e temas relaciona

Ha liderado numerosos proyectos relacionados con la calidad del software, financiados por convocatorias regionales y nacionales y ha dirigido varias tesis doctorales. Sus principales áreas de investigación son: calidad en el modelado conceptual, beneficios del modelado usando UML, métodos de investigación en informática, medición en la ingeniería del software, validación empírica de tecnologías software, técnicas de análisis y agregación de datos empíricos, etc.
Es miembro desde el año 2004 de la red en la que participan prestigiosos investigadores y profesionales sobre ingeniería del software empírica (ISERN).
Un detalle de sus publicaciones puede encontrarse en: http://www.informatik.uni-trier.de/~ley/pers/hd/g/Genero:Marcela.html

JOSÉ ANTONIO CRUZ-LEMUS

Doctor e Ingeniero en Informática por la Universidad de Castilla-La Mancha. En la actualidad es Profesor Contratado Doctor para el Departamento de Tecnologías y Sistemas de Información en la Escuela Superior de Informática, de la misma universidad y está acreditado como Profesor Titular de Universidad por ANECA desde febrero de 2012.

Cuenta con publicaciones en prestigiosas revistas internacionales como Empirical Software Engineering, Information Sciences, Information and Software Technology, Software and Systems Modelling o ACM Transactions on Software Engineering and Methodology, entre otras.
Es coautor junto con Marcela Genero Bocco y Mario Piattini del libro “Métodos de Investigación en Ingeniería del Software”, publicado por RaMa.
Autor de numerosos trabajos en distintos congresos internacionales (MODELS, ISESE, SEKE, ER, ESEM) y presidente del comité organizador del congreso EASE 2012.