Mostrando resultados 181 a 200 de 264
< Anterior
Próximo >
Data de publicação | Data de defesa | Título | Autor(es) | 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 |
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-Ago-2013 | 25-Fev-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-Mai-2016 | 29-Fev-2016 | Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos | Silveira, Lucas Ângelo da | Ayala-Rincón, Mauricio | - |
14-Dez-2006 | 14-Dez-2006 | Ordenação por transposições baseado no formalismo algébrico | Santos, Héderson Pereira dos | Walter, Maria Emília Machado Telles | - |
25-Fev-2016 | 3-Dez-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-Dez-2014 | 9-Ago-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 |
24-Jun-2020 | 16-Dez-2019 | A performance evaluation model for network function virtualisation on 5G networks | Silva, Cristoffer Leite da | Barreto, Priscila Solis | - |
29-Set-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 | - |
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 |
28-Mar-2016 | 17-Dez-2015 | Potencializando a modulação adaptativa com roteamento em múltiplos saltos em redes ópticas elásticas | Costa, Lucas Rodrigues | Drummond, André Costa | - |
11-Out-2016 | 15-Jul-2016 | PR-OWL 2 RL : um formalismo para tratamento de incerteza na web semântica | Santos, Laécio Lima dos | Weigang, Li | Ladeira, Marcelo |
12-Jun-2021 | 4-Mar-2021 | Precificação em computação em nuvem para instâncias permanentes e transientes : modelagem e previsão | Portella, Gustavo Jardim | Melo, Alba Cristina Magalhães Alves de | Rodrigues, Genaína Nunes |
9-Jul-2021 | 10-Fev-2021 | Predictive image compression using Autoencoders | Jung, Henrique Costa | Espinoza, Bruno Luiggi Macchiavello | - |
1-Abr-2022 | 12-Nov-2021 | Predição de recursos para workflows científicos de bioinformática em nuvens federadas com aprendizado de máquina | Carvalho Sobrinho, Matheus de | Von Paumgartten, Aletéia Patrícia Favacho de Araújo | - |
4-Ago-2017 | 24-Fev-2017 | Predição de tempo e dimensionamento de recursos para workflows científicos em nuvens federadas | Rosa, Michel Junio Ferreira | Araújo, Aletéia Patrícia Favacho de | - |
22-Out-2016 | 14-Jul-2016 | Preenchimento de buracos em síntese de vista baseado em mapa de profundidade | Silva, Ennio Willian Lima | Espinoza, Bruno Luiggi Macchiavello | Dórea, Camilo Chang |