Ponente: Gadea Mata (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 10 de noviembre, 10:00
Desarrollo de aplicaciones móviles multiplataforma con PhoneGap e Ionic
El Análisis de Componentes Principales (PCA) para la reducción de la dimensionalidad en grandes bancos de datos
El Máster (en Tecnologías Informáticas) en el seminario (3 / 3)
El Máster (en Tecnologías Informáticas) en el seminario (2 / 3)
El Máster (en Tecnologías Informáticas) en el seminario (1 / 3)
Provenance and Formal Methods: the case of Digital Image Processing
Ponente: Carlos Sáenz (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 16 de julio, 12:30
La charla se trata de una prueba de tiempo de la comunicación que presentará en el congreso «ICSOFT-PT 2015. 10 International Conference on Software Paradigm Trends» que se celebrará en Colmar, Alsacia (Francia) del 20 al 22 de julio de 2015
A tool for management of knowledge dispersed throughout multiple references
Ponente: Carlos Sáenz (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 16 de julio, 12:00
La charla se trata de una prueba de tiempo de la comunicación que presentará en el congreso «ICSOFT-PT 2015. 10 International Conference on Software Paradigm Trends» que se celebrará en Colmar, Alsacia (Francia) del 20 al 22 de julio de 2015
Formalising Linear Algebra Algorithms in Isabelle/HOL
Ponente: Jose Divasón (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: miércoles 13 de mayo, 13:00
Se trata de una prueba de tiempo de una charla invitada que impartirá durante su próxima estancia en el Institute of Computer Science, en la Universidad de Innsbruck, Austria