PWG Fontes de Dados Política de privacidade Termos de Uso Quem Somos FAQ
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
JOZIANI MOTA VIEIRA |
curso_bolsista |
ESTATISTICA |
programa |
PROGRAMA INSTITUCIONAL DE VOLUNTÁRIOS DE INICIAÇÃO CIENTÍFICA DA UFOP - 1º SEMESTRE |
ano |
2019 |
orientador |
ANDERSON RIBEIRO DUARTE (DEEST) |
setor |
DEEST |
linha_pesquisa |
#N/D |
id_projeto |
4932 |
título |
Otimização em Redes de Filas através de Procedimentos Heurísticos |
fomento |
UFOP |
tipo_bolsa |
VOLUNTÁRIO |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
DAIANE JULE SILVA |
curso_bolsista |
ESTATISTICA |
programa |
PROGRAMA DE INICIAÇÃO À PESQUISA - 2º SEMESTRE |
ano |
2019 |
orientador |
RIVERT PAULO BRAGA OLIVEIRA (DEEST) |
setor |
DEEST |
linha_pesquisa |
#N/D |
id_projeto |
5677 |
título |
Projeto de Pesquisa: Uma abordagem pela teoria de grafos para descrever similaridades de ativos do índice IBOVESPA |
fomento |
UFOP |
tipo_bolsa |
BOLSISTA |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
FELIPE PERET MORAES SASDELLI |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA DE INICIAÇÃO À PESQUISA - 2º SEMESTRE |
ano |
2019 |
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 |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
E VALIDAÇÃO FORMAL DE SOFTWARE." |
curso_bolsista |
5616 |
programa |
Aspectos computacionais da lógica proposicional: Formalização em um assistente provas da consistência da lógica proposicional. |
ano |
UFOP |
orientador |
BOLSISTA |
setor |
|
linha_pesquisa |
|
id_projeto |
|
título |
|
fomento |
|
tipo_bolsa |
gov
Conjunto de dados de bolsistas de iniciação científica
ver Fonte/+info (dt.atualização: 02/01/2022)
bolsista |
LUCAS HENRIQUE BENTO TOLEDO |
curso_bolsista |
CIENCIA DA COMPUTACAO |
programa |
PROGRAMA INSTITUCIONAL DE VOLUNTÁRIOS DE INICIAÇÃO CIENTÍFICA DA UFOP - 2º SEMESTRE |
ano |
2019 |
orientador |
RODRIGO GERALDO RIBEIRO (DECOM) |
setor |
DECOM |
linha_pesquisa |
ESSA LINHA DE PESQUISA VISA O DESENVOLVIMENTO DE FORMALISMOS (SEMÂNTICA FORMAL, SISTEMAS DE TIPOS) PARA LINGUAGENS DE PROGRAMAÇÃO E SUA RESPECTIVA IMPLEMENTAÇÃO. |
id_projeto |
5203 |
título |
Sistemas de informação adaptáveis: uma abordagem usando semântica formal |
fomento |
UFOP |
tipo_bolsa |
VOLUNTÁRIO |
|
PWG – Powering Growth é um projeto para facilitar o |
Sobre nós |
Privacidade |