Density-functional thermochemistry. III. The role of exact exchange
Despite the remarkable thermochemical accuracy of Kohn–Sham density-functional theories with gradient corrections for exchange-correlation [see, for example, A. D. Becke, J. Che...
Publications
Explore 207 academic publications
Showing 12 of
207 publications
MizAR 60 for Mizar 50
As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...
The MOS 36-item short-form health survey (SF-36). I. Conceptual framework and item selection.
A 36-item short-form (SF-36) was constructed to survey health status in the Medical Outcomes Study. The SF-36 was designed for use in clinical practice and research, health poli...
Atoms, molecules, solids, and surfaces: Applications of the generalized gradient approximation for exchange and correlation
Generalized gradient approximations (GGA’s) seek to improve upon the accuracy of the local-spin-density (LSD) approximation in electronic-structure calculations. Perdew and Wang...
MEGA11: Molecular Evolutionary Genetics Analysis Version 11
Abstract The Molecular Evolutionary Genetics Analysis (MEGA) software has matured to contain a large collection of methods and tools of computational molecular evolution. Here, ...
The magical number seven, plus or minus two: Some limits on our capacity for processing information.
First, the span of absolute judgment and the span of immediate memory impose severe limitations on the amount of information that we are able to receive, process, and remember. ...