[图书][B] Introduction to property testing

O Goldreich - 2017 - books.google.com
Property testing is concerned with the design of super-fast algorithms for the structural
analysis of large quantities of data. The aim is to unveil global features of the data, such as …

Adversarial privacy-preserving graph embedding against inference attack

K Li, G Luo, Y Ye, W Li, S Ji… - IEEE Internet of Things …, 2020 - ieeexplore.ieee.org
Recently, the surge in popularity of the Internet of Things (IoT), mobile devices, social media,
etc., has opened up a large source for graph data. Graph embedding has been proved …

Locally private graph neural networks

S Sajadmanesh, D Gatica-Perez - … of the 2021 ACM SIGSAC conference …, 2021 - dl.acm.org
Graph Neural Networks (GNNs) have demonstrated superior performance in learning node
representations for various graph inference tasks. However, learning over graph data can …

Stochastic optimization of floating-point programs with tunable precision

E Schkufza, R Sharma, A Aiken - ACM SIGPLAN Notices, 2014 - dl.acm.org
The aggressive optimization of floating-point computations is an important problem in high-
performance computing. Unfortunately, floating-point instruction sets have complicated …

Space-efficient local computation algorithms

N Alon, R Rubinfeld, S Vardi, N Xie - Proceedings of the twenty-third annual …, 2012 - SIAM
Recently Rubinfeld et al.(ICS 2011, pp. 223–238) proposed a new model of sublinear
algorithms called local computation algorithms. In this model, a computation problem F may …

Distributed newton method for large-scale consensus optimization

R Tutunov, H Bou-Ammar… - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
In this paper, we propose a distributed Newton method for decenteralized optimization of
large sums of convex functions. Our proposed method is based on creating a set of …

Transitive-closure spanners

A Bhattacharyya, E Grigorescu, K Jung… - SIAM Journal on …, 2012 - SIAM
Given a directed graph G=(V,E) and an integer k≧1, a k-transitive-closure-spanner (k-TC-
spanner) of G is a directed graph H=(V,E_H) that has (1) the same transitive-closure as G …

Optimal bounds for monotonicity and Lipschitz testing over hypercubes and hypergrids

D Chakrabarty, C Seshadhri - Proceedings of the forty-fifth annual ACM …, 2013 - dl.acm.org
The problem of monotonicity testing over the hypergrid and its special case, the hypercube,
is a classic question in property testing. We are given query access to f:[k] n-> R (for some …

Continuity and robustness of programs

S Chaudhuri, S Gulwani, R Lublinerman - Communications of the ACM, 2012 - dl.acm.org
Computer scientists have long believed that software is different from physical systems in
one fundamental way: while the latter have continuous dynamics, the former do not. In this …

[图书][B] Property Testing: Problems and Techniques

A Bhattacharyya, Y Yoshida - 2022 - books.google.com
This book introduces important results and techniques in property testing, where the goal is
to design algorithms that decide whether their input satisfies a predetermined property in …