
-
Modified Gaussian Process Regression Models for Cyclic Capacity Prediction of Lithium-ion Batteries
This paper presents the development of machine learning-enabled data-dri...
read it
-
Gaussian Graphical Regression Models with High Dimensional Responses and Covariates
Though Gaussian graphical models have been widely used in many scientifi...
read it
-
Semiparametric regression of mean residual life with censoring and covariate dimension reduction
We propose a new class of semiparametric regression models of mean resid...
read it
-
Learning Representations from Audio-Visual Spatial Alignment
We introduce a novel self-supervised pretext task for learning represent...
read it
-
An Adversarial Attack Defending System for Securing In-Vehicle Networks
In a modern vehicle, there are over seventy Electronics Control Units (E...
read it
-
A Survey of Smart Contract Formal Specification and Verification
A smart contract is a computer program which allows users to define and ...
read it
-
Expected Size of Random Tukey Layers and Convex Layers
We study the Tukey layers and convex layers of a planar point set, which...
read it
-
Bayesian Survival Analysis Using Gamma Processes with Adaptive Time Partition
In Bayesian semi-parametric analyses of time-to-event data, non-parametr...
read it
-
Streaming Complexity of SVMs
We study the space complexity of solving the bias-regularized SVM proble...
read it
-
Octopus: Privacy-Preserving Collaborative Evaluation of Loan Stacking
With the rise of online lenders, the loan stacking problem has become a ...
read it
-
Graph Structural-topic Neural Network
Graph Convolutional Networks (GCNs) achieved tremendous success by effec...
read it
-
A Revisit to De-biased Lasso for Generalized Linear Models
De-biased lasso has emerged as a popular tool to draw statistical infere...
read it
-
Nearly Linear Row Sampling Algorithm for Quantile Regression
We give a row sampling algorithm for the quantile loss function with sam...
read it
-
Weakly Supervised Lesion Localization With Probabilistic-CAM Pooling
Localizing thoracic diseases on chest X-ray plays a critical role in cli...
read it
-
Input-Sparsity Low Rank Approximation in Schatten Norm
We give the first input-sparsity time algorithms for the rank-k low rank...
read it
-
Cosmetic-Aware Makeup Cleanser
Face verification aims at determining whether a pair of face images belo...
read it
-
Estimation of time-varying reproduction numbers underlying epidemiological processes: a new statistical tool for the COVID-19 pandemic
The coronavirus pandemic has rapidly evolved into an unprecedented crisi...
read it
-
Estimation of time-varying transmission and removal rates underlying epidemiological processes: a new statistical tool for the COVID-19 pandemic
The coronavirus pandemic has rapidly evolved into an unprecedented crisi...
read it
-
COVID-19 Screening on Chest X-ray Images Using Deep Learning based Anomaly Detection
Coronaviruses are important human and animal pathogens. To date the nove...
read it
-
Minimum Enclosing Parallelogram with Outliers
We study the problem of minimum enclosing parallelogram with outliers, w...
read it
-
Informative Sample Mining Network for Multi-Domain Image-to-Image Translation
The performance of multi-domain image-to-image translation has been sign...
read it
-
Minorization-Maximization-based Steepest Ascent for Large-scale Survival Analysis with Time-Varying Effects: Application to the National Kidney Transplant Dataset
The time-varying effects model is a flexible and powerful tool for model...
read it
-
Style-based Variational Autoencoder for Real-World Super-Resolution
Real-world image super-resolution is a challenging image translation pro...
read it
-
Robust Estimation and Variable Selection for the Accelerated Failure Time Model
This paper considers robust modeling of the survival time for cancer pat...
read it
-
Evolving ab initio trading strategies in heterogeneous environments
Securities markets are quintessential complex adaptive systems in which ...
read it
-
Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules
With the prosperity of smart contracts and the blockchain technology, va...
read it
-
A Survey on Theorem Provers in Formal Methods
Mechanical reasoning is a key area of research that lies at the crossroa...
read it
-
Combining Program Analysis and Statistical Language Model for Code Statement Completion
Automatic code completion helps improve developers' productivity in thei...
read it
-
Path Planning Games
Path planning is a fundamental and extensively explored problem in robot...
read it
-
Directed-Weighting Group Lasso for Eltwise Blocked CNN Pruning
Eltwise layer is a commonly used structure in the multi-branch deep lear...
read it
-
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Despite the high stakes involved in smart contracts, they are often deve...
read it
-
Pose Agnostic Cross-spectral Hallucination via Disentangling Independent Factors
The cross-sensor gap is one of the challenges that arise much research i...
read it
-
An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums
Developer forums are one of the most popular and useful Q&A websites on ...
read it
-
Data-Driven Neuron Allocation for Scale Aggregation Networks
Successful visual recognition networks benefit from aggregating informat...
read it
-
REPAIR: Removing Representation Bias by Dataset Resampling
Modern machine learning datasets can have biases for certain representat...
read it
-
Biphasic Learning of GANs for High-Resolution Image-to-Image Translation
Despite that the performance of image-to-image translation has been sign...
read it
-
Tight Bounds for the Subspace Sketch Problem with Applications
In the subspace sketch problem one is given an n× d matrix A with O((nd)...
read it
-
Estimation and Inference for High Dimensional Generalized Linear Models: A Splitting and Smoothing Approach
For a better understanding of the molecular causes of lung cancer, the B...
read it
-
Deterministic Sparse Fourier Transform with an ell_infty Guarantee
In this paper we revisit the deterministic version of the Sparse Fourier...
read it
-
Detecting Lesion Bounding Ellipses With Gaussian Proposal Networks
Lesions characterized by computed tomography (CT) scans, are arguably of...
read it
-
A Survey to Deep Facial Attribute Analysis
Facial attribute analysis has received considerable attention with the d...
read it
-
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems
Deep learning (DL) defines a data-driven programming paradigm that autom...
read it
-
Image Super-Resolution Using TV Priori Guided Convolutional Network
We proposed a TV priori information guided deep learning method for sing...
read it
-
Testing Matrix Rank, Optimally
We show that for the problem of testing if a matrix A ∈ F^n × n has rank...
read it
-
Learning-Based Delay-Aware Caching in Wireless D2D Caching Networks
Recently, wireless caching techniques have been studied to satisfy lower...
read it
-
Large Margin Neural Language Model
We propose a large margin criterion for training neural language models....
read it
-
Patch-based Contour Prior Image Denoising for Salt and Pepper Noise
The salt and pepper noise brings a significant challenge to image denois...
read it
-
A Convolutional Neural Networks Denoising Approach for Salt and Pepper Noise
The salt and pepper noise, especially the one with extremely high percen...
read it
-
Cancer Metastasis Detection With Neural Conditional Random Field
Breast cancer diagnosis often requires accurate detection of metastasis ...
read it
-
Covariance-Insured Screening
Modern bio-technologies have produced a vast amount of high-throughput d...
read it