bolsista |
PATRICK MOREIRA ROSA |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA DE INICIAÇÃO À PESQUISA - 1º SEMESTRE |
ano |
2020 |
orientador |
PUCA HUACHI VAZ PENNA (DECOM) |
setor |
DECOM |
linha_pesquisa |
COMPUTAÇÃO EVOLUTIVA. INTELIGÊNCIA ARTIFICIAL. PROBLEMAS DE OTIMIZAÇÃO COMBINATÓRIA. OTIMIZAÇÃO APLICADA. PESQUISA OPERACIONAL. TÉCNICAS HEURÍSTICAS E METAHEURÍSTICAS PARA OTIMIZAÇÃO. SISTEMAS BIO-INSPIRADOS. SISTEMAS DE INTELIGÊNCIA COLETIVA. SISTEMAS NEBULOSOS E REDES NEURAIS ARTIFICIAIS |
id_projeto |
6084 |
título |
Roteamento de carretas de mamografia em Minas Gerais |
fomento |
UFOP |
tipo_bolsa |
BOLSISTA |
bolsista |
RAFAEL DINIZ DE OLIVEIRA |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO EM DESENVOLVIMENTO TECNOLÓGICO E INOVAÇÃO |
ano |
2020 |
orientador |
RODRIGO GERALDO RIBEIRO (DECOM) |
setor |
DECOM |
linha_pesquisa |
"ESTA LINHA DE PESQUISA VISA O ESTUDO DE LÓGICAS E TÉCNICAS PARA ESPECIFICAÇÃO |
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
bolsista |
E VALIDAÇÃO FORMAL DE SOFTWARE." |
curso_bolsista |
7029 |
programa |
Semântica formal e validação de filtros de pacotes linux expressos na linguagem eBPF |
ano |
|
orientador |
|
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
bolsista |
; |
curso_bolsista |
CNPQ |
programa |
BOLSISTA |
ano |
|
orientador |
|
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
bolsista |
FELIPE PERET MORAES SASDELLI |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO CIENTÍFICA |
ano |
2020 |
orientador |
RODRIGO GERALDO RIBEIRO (DECOM) |
setor |
DECOM |
linha_pesquisa |
"ESTA LINHA DE PESQUISA VISA O ESTUDO DE LÓGICAS E TÉCNICAS PARA ESPECIFICAÇÃO |
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
|
PWG – Powering Growth é um projeto para facilitar o |
Sobre nós |
Privacidade |