research
∙
09/15/2023
Neural Metamaterial Networks for Nonlinear Material Design
Nonlinear metamaterials with tailored mechanical properties have applica...
share
research
∙
08/24/2023
Expanding Targets in Virtual Reality Environments: A Fitts' Law Study
Target pointing selection is a fundamental task. According to Fitts' law...
research
∙
08/03/2023
No Free Slide: Spurious Contact Forces in Incremental Potential Contact
Modeling contact between deformable solids is a fundamental problem in c...
research
∙
04/24/2023
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Over the past decades, context sensitivity has been considered as one of...
research
∙
04/09/2023
Point-SLAM: Dense Neural Point Cloud-based SLAM
We propose a dense neural simultaneous localization and mapping (SLAM) a...
research
∙
03/22/2023
Evaluating the Role of Target Arguments in Rumour Stance Classification
Considering a conversation thread, stance classification aims to identif...
research
∙
03/18/2023
EGTSyn: Edge-based Graph Transformer for Anti-Cancer Drug Combination Synergy Prediction
Combination therapy with multiple drugs is a potent therapy strategy for...
research
∙
03/10/2023
QVRF: A Quantization-error-aware Variable Rate Framework for Learned Image Compression
Learned image compression has exhibited promising compression performanc...
research
∙
02/17/2023
Rigorous Derivation of the Degenerate Parabolic-Elliptic Keller-Segel System from a Moderately Interacting Stochastic Particle System. Part II Propagation of Chaos
This work is a series of two articles. The main goal is to rigorously de...
research
∙
11/30/2022
MSV Challenge 2022: NPU-HC Speaker Verification System for Low-resource Indian Languages
This report describes the NPU-HC speaker verification system submitted t...
research
∙
10/05/2022
Spot-on: A Checkpointing Framework for Fault-Tolerant Long-running Workloads on Cloud Spot Instances
Spot instances offer a cost-effective solution for applications running ...
research
∙
08/15/2022
Xscope: Hunting for Cross-Chain Bridge Attacks
Cross-Chain bridges have become the most popular solution to support ass...
research
∙
07/31/2022
Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics
Static analysis is a mature field with applications to bug detection, se...
research
∙
07/18/2022
Classifying COVID-19 vaccine narratives
COVID-19 vaccine hesitancy is widespread, despite governments' informati...
research
∙
07/05/2022
Backend Ensemble for Speaker Verification and Spoofing Countermeasure
This paper describes the NPU system submitted to Spoofing Aware Speaker ...
research
∙
06/03/2022
Modeling electronic health record data using a knowledge-graph-embedded topic model
The rapid growth of electronic health record (EHR) datasets opens up pro...
research
∙
05/31/2022
GateNLP-UShef at SemEval-2022 Task 8: Entity-Enriched Siamese Transformer for Multilingual News Article Similarity
This paper describes the second-placed system on the leaderboard of SemE...
research
∙
10/18/2021
Minimum ℓ_1-norm interpolators: Precise asymptotics and multiple descent
An evolving line of machine learning works observe empirical evidence th...
research
∙
10/08/2021
Effect of Visual Cues on Pointing Tasks in Co-located Augmented Reality Collaboration
Visual cues are essential in computer-mediated communication. It is espe...
research
∙
06/25/2021
CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts
In recent years, as blockchain adoption has been expanding across a wide...
research
∙
05/04/2021
Supervised multi-specialist topic model with applications on large-scale electronic health record data
Motivation: Electronic health record (EHR) data provides a new venue to ...
research
∙
03/16/2021
A survey of deep neural network watermarking techniques
Protecting the Intellectual Property Rights (IPR) associated to Deep Neu...
research
∙
03/08/2021
Transparent Checkpointing for OpenGL Applications on GPUs
This work presents transparent checkpointing of OpenGL applications, ref...
research
∙
02/22/2021
NTopo: Mesh-free Topology Optimization using Implicit Neural Representations
Recent advances in implicit neural representations show great promise wh...
research
∙
12/28/2020
IRO: Integrity and Reliability Enhanced Ring ORAM
Memory security and reliability are two of the major design concerns in ...
research
∙
12/28/2020
Spread-Transform Dither Modulation Watermarking of Deep Neural Network
DNN watermarking is receiving an increasing attention as a suitable mean...
research
∙
11/25/2020
Deep Physics-aware Inference of Cloth Deformation for Monocular Human Performance Capture
Recent monocular human performance capture approaches have shown compell...
research
∙
10/26/2020
Restrained Generative Adversarial Network against Overfitting in Numeric Data Augmentation
In recent studies, Generative Adversarial Network (GAN) is one of the po...
research
∙
10/26/2020
A low-dissipation shock-capturing framework with flexible nonlinear dissipation control
In this work, a framework to construct arbitrarily high-order low-dissip...
research
∙
10/03/2020
Randomized tests for high-dimensional regression: A more efficient and powerful solution
We investigate the problem of testing the global null in the high-dimens...
research
∙
06/02/2020
Kaya: A Testing Framework for Blockchain-based Decentralized Applications
In recent years, many decentralized applications based on blockchain (DA...
research
∙
03/02/2020
A Hybrid Lagrangian-Eulerian Method for Topology Optimization
We propose LETO, a new hybrid Lagrangian-Eulerian method for topology op...
research
∙
11/05/2019
Study of Constrained Network Structures for WGANs on Numeric Data Generation
Some recent studies have suggested using GANs for numeric data generatio...
research
∙
07/01/2019
Applying Meta-Analytic Predictive Priors with the R Bayesian evidence synthesis tools
Use of historical data in clinical trial design and analysis has shown v...
research
∙
04/29/2019
Deep Learning-Based Video Coding: A Review and A Case Study
The past decade has witnessed great success of deep learning technology ...
research
∙
04/12/2019
Boundary-Preserved Deep Denoising of the Stochastic Resonance Enhanced Multiphoton Images
As the rapid growth of high-speed and deep-tissue imaging in biomedical ...
research
∙
03/20/2019
Substation One-Line Diagram Automatic Generation and Visualization
In Energy Management System (EMS) applications and many other off-line p...
research
∙
03/18/2019
Coinductive Uniform Proofs
Coinduction occurs in two guises in Horn clause logic: in proofs of circ...
research
∙
11/19/2018
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
We establish proof-theoretic, constructive and coalgebraic foundations f...
research
∙
11/01/2018
A latent topic model for mining heterogenous non-randomly missing electronic health records data
Electronic health records (EHR) are rich heterogeneous collection of pat...
research
∙
09/13/2018
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
Coinduction occurs in two guises in Horn clause logic: in proofs of self...
research
∙
06/14/2017
Understanding and Analyzing Java Reflection
Java reflection has been increasingly used in a wide range of software. ...
research
∙
02/22/2017
Convolutional Neural Network-Based Block Up-sampling for Intra Frame Coding
Inspired by the recent advances of image super-resolution using convolut...
research
∙
08/03/2015
