English
Related papers

Related papers: Meadow enriched ACP process algebras

200 papers

The asymmetric simple exclusion process (ASEP) is a paradigm for non-equilibrium physics that appears as a building block to model various low-dimensional transport phenomena, ranging from intracellular traffic to quantum dots. We review…

Statistical Mechanics · Physics 2015-05-27 Kirone Mallick

To most mathematicians and computer scientists the word ``tree'' conjures up, in addition to the usual image, the image of a connected graph with no circuits. In the last few years various types of trees have been the subject of much…

Group Theory · Mathematics 2016-09-06 John W. Morgan

Species sampling processes have long served as the fundamental framework for modeling random discrete distributions and exchangeable sequences. However, data arising from distinct but related sources require a broader notion of…

Statistics Theory · Mathematics 2026-02-03 Beatrice Franzolini , Antonio Lijoi , Igor Prünster , Giovanni Rebaudo

There has been a recent surge of interest within the field of quantum foundations regarding incorporating ideas from general relativity and quantum gravity. However, many quantum information tools remain agnostic to the underlying…

Quantum Physics · Physics 2026-01-14 Matthias Salzger , John H. Selby

The emergence of tools based on artificial intelligence has also led to the need of producing explanations which are understandable by a human being. In most approaches, the system is considered a black box, making it difficult to generate…

Artificial Intelligence · Computer Science 2024-10-23 Germán Vidal

Staged trees are probabilistic graphical models capable of representing any class of non-symmetric independence via a coloring of its vertices. Several structural learning routines have been defined and implemented to learn staged trees…

Machine Learning · Statistics 2024-05-29 Jack Storror Carter , Manuele Leonelli , Eva Riccomagno , Gherardo Varando

Data integration is essential across diverse domains, from historical records to biomedical research, facilitating joint statistical inference. A crucial initial step in this process involves merging multiple data sources based on matching…

Methodology · Statistics 2025-12-15 Trisha Dawn , Jesús Arroyo

In this article we consider several probabilistic processes defining random grapha. One of these processes appeared recently in connection with a factorization problem in the symmetric group. For each of the probabilistic processes, we…

Combinatorics · Mathematics 2015-01-07 Olivier Bernardi , Alejandro H. Morales

Quantum processes with indefinite causal structure emerge when we wonder which are the most general evolutions, allowed by quantum theory, of a set of local systems which are not assumed to be in any particular causal order. These processes…

Quantum Physics · Physics 2024-02-07 Luca Apadula , Alessandro Bisio , Paolo Perinotti

Argument Mining (AM) helps in automating the extraction of complex argumentative structures such as Argument Components (ACs) like Premise, Claim etc. and Argumentative Relations (ARs) like Support, Attack etc. in an argumentative text. Due…

Computation and Language · Computer Science 2025-10-21 Nilmadhab Das , Vishal Vaibhav , Yash Sunil Choudhary , V. Vijaya Saradhi , Ashish Anand

Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or time warps, can be…

Logic · Mathematics 2021-08-20 Sam van Gool , Adrien Guatto , George Metcalfe , Simon Santschi

We study probability distributions over free algebras of trees. Probability distributions can be seen as particular (formal power) tree series [Berstel et al 82, Esik et al 03], i.e. mappings from trees to a semiring K . A widely studied…

Machine Learning · Computer Science 2008-07-21 François Denis , Amaury Habrard , Rémi Gilleron , Marc Tommasi , Édouard Gilbert

We propose a new directed graphical representation of utility functions, called UCP-networks, that combines aspects of two existing graphical models: generalized additive models and CP-networks. The network decomposes a utility function…

Artificial Intelligence · Computer Science 2013-01-14 Craig Boutilier , Fahiem Bacchus , Ronen I. Brafman

This paper presents a rate-distortion theory for hierarchical networked data structures modelled as tree-indexed multitype process. To be specific, this paper gives a generalized Asymptotic Equipartition Property (AEP) for the Process. The…

Information Theory · Computer Science 2017-12-19 Kwabena Doku-Amponsah

Consider the following process on a simple graph without isolated vertices: Order the edges randomly and keep an edge if and only if it contains a vertex which is not contained in some preceding edge. The resulting set of edges forms a…

Combinatorics · Mathematics 2017-09-12 Zhanar Berikkyzy , Steve Butler , Jay Cummings , Kristin Heysse , Paul Horn , Ruth Luo , Brent Moran

The subject of this paper is the evolution of the concept of information processing in regular structures based on multi-level processing in nested cellular automata. The essence of the proposed model is a discrete space-time containing…

Neural and Evolutionary Computing · Computer Science 2022-10-13 Jerzy Szynka

This article introduces a method, which starting from simple and quite general mathematical data, allows to construct linear algebras of operators which are, each of them, endowed with a bialgebra structure (coproduct and counity). Moreover…

Mathematical Physics · Physics 2007-05-23 Eric Mourre

This article examines a recent body of work on stochastic processes indexed by a tree. Emphasis is on the application of this new framework to existing probability models. Proofs are largely omitted, with references provided.

Probability · Mathematics 2007-05-23 Robin Pemantle

Knowledge is the most precious asset of humankind. People extract the experience from the data that provide for us the reality through the feelings. Generally speaking, it is possible to see the analogy of knowledge elaboration between…

Hardware Architecture · Computer Science 2020-12-22 Viacheslav Dubeyko

We introduce a class of models for multidimensional control problems which we call skip-free Markov decision processes on trees. We describe and analyse an algorithm applicable to Markov decision processes of this type that are skip-free in…

Optimization and Control · Mathematics 2013-11-11 E. J. Collins