Redes Biologicas Teses
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Modelagem e análise de sistemas de transporte de íons em membranas celulares usando verificação de modelos
Recentemente há um interesse crescente na aplicação da Verificação Probabilística de Modelos (PMC) na especificação formal e análise de sistemas biológicos. PMC é uma técnica que permite uma exploração exaustiva do conjunto de estados de um sistema estocástico e pode fornecer visões valiosas do seu comportamento que são mais difíceis de se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/07/2011
-
2. Redes em biologia: introdução as redes complexas, estudo dos aspectos estruturais e dinamicos do ciclo celular e dos ritmos circadianos
S
Publicado em: 2008