Mostrando resultados 181 a 200 de 264
< Anterior
Siguiente >
| Fecha de publicación | 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-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-dic-2006 | 14-dic-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-dic-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-ene-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-dic-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-dic-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 | - |
| 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-dic-2015 | Potencializando a modulação adaptativa com roteamento em múltiplos saltos em redes ópticas elásticas | Costa, Lucas Rodrigues | Drummond, André Costa | - |
| 11-oct-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-feb-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-feb-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-oct-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 |
