Diagnostic and Statistical Manual of Mental Disorders
The fifth edition of the <italic>Diagnostic and Statistical Manual of Mental Disorders</italic> of the American Psychiatric Association is referred to as DSM-5<italic>™</italic>...
Publications
Explore 346 academic publications
Showing 12 of
346 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 ...
Institutions, Institutional Change and Economic Performance
Continuing his groundbreaking analysis of economic structures, Douglass North develops an analytical framework for explaining the ways in which institutions and institutional ch...
Cancer statistics, 2020
Abstract Each year, the American Cancer Society estimates the numbers of new cancer cases and deaths that will occur in the United States and compiles the most recent data on po...
Cancer statistics, 2019
Abstract Each year, the American Cancer Society estimates the numbers of new cancer cases and deaths that will occur in the United States and compiles the most recent data on ca...
An integrated encyclopedia of DNA elements in the human genome
The human genome encodes the blueprint of life, but the function of the vast majority of its nearly three billion bases is unknown. The Encyclopedia of DNA Elements (ENCODE) pro...
The diagnosis of dementia due to Alzheimer's disease: Recommendations from the National Institute on Aging‐Alzheimer's Association workgroups on diagnostic guidelines for Alzheimer's disease
The National Institute on Aging and the Alzheimer's Association charged a workgroup with the task of revising the 1984 criteria for Alzheimer's disease (AD) dementia. The workgr...