English
Related papers

Related papers: Communicating Concurrent Functions

200 papers

Mechanistic interpretability aims to reverse engineer neural networks by uncovering which high-level algorithms they implement. Causal abstraction provides a precise notion of when a network implements an algorithm, i.e., a causal model of…

Machine Learning · Computer Science 2025-03-17 Theodora-Mara Pîslar , Sara Magliacane , Atticus Geiger

Novel user interfaces based on artificial intelligence, such as natural-language agents, present new categories of engineering challenges. These systems need to cope with uncertainty and ambiguity, interface with machine learning…

Programming Languages · Computer Science 2017-09-18 Alex Renda , Harrison Goldstein , Sarah Bird , Chris Quirk , Adrian Sampson

We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are collections of communicating automata checked automatically for multiparty…

Programming Languages · Computer Science 2016-09-08 Roly Perera , Simon J. Gay

The literature in modern machine learning has only negative results for learning to communicate between competitive agents using standard RL. We introduce a modified sender-receiver game to study the spectrum of partially-competitive…

Machine Learning · Computer Science 2021-01-26 Michael Noukhovitch , Travis LaCroix , Angeliki Lazaridou , Aaron Courville

In social systems, meaning can be communicated in addition to underlying processes of the information exchange. Meaning processing incurs on information processing with hindsight, while information processing recursively follows the time…

Physics and Society · Physics 2009-12-08 Loet Leydesdorff , Daniel M. Dubois

We show that quantum entanglement can be used as a substitute for communication when the goal is to compute a function whose input data is distributed among remote parties. Specifically, we show that, for a particular function among three…

Quantum Physics · Physics 2009-10-30 Richard Cleve , Harry Buhrman

Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state,…

Logic in Computer Science · Computer Science 2023-06-22 Jonas Kastberg Hinrichsen , Jesper Bengtson , Robbert Krebbers

We address distributed learning problems over undirected networks. Specifically, we focus on designing a novel ADMM-based algorithm that is jointly computation- and communication-efficient. Our design guarantees computational efficiency by…

Machine Learning · Computer Science 2026-01-21 Xiaoxing Ren , Nicola Bastianello , Karl H. Johansson , Thomas Parisini

In this work, we are concerned with maximizing the lifetime of a cluster of sensors engaged in single-hop communication with a base-station. In a data-gathering network, the spatio-temporal correlation in sensor data induces…

Information Theory · Computer Science 2007-07-16 Samar Agnihotri , Pavan Nuggehalli

Cognition refers to the function of information perception and processing, which is the fundamental psychological essence of human beings. It is responsible for reasoning and decision-making, while its evaluation is significant for the…

Human-Computer Interaction · Computer Science 2024-08-28 Jun Chen , Anqi Chen , Bingkun Jiang , Mohammad S. Obaidat , Ni Li , Xinyu Zhang

We consider a multitask learning problem, in which several predictors are learned jointly. Prior research has shown that learning the relations between tasks, and between the input features, together with the predictor, can lead to better…

Machine Learning · Computer Science 2019-07-11 Han Zhao , Otilia Stretcu , Alex Smola , Geoff Gordon

Many sensor applications are interested in computing a function over measurements (e.g., sum, average, max) as opposed to collecting all sensor data. Today, such data aggregation is done in a cluster-head. Sensor nodes transmit their values…

Networking and Internet Architecture · Computer Science 2016-12-08 Omid Abari , Hariharan Rahul , Dina Katabi

We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both represented…

Logic in Computer Science · Computer Science 2024-10-22 Bita Banihashemi , Giuseppe De Giacomo , Yves Lespérance

Molecular communication often involves coexisting links where certain links may have priority over others. In this work, we consider a system in three-dimensional (3-D) space with two coexisting communication links, each between a point…

Information Theory · Computer Science 2021-02-12 Nithin V. Sabu , Neeraj Varshney , Abhishek K. Gupta

The ability to learn new tasks and generalize performance to others is one of the most remarkable characteristics of the human brain and of recent AI systems. The ability to perform multiple tasks simultaneously is also a signature…

Neurons and Cognition · Quantitative Biology 2020-11-11 Giovanni Petri , Sebastian Musslick , Biswadip Dey , Kayhan Ozcimder , David Turner , Nesreen K. Ahmed , Theodore Willke , Jonathan D. Cohen

There is substantial variability in the expectations that communication partners bring into interactions, creating the potential for misunderstandings. To directly probe these gaps and our ability to overcome them, we propose a…

Computation and Language · Computer Science 2022-04-28 Sonia K. Murthy , Thomas L. Griffiths , Robert D. Hawkins

Agents that plan and act in the real world must deal with the fact that time passes as they are planning. When timing is tight, there may be insufficient time to complete the search for a plan before it is time to act. By commencing…

Artificial Intelligence · Computer Science 2023-03-07 Amihay Elboher , Ava Bensoussan , Erez Karpas , Wheeler Ruml , Shahaf S. Shperberg , Solomon E. Shimony

This chapter aims to provide next-level understanding of the problems of the world and the solutions available to those problems, which lie very well within the domain of neural computing, and at the same time are intelligent in their…

Neural and Evolutionary Computing · Computer Science 2021-07-07 Ayushe Gangal , Peeyush Kumar , Sunita Kumari , Aditya Kumar

Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty. While there are many soft constraint solving formalisms, even distributed…

Programming Languages · Computer Science 2018-02-27 S. Bistarelli , U. Montanari , F. Rossi

A model for autonomous feedback control of particle transport through a large number of channels is introduced. Interactions among the particles can lead to a strong suppression of fluctuations in the particle number statistics. Within a…

Statistical Mechanics · Physics 2016-02-25 Tobias Brandes
‹ Prev 1 8 9 10 Next ›