Skip navigation
Página Inicial
Percorrer
Comunidades e
Coleções
Explorar itens por:
Data de publicação
Autor
Título
Assunto
Sobre
Sobre o Repositório Institucional
Políticas de Uso
FAQs (Perguntas Frequentes)
Créditos
Estatísticas de Acesso
Entrar em:
Página Pessoal
Receber atualizações
por e-mail
Editar Perfil
Repositório PUCRS
Busca
Busca:
Todo o Repositório
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO
por
Filtros atuais:
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Iniciar uma nova busca
Adicionar filtros:
Use filtros para refinar os resultados da pesquisa.
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Resultados 1-10 de 10 (Tempo de busca: 0.001 Segundos).
anterior
1
próximo
Resultados em Itens:
Data de publicação
Título
Autor(es)
2010
Precisão de simulações para solução de modelos estocásticos
Taschetto, Dione
2013
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Correa, Claiton Marques
2016
Fitting techniques to knowledge discovery through stochastic models
Assunção, Joaquim Vinicius Carvalho
2012
Stochastic modeling of global software development teams
Santos, Alan Ricardo dos
2011
Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
Silva, Alberto Sales e
2011
Proposta de uma representação tensorial para modelos markovianos ocultos
Espindola, Luciana da Silveira
2013
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
Gil, Paulo Guilherme
2013
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Wondracek, Alberto do Carmo Sulzbacher
2010
Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Czekster, Ricardo Melo
2013
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Oleksinski, Lucas Giaretta
Descoberta
Autor
1
Assunção, Joaquim Vinicius Carvalho
1
Correa, Claiton Marques
1
Czekster, Ricardo Melo
1
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Oleksinski, Lucas Giaretta
1
Santos, Alan Ricardo dos
1
Silva, Alberto Sales e
1
Taschetto, Dione
1
Wondracek, Alberto do Carmo Sulzb...
.
próximo ►
Assunto
2
CADEIAS DE MARKOV
2
CADEIAS DE MARKOV - COMPUTAÇÃO
1
AVALIAÇÃO DE DESEMPENHO (INFORMÁT...
1
ENGENHARIA DE SOFTWARE
1
LÓGICA TEMPORAL (COMPUTAÇÃO)
1
PROCESSOS ESTOCÁSTICOS
1
ÁLGEBRA TENSORIAL
Data de submissão
1
2016
4
2013
1
2012
2
2011
2
2010