Herramientas Personales
Usted está aquí: Inicio / ICC / Grupos de Investigación

Grupos de Investigación

(en construcción)
 
 
 
 

Algoritmos sobre secuencias y aplicaciones (Kapow)

Directora: Verónica Becher (Profesora Asociada dedicación exclusiva)

En el grupo KAPOW nos dedicamos a problemas combinatorios sobre secuencias finitas e infinitas. Por ejemplo, la condición más básica del azar para secuencias infinitas se define de manera combinatoria y  se llama normalidad. La normalidad asegura que todos los bloques de símbolos del mismo tamaño ocurren, en el límite, con  la misma frecuencia.  Son muchas las preguntas que continúan abiertas desde  que Émile Borel dio la definición, hace más de 100 años. La más famosa es si las constantes matemáticas usuales, como Pi o la base del logaritmo natural e, o la raíz cuadrada de 2, tienen expansiones fraccionarias  normales en alguna base. Se cree que sí. 

En el grupo KAPOW nos ocupamos de  cómo definir secuencias aleatorias bajo restricciones o con propiedades especiales, cómo computarlas eficientemente, cómo calibrar distintas nociones de aleatoriedad, cómo definir  la noción de independencia entre secuencias normales, como pasar de aleatoriedad en un alfabeto a aleatoriedad en otro.  Otros problemas  surgen de formalizar pregruntas sobre secuencias naturales (como genomas o proteínas). Tenemos una colaboración activa con el Laboratorio de Fisiología de Proteínas del Departamento de Química Biológica de la FCEyN, UBA. 

Para resolver los problemas  usamos  resultados de teoría de grafos, teoría de autómatas, aritmética elemental,  algoritmos eficientes, análisis de complejidad computacional y un poquito de lógica y computabilidad.

Página Web de KAPOW : http://www.dc.uba.ar/inv/grupos/kapow

 

Algoritmos y Herramientas Computacionales para los Motores de Búsqueda y la Publicidad On-line en Internet

Director: Esteban Feuerstein, (PAS d.s.e.)

La venta de publicidad asociada a los resultados de las búsquedas o a los contenidos de una página se ha convertido en la mayor fuente de ingresos de las principales empresas del sector, y su importancia relativa continúa creciendo. Las decisiones acerca de cuántos y cuáles avisos elegir, en qué orden mostrarlos, cómo y cuánto cobrarlos, abren un amplio campo de investigación que vincula distintas disciplinas, en la búsqueda de mecanismos que permitan satisfacer los intereses de los distintos actores involucrados (editores, anunciantes y usuarios), con propiedades de eficiencia y practicidad adecuadas a las características de la aplicación (masividad, velocidad de respuesta requerida, etc.). Se busca analizar tanto teórica como experimentalmente los mecanismos actualmente en uso y otros nuevos, con el objeto de proveer nuevas herramientas a los participantes de esta importante y novedosa actividad económica. Otra línea de investigación de este grupo consiste en el diseño de algoritmos y estructuras de datos más eficientes para la recuperación de información, en particular la construcción de índices distribuidos.

Compresión y Redes Neuronales

Director: Enrique Segura (PAD d.e.)

Se dedica a wavelets, teoría y aplicaciones a compresión de señales de imágenes; redes neuronales (teoría y aplicaciones a aproximación no lineal, identificación y reconocimiento de patrones); integración de wavelets y redes neuronales (para compresión de datos volumétricos, reconocimiento de patrones, recuperación basada en contenido para grandes bases de datos, modelos cognitivos de aprendizaje y memoria).

Homepage: http://www.dc.uba.ar/inv/grupos/redes

Criptografía

Director: Hugo Scolnik, (Profesor Consulto)

El tema central de investigación es el desarrollo de algoritmos polinomiales de factorización de enteros, esencial para la seguridad del método estándar de criptografía de clave pública (RSA).

Demostración Automática en Lógicas Modales y Multivaluadas

Director: Ricardo Rodriguez(PAD d.e.)

Proyecto dedicado al estudio teórico de ciertas familias de lógicas, como así también el desarrollo de aplicaciones (principalmente demostradores automáticos y chequeadores de modelos) para razonar con las mismas. Las lógicas que interesan aquí son extensiones de la lógica proposicional clásica: lógicas multivaluadas y/o con el agregado de operadores modales. Todas ellas se caracterizan por tener mayor poder expresivo que la lógica proposicional clásica, pero sin alcanzar la complejidad computacional de la lógica de primer orden, que es, en general, indecidible. Los resultados a obtener son fundamentales para la aplicación de la lógica en áreas tan diversas como complejidad y computabilidad, inteligencia artificial o base de datos, como a nivel de aplicaciones tales como verificación de protocolos y software, diseño de circuitos, procesamiento de lenguaje natural o representación del conocimiento.

Diseño de Sistemas con FPGA

Directora: Patricia Borensztejn, (PAD d.e.)

Se dedica a estudiar e implementar soluciones para sistemas embebidos principalmente (pero no necesariamente, ya que también se considera su utilización como coprocesadores de alta velocidad) utilizando dispositivos de lógica programable llamados FPGA (Fiel Programmable Gate Array). La lógica programable permite implementar operaciones en paralelo y, al evitarse los tiempos de ciclo de instrucción de los microcontroladores o procesadores de propósito general, obtiene rendimientos que están en un orden (o más) de magnitud respecto a las soluciones tradicionales, e incluso a las obtenidas con Procesadores de tipo DSP (Digital Signal Processor).También se está trabajando en Algoritmos de Imágenes procesados con FPGA, participando del proyecto conjunto con el grupo ICARUS de la Universidad Politécnica de Catalunya, que consiste en el desarrollo de un sistema de detección de "hot spots" es decir, de zonas del terreno donde la temperatura aún es elevada y que puede disparar nuevos incendios. Finalmente otro tema es Verificación Funcional de Diseños realizados con FPGA .

Grupo de Investigación en Grafos y Optimización: Teoría y Aplicaciones

Directores: Flavia Bonomo (PAD d.e.) y Javier Marenco (PAD d.s.)

Dentro del área de Teoría de Grafos, las principales líneas de investigación son: Coloreo de grafos; Caracterizaciones estructurales de clases de grafos; Complejidad computacional. Dentro de lo que es Optimización Combinatoria, las principales áreas abordadas son: Combinatoria poliedral; Problemas de scheduling deportivo; Aplicaciones a problemas reales (ruteo de vehículos, logística); Aplicaciones en teoría de juegos. El grupo está dirigido también por Guillermo Durán (DM, FCEN-UBA), y se completa con investigadores y tesistas del DC, el DM y del Instituto de Ciencias la UNGS. A su vez tiene una activa colaboración con investigadores de primer nivel internacional. Con respecto a los proyectos aplicados, entre los últimos se encuentran la segmentación de viviendas para el Censo Nacional 2010, la planificación de la recolección de residuos en contenedores en la zona sur de la Ciudad de Buenos Aires, el diseño del fixture de la liga de primera división de vóley masculino, el diseño de un modelo matemático para administrar la licitación de Internet para las escuelas públicas de la Ciudad de Buenos Aires y la implementación de modelos de simulación para el Sistema de Administración de Aportes de Productores en el ámbito de la Ciudad de Buenos Aires.

Homepage: http://www.dc.uba.ar/inv/grupos/grafos

Investigación Operativa, Optimización Combinatoria y Grafos"

Directores: Irene Loiseau (PAS d.e.), Isabel Méndez-Díaz (PAS d.e.), Esteban Feuerstein (PAS d.s.e.)

El grupo de optimización combinatoria aborda problemas de optimización por medios algorítmicos provenientes de la programación lineal continua y entera. Actualmente el grupo se ocupa de diversos problemas teóricos y de transferencia de tecnología como por ejemplo: ruteo de vehículos, coloreo de grafos, confiabilidad en redes de comunicación, minimización de desperdicio en cortes de placas de vidrio y coordinación “on-line” del tránsito vehicular. Dichos problemas son abordados con algoritmos exactos así como también mediante metaheurísticas.

Homepage: http://www.dc.uba.ar/inv/grupos/ioocg


Laboratorio de Fundamentos y Herramientas de Ingeniería de Software (LaFHIS)

Directores: Victor Braberman (PAD d.e.), Sebastián Uchitel (PAD d.e.)

investigador: Diego Garbervetsky (PAD int de), Fernando Schapachnik (PAD int d.s.e)

Tiene por objetivo realizar investigación de punta y transferencia tecnológica de métodos, herramientas y entornos para el desarrollo de sistemas compuestos, heterogéneos y complejos que sean intensivos en el uso de software. El grupo tiene particular interés en temas de especificación, construcción, análisis y verificación de sistemas intensivos en software.

Homepage: http://www.lafhis.dc.uba.ar/

Laboratorio de Inteligencia Artificial Aplicada

Directores: Diego Fernandez Slezak, Agustín Gravano, Santiago Figueira

El LIAA es un espacio interdisciplinario donde se combinan distintos aspectos de la Neurociencia Computacional, como son nociones de complejidad y azar en humanos, lingüística computacional, análisis de grandes corpus de texto, código fuente y lenguaje hablado, sistemas interactivos de diálogo (IVR) y reconocimiento del habla, análisis en tiempo real de señales cerebrales.

Homepage: liaa.dc.uba.ar/

Laboratorio de Robótica y Sistemas Embebidos (LRSE)

Directores: Marta Mejail (PAS, d.e.), Patricia Borensztejn, (PDA d.e.) y Julio Jacobo (PAD d.e.)

Las líneas de trabajo que se llevan a cabo dentro de este grupo incluyen: diseño y desarrollo de hardware y software para la construcción de robots autónomos, sistemas de navegación para robots terrestres y voladores, métodos de localización y construcción de mapas para robots móviles (problema conocido como SLAM: Simultaneous Localization and Mapping), aprendizaje en robótica, visión en robótica,, desarrollo de sistemas embebidos utilizando FPGA y GPU para robots autónomos, desarrollo de sistemas de sensado y control.

Homepage: http://robotica.dc.uba.ar

Laboratorio de Sistemas Complejos (LSC)

Director: Guillermo Marshall (Profesor Consulto)

Es un grupo interdisciplinario que trabaja principalmente en: Ingeniería Biomédica (estudios in-vivo, in-vitro e in-silico del tratamiento electroquímico de tumores bajo el efecto de campos eléctricos); Estudios teóricos y computacionales de paralelismo (en sistemas de memoria distribuida con arquitecturas tipo Beowulf, HPC y Grid Computing); Desarrollo de tecnologías móviles en Salud con dispositivos sensores y procesamiento de señales médicas.

Como parte de este laboratorio también se realizan las siguientes actividades:

- Tratamiento electroquímico de tumores

Director: Guillermo Marshall, (Profesor Consulto)

En el tratamiento electroquímico de tumores (EChT) los tejidos tumorales son tratados con dos o más electrodos localizados en las cercanías del mismo. La principal ventaja de esta técnica es el aumento en la eficacia de los tratamientos con drogas, las cuales ven facilitadas las condiciones de penetración en las células tumorales. El Objetivo principal de esta línea de trabajo es la simulación numérica en computadora de estos tratamientos, de manera de comprender mejor los mecanismos, y finalmente de optimizar los mismos.

- Grid Computing

Director Marcelo Risk, (PAD s.)

Grid Computing posee muchas acepciones, una de ellas, quizás la más aceptada, es aquella que lo considera un tipo de sistema paralelo o distribuido que permite compartir, seleccionar, y agregar recursos distribuidos a través de múltiples dominios administrativos basados en su disponibilidad, capacidad, performance, costo, y requerimientos de calidad de servicios. Otra acepción más restringida, pero común en el medio académico, es que GRID es una manera de utilizar muchas computadoras conectadas via una red simultáneamente para resolver un problema científico o técnico; en los casos más comunes estos problemas requieren substancial poder de cómputo y producen o requieren acceso a una masiva cantidad de datos. Un ejemplo de esto último sería un cluster de clusters tipo Beowulf, es decir, un cluster cuyos nodos son ellos mismos clusters Beowulf. La computación Grid se utiliza como una plataforma para la modelización matemática y el procesamiento de señales e imágenes médicas.

- Procesamiento de señales e imágenes biomédicas

Director Marcelo Risk, (PAD s.)

En esta línea trabajamos en la modelización y procesamiento de señales biomédicas tales como electrocardiograma y presión arterial, con aplicaciones en enfermedades autonómicas, diabetes e hipertensión; por otro lado trabajamos en el procesamiento de imágenes biomédicas tales como radiografías digitales y mamografías de tumores.

Homepage: http://www.dc.uba.ar/inv/lsc

Lenguajes Formales y Procesamiento del Lenguaje Natural

Director: José Castaño (PAD d.e.)

Sus actividades son Parsing con sensibilidad al contexto. Variantes determinísticas, no-determinísticas, probabilísticas y sus aplicaciones. Extracción de información en el dominio científico (con foco en textos de biología y medicina). Incorporación de información modal y temporal en algoritmos de extracción y procesamiento posterior con motores de inferencia.

Lógica y Computabilidad (GLyC)

Director : Santiago Figueira, (PAD int d.e.)

El grupo tiene tres líneas de investigación:

1) Aspectos computacionales de la lógica (complejidad, poder expresivo, teoría de prueba y teoría de modelos, en particular de lógicas modales y multivaluadas)
2) Teoría de la Computabilidad (aleatoriedad algorítmica, complejidad de Kolmogorov y sus aplicaciones)
3) Procesamiento de Lenguaje Natural (lingüística computacional y extracción de información).

 

Homepage:http://www.glyc.dc.uba.ar/

Métodos Formales Relacionales (MFR)

Director: Carlos López Pombo, (PAD int d.e.)

El grupo de métodos formales relacionales dedica su actividad a la búsqueda de métodos de validación y verificación de software que permitan, a través de sus fuertes fundamentos matemáticos, garantizar la corrección de un programa en función de su descripción formal. Algunas de las líneas de investigación que se están desarrollando actualmente son, validación y verificación de especificaciones heterogéneas, validación automática de programas Java, interconexión de validación automática con demostración asistida de teoremas de especificaciones Alloy y validación automática de teorías algebraicas.

Homepage: https://www.dc.uba.ar/inv/grupos/rfm/

Métodos Numéricos de Optimización No Lineal

Director: Hugo Scolnik (Profesor Consulto)

Desde 1999 hemos desarrollado nuevos métodos de proyecciones para resolver sistemas lineales de gran tamaño, simétricos o asimétricos. Los algoritmos iniciales han sido extendidos para resolver problemas con inecuaciones, de factibilidad convexa, y a sistemas inconsistentes que aparecen en la reconstrucción de imágenes tomográficas. Estos métodos han sido aplicados por SIDERCA para resolver problemas de mecánica computacional a través de un contrato con nuestra facultad.

Procesamiento de Imágenes y Visión por Computadora

Directores: Marta Mejail (PAS d.e.), Julio Jacobo, (PAD d.e.)

El grupo se dedica al análisis y segmentación de imágenes de radar de apertura sintética (SAR) y filtros no lineales; detección y tracking de eventos de la corona solar en secuencias de imágenes de video Detección y reconocimiento de datos usando procesamiento automático de patentes de automotores; reconocimiento automático de formas aplicado a la identificación de logos o marcas registradas en una base de imágenes; identificación de personas mediante el reconocimiento automático del iris; reconocimiento de caras; visión en robótica: mapeo y localización simultánea con sistema estéreo de cámaras.

Homepage: http://www.dc.uba.ar/inv/grupos/imagenes

Reescritura, Cálculo Lambda y Sistemas de Tipos

Directores: Ariel Arbiser (JTP d.e.), Alejandro Ríos, (PAD d.e.)

Trabaja sobre distintas líneas de investigación:

1) la definición y el estudio de sistemas de tipos de las distintas formulaciones del cálculo lambda, con el fin de que garanticen buenas propiedades, por ejemplo, preservación, terminación y confluencia
2) variantes del cálculo lambda que incorporan patrones a su sintaxis, con reglas de evaluación adecuadas, con el fin de mejorar la expresividad respecto del cálculo clásico
3) el análisis de distintos sistemas de sustituciones explícitas para el cálculo lambda, los que sirven de nexo entre la teoría general y la implementación, con la verificación de sus propiedades fundamentales 4) el estudio de formulaciones abstractas de sistemas de reescritura.

 

Homepage: https://www.dc.uba.ar/inv/grupos/reescritura

Teoría de Grafos

Director: Min Chih Lin (PAD d.s.e.)

Realiza investigaciones en el área de combinatoria, teoría de algoritmos y estructuras de datos complejas. Se estudian propiedades de diferentes clases de grafos, se caracterizan estas clases y se estudia el problema de reconocimiento de las mismas. Por otro lado, desarrollamos nuevos algoritmos que resuelven problemas ya resueltos en la literatura, intentando mejorar la "eficiencia" de las soluciones conocidas.

Homepage: http://www-2.dc.uba.ar/grupinv/invop