English
Related papers

Related papers: Branching Pomsets for Choreographies

200 papers

Diffusion and flow matching approaches to generative modeling have shown promise in domains where the state space is continuous, such as image generation or protein folding & design, and discrete, exemplified by diffusion large language…

A Behavior Tree (BT) is a way to structure the switching between different tasks in an autonomous agent, such as a robot or a virtual entity in a computer game. BTs are a very efficient way of creating complex systems that are both modular…

Robotics · Computer Science 2022-10-26 Michele Colledanchise , Petter Ögren

In this paper we study the practicality and usefulness of incorporating distributed representations of graphs into models within the context of drug pair scoring. We argue that the real world growth and update cycles of drug pair scoring…

Machine Learning · Computer Science 2022-11-28 Paul Scherer , Pietro Liò , Mateja Jamnik

The article is an attempt to contribute to explorations of a common origin for language and planned-collaborative action. It gives `semantics of change' the central stage in the synthesis, from its history and recordkeeping to its…

Computation and Language · Computer Science 2024-05-14 Cem Bozsahin

An artificial neural network is presented based on the idea of connections between units that are only active for a specific range of input values and zero outside that range (and so are not evaluated outside the active range). The…

Neural and Evolutionary Computing · Computer Science 2016-06-15 John Loverich

Robots that can operate autonomously in a human living environment are necessary to have the ability to handle various tasks flexibly. One crucial element is coordinated bimanual movements that enable functions that are difficult to perform…

Robotics · Computer Science 2025-03-19 Tomohiro Motoda , Ryo Hanai , Ryoichi Nakajo , Masaki Murooka , Floris Erich , Yukiyasu Domae

Language emergence and evolution has recently gained growing attention through multi-agent models and mathematical frameworks to study their behavior. Here we investigate further the Naming Game, a model able to account for the emergence of…

Physics and Society · Physics 2008-07-21 Andrea Baronchelli , Vittorio Loreto , Luc Steels

Language models must bind entities to the attributes they possess and maintain several such binding relationships within a context. We study how multiple entities are represented across token positions and whether single tokens can carry…

Computation and Language · Computer Science 2026-04-24 Paul C. Bogdan , Jack Lindsey

We provide a compositional coalgebraic semantics for strategic games. In our framework, like in the semantics of functional programming languages, coalgebras represent the observable behaviour of systems derived from the behaviour of the…

Computer Science and Game Theory · Computer Science 2017-12-25 Achim Blumensath , Viktor Winschel

Walking droplets -- millimetric oil droplets that self-propel across the surface of a vibrating fluid bath -- exhibit striking emergent statistics that remain only partially understood. In particular, in a variety of experiments, a robust…

Fluid Dynamics · Physics 2026-01-28 Skyler Mao , David Darrow

A number of coordinated behaviors have been proposed for achieving specific tasks for multi-robot systems. However, since most applications require more than one such behavior, one needs to be able to compose together sequences of behaviors…

Robotics · Computer Science 2020-03-04 Pietro Pierpaoli , Anqi Li , Mohit Srinivasan , Xiaoyi Cai , Samuel Coogan , Magnus Egerstedt

Choreographic Programming is a programming paradigm for building concurrent programs that are deadlock-free by construction, as a result of programming communications declaratively and then synthesising process implementations…

Programming Languages · Computer Science 2018-10-10 Luís Cruz-Filipe , Fabrizio Montesi

Recent advances in neural recording technology allow simultaneously recording action potentials from hundreds to thousands of neurons in awake, behaving animals. However, characterizing spike patterns in the resulting data, and linking…

Actors are embedded in networks of communication: the relations of the actors can be represented as the rows of a matrix, while the column vectors represent their communications. The two systems are structurally coupled in the co-variation:…

Adaptation and Self-Organizing Systems · Physics 2010-03-16 Loet Leydesdorff

In this paper, we show how a planning algorithm can be used to automatically create and update a Behavior Tree (BT), controlling a robot in a dynamic environment. The planning part of the algorithm is based on the idea of back chaining.…

Robotics · Computer Science 2020-07-16 Michele Colledanchise , Diogo Almeida , Petter Ögren

The world runs on communicated sequences of symbols, e.g. numerals. Examining both engineered and natural communications networks reveals an unsuspected order that depends on contact with an unpredictable entity. This order has three roots.…

History and Philosophy of Physics · Physics 2016-07-27 F. Hadi Madjid , John M. Myers

In the modern language sciences, the core computational operation of syntax, 'Merge', is defined as an operation that combines two linguistic units (e.g., 'brown', 'cat') to form a categorized structure ('brown cat', a Noun Phrase). This…

Computation and Language · Computer Science 2025-08-06 Elliot Murphy , Rohan Venkatesh , Edward Khokhlovich , Andrey Vyshedskiy

We consider the dynamics of a droplet on a vibrating fluid bath. This hydrodynamic quantum analog system is shown to elicit the canonical behavior of damped-driven systems, including a period doubling route to chaos. By approximating the…

Dynamical Systems · Mathematics 2022-11-10 Aminur Rahman , J. Nathan Kutz

Words can have multiple senses. Compositional distributional models of meaning have been argued to deal well with finer shades of meaning variation known as polysemy, but are not so well equipped to handle word senses that are…

Computation and Language · Computer Science 2020-10-13 Francois Meyer , Martha Lewis

Large language models use high-dimensional latent spaces to encode and process textual information. Much work has investigated how the conceptual content of words translates into geometrical relationships between their vector…

Computation and Language · Computer Science 2025-05-26 Raphaël Sarfati , Haley Moller , Toni J. B. Liu , Nicolas Boullé , Christopher Earls