research
∙
08/17/2023
ARAI-MVSNet: A multi-view stereo depth estimation network with adaptive depth range and depth interval
Multi-View Stereo (MVS) is a fundamental problem in geometric computer v...
share
research
∙
04/26/2023
Data-driven Piecewise Affine Decision Rules for Stochastic Programming with Covariate Information
Focusing on stochastic programming (SP) with covariate information, this...
research
∙
03/24/2023
Honeycomb: ordered key-value store acceleration on an FPGA-based SmartNIC
In-memory ordered key-value stores are an important building block in mo...
research
∙
09/01/2022
CPS Attack Detection under Limited Local Information in Cyber Security: A Multi-node Multi-class Classification Ensemble Approach
Cybersecurity breaches are the common anomalies for distributed cyber-ph...
research
∙
07/22/2022
CoqQ: Foundational Verification of Quantum Programs
CoqQ is a framework for reasoning about quantum programs in the Coq proo...
research
∙
03/25/2022
New Quantum Algorithms for Computing Quantum Entropies and Distances
We propose a series of quantum algorithms for computing a wide range of ...
research
∙
11/28/2019
Expected Runtime of Quantum Programs
Building upon recent work on probabilistic programs, we formally define ...
research
∙
10/21/2019