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 115 academic publications
Showing 12 of
115 publications
Clinical Characteristics of Coronavirus Disease 2019 in China
BACKGROUND: Since December 2019, when coronavirus disease 2019 (Covid-19) emerged in Wuhan city and rapidly spread throughout China, data have been needed on the clinical charac...
Society and the Adolescent Self-Image
Over 5,000 high-school students of different social, religious, and national backgrounds were studied to show the effects of family experience, neighborhoods, minority groups, e...
Towards Learning Terminological Concept Systems from Multilingual Natural Language Text
Terminological Concept Systems (TCS) provide a means of organizing, structuring and representing domain-specific multilingual information and are important to ensure terminologi...
The Art of Case Study Research
Introduction An Intensive Study of Case Study Research Methods The Unique Case Research Questions The Nature of Qualitative Research Data Gathering Analysis and Interpretation C...
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...
Evaluating the Effectiveness of Large Language Models in Representing Textual Descriptions of Geometry and Spatial Relations (Short Paper)
This research focuses on assessing the ability of large language models (LLMs) in representing geometries and their spatial relations. We utilize LLMs including GPT-2 and BERT 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...
Quantifying the Sim-To-Real Gap in UAV Disturbance Rejection
Due to the safety risks and training sample inefficiency, it is often preferred to develop controllers in simulation. However, minor differences between the simulation and the r...
Titanium Dioxide Nanomaterials: Synthesis, Properties, Modifications, and Applications
ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTTitanium Dioxide Nanomaterials: Synthesis, Properties, Modifications, and ApplicationsXiaobo Chen and Samuel S. MaoView Author Inform...