168 search results - page 34 / 34 » Model Simplification Through Refinement |
ECAI
2004
Springer
13 years 9 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
BMCBI
2010
13 years 5 months ago
2010
Background: Robust biomarkers are needed to improve microbial identification and diagnostics. Proteomics methods based on mass spectrometry can be used for the discovery of novel ...
PRIB
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. An important unsolved problem in structural bioinformatics is that of protein structure prediction (PSP), the reconstruction of a biologically plausible three-dimensional...