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 559 academic publications
Showing 12 of
559 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 ...
Scoping studies: towards a methodological framework
This paper focuses on scoping studies, an approach to reviewing the literature which to date has received little attention in the research methods literature. We distinguish bet...
Clinical Characteristics of Coronavirus Disease 2019 in China
BACKGROUND: Since December 2019, when coronavirus disease 2019 (Covid-19) emerged in Wuhan city and rapidly spread throughout China, data have been needed on the clinical charac...
<i>OLEX2</i>: a complete structure solution, refinement and analysis program
New software, OLEX2 , has been developed for the determination, visualization and analysis of molecular crystal structures. The software has a portable mouse-driven workflow-ori...
Society and the Adolescent Self-Image
Over 5,000 high-school students of different social, religious, and national backgrounds were studied to show the effects of family experience, neighborhoods, minority groups, e...
fastp: an ultra-fast all-in-one FASTQ preprocessor
Abstract Motivation Quality control and preprocessing of FASTQ files are essential to providing clean data for downstream analysis. Traditionally, a different tool is used for e...
Initial sequencing and analysis of the human genome
The human genome holds an extraordinary trove of information about human development, physiology, medicine and evolution. Here we report the results of an international collabor...
MobileNetV2: Inverted Residuals and Linear Bottlenecks
In this paper we describe a new mobile architecture, MobileNetV2, that improves the state of the art performance of mobile models on multiple tasks and benchmarks as well as acr...