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 1,375 academic publications
Showing 12 of
1,375 publications
Fast and accurate short read alignment with Burrows–Wheeler transform
Abstract Motivation: The enormous amount of short reads generated by the new DNA sequencing technologies call for the development of fast and accurate read alignment programs. A...
EMBI
Requirements are an integral part of industry operation and projects. Not only do requirements dictate industrial operations, but they are used in legally binding contracts betw...
Prospect theory: An analysis of decision under risk
Expected utility theory has dominated the analysis of decision making under risk. It has been generally accepted as a normative model of rational choice (Keeney and Raiffa, 1976...
Estimation of the Concentration of Low-Density Lipoprotein Cholesterol in Plasma, Without Use of the Preparative Ultracentrifuge
Abstract A method for estimating the cholesterol content of the serum low-density lipoprotein fraction (Sf0-20) is presented. The method involves measurements of fasting plasma ...
Mask R-CNN
We present a conceptually simple, flexible, and general framework for object instance segmentation. Our approach efficiently detects objects in an image while simultaneously gen...
fastp: an ultra-fast all-in-one FASTQ preprocessor
Abstract Motivation Quality control and preprocessing of FASTQ files are essential to providing clean data for downstream analysis. Traditionally, a different tool is used for e...
The Effect of Intensive Treatment of Diabetes on the Development and Progression of Long-Term Complications in Insulin-Dependent Diabetes Mellitus
Intensive therapy effectively delays the onset and slows the progression of diabetic retinopathy, nephropathy, and neuropathy in patients with IDDM.
Two new Later Stone Age sites from the Final Pleistocene in the Falémé Valley, eastern Senegal
Kenya one of the African countries has pledged to reduce neonatal death as per the 2030 World Health Organization target. Providing high-quality newborn care is critical in mini...