English
Related papers

Related papers: Proof of Sampling: A Nash Equilibrium-Based Verifi…

200 papers

In this paper, we propose a trust-centric privacy-preserving blockchain for dynamic spectrum access in IoT networks. To be specific, we propose a trust evaluation mechanism to evaluate the trustworthiness of sensing nodes and design a…

Cryptography and Security · Computer Science 2021-06-29 Jingwei Ye , Xin Kang , Ying-Chang Liang , Sumei Sun

Overlay management is the cornerstone of building robust and dependable Peer-to-Peer systems. A key component for building such overlays is the peer-sampling service, a mechanism that continuously supplies each node with a set of up-to-date…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-07 Alexandros Antonov , Spyros Voulgaris

We develop a continuous-time control approach to optimal trading in a Proof-of-Stake (PoS) blockchain, formulated as a consumption-investment problem that aims to strike the optimal balance between a participant's (or agent's) utility from…

General Economics · Economics 2023-06-13 Wenpin Tang , David D. Yao

We propose a proof-of-sequential-work (PoSW) that can be verified with only a single query to the random oracle for each random challenge. Proofs-of-sequential-work are protocols that facilitate a verifier to efficiently verify if a prover…

Cryptography and Security · Computer Science 2022-05-27 Souvik Sur

Group testing enables the identification of a small subset of defective items within a larger population by performing tests on pools of items rather than on each item individually. Over the years, it has not only attracted attention from…

Information Theory · Computer Science 2026-01-13 Manuel Franco-Vivo

A Proof of Secure Erasure (PoSE) is a communication protocol where a verifier seeks evidence that a prover has erased its memory within the time frame of the protocol execution. Designers of PoSE protocols have long been aware that, if a…

Cryptography and Security · Computer Science 2024-01-15 Sergiu Bursuc , Reynaldo Gil-Pons , Sjouke Mauw , Rolando Trujillo-Rasua

PAI Coin's Proof-of-Work (PoW) consensus mechanism utilizes the double SHA-256 hashing protocol-- the same mechanism used by Bitcoin Core. This compatibility with classic Bitcoin-style mining provides low barrier to entry for PAI Coin…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-22 Mark Harvilla , Jincheng Du

Probability proportional to size (PPS) sampling schemes with a target sample size aim to produce a sample comprising a specified number $n$ of items while ensuring that each item in the population appears in the sample with a probability…

Methodology · Statistics 2024-11-14 Brian Hentschel , Peter J. Haas , Yuanyuan Tian

When multiple users share a common link in direct transmission, packet loss and network collision may occur due to the simultaneous arrival of traffics at the source node. To tackle this problem, users may resort to an indirect path: the…

Signal Processing · Electrical Eng. & Systems 2023-07-18 Qiong Liu , Chehao Wang , Ce Zheng

We present a methodology for the global sampled-data stabilization of systems with a compact absorbing set and input/measurement delays. The methodology is based on the Inter-Sample-Predictor, Observer, Predictor, Delay-Free Controller…

Optimization and Control · Mathematics 2015-02-04 Iasson Karafyllis , Miroslav Krstic

Decentralized optimization is a promising parallel computation paradigm for large-scale data analytics and machine learning problems defined over a network of nodes. This paper is concerned with decentralized non-convex composite problems…

Optimization and Control · Mathematics 2021-10-05 Ran Xin , Subhro Das , Usman A. Khan , Soummya Kar

AI in Math deals with mathematics in a constructive manner so that reasoning becomes automated, less laborious, and less error-prone. For algorithms, the question becomes how to automate analyses for specific problems. For the first time,…

Computer Science and Game Theory · Computer Science 2023-10-13 Xiaotie Deng , Dongchen Li , Hanyu Li

In this paper, we consider the problem of joint sparsity pattern recovery in a distributed sensor network. The sparse multiple measurement vector signals (MMVs) observed by all the nodes are assumed to have a common (but unknown) sparsity…

Information Theory · Computer Science 2016-01-27 Gang Li , Thakshila Wimalajeewa , Pramod K. Varshney

We prove that in a normal form n-player game with m actions for each player, there exists an approximate Nash equilibrium where each player randomizes uniformly among a set of O(log(m) + log(n)) pure strategies. This result induces an…

Computer Science and Game Theory · Computer Science 2013-07-19 Yakov Babichenko , Ron Peretz

This work proposes a novel distributed approach for computing a Nash equilibrium in convex games with merely monotone and restricted strongly monotone pseudo-gradients. By leveraging the idea of the centralized operator extrapolation method…

Optimization and Control · Mathematics 2025-07-18 Tatiana Tatarenko , Angelia Nedich

Well-designed prompts are crucial for enhancing Large language models' (LLMs) reasoning capabilities while aligning their outputs with task requirements across diverse domains. However, manually designed prompts require expertise and…

Computation and Language · Computer Science 2025-08-22 Jinyu Xiang , Jiayi Zhang , Zhaoyang Yu , Xinbing Liang , Fengwei Teng , Jinhao Tu , Fashen Ren , Xiangru Tang , Sirui Hong , Chenglin Wu , Yuyu Luo

Stochastic gradient descent type methods are ubiquitous in machine learning, but they are only applicable to the optimization of differentiable functions. Proximal algorithms are more general and applicable to nonsmooth functions. We…

Optimization and Control · Mathematics 2025-05-20 Laurent Condat , Elnur Gasanov , Peter Richtárik

Deep Metric Learning (DML) methods aim at learning an embedding space in which distances are closely related to the inherent semantic similarity of the inputs. Previous studies have shown that popular benchmark datasets often contain…

Computer Vision and Pattern Recognition · Computer Science 2023-11-02 Oriol Barbany , Xiaofan Lin , Muhammet Bastan , Arnab Dhua

Proof-of-Work (PoW) is a fundamental method in decentralized digital networks for establishing consensus on a shared ledger. By requiring network participants to solve a mathematical puzzle, PoW maintains network integrity. However, PoW has…

Cryptography and Security · Computer Science 2026-05-12 Chong Guan

We address the Nash equilibrium problem in a partial-decision information scenario, where each agent can only observe the actions of some neighbors, while its cost possibly depends on the strategies of other agents. Our main contribution is…

Optimization and Control · Mathematics 2021-05-07 Mattia Bianchi , Giuseppe Belgioioso , Sergio Grammatico