𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Calculus for Generation, Verification and Refinement of BPEL Specifications

✍ Scribed by Faisal Abouzaid; John Mullins

Book ID
108126975
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
355 KB
Volume
200
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Generation and Refinement of Peptide Mim
Generation and Refinement of Peptide Mimetic Ligands for Paratope-Specific Purification of Monoclonal Antibodies
✍ Andrea Murray; Richard G. Smith; Kevin Brady; Samantha Williams; R.Andrew Badley πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 239 KB

Paratope-specific purification of antibodies has distinct advantages over conventional methods of antibody purification with respect to its capacity to isolate product of high purity and immunoreactivity. The present report addresses the problems of identifying peptide ligands for the purification o

A systematic approach for the generation
A systematic approach for the generation and verification of structural hypotheses
✍ Mikhail Elyashberg; Kirill Blinov; Antony Williams πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 596 KB

## Abstract During the process of molecular structure elucidation the selection of the most probable structural hypothesis may be based on chemical shift prediction. The prediction is carried out using either empirical or quantum‐mechanical (QM) methods. When QM methods are used, NMR prediction com