Análisis e implantación de una red de cálculo distribuido para la simulación de dinámica molecular utilizando GPUs

Ponente: José Manuel Sota (Universidad de La Rioja)

Lugar: Aula 102, Edificio Vives

Hora: lunes 27 de junio, 12:00

Se trata de la presentación del trabajo de investigación del ponente en el programa de doctorado.

Incidence simplicial matrices formalized in Coq/SSReflect

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: viernes 24 de junio, 12:30

Se trata de una prueba de tiempo de las comunicación que realizará próximamente en el congreso Conference on Intelligent Computer Mathematics, que se celebrará en Bertinoro (Italia).

A system for computing and reasoning in Algebraic Topology

Ponente: Jónathan Heras (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: viernes 24 de junio, 12:00

Se trata de una prueba de tiempo de las comunicación que realizará próximamente en el congreso Conference on Intelligent Computer Mathematics, que se celebrará en Bertinoro (Italia).

FIABRAICO, a Computer Algebra based software for System Reliability computations

Ponente: María Poza (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: miércoles 22 de junio, 12:00

Se trata de una prueba de tiempo de la comunicación que realizará próximamente en el congreso Applications of Computer Algebra, que se celebrará en Houston, Texas (EEUU).

Homological processing of biomedical digital images: automation and certification

Ponente: María Poza (Universidad de La Rioja)

Lugar: Aula 105, Edificio Vives

Hora: viernes 17 de junio, 12:00

Se trata de una prueba de tiempo de la comunicación que realizará próximamente en el congreso Applications of Computer Algebra, que se celebrará en Houston, Texas (EEUU).