Skip navigation

Navegando por Programa de pós-graduação Programa de Pós-Graduação em Informática

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 131 a 150 de 264 < Anterior   Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
3-Set-202121-Jun-2021H-calculus : session types for hardware analysis and well-definednessSá, Luiz Gustavo Soares deJacobi, Ricardo PezzuolMedeiros, José Edil Guimarães de
15-Out-201221-Jun-2012Hephaestus-PL : uma linha de produtos de ferramentas para linha de produtos de softwareTurnes, LucinéiaAlves, Vander RamosAlmeida, Rodrigo Bonifácio de
23-Nov-202331-Jan-2023Human factors in the design of chatbot interactions : conversational design practicesSilva, Geovana Ramos SousaCanedo, Edna Dias-
1-Mai-201228-Jun-2011Identificação de comunicado de ocorrência de perdas em seguro agrícola utilizando algoritmos de inteligência artificialRamos, Rafael MarconiLadeira, Marcelo-
22-Jun-20129-Mar-2012Identificação de RNA não codificador utilizando redes neurais artificiais de treinamento não supervisionadoSilva, Tulio Conrado Campos daBerger, Pedro de Azevedo-
20-Dez-201224-Ago-2012Identificação de RNAs não-codificadores por modelos de covariância com prioris Dirichlet adaptadas a grupos de ncRNAs com estruturas secundárias similares = Identifying non-coding RNAs using covariance models with Dirichlet priors specific to groups of ncRNAs of similar secondary structuresLessa, Felipe AlmeidaWalter, Maria Emília Machado TellesMartins Neto, Daniele da Silva Baratela
6-Dez-201629-Jan-2016Identificação de snoRNAs usando aprendizagem de máquinaOliveira, João Victor de AraujoWalter, Maria Emília Machado Telles-
17-Mar-202223-Nov-2021Os impactos da pandemia da Covid-19 nos projetos de software de código abertoOkimoto, Marcio ViniciusCanedo, Edna Dias-
12-Mar-201931-Jul-2018Influência das Razões Foto Antropométricas no processo de reconhecimento facial biométrico em norma frontal em imagens digitaisBicalho, Gustavo CarneiroVidal, Flávio de Barros-
11-Abr-201824-Nov-2017Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design timeFarias, Arthur José RodriguesRodrigues, Genaína Nunes-
3-Mai-202118-Dez-2020Investigando o desempenho de métodos de Aprendizado de Máquina para predição de RNAs não-codificadores utilizando construção in silico de dados artificiaisCosta, Mirele Carolina Souza FerreiraWalter, Maria Emília Machado Telles-
14-Mar-201615-Dez-2015Jogos ubíquos reconfiguráveis : da concepção à construçãoBuzeto, Fabricio NogueiraJacobi, Ricardo Pezzuol-
7-Abr-201620-Ago-2015Ligação de entidades : uma nova abordagem para ligação de conceitos concretos com entidades Wiki utilizando modelos de espaço vetorialMonteiro, Lucas BorgesWeigang, Li-
20-Mai-201317-Dez-2012Linha de produtos de software dinâmica direcionada por qualidade : o caso de redes de monitoração do corpo humanoFernandes, Paula Gabriela de MedeirosAlves, Vander RamosRogrigues, Genaína
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-
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-
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-