317
click to vote
ECCB
15 years 7 months ago
2008 IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
201
click to vote
ECCB
16 years 1 months ago
2008 IEEE
Motivation: Mapping of remote evolutionary links is a classic computational problem of much interest. Relating protein families allows for functional and structural inference on u...
233
click to vote
ECCB
16 years 1 months ago
2008 IEEE
Living cells are the product of gene expression programs that involve the regulated transcription of thousands of genes. The elucidation of transcriptional regulatory networks in ...
|