Pesquisar


Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.

 | 
Resultados 38051-38060 of 41829.
Itens encontrados:
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
18-Dez-202414-Out-2024Formalização em Coq da prova de confluência do cálculo λx no contexto nominalSoares, José RobertoMoura, Flávio Leonardo Cavalcanti de-
18-Dez-202420-Set-2024Análise do desempenho acadêmico dos estudantes de Engenharia Computação da Universidade de BrasíliaVaz, Italo Franklin C.Holanda, Maristela Terto de-
18-Dez-202418-Set-2024Uma ferramenta baseada em aprendizado de máquina para detecção de notícias falsasCosta, Lucas AquinoSilva, Daniel Guerreiro e-
17-Dez-202424-Set-2024Verificação autônoma de contexto de pacientes a partir de faixas de risco na SA-BSNLottermann, Carlos Eduardo TabordaRodrigues, Genaína Nunes-
18-Dez-202420-Set-2024Inteligência de ameaças cibernéticas para melhoria na detecção e resposta a incidentesBarros, Gustavo Antônio Souza deGondim, João José Costa-
18-Dez-202426-Ago-2024Impacto da compressão de nuvem de pontos em algoritmos de segmentação semânticaFernandes, Tiago de SouzaQueiroz, Ricardo Lopes de-
18-Dez-202413-Set-2024PETSCO : a plataforma que conecta e cuida da comunidade petRocha, Luisa RicartJardim, Symone Rodrigues-
18-Dez-202430-Ago-2024Procedimento de modelagem de miniaturas adequadas para impressão 3D em modelagem de deposição fundidaPasmadjian, Felipe RodriguesChaves, Gabriel Lyra-
19-Mai-20101993Análise cinesiológica das articulações do cotovelo e rádio-ulnar durante a fase aquática do nado crawlAzevêdo, Paulo HenriqueCarmo, Jake Carvalho do-
23-Dez-20245-Ago-2024Os impactos econômicos e sociais das obras paralisadas financiadas com recursos federais no estado do Rio de JaneiroSantos, Kelvio GomesSaraiva, Mayla Cristina Costa Maroni-