Numeração: 2010-1.Título do Projeto: Desenvolvimento de Competências de Software Livre e Software de Código Aberto para Plataformas Móveis Embarcadas Natureza: Formação de...

Numeração: 2011-1.Título do Projeto: Programa de Desenvolvimento de Competências em Verificação Contínua de Programas C++ Empregando SMT-based Bounded Model...

Numeração: 2012-1.Título do Projeto: Desenvolvimento de Método Automático Para Identificação de Bacilos da tuberculose através de Baciloscopia...

Numeração: 2013-1.Título do Projeto: Pesquisa e capacitação de recursos humanos, em nível de graduação e pós-graduação, nas áreas de automação industrial, software para...

Numeração: 2014-1.Título do Projeto: Verificação de Hardware e Software Baseada em Indução Matemática para Sistemas...

Numeração: 2015-1.Título do Projeto: 1o. SIMPÓSIO DE MÉTODOS QUANTITATIVOS EM IMAGENS MÉDICAS E BIOSENSORES. Natureza: Organização de...

Numeração: 2016-1.Título do Projeto: Pesquisa e Capacitação de Recursos Humanos, em Nível de Graduação e Pós-Graduação, nas Áreas de Automação Industrial, Software para...

Numeração: 2017-1.Título do Projeto: Construção de um bando de imagens para o benchmarking de algoritmos de detecção de bacolos: Uma contribuição ao diagnóstico automático da...

Numeração: 2018-1.Título do Projeto: Instituto Nacional de Ciência e Tecnologia – Medicina Assistida por Computação Científica (INCT-MACC): Processamento Avançado de Imagens...