Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Search
Search:
All Repository
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO DE GRADUAÇÃO
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 10 (Search time: 0.006 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
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
Explore
Author
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...
.
next ►
Subject
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
Issue Date
1
2016
4
2013
1
2012
2
2011
2
2010