Laboratório de algoritmos combinatórios

• Processo: 93/00655-1
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Data de Início da vigência: 01 de dezembro de 1993
• Data de Término da vigência: 30 de abril de 1996
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Cláudio Leonardo Lucchesi
• Beneficiário: Cláudio Leonardo Lucchesi
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Auxílio(s) vinculado(s): 99/03824-5 - Non-homogeneous spline bases for approximation on the sphere., AR.EXT; 96/07500-1 - Uppaluri Silva Ramachandra Murty | University of Waterloo - Canadá, AV.EXT; 95/03490-9 - Vertex splitting and tension-free layout., AR.EXT; 95/00768-6 - Peter B. Eades | University of Newcastle - Austrália, AV.EXT; 94/05689-4 - Geolab: an environment for development of algoritms in computacional geometry., AR.EXT
• Assunto(s): Combinatória Algoritmos genéticos Algoritmos geométricos Algoritmos para imagens Autômatos finitos Teoria dos grafos Vocabulários técnico-científicos por computador Dicionários
• Palavra(s)-Chave do Pesquisador: Algoritmos Paralelos | Auromatos | Biossequencias | Computacao Grafica Egeometrica | Dicionarios | Teoria Dos Grafos

Resumo

Trata-se da ampliação das atividades do grupo de teoria do Departamento de Ciência da Computação, através da criação de um laboratório de algoritmos combinatórias. Numa primeira fase os esforços se concentrarão nas seguintes áreas de atuação: autômatos finitos, vocabulários e línguas (verificação e aconselhamento ortográfico, compressão de textos, sequenciamento genético, análise de vocabulários); algoritmos geométricos e visualização (casamento de padrões, visualização de imagens, inclusive de proteínas); algoritmos em grafos (paralelismo, grafos de intervalo e biossequencia); biossequencias (comparação, sequenciamento, árvores filogenéticas, enovelamento de proteínas). (AU)