82 citations · 303 across the 17 of their papers we have counts for
5 papers · 1 filter
Large discrepancy between observations and simulations: Implications for urban air quality in China
Xiaokang Chen, Min Wang, Zhe Jiang +10
Chemical transport models (CTMs) have been widely used to provide instructions for the control of ozone (O3) pollution. However, we find large discrepancies between observation- an…
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub +2
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quant…
Using Twitter Data to Understand Public Perceptions of Approved versus Off-label Use for COVID-19-related Medications
Yining Hua, Hang Jiang, Shixu Lin +4
Understanding public discourse on emergency use of unproven therapeutics is crucial for monitoring safe use and combating misinformation. We developed a natural language processing…
GraphEye: A Novel Solution for Detecting Vulnerable Functions Based on Graph Attention Network
Li Zhou, Minhuan Huang, Yujun Li +3
With the continuous extension of the Industrial Internet, cyber incidents caused by software vulnerabilities have been increasing in recent years. However, software vulnerabilities…
Collision Detection: An Improved Deep Learning Approach Using SENet and ResNext
Aloukik Aditya, Liudu Zhou, Hrishika Vachhani +2
In recent days, with increased population and traffic on roadways, vehicle collision is one of the leading causes of death worldwide. The automotive industry is motivated on develo…