Sciweavers

ECCB
2008
IEEE
13 years 11 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
14 years 22 days ago
Optimal spliced alignments of short sequence reads
ent> <title> <p>Highlights from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium</p> </title> <editor>Lu...
Fabio De Bona, Stephan Ossowski, Korbinian Schneeb...
ECCB
2008
IEEE
14 years 22 days ago
Towards de novo identification of metabolites by analyzing tandem mass spectra
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...
Sebastian Böcker, Florian Rasche
ECCB
2008
IEEE
14 years 5 months ago
Annotation of metagenome short reads using proxygenes
Daniel Dalevi, Natalia Ivanova, Konstantinos Mavro...
ECCB
2008
IEEE
14 years 5 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
ECCB
2008
IEEE
14 years 5 months ago
Segment-based multiple sequence alignment
Tobias Rausch, Anne-Katrin Emde, David Weese, Andr...
ECCB
2008
IEEE
14 years 5 months ago
Functional coherence in domain interaction networks
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...
Jayesh Pandey, Mehmet Koyutürk, Shankar Subra...
ECCB
2008
IEEE
14 years 5 months ago
Gain and loss of phosphorylation sites in human cancer
Predrag Radivojac, Peter H. Baenziger, Maricel G. ...