2016/2017

Hay 32 posts etiquetados con 2016/2017.

Open Data at work: publicación de datos agroclimáticos a través de una API REST

 

Ponentes: Vanessa Tobar, Joaquín Huete (SIAR, Servicio de Información Agroclimática de La Rioja)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 20 de diciembre, 12:00

Resumen: El acceso actual a los datos generados por el SIAR de La Rioja es vía WEB. Es deseable un replanteamiento de la manera en la que actualmente se oferta la información, de forma que se dé servicio a los nuevos usos que se están demandando, principalmente el tratamiento de la información para la generación de productos derivados con un valor añadido. Las aplicaciones informáticas pensadas para el intercambio de información entre bases de datos (APIs) se usan con este objetivo, ofrecer información de una manera accesible y automatizable. En colaboración con la UR, el SIAR ha generado una API accesible a través de la url apisiar.larioja.org para atender la demanda cada vez mayor de utilidades prácticas de la información agroclimática a la que muchas veces es difícil llegar con los recursos limitados de la administración.

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

Criptomonedas para dummies

 

Ponente: Miguel Ángel Marco Buzunáriz  (Universidad de Zaragoza)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 13 de diciembre, 12:00

Resumen: Hace ocho años se publicó en internet, de manera anónima (bajo el pseudónimo de Sakoshi Nakamoto), el artículo “Bitcoin: A Peer-to-Peer Electronic Cash System”. En este artículo se presentaba el diseño de un sistema de pagos electrónicos, descentralizado y (parcialmente) anónimo. Apenas dos meses después se publicaba la primera implementación de dicho protocolo. Había nacido bitcoin, la primera criptomoneda (y la más extendida hoy en día con diferencia).

En esta charla presentaremos el funcionamiento del protocolo bitcoin, discutiremos algunas de sus limitaciones y algunos intentos de resolverlas implementados en otras criptomonedas.

Puedes encontrar las transparencias de la charla en este enlace.

Presentación de la Agenda Digital

En el acto de presentación de la charla participarán el Rector Magnífico de la Universidad de La Rioja, Julio Rubio García, y el Excelentísimo Consejero de Administración Pública y Hacienda del Gobierno de La Rioja, Alfonso Domínguez Simón.

Ponentes: Óscar Alonso (Coordinador del grupo de trabajo de la Agenda Digital – Dirección General de Tecnologías de la Información y la Comunicación), Ignacio Lasheras (Presidente del Colegio Profesional de Ingenieros en Informática de La Rioja – Universidad de La Rioja), Juan Carlos Gil Varela (Director de la Unidad de Administración Electrónica y Simplificación Administrativa de la Universidad de La Rioja)

Lugar: Salón de Actos (Edificio CCT)

Hora: miércoles 23 de noviembre, 12:00

Al final de la presentación habrá un coloquio sobre las propuestas expuestas.

Puedes encontrar más información sobre la Agenda Digital de la Comunidad Autónoma de La Rioja en el siguiente enlace.

Supercomputación: desde la investigación de vanguardia a la vida cotidiana

Ponente: Dr. D. José María Mercero Larraza (Servicio de Cálculo Científico, Universidad del País Vasco)

Lugar: Aula Magna (Edificio CCT)

Hora: martes 22 de noviembre, 12:00

Nota: la charla forma parte del programa de la “Semana de la Ciencia 2016” organizado por la Facultad de Ciencia y Tecnología de la Universidad de La Rioja. Puedes encontrar más información sobre la misma y el programa completo de actividades organizado en el siguiente enlace.

Taller de Cloud Computing con Azure

Ponente: Gabriel Grajea (Desarrollador de .NET y gestor de producto en SEMICROL S.L.)

Lugar: Aula 031 (Edificio CCT)

Hora: viernes 28 de octubre, 17:00

Nota: El taller forma parte de la asignatura “Computación en la nube y soluciones de virtualización”  del Máster en Tecnologías Informáticas de la Universidad de La Rioja.

Se puede acudir al taller como oyente. Para poder tomar parte activa en el taller es necesario disponer de un equipo con el siguiente software:

  • Visual Studio 2015 Enterprise o Community Update 3;
  • Microsoft Azure SDK para Visual Studio 2015;
  • Microsoft Azure Service Fabric SDK para Visual Studio 2015.

También es necesario contar con una cuenta de Visual Studio Dev Essentials.

Puedes encontrar las transparencias del taller en este enlace.

Transferring lemmas and proofs in Isabelle/HOL: a survey

Ponente: Jesús Aransay (Universidad de La Rioja)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 11 de octubre, 12:00

Nota: la charla se trata de una prueba de tiempo para la presentación del mismo titulo que tendrá lugar en el Seminario “Universality of Proofs” que se celebra en el Leibniz-Zentrum für Informatik (Schloss Dagstuhl).

Abstract: Data types admit different representations. The reasons to prioritise one or another range from efficiency to simplicity. Interactive theorem provers allow users to work with these representations and offer tools that ease their communication. These tools are required to preserve the formalism among the representations. In this talk we present some use cases in the proof assistant Isabelle/HOL, defining the scope of each of these tools and their possible scenarios.

Puedes encontrar las transparencias de la charla en este enlace.