• Nenhum resultado encontrado

Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems

N/A
N/A
Protected

Academic year: 2017

Share "Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems"

Copied!
10
0
0

Texto

Loading

Referências

Documentos relacionados

In the first by comparison of strain energy of molecular mechanics model and continuum model consist of shell element by different properties in radial displacement, two series

These systems can be modeled by the Ander- son impurity model and in this paper we employ an impurity version of the atomic model, previously applied to study the Kondo insulators

Using an artificial membrane model, cholesterol-free negatively-charged unilamellar liposomes, confirmed the effect of antihistaminics upon the membrane permeability both by

Mestrado Integrado em Ciências Farmacêuticas Nanotecnologia Aplicada à Dermofarmácia 31 exemplo disso é a utilização do polietilenoglicol (PEG) 200 e do PEG 3000. No PEG 200

Based on this classification, we evaluated model application (theoretical, heuristic or predictive), model approach (biological, physical-biological or biogeochemical),

Basic mathematical model of overlimiting transfer in electrodialysis membrane systems enhanced by electroconvection // Journal Membrane Science. Colloid

Transmission model - In order to assess the biological significance of parasitaemia as measured by microscopy and by qPCR (e.g. whether the estimated parasitaemia was

In this study, we simulated extinction by inbreeding depression under stochastic environments using Tanaka’s (2000a) model to evaluate the time to extinction Te in two populations