Este projeto tem como objetivo o desenvolvimento de modelos, algoritmos e aplicações em robótica cooperativa – múltiplos robôs cooperando entre si e com seres humanos. O problema a ser tratado no projeto versa sobre a coordenação do trabalho realizado por múltiplos robôs e de robôs em cooperação com o homem.

O projeto visa o desenvolvimento de novas metodologias de implementação de Sistemas de Computação Integrados em Chip. Tais sistemas podem se apresentar de duas maneiras: sistemas embutidos (as vezes chamados de sistemas embarcados) quando usam componentes de prateleira e são implentados em placas de circuito impresso; e SoC (systems-on-chip) quando

O INCT NAMITEC tem como missão gerar, aplicar e disseminar conhecimentos de micro e nanoeletrônica, articulando competências para promover inovações que atendam às necessidades da sociedade. Ocupa posição estratégica no Sistema Nacional de Ciência e Tecnologia, contemplando dois objetivos prioritários do desenvolvimento científico e tecnológico nacional: a) Tecnologias da Informação

Este projeto de pesquisa, inserido no contexto de Visão Computacional, tem como foco principal o desenvolvimento e aprimoramento de técnicas de visão computacional para efetuar monitoramento de ambientes a partir de dados visuais obtidos por uma rede de câmeras de vigilância. Um dos principais objetivos do monitoramento automático de ambientes

Neste projeto de pesquisa, pretendemos desenvolver técnicas de Pesquisa Operacional para otimizar a logística da cadeia produtiva da Vale. Temos como objetivo propor soluções que otimizem todo o sistema produtivo, de forma integrada, bem como os principais sub-sistemas: minas, ferrovia e porto, cada um, com suas particularidades. Para tanto, desenvolveremos

Neste projeto de pesquisa, investigamos o desenvolvimento de algoritmos baseados em Relaxação Lagrangeana para resolver com garantia de otimalidade alguns problemas difíceis de Otimização Combinatória. De especial interesse neste projeto é o estudo de como algoritmos nesta classe podem ser empregados como métodos de pré- processamento para algoritmos do tipo

Hoje em dia, com o desenvolvimento a baixo custo de sistemas informatizados, a maior parte da informação é armazenada de forma digital. De fato, o funcionamento de instituições em todas as áreas sociais depende de sistemas de informação eficazes e eficientes. No entanto, o desenvolvimento de sistemas para o tratamento

Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado

A facilidade de captura e codificação de imagens digitais tem produzido uma quantidade gigantesca de informação visual on-line. Como conseqüência, grandes desafios se apresentam na área de sistemas de informação multimídia, envolvendo o armazenamento, a indexação e a recuperação de informação visual em grandes arquivos. O NPDI tem desenvolvido pesquisa