6608 search results - page 1261 / 1322 » On the Completeness of Model Checking |
203
click to vote
BMCBI
2011
15 years 21 days 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...
418
click to vote
NAR
2011
15 years 20 days 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 ...
173
click to vote
BIOINFORMATICS
2011
14 years 9 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...
190
click to vote
BMCBI
2011
14 years 9 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 ...
177
click to vote
IUI
2011
ACM
14 years 9 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. ...