research
∙
08/29/2023
Exploring the Limits of Historical Information for Temporal Knowledge Graph Extrapolation
Temporal knowledge graphs, representing the dynamic relationships and in...
share
research
∙
08/09/2023
rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
Rust is an effective system programming language that guarantees memory ...
research
∙
08/09/2023
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming
Rust is an emerging, strongly-typed programming language focusing on eff...
research
∙
05/23/2023
Physics-Assisted Reduced-Order Modeling for Identifying Dominant Features of Transonic Buffet
Transonic buffet is a flow instability phenomenon that arises from the i...
research
∙
11/23/2022
Double criterion-based estimator for signal number estimation for the colored noise with unknown covariance matrix
The subspace-based techniques are widely utilized to estimate the parame...
research
∙
11/20/2022
Temporal Knowledge Graph Reasoning with Historical Contrastive Learning
Temporal knowledge graph, serving as an effective way to store and model...
research
∙
11/18/2022
Joint nnU-Net and Radiomics Approaches for Segmentation and Prognosis of Head and Neck Cancers with PET/CT images
Automatic segmentation of head and neck cancer (HNC) tumors and lymph no...
research
∙
09/13/2022
Empirical Bayes Multistage Testing for Large-Scale Experiments
Modern application of A/B tests is challenging due to its large scale in...
research
∙
08/24/2022
Iterative Adaptively Regularized LASSO-ADMM Algorithm for CFAR Estimation of Sparse Signals: IAR-LASSO-ADMM-CFAR Algorithm
The least-absolute shrinkage and selection operator (LASSO) is a regular...
research
∙
08/09/2022
STELLA: Sparse Taint Analysis for Enclave Leakage Detection
Intel SGX (Software Guard Extension) is a promising TEE (trusted executi...
research
∙
05/04/2022
Estimation of prediction error with known covariate shift
In supervised learning, the estimation of prediction error on unlabeled ...
research
∙
04/01/2022
Diverse Preference Augmentation with Multiple Domains for Cold-start Recommendations
Cold-start issues have been more and more challenging for providing accu...
research
∙
03/06/2022
foREST: A Tree-based Approach for Fuzzing RESTful APIs
Representational state transfer (REST) is a widely employed architecture...
research
∙
03/05/2022
A Large-scale Comprehensive Dataset and Copy-overlap Aware Evaluation Protocol for Segment-level Video Copy Detection
In this paper, we introduce VCSL (Video Copy Segment Localization), a ne...
research
∙
04/25/2021
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Robustness is a key concern for Rust library development because Rust pr...
research
∙
03/29/2021
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
Rust is an emerging programming language that aims to prevent memory-saf...
research
∙
02/28/2021
Randomization Inference for Composite Experiments with Spillovers and Peer Effects
Group-formation experiments, in which experimental units are randomly as...
research
∙
02/22/2021
DROID: Minimizing the Reality Gap using Single-Shot Human Demonstration
Reinforcement learning (RL) has demonstrated great success in the past s...
research
∙
10/17/2020
Deep Learning in the Era of Edge Computing: Challenges and Opportunities
The era of edge computing has arrived. Although the Internet is the back...
research
∙
10/09/2020
High-Order Relation Construction and Mining for Graph Matching
Graph matching pairs corresponding nodes across two or more graphs. The ...
research
∙
03/06/2020
Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs
Rust is an emerging programing language that aims at preventing memory-s...
research
∙
12/12/2019
GPRInvNet: Deep Learning-Based Ground Penetrating Radar Data Inversion for Tunnel Lining
A DNN architecture called GPRInvNet is proposed to tackle the challenge ...
research
∙
11/13/2019
Dynamic Connected Neural Decision Classifier and Regressor with Dynamic Softing Pruning
In the regression problem, L1, L2 are the most commonly-used loss functi...
research
∙
11/13/2019
Regression via Arbitrary Quantile Modeling
In the regression problem, L1 and L2 are the most commonly used loss fun...
research
∙
09/05/2019
Detecting Deep Neural Network Defects with Data Flow Analysis
Deep neural networks (DNNs) are shown to be promising solutions in many ...
research
∙
08/31/2019
HM-NAS: Efficient Neural Architecture Search via Hierarchical Masking
The use of automatic methods, often referred to as Neural Architecture S...
research
∙
06/08/2019
Nektar++: enhancing the capability and application of high-fidelity spectral/hp element methods
Nektar++ is an open-source framework that provides a flexible, high-perf...
research
∙
06/27/2018
DeepObfuscation: Securing the Structure of Convolutional Neural Networks via Knowledge Distillation
This paper investigates the piracy problem of deep learning models. Desi...
research
∙
12/05/2017
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Symbolic execution is an important software testing approach. It has bee...
research
∙
10/03/2017