𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Exploring Tabular Verification and Refinement

✍ Scribed by Emil Sekerinski

Publisher
Springer
Year
2003
Tongue
English
Weight
207 KB
Volume
15
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Refinement complements verification and
Refinement complements verification and validation
✍ Susan Craw πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 262 KB

email : smc Γͺ scms .rgu .ac .uk Knowledge based systems are being applied in ever increasing numbers . The development of knowledge acquisition tools has eased the ''Knowledge Acquisition Bottleneck'' . More recently there has been a demand for mechanisms to assure the quality of knowledge based sys

Exploring hierarchical refinement techni
Exploring hierarchical refinement techniques for induced fit docking with protein and ligand flexibility
✍ Kenneth W. Borrelli; Benjamin Cossins; Victor Guallar πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 629 KB

## Abstract We present a series of molecular‐mechanics‐based protein refinement methods, including two novel ones, applied as part of an induced fit docking procedure. The methods used include minimization; protein and ligand sidechain prediction; a hierarchical ligand placement procedure similar t