203
click to vote
ECCB
15 years 1 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...
112
click to vote
ECCB
15 years 7 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...
ECCB
15 years 7 months ago
2008 IEEE 120
click to vote
ECCB
15 years 7 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 ...
ECCB
15 years 7 months ago
2008 IEEE |