𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Effective State Exploration for Model Checking on a Shared Memory Architecture

✍ Scribed by Cornelia P. Inggs; Howard Barringer


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
178 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Modeling NMR chemical shifts: a comparis
✍ Marta B Ferraro; Viviana Repetto; Julio C Facelli πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 62 KB

This paper presents results from applying different point charge models to take into account intermolecular interactions to model the solid state effects on the 15N NMR chemical shifts tensors. The DFT approach with the BLYP gradient corrected exchange correlation functional has been used because it

A microscopic model for the calculation
✍ Marie Jose Mantione; Jean Pierre Daudey πŸ“‚ Article πŸ“… 1970 πŸ› Elsevier Science 🌐 English βš– 593 KB

A new microscopic model for the quantitative interpretation of solvent effects on molecular eiectrooic spectxa is proposed. The interaction ener& is caicuIated between the solute molecule and a camplet. shell of surrounding solvent nolecutes. The equilibrium configuration is obtained by a procedur