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

2010/2011

Hay 29 posts etiquetados con 2010/2011.

Navegación de Post

Presentación de la Comunidad .NET de La Rioja

 

Ponente: Asier Tarancón (Logical Rioja)

Lugar: Aula 104, Edificio Vives

Hora: martes 19  de julio, 12:00

 

en Charla | July 19, 2011 | 16 Palabras

Telecolaboración interuniversitaria en prácticas de bases de datos y una aplicación para realización de ejercicios

 

Ponente: Arturo Jaime (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: viernes 1 de julio, 12:30

Se trata de una prueba de tiempo para la comunicación que presentará en las Jornadas de Enseñanza Universitaria de la Informática (Jenui 2011) que se celebrarán en Sevilla del 5 al 8 de julio.

 

en Charla | July 1, 2011 | 54 Palabras

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

Towards Decision Facts Management Systems: The Particular Case of Clinical Guidelines

 

Ponente: Beatriz Pérez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 26 de mayo, 12:00

Se trata de una prueba de tiempo de la defensa de su tesis, que presentará en la Universidad de Zaragoza el 14 de junio.

en Charla | May 26, 2011 | 42 Palabras

Mathematical Knowledge Management in Algebraic Topology

 

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

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: viernes 20 de mayo, 12:00

Se trata de una prueba de tiempo de la defensa de su tesis, que presentará el 31 de mayo.

 

en Charla | May 20, 2011 | 38 Palabras

Hacia el procesamiento certificado de imágenes digitales. Parte II

 

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

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 14 de abril, 11:00

 

en Charla | April 14, 2011 | 20 Palabras

Navegación de Post

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

  • Modelo de detección temprana para la tinta del castaño a partir de imágenes tomadas mediante vuelos dron
  • Automatización de migraciones de Bamboo a Azure DevOps
  • Gaia DR3: un reto científico y tecnológico
  • Servicios locales de modelos predictivos climáticos
  • Redefining Computational Biology by means of AI

Categories

  • Charla
  • Jornada
  • Reunión
  • Taller

Archives

  • 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