research
∙
08/21/2023
UbiPhysio: Support Daily Functioning, Fitness, and Rehabilitation with Action Understanding and Feedback in Natural Language
We introduce UbiPhysio, a milestone framework that delivers fine-grained...
share
research
∙
08/01/2023
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
Quantum circuit transformation (QCT, a.k.a. qubit mapping) is a critical...
research
∙
05/23/2023
MIANet: Aggregating Unbiased Instance and General Information for Few-Shot Semantic Segmentation
Existing few-shot segmentation methods are based on the meta-learning st...
research
∙
03/01/2023
Two Views of Constrained Differential Privacy: Belief Revision and Update
In this paper, we provide two views of constrained differential private ...
research
∙
02/15/2023
Verification of Nondeterministic Quantum Programs
Nondeterministic choice is a useful program construct that provides a wa...
research
∙
01/23/2023
AttMEMO : Accelerating Transformers with Memoization on Big Memory Systems
Transformer models gain popularity because of their superior inference a...
research
∙
07/19/2022
Revealing Secrets From Pre-trained Models
With the growing burden of training deep learning models with large data...
research
∙
06/28/2022
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoar...
research
∙
06/14/2022
Asymmetric Dual-Decoder U-Net for Joint Rain and Haze Removal
This work studies the joint rain and haze removal problem. In real-life ...
research
∙
03/28/2022
A Long Short-term Memory Based Recurrent Neural Network for Interventional MRI Reconstruction
Interventional magnetic resonance imaging (i-MRI) for surgical guidance ...
research
∙
07/02/2021
Formal Semantics of a Classical-Quantum Language
We investigate the formal semantics of a simple imperative language that...
research
∙
05/07/2021
Probabilistic Ranking-Aware Ensembles for Enhanced Object Detections
Model ensembles are becoming one of the most effective approaches for im...
research
∙
04/30/2021
Verification of Distributed Quantum Programs
Distributed quantum systems and especially the Quantum Internet have the...
research
∙
04/28/2021
PAFNet: An Efficient Anchor-Free Object Detector Guidance
Object detection is a basic but challenging task in computer vision, whi...
research
∙
03/22/2021
Approximate Equivalence Checking of Noisy Quantum Circuits
We study the fundamental design automation problem of equivalence checki...
research
∙
12/16/2020
Time-Continuous Energy-Conservation Neural Network for Structural Dynamics Analysis
Fast and accurate structural dynamics analysis is important for structur...
research
∙
09/16/2020
The 1st Tiny Object Detection Challenge:Methods and Results
The 1st Tiny Object Detection (TOD) Challenge aims toencourage research ...
research
∙
09/06/2020
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Tensor networks have been successfully applied in simulation of quantum ...
research
∙
08/15/2020
Quantum Hoare logic with classical variables
Hoare logic provides a syntax-oriented method to reason about program co...
research
∙
05/22/2020
Symbolic Reasoning about Quantum Circuits in Coq
A quantum circuit is a computational unit that transforms an input quant...
research
∙
11/17/2019
2nd Place Solution in Google AI Open Images Object Detection Track 2019
We present an object detection framework based on PaddlePaddle. We put a...
research
∙
07/16/2019
Quantum Data Fitting Algorithm for Non-sparse Matrices
We propose a quantum data fitting algorithm for non-sparse matrices, whi...
research
∙
02/08/2019
Model Checking Applied to Quantum Physics
Model checking has been successfully applied to verification of computer...
research
∙
07/25/2018