Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.

 | 
Resultados 51-59 of 59.
Itens encontrados:
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
28-Jun-202224-Mai-2021Provendo a fórmula paramétrica composicional como um serviço no PiStarGODA-MDPSilva, Gabriel Levi Gomes daRodrigues, Genaína Nunes-
6-Out-20233-Nov-2021AsPIn : um plugin no moodle para o ensino introdutório de programação para alunos da matemáticaSousa, Fernanda Macedo de; Cunha, João Lucas Azevedo Yamin Rodrigues daHolanda, Maristela Terto de-
28-Jun-20225-Nov-2021Algoritmos de seleção de cláusulas em provas por resolução para lógicas modaisLeite, José Marcos da SilvaNalon, Cláudia-
22-Jun-202217-Dez-2020Implementação da linguagem de metaprogramação Meta-CrySL utilizando o framework XtextSilva, Vinicius Costa eAlmeida, Rodrigo Bonifácio de-
23-Jun-202220-Mai-2021Uma solução em névoa via objetos inteligentes para lidar com a heterogeneidade dos dados em um ambiente residencialSouza, Artur Henrique Brandão deRocha Filho, Geraldo Pereira-
14-Fev-202318-Nov-2021Monitoramento de propriedades em tempo real : um estudo de caso na Body Sensor NetworkCouto, Samuel AndradeRodrigues, Genaína Nunes-
14-Fev-202319-Dez-2021Integrando a representação Static Single Assignment no Rascal Jimple FrameworkBarros, Mateus Luiz FreitasAlmeida, Rodrigo Bonifácio de-
14-Fev-202311-Nov-2021Análise de linhas e falhas em plantios de canaSugimoto, Vinícius Toshiyuki MenezesLadeira, Marcelo-
24-Jun-202218-Mai-2021Transição de redes legadas para SDN - uma análise sobre o impacto do tempo de implantação, número e localização dos controladoresPontes, Diogo Ferreira ThéMarotta, Marcelo Antônio-