977 search results - page 55 / 196 » Logic-Based Modeling in Systems Biology |
180
click to vote
WWW
2006
ACM
16 years 6 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...
181
click to vote
ICIC
2007
Springer
16 years 6 days 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...
162
click to vote
CDC
2010
IEEE
15 years 1 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...
159
click to vote
ICALP
2000
Springer
15 years 9 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...
175
click to vote
BIB
2007
15 years 6 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...