524 search results - page 76 / 105 » Characterizing the Paralation Model using Dynamic Assignment |
BMCBI
2008
13 years 8 months ago
2008
Background: Time-course microarray experiments are being increasingly used to characterize dynamic biological processes. In these experiments, the goal is to identify genes differ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The paper has two objectives. The first is to study rigorously the transient behavior of some P2P networks where information is replicated and disseminated according to an epidemic...
BMCBI
2005
13 years 8 months ago
2005
Background: The sequencing of the human genome has enabled us to access a comprehensive list of genes (both experimental and predicted) for further analysis. While a majority of t...
SAB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
FM
2006
Springer
14 years 13 days ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...