Sciweavers

ECCB
2008
IEEE
15 years 19 days ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
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...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
107
Voted
ECCB
2008
IEEE
15 years 7 months ago
Connect the dots: exposing hidden protein family connections from the entire sequence tree
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...
Yaniv Loewenstein, Michal Linial
91
Voted
ECCB
2008
IEEE
15 years 7 months ago
Annotation of metagenome short reads using proxygenes
Daniel Dalevi, Natalia Ivanova, Konstantinos Mavro...
113
Voted
ECCB
2008
IEEE
15 years 7 months ago
SIRENE: supervised inference of regulatory networks
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 ...
Fantine Mordelet, Jean-Philippe Vert
Computational Biology
Top of PageReset Settings