6608 search results - page 1261 / 1322 » On the Completeness of Model Checking |
172
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...
343
Voted
NAR
2011
14 years 10 months ago
2011
The Biological General Repository for Interaction Datasets (BioGRID) is a public database that archives and disseminates genetic and protein interaction data from model organisms ...
140
Voted
BIOINFORMATICS
2011
14 years 7 months ago
2011
Motivation: Proteins of all kinds can self-assemble into highly ordered β-sheet aggregates known as amyloid fibrils, important both biologically and clinically. However, the spe...
159
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Intrinsically disordered proteins play important roles in various cellular activities and their prevalence was implicated in a number of human diseases. The knowledge ...
146
Voted
IUI
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...