2502 search results - page 8 / 501 » Using probabilistic model checking in systems biology |
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
ISNN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper proposes a new method to discriminate the vascular conditions from biological signals by using a probabilistic neural network, and develops the diagnosis suppo...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
BMCBI
2007
13 years 7 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...