English
Related papers

Related papers: The computational power of population protocols

200 papers

We consider the impact of scheduling disciplines on performance of routing in the framework of adversarial queuing. We propose an adversarial model which reflects stalling of packets due to transient failures and explicitly incorporates…

Networking and Internet Architecture · Computer Science 2018-12-31 Bogdan S. Chlebus , Vicent Cholvi , Dariusz R. Kowalski

Two user secure computation of randomized functions is considered, where only one user computes the output. Both the users are semi-honest; and computation is such that no user learns any additional information about the other user's input…

Cryptography and Security · Computer Science 2016-11-15 Deepesh Data

We study an information-structure design problem (a.k.a. persuasion) with a single sender and multiple receivers with actions of a priori unknown types, independently drawn from action-specific marginal distributions. As in the standard…

Artificial Intelligence · Computer Science 2019-08-05 Andrea Celli , Stefano Coniglio , Nicola Gatti

The practical utility of agent-based models in decision-making relies on their capacity to accurately replicate populations while seamlessly integrating real-world data streams. Yet, the incorporation of such data poses significant…

Multiagent Systems · Computer Science 2024-04-22 Ayush Chopra , Arnau Quera-Bofarull , Nurullah Giray-Kuru , Michael Wooldridge , Ramesh Raskar

This study concentrates on preserving privacy in a network of agents where each agent seeks to evaluate a general polynomial function over the private values of her immediate neighbors. We provide an algorithm for the exact evaluation of…

Cryptography and Security · Computer Science 2022-06-08 Teimour Hosseinalizadeh , Fatih Turkmen , Nima Monshizadeh

Network Constructors are an extension of the standard population protocol model in which finite-state agents interact in pairs under the control of an adversary scheduler. In this work we present NETCS, a simulator designed to evaluate the…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-28 Dimitrios Amaxilatis , Marios Logaras , Othon Michail , Paul G. Spirakis

In this paper we present the self-stabilizing implementation of a class of token based algorithms. In the current work we only consider interactions between weak nodes. They are uniform, they do not have unique identifiers, are static and…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-16 Davide Canepa , Maria Gradinariu Potop-Butucaru

Anonymous Dynamic Networks is a harsh computational environment due to changing topology and lack of identifiers. Computing the size of the network, a problem known as Counting, is particularly challenging because messages received cannot…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-03-18 Maitri Chakraborty , Alessia Milani , Miguel A. Mosteiro

The model of population protocols refers to a large collection of simple indistinguishable entities, frequently called {\em agents}. The agents communicate and perform computation through pairwise interactions. We study fast and space…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-15 Leszek Gąsieniec , Grzegorz Stachowiak , Przemysław Uznański

A nonlocal bipartite unitary gate can sometimes be implemented using prior entanglement and only one round of classical communication in which the two parties send messages to each other simultaneously. This cuts the classical communication…

Quantum Physics · Physics 2013-03-13 Li Yu

Social networks are increasingly being used to conduct polls. We introduce a simple model of such social polling. We suppose agents vote sequentially, but the order in which agents choose to vote is not necessarily fixed. We also suppose…

Computer Science and Game Theory · Computer Science 2013-02-08 Serge Gaspers , Victor Naroditskiy , Nina Narodytska , Toby Walsh

Deep learning enabled semantic communications have shown great potential to significantly improve transmission efficiency and alleviate spectrum scarcity, by effectively exchanging the semantics behind the data. Recently, the emergence of…

Signal Processing · Electrical Eng. & Systems 2024-03-20 Huiqiang Xie , Zhijin Qin , Xiaoming Tao , Zhu Han

In this paper, we consider a system in which multiple users communicate with a destination with the help of multiple half-duplex relays. Based on the compute-and-forward scheme, each relay, instead of decoding the users' messages, decodes…

Information Theory · Computer Science 2014-10-20 Mohieddine El Soussi , Abdellatif Zaidi , Luc Vandendorpe

Bayesian persuasion studies how an informed sender should partially disclose information so as to influence the behavior of self-interested receivers. In the last years, a growing attention has been devoted to relaxing the assumption that…

Computer Science and Game Theory · Computer Science 2022-09-02 Matteo Castiglioni , Alberto Marchesi , Nicola Gatti

Semi-quantum protocols that allow some of the users to remain classical are proposed for a large class of problems associated with secure communication and secure multiparty computation. Specifically, first time semi-quantum protocols are…

Quantum Physics · Physics 2022-06-10 Chitra Shukla , Kishore Thapliyal , Anirban Pathak

A secure two-party computation protocol for running dynamic controllers over secret sharing has recently been proposed. Unlike encrypted control schemes based on homomorphic encryption, this protocol enables operating dynamic controllers…

Systems and Control · Electrical Eng. & Systems 2026-05-13 Kaoru Teranishi , Jihoon Suh , Takashi Tanaka

In this work, we study protocols so that populations of distributed processes can construct networks. In order to highlight the basic principles of distributed network construction we keep the model minimal in all respects. In particular,…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-11 Othon Michail , Paul G. Spirakis

We introduce and analyze several aspects of a new model for cell differentiation. It assumes that differentiation of progenitor cells is a continuous process. From the mathematical point of view, it is based on partial differential…

Analysis of PDEs · Mathematics 2013-01-21 Marie Doumic , Anna Marciniak-Czochra , Benoit Perthame , Jorge P. Zubelli

We present a distributed average consensus protocol that preserves the privacy of agents' inputs. Unlike the differential privacy mechanisms, the presented protocol does not affect the accuracy of the output. It is shown that the protocol…

Systems and Control · Computer Science 2020-04-14 Nirupam Gupta , Jonathan Katz , Nikhil Chopra

This paper is concerned with the evolution of haploid organisms that reproduce asexually. In a seminal piece of work, Eigen and coauthors proposed the quasispecies model in an attempt to understand such an evolutionary process. Their work…

Populations and Evolution · Quantitative Biology 2012-03-07 Narendra M. Dixit , Piyush Srivastava , Nisheeth K. Vishnoi