1922 search results - page 138 / 385 » Systems biology, models, and concurrency |
120
click to vote
CMMR
2005
Springer
15 years 3 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
WSC
2000
15 years 2 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
105
click to vote
BMCBI
2008
2008
Relating gene expression data on two-component systems to functional annotations in Escherichia coli
15 years 1 months ago
Background: Obtaining physiological insights from microarray experiments requires computational techniques that relate gene expression data to functional information. Traditionall...
100
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
112
click to vote
GW
1999
Springer
15 years 5 months ago
1999
Springer
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...