Sciweavers

ECCB
2008
IEEE
15 years 5 months 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,...
ECCB
2008
IEEE
15 years 11 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
138
Voted
ECCB
2008
IEEE
15 years 11 months ago
Annotation of metagenome short reads using proxygenes
Daniel Dalevi, Natalia Ivanova, Konstantinos Mavro...
171
Voted
ECCB
2008
IEEE
15 years 11 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
111
Voted
ECCB
2008
IEEE
15 years 11 months ago
RNA structure alignment by a unit-vector approach
Emidio Capriotti, Marc A. Martí-Renom
Computational Biology
Top of PageReset Settings