Functional Programming is Free

 

Ponente: Francis Sergeraert (Université Joseph Fourier – Grenoble 1)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: jueves 1 de junio, 12:00

Resumen: The Kenzo  program, devoted to Algebraic  Topology, uses intensively “Functional Programming”.  The complexity  problem in such a situation must consider the *cost* of the numerous functional objects dynamically generated at runtime, with a structure rather complex. The underlying tool, the notion of “closure” is essential in the process. Good news: we will explain why, in our  context, the cost of these functional objects is essentially null. Needs a lucid understanding of the real structure of these magic objects called “closures”, the main subject of the talk. No knowledge in Algebraic Topology is required to attend this talk.

CloudNext – Infraestructura y Plataforma como servicio

 

Ponente: Raúl Martínez Zabala (Product Owner Server, United Internet/1&1/Arsys)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: jueves 25 de mayo, 12:00

Resumen: En la charla daremos un paseo por la historia de CloudNext, un producto comercial de Infraestructura y Plataforma como servicio.

Veremos cuáles fueron los motivos que llevaron a su construcción, los retos a los que nos enfrentamos durante su desarrollo, las diferentes etapas de su vida, y cuáles son sus pilares fundamentales.

Asimismo, se hará una presentación de CloudNEXT (que ofrece Infraestructura y Plataforma como servicio) y de sus principales características:

  • Arquitectura y tecnología utilizadas en la abstracción del hardware: Interfaz gráfica.
  • Gestión y monitorización de servidores en la nube: RESTful API.
  • Automatización de procesos e integración en software propio.

Puedes acceder a las transparencias de la charla en el siguiente enlace.

La documentación de la API del CloudBuilder Next también está disponible desde la siguiente dirección.

Análisis de imagen biomédica en el grupo de informática de la UR

 

Ponente: Jónathan Heras

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 16 de mayo, 12:00

Resumen:  En esta charla se comentarán las técnicas de visión por computador y aprendizaje automático aplicadas por el grupo de informática de la Universidad de La Rioja a distintos problemas de análisis de imagen biomédica. Entre dichos problemas se incluyen la localización y el conteo de sinapsis, el estudio de antibiogramas, o el uso de hongos para decolorar tintes.

Nota: la charla se trata de una prueba de tiempo de la conferencia del mismo título que el ponente impartirá en la jornada “Unbox Machine Learning para desarrolladores” que tendrá lugar en el Centro Nacional en Formación de Nuevas Tecnologías (Think-TIC) de Logroño el 19 de mayo (puedes encontrar más detalles sobre la jornada en el siguiente enlace).

Provenance-based System Accountability

 

Ponente: Luc Moreau (University of Southampton)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 9 de mayo, 13:00

Resumen: Provenance is a record that describes the people, institutions, entities, and activities, involved in producing, influencing, or delivering a piece of data or a thing in the world.  Provenance is regarded as essential to describe the source of data and whether data can be trusted. Provenance has recently been identified by USACM as one of principles to support transparency and accountability.

Some 10 years after beginning research on the topic of provenance, I  co-chaired the provenance working group at the World Wide Web Consortium. The working group published the PROV standard for provenance in 2013.

In this talk, I will present some use cases for provenance, the PROV standard and some flagship examples of adoption.  I will then move on to our current research area aiming to exploit provenance, in the context of the Sociam, SmartSociety, ORCHID projects. Doing so, I will present techniques to deal with large scale provenance, to build predictive models based on provenance, and to analyse provenance.

The slides of the talk are available from the following link.

Biografía: Luc Moreau is a Professor of Computer Science and Head of the Web and Internet Science group (WAIS), in the department Electronics and Computer Science (ECS) at the University of Southampton. Luc was co-chair of the W3C Provenance Working Group, which resulted in four W3C Recommendations and nine W3C Notes, specifying PROV, a conceptual data model for provenance the Web, and its serializations in various Web languages. Previously, he initiated the successful Provenance Challenge series, which saw the involvement of over 20 institutions investigating provenance inter-operability in 3 successive challenges, and which resulted in the specification of the community Open Provenance Model (OPM).

Experiencias de un Data Scientist en el mundo empresarial

 

Ponente: Víctor Nalda Castellet (Data Scientist, Departamento de Investigación e Innovación en Modelos de Riesgo, Banco Santander)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 2 de mayo, 12:00

Resumen: En esta ocasión vuelvo a mi universidad para mostraros cuáles son los retos a los que se enfrenta un matemático en el mundo empresarial, haciendo un repaso por el mundo del Big Data, desde Business Intelligence hasta Machine Learning. Todo ello lo ilustraremos con casos prácticos que pasan por sectores profesionales tan diferentes como las energías renovables, el fraude, las telecomunicaciones, la seguridad, la alimentación o la banca.

Procesamiento y análisis de imágenes: el presente de la investigación biológica

 

Ponente: Gadea Mata

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 25 de abril, 12:00

Resumen: Durante mi estancia en la Unidad de Microscopía Óptica Avanzada de la Universidad de Barcelona, he visto diferentes preguntas biológicas que necesitaban del análisis de imagen para ser resueltas de una manera rápida y objetiva. En esta charla voy a contaros y enseñaros los distintos casos que he visto, desde imágenes de mitocondrias hasta estructuras de tejido como por ejemplo de pulmón o de cerebro.

La informática de la uva a la copa con parada en el consumidor

 

Ponente: Paula Zúñiga (Bodegas Ramón Bilbao)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 4 de abril, 12:00

Nota: la charla forma parte de la asignatura “Informática para el sector agroalimentario” del Máster en Tecnologías Informáticas.

Resumen: En esta charla daré un repaso general analizando todas las actividades en las que interviene el área de informática en una bodega como Ramón Bilbao desde el campo hasta el punto de venta y presentando los sistemas de información con los que nos vamos encontrando.

Java 1.8. ¿Puede la programación orientada a objetos ser funcional?

 

Ponentes: Jose Divasón, Jesús Aransay

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 21 de marzo, 12:00

Resumen: en esta charla haremos una breve presentación de algunas de las características más relevantes de Java 1.8. En particular, nos centraremos en las nuevas propiedades del lenguaje que permiten usar en Java tanto expresiones lambda como “streams”. La charla pretende ser una introducción a estas características por medio de ejemplos y casos de uso que permitan ilustrar su sintaxis.

Puedes encontrar las transparencias de la charla en el siguiente enlace.

Definición y análisis de indicadores de rendimiento de procesos

 

Ponente:  Adela del Río Ortega (Profesora Ayudante Doctor del Departamento de Lenguajes y Sistemas Informáticos, Universidad de Sevilla)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 7 de marzo, 13:00

Resumen: Los requisitos de rendimiento para procesos de negocios se especifican habitualmente mediante indicadores de rendimiento de procesos (PPIs), que son métricas cuantificables que pueden medirse directamente a través de datos generados durante la ejecución del proceso, y cuyo principal objetivo es evaluar la eficiencia y la eficacia de los procesos de negocio. La gestión de esos PPIs constituye, por tanto, una parte importante del ciclo de vida de los procesos que incluye, al menos, la definición de PPIs, su análisis para identificar relaciones entre ellos, la instrumentación de los sistemas de información que dan soporte a los procesos para recopilar los datos que permitan su cálculo, y la monitorización del cumplimiento de esos PPIs. Esta charla se centra en la cuestión sobre cómo deben definirse los PPIs para dar soporte a su gestión a lo largo del ciclo de vida del proceso de negocio asociado, en contraposición con cómo suelen definirse en la actualidad en la práctica. También introducirá PPINOT, un conjunto de notaciones, técnicas y herramientas que permiten elaborar las definiciones de PPIs deseadas.

Reseña biográfica: Adela del Río cuenta con 9 años de experiencia como PDI en la Universidad de Sevilla (USE). Ingeniero en Informática en 2007 por la USE con un curso en la U. Humboldt de Berlín, obtiene el título de doctor con mención internacional en la USE en 2012. Su tesis versó sobre la definición y análisis automático de indicadores de rendimiento de procesos. Su actual interés investigador abarca el modelado conceptual y la mejora de procesos: definición, análisis, predicción, evaluación y mejora de indicadores. Cuenta con más de 20 publicaciones científicas, incluyendo revistas y congresos internacionales de alto impacto (Information Systems, Enterprise Information Systems, CAiSE, CoopIS, BPM o ICSOC, por ejemplo). Ha participado en más de 10 proyectos de I+D+I de convocatorias autonómicas, nacionales y europeas, y coordina la participación de la USE en el proyecto europeo RISE_BPM. Actualmente es profesora ayudante doctora en el Departamento de Lenguajes y Sistemas Informáticos, e investigadora del grupo “Ingeniería del Software Aplicada”.

Puedes acceder a las transparencias de la charla en el siguiente enlace.