Publications

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>...

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 ...

Theory of the firm: Managerial behavior, agency costs and ownership structure

VMD: Visual molecular dynamics

Comparison of simple potential functions for simulating liquid water

Classical Monte Carlo simulations have been carried out for liquid water in the NPT ensemble at 25 °C and 1 atm using six of the simpler intermolecular potential functions for t...

QIIME allows analysis of high-throughput community sequencing data

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...

Reproducible, interactive, scalable and extensible microbiome data science using QIIME 2

A global reference for human genetic variation

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...

Transcript assembly and quantification by RNA-Seq reveals unannotated transcripts and isoform switching during cell differentiation

Molecular portraits of human breast tumours