Mostrando resultados 563 a 582 de 1092
< Anterior
Próximo >
| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 9-Jul-2020 | 13-Dez-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |
| 29-Nov-2011 | 8-Mar-2009 | MADIK : uma abordagem multiagente para o exame pericial de sistemas computacionais | Hoelz, Bruno Werneck Pinto | Ralha, Célia Ghedini | - |
| 4-Mar-2015 | 27-Nov-2014 | Magnetização espontânea em modelos de ising uni-dimensionais com interação de longo alcance | Mélo, Leonardo Cavalcanti de | Cioletti, Leandro Martins | - |
| 17-Mar-2022 | 29-Out-2021 | Manutenção de software no Tribunal de Justiça de Goiás : emprego da DSR | Ribeiro, Michel Alves | Figueiredo, Rejane Maria da Costa | - |
| 20-Mar-2013 | 18-Dez-2012 | Mapeamento ótimo de doenças através da minimização simultânea do viés e da variância | Matos, Bárbara de Almeida e Silva Lima de | Cançado, André Luiz Fernandes | - |
| 4-Fev-2016 | 5-Ago-2015 | MASA-OpenCL : comparação paralela de sequências biológicas longas em GPU | Figueirêdo Júnior, Marco Antônio Caldas de | Melo, Alba Cristina Magalhães Alves de | - |
| 19-Mar-2021 | 24-Set-2020 | Masa-StarPU : estratégia com múltiplas políticas de escalonamento de tarefas para alinhamento de sequências com pruning | Lopes, Rafael Alvares da Silva | Melo, Alba Cristina Magalhães Alves de | - |
| 6-Abr-2021 | 16-Dez-2020 | Massera’s Theorem for generalized ODEs and applications | Fleury, Mateus Malta | Mesquita, Jaqueline Godoy | - |
| 2019 | - | Mat ou morra : uma atividade lúdica envolvendo enigmas matemáticos | Rodrigues, Luciana Ávila; Batista, Leonardo Melo; Moura Júnior, José Teixeira | - | - |
| 25-Jan-2016 | 29-Abr-2015 | Matching estável para tomada de decisão colaborativa na alocação de slots | Arruda Junior, Antonio Carlos de | Weigang, Li | - |
| 12-Abr-2018 | 24-Jul-2017 | A Matemática da fila de caixa em uma agência bancária do Distrito Federal | Porto, Mario Humberto Leal | Seimetz, Rui | - |
| 21-Dez-2015 | 3-Jul-2015 | Matemática financeira na educação básica : um novo olhar | Ferreira, Iuri de Souza Simões | Medino, Ary Vasconcelos | - |
| 24-Ago-2016 | 4-Jul-2016 | A matemática financeira no ensino médio : uma nova visão | Pavoni, André Luiz Pontes | Seimetz, Rui | Araújo Neto, Lineu da Costa |
| 2-Ago-2016 | 7-Jun-2016 | A matemática para alunos que cumprem medidas socioeducativas em unidades de internação do Distrito Federal | Ito, Clayton Meiji | Matos, Helder de Carvalho | - |
| 28-Fev-2020 | 19-Jul-2019 | Matrizes de Markov : o Teorema de Perron-Frobenius; PageRank e outras aplicações | Pereira, Lázaro Sousa | Zapata, Theo Allan Darn | - |
| 19-Set-2017 | 30-Jun-2017 | A máquina de suporte vetorial aplicada em análise de séries temporais | Andrade, Yuri Medeiros de | Matsushita, Raul Yukihiro | - |
| 20-Dez-2015 | 13-Mar-2015 | MDG-NoSQL : modelo de dados para bancos NoSQL baseados em grafos | Erven, Gustavo Cordeiro Galvão van | Holanda, Maristela Terto de | Carvalho, Rommel Novaes |
| 3-Jan-2012 | 21-Jul-2011 | Mecanismo de negociação de auditor de QoS para grades baseado em WS-Agreement | Silva, Alisson Wilker Andrade | Melo, Alba Cristina Magalhães Alves de | - |
| 8-Dez-2021 | 9-Set-2021 | Medição da produtividade em times de desenvolvimento de software | Mota, Jhemeson Silva | Canedo, Edna Dias | - |
| 30-Out-2013 | 7-Mar-2013 | Medidas de Gibbs e o Teorema de Aizenman-Higuchi | Costa, Elias da | Cioletti, Leandro Martins | - |
