Wireless charging is a technology of transmitting power through an air gap to electrical
devices for the purpose of energy replenishment. The recent progress in wireless charging …

Verifying the robustness property of a general Rectified Linear Unit (ReLU) network is an NP-
complete problem. Although finding the exact minimum adversarial distortion is hard, giving …

Given a linear system, we consider the problem of finding a small set of variables to affect
with an input so that the resulting system is controllable. We show that this problem is NP …

We introduce the notion of restricted sensitivity as an alternative to global and smooth
sensitivity to improve accuracy in differentially private data analysis. The definition of …

Recent years have witnessed several new promising technologies to power wireless sensor
networks, which motivate some key topics to be revisited. By integrating sensing and …

As a pioneering experimental platform of wireless rechargeable sensor networks, the
Wireless Identification and Sensing Platform (WISP) is an open-source platform that …

A test is said to be flaky when it non-deterministically passes or fails. Test flakiness
negatively affects the effectiveness of regression testing and, consequently, impacts …

Data-driven methods serve an increasingly important role in discovering geometric,
structural, and semantic relationships between shapes. In contrast to traditional approaches …

We suggest the research agenda of establishing new hardness of approximation results
based on the “projection games conjecture”, ie, an instantiation of the Sliding Scale …

We study the parameterized complexity of approximating the kDominating Set (DomSet)
problem where an integer k and a graph G on n vertices are given as input, and the goal is …