[图书][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 …
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
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 …
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 …
representations for various graph inference tasks. However, learning over graph data can …
Stochastic optimization of floating-point programs with tunable precision
The aggressive optimization of floating-point computations is an important problem in high-
performance computing. Unfortunately, floating-point instruction sets have complicated …
performance computing. Unfortunately, floating-point instruction sets have complicated …
Space-efficient local computation algorithms
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 …
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 …
large sums of convex functions. Our proposed method is based on creating a set of …
Transitive-closure spanners
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 …
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 …
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 …
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 …
to design algorithms that decide whether their input satisfies a predetermined property in …