Showing results 436 to 455 of 642
< 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 | - | - |
| 24-Nov-2025 | 12-May-2025 | On the effectiveness of the mining Android sandbox approach for malware detection | Costa, Francisco Handrick Tomaz da | Almeida, Rodrigo Bonifácio de | - |
| 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 | - |
| 11-Apr-2025 | 24-Oct-2024 | Organização da informação do Sistema Eletrônico de Informações (SEI) para viabilizar consultas analíticas e auditoria | Ponte, Samuel Victor Cavalcante da | Victorino, Marcio de Carvalho | - |
| 24-Nov-2025 | 30-May-2025 | Otimização de esquemas NoSQL orientado a documentos : avaliação baseada em métricas e algoritmo VNS | Olivera, Harley Vera | Holanda, Maristela Terto de | - |
| 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 |
| 17-Mar-2025 | 28-Dec-2024 | P2MLF : um arcabouço para preservação de privacidade de ponta a ponta para aplicações de aprendizado de máquina | Maia, Ricardo José Menezes | Jacobi, Ricardo Pezzuol | - |
| 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 | - |
| 13-Oct-2025 | 28-May-2025 | Padrões de maturidade digital no Ministério Público : uma análise por mineração de dados | Freitas, Luciana Maria de Araujo | Pedrosa, Glauco Vitor | - |
| 13-Oct-2025 | 16-Apr-2025 | O papel estratégico da governança de dados para alavancar ganhos nas capacidades dinâmicas de uma instituição financeira brasileira | Melo, Adriane Medeiros | Mariano, Ari Melo | - |
| 13-Oct-2025 | 18-Jun-2025 | People Analytics : um estudo de caso de Ciência de Dados na gerência de recursos humanos da Apex-Brasil | Moreira, César Antônio Ciuffo | Silva, Gladston Luiz da | - |
| 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 | - |
