English
Related papers

Related papers: Inferring Message Flows From System Communication …

200 papers

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

Semantic communication, when examined through the lens of joint source-channel coding (JSCC), maps source messages directly into channel input symbols, where the measure of success is defined by end-to-end distortion rather than traditional…

Information Theory · Computer Science 2024-07-09 Tze-Yang Tung , Homa Esfahanizadeh , Jinfeng Du , Harish Viswanathan

We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and informal verification; and formal representation and procedural…

Cryptography and Security · Computer Science 2013-10-29 Jesus Diaz , David Arroyo , Francisco B. Rodriguez

Molecular communication (MC) offers a groundbreaking approach to communication inspired by biological signaling. It is particularly suited for environments where traditional electromagnetic methods fail, such as fluid mediums or within the…

Molecular Networks · Quantitative Biology 2025-03-18 Aravind Muraleedharan , Abhishek K. Gupta

Accurate detection of disfluencies in spoken language is crucial for enhancing the performance of automatic speech and language processing systems, as well as fostering the development of more inclusive speech and language technologies.…

Sound · Computer Science 2025-06-24 Duygu Altinok

This survey paper focuses on modulation aspects of molecular communication, an emerging field focused on building biologically-inspired systems that embed data within chemical signals. The primary challenges in designing these systems are…

Emerging Technologies · Computer Science 2020-12-29 Mehmet Sukru Kuran , H. Birkan Yilmaz , Ilker Demirkol , Nariman Farsad , Andrea Goldsmith

Generative models have shown great promise in collaborative filtering by capturing the underlying distribution of user interests and preferences. However, existing approaches struggle with inaccurate posterior approximations and…

Information Retrieval · Computer Science 2025-09-08 Chengkai Liu , Yangtian Zhang , Jianling Wang , Rex Ying , James Caverlee

Isomorphic (sparse) collective communication is a form of collective communication in which all involved processes communicate in small, identically structured neighborhoods of other processes. Isomorphic neighborhoods are defined via an…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-06-27 Jesper Larsson Träff , Alexandra Carpen-Amarie , Sascha Hunold , Antoine Rougier

Machine Reading at Scale (MRS) is a challenging task in which a system is given an input query and is asked to produce a precise output by "reading" information from a large knowledge base. The task has gained popularity with its natural…

Computation and Language · Computer Science 2019-09-19 Yixin Nie , Songhe Wang , Mohit Bansal

Continuous prompts, or "soft prompts", are a widely-adopted parameter-efficient tuning strategy for large language models, but are often less favorable due to their opaque nature. Prior attempts to interpret continuous prompts relied on…

Computation and Language · Computer Science 2024-10-16 Dana Ramati , Daniela Gottesman , Mor Geva

This paper proposes a novel method, Explicit Flow Matching (ExFM), for training and analyzing flow-based generative models. ExFM leverages a theoretically grounded loss function, ExFM loss (a tractable form of Flow Matching (FM) loss), to…

Machine Learning · Computer Science 2024-07-03 Gleb Ryzhakov , Svetlana Pavlova , Egor Sevriugov , Ivan Oseledets

The critical path of internode communication on large-scale systems is composed of multiple components. When a supercomputing application initiates the transfer of a message using a high-level communication routine such as an MPI_Send, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-10 Rohit Zambre , Megan Grodowitz , Aparna Chandramowlishwaran , Pavel Shamis

Modeling sparse and dense image matching within a unified functional correspondence model has recently attracted increasing research interest. However, existing efforts mainly focus on improving matching accuracy while ignoring its…

Computer Vision and Pattern Recognition · Computer Science 2022-09-27 Dongli Tan , Jiang-Jiang Liu , Xingyu Chen , Chao Chen , Ruixin Zhang , Yunhang Shen , Shouhong Ding , Rongrong Ji

There are many familiar situations in which a manager seeks to design a system in which users share a resource, but outcomes depend on the information held and actions taken by users. If communication is possible, the manager can ask users…

Computer Science and Game Theory · Computer Science 2012-07-18 Luca Canzian , Yuanzhang Xiao , William Zame , Michele Zorzi , Mihaela van der Schaar

The problem of goal-oriented semantic filtering and timely source coding in multiuser communication systems is considered here. We study a distributed monitoring system in which multiple information sources, each observing a physical…

Information Theory · Computer Science 2024-02-16 Pouya Agheli , Nikolaos Pappas , Marios Kountouris

This work's main goal is to understand if Information Flow Control (IFC), a security technique used for discovering leaks in software, could be used to indicate the presence of dynamic semantic conflicts between developers contributions in…

Software Engineering · Computer Science 2024-04-15 Roberto Souto Maior de Barros Filho , Paulo Borba

Collaborative filtering (CF) has exhibited prominent results for recommender systems and been broadly utilized for real-world applications. A branch of research enhances CF methods by message passing used in graph neural networks, due to…

Information Retrieval · Computer Science 2024-10-30 Mingxuan Ju , William Shiao , Zhichun Guo , Yanfang Ye , Yozen Liu , Neil Shah , Tong Zhao

Inference of the network structure (e.g., routing topology) and dynamics (e.g., link performance) is an essential component in many network design and management tasks. In this paper we propose a new, general framework for analyzing and…

Networking and Internet Architecture · Computer Science 2019-11-13 Jian Ni , Sekhar Tatikonda

Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibility of interface specifications. We present different…

Software Engineering · Computer Science 2011-01-26 Sebastian S. Bauer , Rolf Hennicker , Stephan Janisch

Applications' performance is influenced by the mapping of processes to computing nodes, the frequency and volume of exchanges among processing elements, the network capacity, and the routing protocol. A poor mapping of application processes…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-11 Jonas H. Müller Korndörfer , Mario Bielert , Laércio L. Pilla , Florina M. Ciorba