Proyectos de investigación

CAPES - SECYT 2007

Estatística e processos estocásticos.

Universidade de São Paulo y Universidad de Buenos Aires.
Director: Tomás Tetzlaff

PICT 2006

1216: Tipos y reescritura para el desarrollo de programas robustos.

Reescritura, cálculo lambda y sistemas de tipos
Director: Alejandro Ríos.

2484: Analisis escalable de software utilizando técnicas basadas en satsolving.

Grupo de Investigación en Métodos Formales Relacionales
Director: Marcelo Frías.

920: Generalizaciones del problema de coloreo de grafos: multicoloreo de grafos.

Investigación operativa y optimización combinatoria
Directora: Paula Zabala.

1600: Optimización de problemas en redes de transporte y comunicaciones.

Investigación operativa y optimización combinatoria
Directora: Irene Loiseau.

2217: Análisis y segmentación de imágenes. Aplicación a imágenes de Radar de Apertura Sintética y a imágenes de ...

Grupo de Procesamiento de Imágenes
Directora: Marta Mejail.

1562: Tratabilidad computacional y algoritmos eficientes para algunos problemas de grafos.

Investigación operativa y optimización combinatoria
Director: Min Chin Lin.

2067: Computabilidad versus programabilidad.

Grupo de Investigación en Lógica y Computabilidad
Directora: Verónica Becher.

PICT 2005

32440: Modelos Parciales en la Ingeniería de Software Reactivo y Embebido.

Dependable Systems Research Group
Director: Víctor Braberman.

UBACyT 2004-2007

I008: Estereología: Imágenes Médicas 3D. Modelos de Superficies: Simulación y Automática.

Director: José Zelasco.

X020: Teoría y Herramientas para la Construcción de Aplicaciones Criticas.

Dependable Systems Research Group
Director: Víctor Braberman. Codirector: Juan Echagüe.

X122:

Laboratorio de Sistemas Complejos
Director: Guillermo Marshall.

X166: Wavelets y Redes Neuronales: Enfoques Integrados y Aplicaciones.

Grupo de Investigación en Compresión y Wavelets
Directora: Ana Ruedin. Codirector: Enrique Segura.

X184: Estudio de Diferentes Clases de Grafos: Aspectos Algorítmicos, Complejidad Computacional, Problemas Teóricos Asociados y Aplicaciones.

Director: Min Chin Lin. Codirector: Guillermo Duran.

X212: Modelos y Técnicas para Problemas de Optimización Combinatoria.

Grupo de Investigación Operativa y Optimización Combinatoria
Directora: Irene Loiseau. Codirectores: Esteban Feuerstein, Igor Zwir, Isabel Mendez Diaz.

X230: Aleatoriedad, Incompletitud y Complejidad.

Grupo de Investigación en Lógica y Computabilidad
Directora: Verónica Becher.

X255: Inteligencia Computacional Aplicada a Robótica Cooperativa.

Laboratorio de Robótica
Director: Juan Miguel Santos. Codirectora: Patricia Borensztejn.

X265: Nuevos métodos de factorización de enteros

Director: Hugo Scolnik. Codirector: Pablo Coll.

X323: Análisis y Segmentación de Imágenes. Aplicación a Visión Robótica: Seguimiento de Objetos en Secuencia de Imágenes de Video. Aplicación a Imágenes Bio-Médicas y a Imágenes Sar.

Grupo de Procesamiento de Imágenes
Directora: Marta Mejail.

X702:

Directora: Alcira Nesse. Codirectora: Ana Haedo.

PICT 2004

26001: Wavelets and Neural Networks: Integrated Approaches and Applications.

Grupo de Investigación en Compresión y Wavelets
Directora: Ana Ruedin.

21350: Utilización de Técnicas OLAP en Sistemas de Información Geográfica.

Director: Alejandro Vaisman.

PICT 2002

11-11071: Métodos Relacionales y Reescritura para la Especificación y Verificación de Sistemas.

Relational Formal Methods Group
Director: Marcelo Frias.

11-11738: Teoría y Herramientas para la Construcción de Software Crítico.

Dependable Systems Research Group
Director: Victor Braberman.

11-013932: Desarrollo de un Robot Autónomo para la Búsqueda y Detección de Minas Terrestres.

Laboratorio de Robótica
Director: Juan Miguel Santos.

Pictr2002-00172: Derivaciones del Teorema de Godel: Incompletitud, Complejidad y Aleatoriedad.

Grupo de Investigación en Lógica y Computabilidad
Directora: Verónica Becher.

Pictr2002-184: Centro de Computación de Alto Rendimiento.

Laboratorio de Sistemas Complejos
Director: Guillermo Marshall.

UBACyT 2001-2003

X114:

Director: Roberto Bevilacqua

X128:

Directora: Patricia Borensztejn

I017:

Director: Pablo Jacovkis

X036:

Grupo de Investigación Operativa y Optimización Combinatoria
Directora: Irene Loiseau

X187:

Laboratorio de Sistemas Complejos
Director: Guillermo Marshall

X034:

Grupo de Procesamiento de Imágenes
Directora: Marta Mejail

PICT 2000-2001

11-09122: Modelos y Técnicas para Problemas de Optimización Combinatoria.

Grupo de Investigación Operativa y Optimización Combinatoria
Directora: Irene Loiseau.