Showing results 385 to 404 of 562
< previous
next >
Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
4-Nov-2021 | 9-Jul-2021 | On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | Muñoz, César Augusto |
2023 | - | On the behavior of parallel island models | Silveira, Lucas Ângelo da; Lima, Thaynara Arielly de; Barros, Jessé Barreto de Barros; Soncco-Álvarez, José Luis; Llanos Quintero, Carlos Humberto; Ayala-Rincón, Mauricio | - | - |
2022 | - | Open RAN e os desafios da sua experimentação em plataformas de código aberto | Barreto, Priscila América Solís Mendez; Saraiva Júnior, Raimundo G.; Ferreira, Gabriel de Carvalho; Carvalho, Paulo Henrique Portela de | - | - |
8-Nov-2012 | 29-Jun-2012 | Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações | Moraes, José Luiz Correa de | Ayala-Rincón, Mauricio | - |
2-Aug-2013 | 25-Feb-2013 | Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos | Soncco Álvarez, José Luis | Ayala-Rincón, Mauricio | - |
30-May-2016 | 29-Feb-2016 | Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos | Silveira, Lucas Ângelo da | Ayala-Rincón, Mauricio | - |
14-Dec-2006 | 14-Dec-2006 | Ordenação por transposições baseado no formalismo algébrico | Santos, Héderson Pereira dos | Walter, Maria Emília Machado Telles | - |
25-Feb-2016 | 3-Dec-2015 | Otimização de negociação dinâmica para múltiplas áreas restritas de fluxo no programa de opções de trajetórias colaborativo | Cruciol, Leonardo Luiz Barbosa Vieira | Weigang, Li | Clarke, John-Paul |
29-Mar-2016 | 24-Jun-2015 | Otimização multiobjetivo aplicada ao planejamento sistemático de conservação para espécies de plantas do cerrado brasileiro | Santos, Shana Schlottfeldt | Walter, Maria Emília Machado Telles | Carvalho, André Carlos Ponce de Leon Ferreira de |
27-Nov-2018 | 21-Jun-2018 | Otimização no custo para processamento de Big GeoSpatial Data em ambiente de nuvem computacional | Bachiega Junior, João | Araújo, Aletéia Patrícia Favacho de | Holanda, Maristela Terto de |
11-Jan-2010 | 27-Mar-2006 | p2pBIOFOCO : um framework Peer-to-Peer para processamento distribuido do BLAST | Ribeiro, Edward de Oliveira | Walter, Maria Emília Machado Telles | - |
12-Dec-2014 | 9-Aug-2014 | Per-pixel mirror-based measuring : um novo método para aquisição para vídeo de alta velocidade | Lima, Jonathan Alis Salgado | Farias, Mylène Christine Queiroz de | Miosso, Cristiano Jacques |
1-Dec-2017 | 4-Aug-2017 | Percepções de práticas ágeis em desenvolvimento de software : benefícios e desafios | Mazuco, Alan Saulo da Costa | Almeida, Rodrigo Bonifácio de | - |
31-Mar-2020 | 8-Jul-2019 | Perdas de crédito e ciclos econômicos no Brasil | Palmeira, Rômulo de Medeiros | Souza, João Carlos Félix | - |
25-Jun-2018 | 12-Dec-2017 | Perfil de evasão no ensino superior brasileiro : uma abordagem de mineração de dados | Assis, Lucas Rocha Soares de | Ramos, Guilherme Novaes | - |
24-Jun-2020 | 16-Dec-2019 | A performance evaluation model for network function virtualisation on 5G networks | Silva, Cristoffer Leite da | Barreto, Priscila Solis | - |
29-Sep-2020 | 16-Jul-2020 | Um plano de controle seguro e distribuído para redes definidas por software | Silva, Jefferson Pereira da | Alchieri, Eduardo Adilio Pelinson | - |
6-Jun-2017 | 16-Dec-2016 | Plano de gerenciamento de riscos para a infraestrutura de tecnologia da informação comum aos campi do Instituto Federal de Brasília | Cunha, Tiago Júnio Pires da | Silva, Gladston Luiz da | - |
24-Nov-2014 | 7-Jul-2014 | Política de armazenamento de dados em nuvens federadas para dados biológicos | Gallon, Ricardo Fernandes | Holanda, Maristela Terto de | Araújo, Aletéia Patrícia Favacho de |
21-Feb-2024 | 14-Sep-2023 | Ponderação do efeito das externalidades climáticas no risco de crédito | Camelo, William Oliveira | Souza, João Gabriel de Moraes | - |