Skip navigation

Browsing by ???browse.type.metadata.unidade??? Departamento de Ciência da Computação (IE CIC)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 385 to 404 of 562 < previous   next >
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
4-Nov-20219-Jul-2021On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVSAlmeida, Ariane AlvesAyala-Rincón, MauricioMuñoz, César Augusto
2023-On the behavior of parallel island modelsSilveira, 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 abertoBarreto, Priscila América Solís Mendez; Saraiva Júnior, Raimundo G.; Ferreira, Gabriel de Carvalho; Carvalho, Paulo Henrique Portela de--
8-Nov-201229-Jun-2012Ordenação de sequências finitas por reversões usando conjugações em grupos de permutaçõesMoraes, José Luiz Correa deAyala-Rincón, Mauricio-
2-Aug-201325-Feb-2013Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticosSoncco Álvarez, José LuisAyala-Rincón, Mauricio-
30-May-201629-Feb-2016Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticosSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
14-Dec-200614-Dec-2006Ordenação por transposições baseado no formalismo algébricoSantos, Héderson Pereira dosWalter, Maria Emília Machado Telles-
25-Feb-20163-Dec-2015Otimização de negociação dinâmica para múltiplas áreas restritas de fluxo no programa de opções de trajetórias colaborativoCruciol, Leonardo Luiz Barbosa VieiraWeigang, LiClarke, John-Paul
29-Mar-201624-Jun-2015Otimização multiobjetivo aplicada ao planejamento sistemático de conservação para espécies de plantas do cerrado brasileiroSantos, Shana SchlottfeldtWalter, Maria Emília Machado TellesCarvalho, André Carlos Ponce de Leon Ferreira de
27-Nov-201821-Jun-2018Otimização no custo para processamento de Big GeoSpatial Data em ambiente de nuvem computacionalBachiega Junior, JoãoAraújo, Aletéia Patrícia Favacho deHolanda, Maristela Terto de
11-Jan-201027-Mar-2006p2pBIOFOCO : um framework Peer-to-Peer para processamento distribuido do BLASTRibeiro, Edward de OliveiraWalter, Maria Emília Machado Telles-
12-Dec-20149-Aug-2014Per-pixel mirror-based measuring : um novo método para aquisição para vídeo de alta velocidadeLima, Jonathan Alis SalgadoFarias, Mylène Christine Queiroz deMiosso, Cristiano Jacques
1-Dec-20174-Aug-2017Percepções de práticas ágeis em desenvolvimento de software : benefícios e desafiosMazuco, Alan Saulo da CostaAlmeida, Rodrigo Bonifácio de-
31-Mar-20208-Jul-2019Perdas de crédito e ciclos econômicos no BrasilPalmeira, Rômulo de MedeirosSouza, João Carlos Félix-
25-Jun-201812-Dec-2017Perfil de evasão no ensino superior brasileiro : uma abordagem de mineração de dadosAssis, Lucas Rocha Soares deRamos, Guilherme Novaes-
24-Jun-202016-Dec-2019A performance evaluation model for network function virtualisation on 5G networksSilva, Cristoffer Leite daBarreto, Priscila Solis-
29-Sep-202016-Jul-2020Um plano de controle seguro e distribuído para redes definidas por softwareSilva, Jefferson Pereira daAlchieri, Eduardo Adilio Pelinson-
6-Jun-201716-Dec-2016Plano de gerenciamento de riscos para a infraestrutura de tecnologia da informação comum aos campi do Instituto Federal de BrasíliaCunha, Tiago Júnio Pires daSilva, Gladston Luiz da-
24-Nov-20147-Jul-2014Política de armazenamento de dados em nuvens federadas para dados biológicosGallon, Ricardo FernandesHolanda, Maristela Terto deAraújo, Aletéia Patrícia Favacho de
21-Feb-202414-Sep-2023Ponderação do efeito das externalidades climáticas no risco de créditoCamelo, William OliveiraSouza, João Gabriel de Moraes-