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 DE GRADUAÇÃO
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-7 de 7 (Tempo de busca: 0.001 Segundos).
anterior
1
próximo
Resultados em Itens:
Data de publicação
Título
Autor(es)
2013
Simulação de Multidões de Humanos Virtuais
Musse, Soraia Raupp
2013
Simulation of inter and intra group behaviors using semantic virtual environments
Moura, Rafael Hocevar de
2013
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Correa, Claiton Marques
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
2013
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Oleksinski, Lucas Giaretta
2013
Modelagem procedural de grupos em ambientes internos
Flach, Laura Mattos
Descoberta
Autor
1
Correa, Claiton Marques
1
Flach, Laura Mattos
1
Gil, Paulo Guilherme
1
Moura, Rafael Hocevar de
1
Musse, Soraia Raupp
1
Oleksinski, Lucas Giaretta
1
Wondracek, Alberto do Carmo Sulzb...
Assunto
4
REDES DE AUTÔMATOS ESTOCÁSTICOS
2
REALIDADE VIRTUAL
1
ANIMAÇÃO POR COMPUTADOR
1
CADEIAS DE MARKOV
1
COMPUTAÇÃO GRÁFICA
1
LÓGICA TEMPORAL (COMPUTAÇÃO)
1
ÁLGEBRA TENSORIAL