4341 search results - page 38 / 869 » Quantitative Model checking |
BMCBI
2006
13 years 9 months ago
2006
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...
TIFS
2010
13 years 3 months ago
2010
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...
JCC
2007
13 years 8 months ago
2007
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
