Buscar
Mostrando ítems 1-10 de 18
Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport systems
(Universidade Federal de Minas GeraisUFMG, 2013-03-15)
Probabilistic Model Checking (PMC) is a formal verification technique to model and analyze stochastic systems. It can be applied directly to biological systems which present stochastic behavior, including transmembrane ...
LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS
(Revista Eletrônica de Iniciação Científica em Computação, 2018)
Probabilistic analysis applied to robots
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Uma metodologia para verificação da segurança e dimensionamento ótimo de dutos com defeitos causados por corrosão
(Universidade Federal de Pernambuco, 2014)
A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty
(2020-03-11)
Objetivos são entidades de primeira classe em um sistema auto-adaptativo
(SAS) uma vez que eles guiam a auto-adaptação. Normalmente, SAS opera em
ambientes dinâmicos e parcialmente desconhecidos, causando incerteza que ...
Uso da capacidade preditiva como critério bayesiano de adequação de modelos
(2017-08-25)
Certificar-se de que o modelo probabilístico proposto representa satisfatoriamente o problema e um dos principais passos na modelagem estatística, pois a escolha de um modelo que não esteja bem ajustado pode provocar ...