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 75 academic publications
Showing 12 of
75 publications
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, ...
Early Transmission Dynamics in Wuhan, China, of Novel Coronavirus–Infected Pneumonia
On the basis of this information, there is evidence that human-to-human transmission has occurred among close contacts since the middle of December 2019. Considerable efforts to...
Improved Survival with Ipilimumab in Patients with Metastatic Melanoma
Ipilimumab, with or without a gp100 peptide vaccine, as compared with gp100 alone, improved overall survival in patients with previously treated metastatic melanoma. Adverse eve...
A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)
Traffic congestion is one of the growing urban problem with associated problems like fuel wastage, loss of lives, and slow productivity. The existing traffic system uses program...
Minimal information for studies of extracellular vesicles 2018 (MISEV2018): a position statement of the International Society for Extracellular Vesicles and update of the MISEV2014 guidelines
ABSTRACT The last decade has seen a sharp increase in the number of scientific publications describing physiological and pathological functions of extracellular vesicles (EVs), ...
Induced Pluripotent Stem Cell Lines Derived from Human Somatic Cells
Somatic cell nuclear transfer allows trans-acting factors present in the mammalian oocyte to reprogram somatic cell nuclei to an undifferentiated state. We show that four factor...
The Occurrence of Sleep-Disordered Breathing among Middle-Aged Adults
The prevalence of undiagnosed sleep-disordered breathing is high among men and is much higher than previously suspected among women. Undiagnosed sleep-disordered breathing is as...