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 26 academic publications
Showing 12 of
26 publications
SARS-CoV-2 Cell Entry Depends on ACE2 and TMPRSS2 and Is Blocked by a Clinically Proven Protease Inhibitor
The recent emergence of the novel, pathogenic SARS-coronavirus 2 (SARS-CoV-2) in China and its rapid national and international spread pose a global health emergency. Cell entry...
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...
Integrative Analysis of Complex Cancer Genomics and Clinical Profiles Using the cBioPortal
The cBioPortal enables integration, visualization, and analysis of multidimensional cancer genomic and clinical data.
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...
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...
Marching cubes: A high resolution 3D surface construction algorithm
El uso de vóxeles en aplicaciones interactivas se aplica desde hace décadas, con múltiples maneras de implementación de acuerdo al hardware para el que se desarrollaba y los obj...
Detection of 2019 novel coronavirus (2019-nCoV) by real-time RT-PCR
Background The ongoing outbreak of the recently emerged novel coronavirus (2019-nCoV) poses a challenge for public health laboratories as virus isolates are unavailable while th...
The species Severe acute respiratory syndrome-related coronavirus: classifying 2019-nCoV and naming it SARS-CoV-2
The present outbreak of a coronavirus-associated acute respiratory disease called coronavirus disease 19 (COVID-19) is the third documented spillover of an animal coronavirus to...
Improved side‐chain torsion potentials for the Amber ff99SB protein force field
Abstract Recent advances in hardware and software have enabled increasingly long molecular dynamics (MD) simulations of biomolecules, exposing certain limitations in the accurac...