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 ...
Publications
Explore 238 academic publications
Showing 12 of
238 publications
CLUSTAL W: improving the sensitivity of progressive multiple sequence alignment through sequence weighting, position-specific gap penalties and weight matrix choice
The sensitivity of the commonly used progressive multiple sequence alignment method has been greatly improved for the alignment of divergent protein sequences. Firstly, individu...
Highly accurate protein structure prediction with AlphaFold
Abstract Proteins are essential to life, and understanding their structure can facilitate a mechanistic understanding of their function. Through an enormous experimental effort ...
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...
Very high resolution interpolated climate surfaces for global land areas
We developed interpolated climate surfaces for global land areas (excluding Antarctica) at a spatial resolution of 30 arc s (often referred to as 1-km spatial resolution). The c...
STRING v11: protein–protein association networks with increased coverage, supporting functional discovery in genome-wide experimental datasets
Proteins and their functional interactions form the backbone of the cellular machinery. Their connectivity network needs to be considered for the full understanding of biologica...
Embryonic Stem Cell Lines Derived from Human Blastocysts
Human blastocyst-derived, pluripotent cell lines are described that have normal karyotypes, express high levels of telomerase activity, and express cell surface markers that cha...
Exchange and Power in Social Life.
In his landmark study of exchange and power in social life, Peter M. Blau contributes to an understanding of social structure by analyzing the social processes that govern the r...
<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...