Investigación 2010
S. Xambó
- Cooperación entre métodes bayesianos y formales para la traducción automática.
Proyecto europeo MOLTO (2010-2012).
- Visión por ordenador. Continuación de la investigación iniciada con el
Proyecto VISIO (colaboración con
Imagsa Technologies SA, financiación del
CIDEM).
Trebajo conjunto con
Eduard Montseny.
- Modelos matemáticos para la computación cuántica. En particular, análogos
cuánticos de los códigos correctores de errores.
Trabajo en colaboración con Juanjo Rué.
Seminar on Quantum Information Processing (24/02/2010 i 25/02/2010)
- El sistema Tau
de manipulación matemática, accessible mediante la interfaz
TAU. Es la base de
cc (para el tratamiento
computacional de los códigos correctores de errores) y de
Wit (para cálculos en
teoría de intersecciones). Trabajo en colaboración con Francesc Massanés.
Iniciada: 3·8·2008
Revisada: 21·1·2010.
© SXD: sebastia.xambo at upc.edu