Mostrando resultados 1074 a 1093 de 1095
< Anterior
Próximo >
| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 7-Jan-2020 | 5-Jul-2019 | Utilização de armazenamento definido por software em uma arquitetura hiperconvergente de containers | Morais, Rodrigo da Silva Leite | Barreto, Priscila América Solis Mendez | - |
| 18-Mai-2015 | 20-Mar-2015 | Utilização de âncoras verbais e raciocínio Fuzzy na construção de mapas estratégicos da metodologia Balanced Scorecard | Linhares, Fernando de Albuquerque | Ladeira, Marcelo | - |
| 30-Mai-2016 | 16-Dez-2015 | Utilização de inteligência competitiva, da gestão de riscos e da computação aplicada para ganhos de competitividade em instituição organizadora de concursos | Silveira Junior, Roberto Rosa da | Souza, João Carlos Félix | Neumann, Clóvis |
| 15-Abr-2020 | 25-Jul-2019 | Utilização de técnicas de aprendizagem de máquina nos pagamentos de cobertura do Proagro | Cunha, Urias Cruz da | Zaghetto, Alexandre | - |
| 21-Fev-2024 | 4-Jul-2023 | A utilização de técnicas de classificação aplicadas ao perfilamento de trabalhadores do Sistema Nacional de Emprego : uma abordagem de aprendizado de máquina | Mendes Júnior, Amilton Lôbo | Silva, Gladston Luiz da | - |
| 1-Abr-2019 | 31-Jul-2018 | Utilização de técnicas e instruções especiais para acelerar o casamento de padrões exato e aproximado em GPU | Nunes, Lucas Saad Nogueira | Bordim, Jacir Luiz | - |
| 2-Dez-2014 | 1-Jul-2014 | Utilizando calculadora gráfica no ensino de funções afins e quadráticas | Silva, Edmundo Ferreira da | Martins Neto, Daniele da Silva Baratela | - |
| 11-Nov-2015 | 14-Ago-2015 | Utilizando controle estatístico de qualidade em um processo estratégico de um instituto federal de educação | Coelho, Daniel Souza | Silva, Gladston Luiz da | - |
| 25-Nov-2014 | 3-Jul-2014 | VaR para riscos agregados não necessariamente independentes com cópulas | Faria, João Marcelo Brito Alves de | Guevara Otiniano, Cira Etheowalda | - |
| 2008 | 2008 | Variedades de p-grupos sem base finita | Brito, Jorge Augusto Gonçalo de | Krassilnikov, Alexei | - |
| 22-Out-2014 | 4-Jul-2014 | Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | - |
| 11-Mai-2011 | 13-Jul-2010 | Verificação de propriedades do cálculo גex em Coq | Carvalho Segundo, Washington Luís Ribeiro de | Moura, Flávio Leonardo Cavalcanti de | - |
| 17-Jul-2015 | 10-Mar-2015 | Verificação de texto manuscrito em dispositivos móveis | Guerin Júnior, Nilson Donizete | Espinoza, Bruno Luiggi Macchiavello | Vidal, Flávio de Barros |
| 2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |
| 15-Mai-2020 | 26-Jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
| 7-Dez-2009 | 2006 | Visualização de dados genômicos do fungo Paracoccidioides brasiliensis | Ferreira, Marcos Francisco Ribeiro | Walter, Maria Emília Machado Telles | - |
| 3-Dez-2020 | 6-Ago-2020 | Visualizações dinâmicas na geometria plana do PROFMAT | Silva, Mayco Sabóia | Evangelista, Tatiane da Silva | - |
| Dez-2019 | - | Vocal fold oscillators at large asymmetries | Lucero, Jorge Carlos; Pelorson, X.; Hirtum, A. V. | - | - |
| - | 18-Fev-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |
| Out-2020 | - | What do female students in middle and high schools think about computer science majors in Brasilia, Brazil? : a survey in 2011 and 2019 | Holanda, Maristela Terto de; Mourão, Roberto N.; Borries, George Freitas von; Ramos, Guilherme Novaes; Araújo, Aletéia Patrícia Favacho de; Walter, Maria Emília Machado Telles | - | - |
