English
Related papers

Related papers: A partial order view of message-passing communicat…

200 papers

A modular fluid-flow model for network congestion analysis and control is proposed. The model is derived from an information conservation law stating that the information is either in transit, lost or received. Mathematical models of…

Networking and Internet Architecture · Computer Science 2012-08-07 Corentin Briat , Emre Altug Yavuz , Gunnar Karlsson

Human communication systems, such as language, evolve culturally; their components undergo reproduction and variation. However, a role for selection in cultural evolutionary dynamics is less clear. Often neutral evolution (also known as…

Social and Information Networks · Computer Science 2014-07-01 Nicolas Fay , Monica Tamariz , T Mark Ellison , Dale Barr

Molecular communication between biological entities is a new paradigm in communications. Recently, we studied molecular communication between two nodes formed from synthetic bacteria. Due to high randomness in behavior of bacteria, we used…

Emerging Technologies · Computer Science 2014-10-07 Arash Einolghozati , Mohsen Sardari , Faramarz Fekri

Post-hoc global/local feature attribution methods are progressively being employed to understand the decisions of complex machine learning models. Yet, because of limited amounts of data, it is possible to obtain a diversity of models with…

Machine Learning · Computer Science 2024-01-01 Gabriel Laberge , Yann Pequignot , Alexandre Mathieu , Foutse Khomh , Mario Marchand

Network data has become widespread, larger, and more complex over the years. Traditional network data is dyadic, capturing the relations among pairs of entities. With the need to model interactions among more than two entities, significant…

Social and Information Networks · Computer Science 2025-05-30 Hao Tian , Reza Zafarani

This article is on message-passing systems where communication is (a) synchronous and (b) based on the "broadcast/receive" pair of communication operations. "Synchronous" means that time is discrete and appears as a sequence of time slots…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-14 Davide Frey , Hicham Lakhlef , Michel Raynal

First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, such as a ring…

Logic in Computer Science · Computer Science 2019-03-11 Rylo Ashmore , Arie Gurfinkel , Richard Trefler

Spreading processes are often modelled as a stochastic dynamics occurring on top of a given network with edge weights corresponding to the transmission probabilities. Knowledge of veracious transmission probabilities is essential for…

Social and Information Networks · Computer Science 2016-09-01 Andrey Y. Lokhov

We propose a framework for the derivation and evaluation of distributed iterative algorithms for receiver cooperation in interference-limited wireless systems. Our approach views the processing within and collaboration between receivers as…

Information Theory · Computer Science 2012-04-18 Mihai-Alin Badiu , Carles Navarro Manchón , Vasile Bota , Bernard Henri Fleury

Brain-to-speech decoding models demonstrate robust performance in vocalized, mimed, and imagined speech; yet, the fundamental mechanisms via which these models capture and transmit information across different speech modalities are less…

Machine Learning · Computer Science 2026-02-03 Maryam Maghsoudi , Ayushi Mishra

The most fundamental social interactions among humans occur face to face. Their features have been extensively studied in recent years, owing to the availability of high-resolution data on individuals' proximity. Mathematical models based…

Physics and Society · Physics 2024-06-10 Luca Gallo , Chiara Zappalà , Fariba Karimi , Federico Battiston

The configuration model was originally defined for undirected networks and has recently been extended to directed networks. Many empirical networks are however neither undirected nor completely directed, but instead usually partially…

Probability · Mathematics 2015-09-30 Kristoffer Spricer , Tom Britton

Machine learning (ML) is a promising enabler for the fifth generation (5G) communication systems and beyond. By imbuing intelligence into the network edge, edge nodes can proactively carry out decision-making, and thereby react to local…

Machine Learning · Computer Science 2020-08-07 Jihong Park , Sumudu Samarakoon , Anis Elgabli , Joongheon Kim , Mehdi Bennis , Seong-Lyun Kim , Mérouane Debbah

We provide a numerical study of the macroscopic model of [3] derived from an agent-based model for a system of particles interacting through a dynamical network of links. Assuming that the network remodelling process is very fast, the…

This paper presents a distributed agent-based automated theorem proving framework based on order-sorted first-order logic. Each agent in our framework has its own knowledge base, communicating to its neighboring agent(s) using…

Logic in Computer Science · Computer Science 2016-09-09 Dohan Kim

Communication could potentially be an effective way for multi-agent cooperation. However, information sharing among all agents or in predefined communication architectures that existing methods adopt can be problematic. When there is a…

Artificial Intelligence · Computer Science 2018-11-26 Jiechuan Jiang , Zongqing Lu

In this paper I introduce a framework for modeling temporal communication networks and dynamical processes unfolding on such networks. The framework originates from the realization that there is a meaningful division of temporal…

Physics and Society · Physics 2019-07-24 Sune Lehmann

Modeling human operator's dynamic plays a very important role in the manual closed-loop control system, and it is an active research area for several decades. Based on the characteristics of human brain and behaviour, a new kind of…

Systems and Control · Computer Science 2016-01-11 Jiacai Huang , Yangquan Chen , Haibin Li , Xinxin Shi

Network data often arises via a series of structured interactions among a population of constituent elements. E-mail exchanges, for example, have a single sender followed by potentially multiple receivers. Scientific articles, on the other…

Methodology · Statistics 2019-01-30 Walter Dempsey , Brandon Oselio , Alfred Hero

As artificial intelligence systems spread to more diverse and larger tasks in many domains, the machine learning algorithms, and in particular the deep learning models and the databases required to train them are getting bigger themselves.…

Machine Learning · Computer Science 2019-04-22 Philippe Lacaille