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 |
bolsista |
E VALIDAÇÃO FORMAL DE SOFTWARE." |
curso_bolsista |
6545 |
programa |
Verificação formal de algoritmos para construção automática de provas da lógica proposicional |
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 |
CARLOS EDUARDO GONZAGA ROMANIELLO DE SOUZA |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO CIENTÍFICA |
ano |
2020 |
orientador |
TULIO ANGELO MACHADO TOFFOLO (DECOM) |
setor |
DECOM |
linha_pesquisa |
DESENVOLVIMENTO DA TEORIA E MÉTODOS DE OTIMIZAÇÃO MULTI-OBJETIVO PARA PROBLEMAS DE REPRESENTAÇÃO; APLICAÇÕES NA OTIMIZAÇÃO DE SISTEMAS REAIS. |
id_projeto |
6728 |
título |
Estratégias multi-objetivo para abordar o problema de alocação de salas do ICEB/UFOP |
fomento |
CNPQ |
tipo_bolsa |
BOLSISTA |
|
PWG – Powering Growth é um projeto para facilitar o |
Sobre nós |
Privacidade |