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 303 to 322 of 562 < previous   next >
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
9-Jul-202013-Dec-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-Oct-2021Manutenção de software no Tribunal de Justiça de Goiás : emprego da DSRRibeiro, Michel AlvesFigueiredo, Rejane Maria da Costa-
4-Feb-20165-Aug-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-Sep-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-Apr-2015Matching estável para tomada de decisão colaborativa na alocação de slotsArruda Junior, Antonio Carlos deWeigang, Li-
20-Dec-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-Dec-20219-Sep-2021Medição da produtividade em times de desenvolvimento de softwareMota, Jhemeson SilvaCanedo, Edna Dias-
13-Aug-202431-Jan-2023Melhorando a qualidade da maquina de tradução Chinês para Português com RoBERTaRuizhe, GuoWeigang, Li-
18-Dec-202421-Jul-2023Melhorando a segurança de programas numéricosFerreira, Nikson Bernardes FernandesRincon, Maurício AyalaMoscato, Mariano Miguel
26-Nov-201418-Dec-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.
13-Aug-202430-Aug-2023Meta aprendizado para detecção de mudança de conceito não supervisionadaMelo, Fernanda AmaralGarcia, Luís Paulo Faina-
2018-Methods and metrics for estimating and planning agile software projectsCanedo, Edna Dias; Costa, Ruyther Parente da--
21-Mar-20178-Dec-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-Apr-201328-Jul-2009Metodologia para recomendação de consultores ad-hoc baseada na extração de perfis do currículo LattesBastos, Weliton MoreiraLadeira, Marcelo-
12-Apr-201812-Dec-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-Oct-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-