Skip navigation

Navegando por Unidade Acadêmica Departamento de Ciência da Computação (IE CIC)

Ir para: 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
ou entre com as primeiras letras:  
Mostrando resultados 270 a 289 de 499 < Anterior   Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
9-Jul-202013-Dez-2019A Machine-Verified Theory of commuting strategies for product-line reliability analysisCastro, Thiago Mael deAlves, Vander Ramos-
29-Nov-20118-Mar-2009MADIK : uma abordagem multiagente para o exame pericial de sistemas computacionaisHoelz, Bruno Werneck PintoRalha, Célia Ghedini-
17-Mar-202229-Out-2021Manutenção de software no Tribunal de Justiça de Goiás : emprego da DSRRibeiro, Michel AlvesFigueiredo, Rejane Maria da Costa-
4-Fev-20165-Ago-2015MASA-OpenCL : comparação paralela de sequências biológicas longas em GPUFigueirêdo Júnior, Marco Antônio Caldas deMelo, Alba Cristina Magalhães Alves de-
19-Mar-202124-Set-2020Masa-StarPU : estratégia com múltiplas políticas de escalonamento de tarefas para alinhamento de sequências com pruningLopes, Rafael Alvares da SilvaMelo, Alba Cristina Magalhães Alves de-
25-Jan-201629-Abr-2015Matching estável para tomada de decisão colaborativa na alocação de slotsArruda Junior, Antonio Carlos deWeigang, Li-
20-Dez-201513-Mar-2015MDG-NoSQL : modelo de dados para bancos NoSQL baseados em grafosErven, Gustavo Cordeiro Galvão vanHolanda, Maristela Terto deCarvalho, Rommel Novaes
3-Jan-201221-Jul-2011Mecanismo de negociação de auditor de QoS para grades baseado em WS-AgreementSilva, Alisson Wilker AndradeMelo, Alba Cristina Magalhães Alves de-
8-Dez-20219-Set-2021Medição da produtividade em times de desenvolvimento de softwareMota, Jhemeson SilvaCanedo, Edna Dias-
26-Nov-201418-Dez-2013Melhoria de modelos de processo de negócio com mineração de processos e simulação baseada em agentesSzimanski, FernandoRalha, Célia GhediniFerreira, Diogo R.
2018-Methods and metrics for estimating and planning agile software projectsCanedo, Edna Dias; Costa, Ruyther Parente da--
21-Mar-20178-Dez-2016Metodologia de Diagnóstico e Análise de Desempenho de Processos (MDADP) : estudo de caso sobre o processo de atendimento de serviços de TISantos, Orlando Oliveira dosMonteiro, Simone Borges Simão-
15-Abr-201328-Jul-2009Metodologia para recomendação de consultores ad-hoc baseada na extração de perfis do currículo LattesBastos, Weliton MoreiraLadeira, Marcelo-
12-Abr-201812-Dez-2017Método baseado em aprendizado de máquina para seleção de características para distinção entre RNAs não-codificadores longos e RNAs codificadores de proteínasKümmel, Bruno CoutoWalter, Maria Emília Machado Telles-
7-Out-20152010Método de aprendizagem por esforço no sistema bioagentsSchneider, Hugo WruckRalha, Célia GhediniWalter, Maria Emilia Machado Telles
16-Jun-202129-Jan-2021Método de migração de sistemas monolíticos legados para a arquitetura de microsserviçosLopes, Taylor RodriguesLanna, André Luiz Peron Martins-
4-Jan-201721-Jul-2016Método de mineração de processos para auxílio à tomada de decisão : um estudo de caso no controle de fériasGandulfo, Pablo IgnacioRalha, Célia Ghedini-
2-Dez-201425-Jul-2014Método para reconstrução in silico de redes metabólicas de fungos : um estudo de caso para o Paracoccidioides lutziiSilva, Waldeyr Mendes Cordeiro daWalter, Maria Emília Machado Telles-
22-Ago-20181-Mar-2018Métodos baseados em aprendizagem de máquina para distinguir RNAs longos não-codificadores intergênicos de transcritos codificadores de proteínasVieira, Lucas MacielWalter, Maria Emília Machado Telles-
20-Abr-202219-Jan-2022Métodos de autenticação considerando aspectos de segurança, privacidade e experiência de uso : a visão dos usuários finaisAraujo, Ronald Carvalho Ribeiro deLeite, Letícia Lopes-