research
∙
04/26/2023
Acceleration for Timing-Aware Gate-Level Logic Simulation with One-Pass GPU Parallelism
Witnessing the advancing scale and complexity of chip design and benefit...
share
research
∙
04/06/2023
Compression of enumerations and gain
We study the compressibility of enumerations, and its role in the relati...
research
∙
11/17/2022
Bayesian Optimization of 2D Echocardiography Segmentation
Bayesian Optimization (BO) is a well-studied hyperparameter tuning techn...
research
∙
10/14/2022
See Blue Sky: Deep Image Dehaze Using Paired and Unpaired Training Images
The issue of image haze removal has attracted wide attention in recent y...
research
∙
06/23/2020
Approximation algorithms for general cluster routing problem
Graph routing problems have been investigated extensively in operations ...
research
∙
01/18/2019
Extremality and Sharp Bounds for the k-edge-connectivity of Graphs
Boesch and Chen (SIAM J. Appl. Math., 1978) introduced the cut-version o...
research
∙
03/01/2018
