Página de Busca




Filtros correntes:




Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

Resultado 1-10 de 10.
  • Anterior
  • 1
  • Próximo
Conjunto de itens:
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
17-Mar-2011431853.pdf.jpgProposta de uma representação tensorial para modelos markovianos ocultosEspindola, Luciana da SilveiraFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Mar-2013451032.pdf.jpgAbordagens paralelas para Model Checking de redes de autômatos estocásticosOleksinski, Lucas GiarettaDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
21-Mar-2011436196.pdf.jpgFerramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessoresSilva, Alberto Sales eFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
31-Ago-2012443170.pdf.jpgStochastic modeling of global software development teamsSantos, Alan Ricardo dosFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
29-Mar-2010423499.pdf.jpgSolução numérica de descritores markovianos a partir de re-estruturações de termos tensoriaisCzekster, Ricardo MeloFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoTese
22-Mar-2012447661.pdf.jpgAlgoritmo para conversão automática de modelos SAN GTA para modelos SAN CTAGil, Paulo GuilhermeFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
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
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
12-Mar-2010427631.pdf.jpgPrecisão de simulações para solução de modelos estocásticosTaschetto, DioneFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
9-Ago-2016TES_JOAQUIM_VINICIUS_CARVALHO_ASSUNCAO_COMPLETO.pdf.jpgFitting techniques to knowledge discovery through stochastic modelsAssunção, Joaquim Vinicius CarvalhoFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoTese

Busca facetada