8828 search results - page 1588 / 1766 » Formal methods in practice |
117
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Quantifying cell division and death is central to many studies in the biological sciences. The fluorescent dye CFSE allows the tracking of cell division in vitro and i...
161
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Although there are a large number of thesauri for the biomedical domain many of them lack coverage in terms and their variant forms. Automatic thesaurus construction b...
153
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Many bioinformatics applications rely on controlled vocabularies or ontologies to consistently interpret and seamlessly integrate information scattered across public r...
120
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
126
click to vote
CGF
2008
15 years 4 months ago
2008
Annoying shaky motion is one of the significant problems in home videos, since hand shake is an unavoidable effect when capturing by using a hand-held camcorder. Video stabilizati...