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
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 13 (Tempo de busca: 0.001 Segundos).
anterior
1
2
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
Software como serviço: um framework para fornecer ferramentas de simulação analítica
Campos, Rafael Tweedie
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
Descoberta
Autor
1
Assunção, Joaquim Vinicius Carvalho
1
Campos, Rafael Tweedie
1
Correa, Claiton Marques
1
Czekster, Ricardo Melo
1
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Gomes, Marcelo Vasconcellos
1
Oleksinski, Lucas Giaretta
1
Oliveira, Toni Amorim de
1
Santos, Alan Ricardo dos
.
próximo ►
Assunto
1
PROCESSOS ESTOCÁSTICOS
1
SOFTWARE - AVALIAÇÃO
1
UML (INFORMATICA)
1
WORLD WIDE WEB - FERRAMENTAS
1
ÁLGEBRA TENSORIAL
.
◄ anterior
Data de submissão
2
2016
4
2013
2
2012
2
2011
3
2010