Seminario Mirian Andrés
Seminario Mirian Andrés
Sitio web del Seminario Mirian Andrés del Departamento de Matemáticas y Computación de la Universidad de La Rioja
Saltar a contenido

June 2011

Hubieron 5 posts publicados en June 2011

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.

 

en Charla | June 27, 2011 | 36 Palabras

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).

en Charla | June 24, 2011 | 46 Palabras

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).

 

en Charla | June 24, 2011 | 47 Palabras

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).

 

en Charla | June 22, 2011 | 48 Palabras

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).

en Charla | June 17, 2011 | 46 Palabras

Mapa del sitio

  • Acerca de
  • Data Provenance Staff Week
  • Experiencias de uso de Sistemas de Información Geográfica
  • II Experiencias de uso de Sistemas de Información Geográfica
  • Linear Algebra in Isabelle/HOL
  • Soluciones .NET para el desarrollo de software en producción
  • UR Image Processing week

Recent Posts

  • IA en la detección de enfermedades de la retina, del laboratorio a la práctica
  • Partición del plano proyectivo y el sombrero de burro
  • Procesamiento de imágenes y algoritmos genéticos para la detección de estructuras en embriones
  • ¿Reemplazará la IA a los artistas? Modelos de difusión y sus implicaciones
  • Modelo de detección temprana para la tinta del castaño a partir de imágenes tomadas mediante vuelos dron

Categories

  • Charla
  • Jornada
  • Reunión
  • Taller

Archives

  • March 2023
  • February 2023
  • January 2023
  • December 2022
  • November 2022
  • October 2022
  • July 2022
  • June 2022
  • May 2022
  • April 2022
  • March 2022
  • February 2022
  • January 2022
  • December 2021
  • October 2021
  • September 2021
  • July 2021
  • June 2021
  • May 2021
  • April 2021
  • March 2021
  • December 2020
  • March 2020
  • January 2020
  • December 2019
  • November 2019
  • October 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • January 2019
  • November 2018
  • September 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • July 2017
  • June 2017
  • May 2017
  • April 2017
  • March 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • July 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014
  • October 2014
  • September 2014
  • July 2014
  • June 2014
  • May 2014
  • March 2014
  • February 2014
  • January 2014
  • December 2013
  • November 2013
  • October 2013
  • September 2013
  • June 2013
  • May 2013
  • April 2013
  • March 2013
  • February 2013
  • January 2013
  • December 2012
  • November 2012
  • October 2012
  • September 2012
  • July 2012
  • June 2012
  • May 2012
  • April 2012
  • March 2012
  • February 2012
  • January 2012
  • December 2011
  • November 2011
  • October 2011
  • September 2011
  • July 2011
  • June 2011
  • May 2011
  • April 2011
  • March 2011
  • February 2011
  • January 2011
  • December 2010
  • November 2010
  • October 2010
  • September 2010
  • July 2010
  • June 2010
  • May 2010
  • April 2010
  • March 2010
  • February 2010
  • January 2010
  • December 2009
  • November 2009
  • October 2009
  • June 2009
  • May 2009
  • April 2009
  • March 2009
  • February 2009
  • January 2009
  • December 2008
  • November 2008
  • October 2008
Esta página es mantenida por Jesús Aransay y ha sido elaborada con el tema Independent Publisher de wordpress