English
Related papers

Related papers: Modeling and Reasoning About Wireless Networks: A …

200 papers

As an efficient graph analytical tool, graph neural networks (GNNs) have special properties that are particularly fit for the characteristics and requirements of wireless communications, exhibiting good potential for the advancement of…

Information Theory · Computer Science 2022-12-09 Mengyuan Lee , Guanding Yu , Huaiyu Dai , Geoffrey Ye Li

Modern medical wireless systems, such as wireless body area networks (WBANs), are applications of wireless networks that can be used as a tool of data transmission between patients and doctors. Accuracy of data transmission is an important…

Information Theory · Computer Science 2011-03-08 Eimear Byrne , Akiko Manada , Stevan Marinkovic , Emanuel Popovici

We recently introduced a formalism for the modeling of temporal networks, that we call stream graphs. It emphasizes the streaming nature of data and allows rigorous definitions of many important concepts generalizing classical graphs. This…

Social and Information Networks · Computer Science 2021-11-24 Matthieu Latapy , Clémence Magnien , Tiphaine Viard

We address the problem of inferring the topology of a wireless network using limited observational data. Specifically, we assume that we can detect when a node is transmitting, but no further information regarding the transmission is…

Networking and Internet Architecture · Computer Science 2025-07-03 James Martin , Tristan Pryer , Luca Zanetti

We develop a timed calculus for Mobile Ad Hoc Networks embodying the peculiarities of local broadcast, node mobility and communication interference. We present a Reduction Semantics and a Labelled Transition Semantics and prove the…

Logic in Computer Science · Computer Science 2013-01-03 Mengying Wang , Yang Lu

The outage performance of wireless networks with unstructured network topologies is investigated. The network reliability perspective of graph theory is used to obtain the network outage polynomial of generalized wireless networks by…

Information Theory · Computer Science 2019-04-30 Semiha Tedik Basaran , Gunes Karabulut Kurt , Frank R. Kschischang

A fundamental problem in the delay and backlog analysis across multi-hop paths in wireless networks is how to account for the random properties of the wireless channel. Since the usual statistical models for radio signals in a propagation…

Networking and Internet Architecture · Computer Science 2012-07-30 Hussein Al-Zubaidy , Jorg Liebeherr , Almut Burchard

We propose a simple timed broadcasting process calculus for modelling wireless network protocols. The operational semantics of our calculus is given in terms of a labelled transition semantics which is used to derive a standard (weak)…

Cryptography and Security · Computer Science 2015-03-19 Francesco Ballardin , Damiano Macedonio , Massimo Merro , Mattia Tirapelle

Accurate electricity demand forecasting is essential for several reasons, especially as the integration of renewable energy sources and the transition to a decentralized network paradigm introduce greater complexity and uncertainty. The…

Machine Learning · Computer Science 2026-05-12 Eloi Campagne , Yvenn Amara-Ouali , Yannig Goude , Argyris Kalogeratos

An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and…

Networking and Internet Architecture · Computer Science 2018-06-29 Magnus M. Halldorsson , Tigran Tonoyan

Motivated in part by understanding average case analysis of fundamental algorithms in computer science, and in part by the wide array of network data available over the last decade, a variety of random graph models, with corresponding…

Probability · Mathematics 2024-03-05 Sayan Banerjee , Shankar Bhamidi , Jianan Shen , Seth Parker Young

We study the problem of wireless network resilience to node failures from a percolation-based perspective. In practical wireless networks, it is often the case that the failure probability of a node depends on its degree (number of…

Networking and Internet Architecture · Computer Science 2009-08-28 Zhenning Kong , Edmund M. Yeh

This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast and data structures, which are essential features for the…

Logic in Computer Science · Computer Science 2016-06-14 Emile Bres , Rob van Glabbeek , Peter Höfner

In wireless networks with random node distribution, the underlying point process model and the channel fading process are usually considered separately. A unified framework is introduced that permits the geometric characterization of fading…

Information Theory · Computer Science 2007-11-14 Martin Haenggi

The connections in many networks are not merely binary entities, either present or not, but have associated weights that record their strengths relative to one another. Recent studies of networks have, by and large, steered clear of such…

Statistical Mechanics · Physics 2009-11-10 M. E. J. Newman

Given a wireless network where some pairs of communication links interfere with each other, we study sufficient conditions for determining whether a given set of minimum bandwidth Quality of Service (QoS) requirements can be satisfied. We…

Information Theory · Computer Science 2009-06-23 Ashwin Ganesan

This paper studies reduced-order modeling of dynamic networks with strongly connected topology. Given a graph clustering of an original complex network, we construct a quotient graph with less number of vertices, where the edge weights are…

Optimization and Control · Mathematics 2020-03-10 Xiaodong Cheng , Lanlin Yu , Dingchao Ren , Jacquelien M. A. Scherpen

We give efficient algorithms for the fundamental problems of Broadcast and Local Broadcast in dynamic wireless networks. We propose a general model of communication which captures and includes both fading models (like SINR) and graph-based…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-05-10 Magnus M. Halldorsson , Tigran Tonoyan , Yuexuan Wang , Dongxiao Yu

We consider the problem of downlink power control in wireless networks, consisting of multiple transmitter-receiver pairs communicating with each other over a single shared wireless medium. To mitigate the interference among concurrent…

Signal Processing · Electrical Eng. & Systems 2020-02-19 Navid Naderializadeh , Mark Eisen , Alejandro Ribeiro

Due to mutual interference between users, power allocation problems in wireless networks are often non-convex and computationally challenging. Graph neural networks (GNNs) have recently emerged as a promising approach to tackling these…

Networking and Internet Architecture · Computer Science 2024-01-09 Lili Chen , Jingge Zhu , Jamie Evans