977 search results - page 55 / 196 » Logic-Based Modeling in Systems Biology |
152
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
152
click to vote
ICIC
2007
Springer
15 years 10 months ago
2007
Springer
Inspired by the behaviour of biological receptive fields and the human visual system, a network model based on spiking neurons is proposed to detect edges in a visual image. The st...
142
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Switching between two modes of operation is a common property of biological systems. In continuous-time differential equation models, this is often realised by bistability, i.e. th...
130
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
154
click to vote
BIB
2007
15 years 4 months ago
2007
The collection of multiple genome-scale datasets is now routine, and the frontier of research in systems biology has shifted accordingly. Rather than clustering a single dataset t...