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

The PRISMA 2020 statement: an updated guideline for reporting systematic reviews

The Preferred Reporting Items for Systematic reviews and Meta-Analyses (PRISMA) statement, published in 2009, was designed to help systematic reviewers transparently report why ...

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

Particle swarm optimization

The base isolation design usually used the historical well-known earthquake records as an input ground motion. Through the adjustment on each variables of the structure system, ...

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

Microsoft COCO: Common Objects in Context

Structural equation modeling in practice: A review and recommended two-step approach.

In this article, we provide guidance for substantive researchers on the use of structural equation modeling in practice for theory testing and development. We present a comprehe...

QIIME allows analysis of high-throughput community sequencing data

SciPy 1.0: fundamental algorithms for scientific computing in Python

Standards and guidelines for the interpretation of sequence variants: a joint consensus recommendation of the American College of Medical Genetics and Genomics and the Association for Molecular Pathology