Ataques a redes basados en cubrimientos de vértices

 

Ponente: Eduardo Sáenz de Cabezón Irigaray (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 8 de mayo, 13:00

Abstract: El estudio de ataques a redes tiene aplicaciones en distintas áreas científicas y tecnológicas. Distintas estrategias de ataque y defensa se han estudiado con el fin de obtener redes más robustas o ataques más eficaces. Nosotros proponemos un ataque basado en cubrimientos de vértices del grafo correspondiente a la red. Analizamos la eficacia de este ataque para degradar la conexión de la red y planteamos algunos de los problemas algorítmicos prácticos de este ataque proponiendo un algoritmo basado en álgebra conmutativa computacional.

Formalization of Mathematics: Why Algebraic Topology?

 

Ponente: Julio Rubio García (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 28 de febrero, 13:00

Se trata de una prueba de tiempo (en castellano) de una charla que el conferenciante impartirá en Niza dentro de unas semanas, en el marco de la “MAP International Spring School on Formalization of Mathematics”, http://www-sop.inria.fr/manifestations/MapSpringSchool/

 

 

Towards a certified computation of homology groups for digital images

 

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

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 31 de enero, 13:00

Se trata de una prueba de tiempo de la charla que Jónathan impartirá en el congreso: “4th International Workshop on Computational Topology in Image Context” que se celebrará la semana próxima en  Bertinoro (Italia).

Los autores del trabajo son: Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza y Vincent Siles.