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

PRISMA Extension for Scoping Reviews (PRISMA-ScR): Checklist and Explanation

Scoping reviews, a type of knowledge synthesis, follow a systematic approach to map evidence on a topic and identify main concepts, theories, sources, and knowledge gaps. Althou...

A global reference for human genetic variation

Nonlinear Dimensionality Reduction by Locally Linear Embedding

Many areas of science depend on exploratory data analysis and visualization. The need to analyze large amounts of multivariate data raises the fundamental problem of dimensional...

Inhibited Spontaneous Emission in Solid-State Physics and Electronics

It has been recognized for some time that the spontaneous emission by atoms is not necessarily a fixed and immutable property of the coupling between matter and space, but that ...

Superior Thermal Conductivity of Single-Layer Graphene

We report the measurement of the thermal conductivity of a suspended single-layer graphene. The room temperature values of the thermal conductivity in the range approximately (4...

<i>Planck</i> 2018 results

We present cosmological parameter results from the final full-mission Planck measurements of the cosmic microwave background (CMB) anisotropies, combining information from the t...

Sarcopenia: revised European consensus on definition and diagnosis

EWGSOP2's updated recommendations aim to increase awareness of sarcopenia and its risk. With these new recommendations, EWGSOP2 calls for healthcare professionals who treat pati...

Beiträge zur Optik trüber Medien, speziell kolloidaler Metallösungen

~+ 5 ) ( 2 v + 7 ) '??+ ' * ' )

VI. The phenomena of rupture and flow in solids

In the course of an investigation of the effect of surface scratches on the mechanical strength of solids, some general conclusions were reached which appear to have a direct be...

ff14SB: Improving the Accuracy of Protein Side Chain and Backbone Parameters from ff99SB

Molecular mechanics is powerful for its speed in atomistic simulations, but an accurate force field is required. The Amber ff99SB force field improved protein secondary structur...

Symbolic Interactionism: Perspective and Method.

This is a collection of articles dealing with the point of view of symbolic interactionism and with the topic of methodology in the discipline of sociology. It is written by the...