333
Voted
ECCB
15 years 8 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...
212
click to vote
ECCB
16 years 2 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...
243
click to vote
ECCB
16 years 2 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 ...
|