Página de Busca




Filtros correntes:


Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

Resultado 21-30 de 31.
Conjunto de itens:
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
25-Mar-2013459162.pdf.jpgTradução de modelos de redes de automatos estocásticos para a linguagem do NUSMVWondracek, Alberto do Carmo SulzbacherDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
8-Mar-2013449315.pdf.jpgOntologia para teste de desempenho de softwareFreitas, Artur Luiz Silva da CunhaVieira, RenataPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
15-Mar-2013451616.pdf.jpgPro-smart : predição de estruturas terciárias de proteínas utilizando sistemas multiagentePaes, Thiago LipinskiSouza, Osmar Norberto dePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Jan-2013446499.pdf.jpgGerência distribuída de recursos em MPSoCs : mapeamento e migração de tarefasCastilhos, Guilherme Machado deMoraes, Fernando GehmPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
26-Mar-2013448850.pdf.jpgUm modelo híbrido para o WSD em biomedicinaGoulart, Rodrigo Rafael VilarrealLima, Vera Lúcia Strube dePrograma de Pós-Graduação em Ciência da ComputaçãoTese
8-Mar-2013457280.pdf.jpgO reconhecimento de entidades nomeadas por meio de conditional Random Fields para a língua portuguesaAmaral, Daniela Oliveira Ferreira doVieira, RenataPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
26-Mar-2013449321.pdf.jpgGeração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticosCorrea, Claiton MarquesDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
15-Mar-2013448558.pdf.jpgSimulation of inter and intra group behaviors using semantic virtual environmentsMoura, Rafael Hocevar deMusse, Soraia RauppPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
14-Mar-2013451416.pdf.jpgRSAPP, um algoritmo baseado em rough sets para auxílio ao processo de descoberta de conhecimento em banco de dadosSilveira, Juliano Gomes daRuiz, Duncan Dubugras AlcobaPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Nov-2013DIS_VIVIANE_LINCK_LARA_COMPLETO.pdf.jpgResolução paralela verificada de sistemas de equações lineares : uma abordagem para eficiência energética utilizando DVFSLara, Viviane LinckFernandes, Luiz Gustavo LeãoPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação

Busca facetada