82 citations · 303 across the 17 of their papers we have counts for
17 papers
Joint Visual Grounding and Tracking with Natural Language Specification
Li Zhou, Zikun Zhou, Kaige Mao +1
Tracking by natural language specification aims to locate the referred target in a sequence based on the natural language description. Existing algorithms solve this issue in two s…
An Improved Christofides Mechanism for Local Differential Privacy Framework
She Sun, Li Zhou, Xiaoran Yan
The development of Internet technology enables an analysis on the whole population rather than a certain number of samples, and leads to increasing requirement for privacy protecti…
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…