This article presents several results establishing connections between Markov chains and dynamical systems, from the point of view of open systems in physics. We show how all Markov chains can be understood as the information on one component that we get from a dynamical system on a product system, when losing information on the other component. We show that passing from the deterministic dynam...

G-TAG is a formalism dedicated to text generation. It relies on the Tree Adjoining Grammar (TAG) formalism and extends it with several specific notions allowing for the construction of a surface form from a conceptual representation. This conceptual representation is independent from the target language. The goal of this paper is to study G-TAG and its specific notions from the perspective give...

In recent times, sketch based techniques are emerging as useful data stream computation techniques towards processing massive data. In many applications, finding heavy hitters and heavy changers is essential and this task demands reversibility property of sketches. Continuing the trend of arriving at newer reversible sketch, this paper presents a scheme based on Chinese Remainder Theorem. The s...

The theory of L-spectral gaps for reversible Markov chains has been studied by many authors. In this paper we consider positive recurrent general state space Markov chains with stationary transition probabilities. Replacing the assumption of reversibility by a less strong one, we still obtain a simple necessary and sufficient condition for the spectral gap property of the associated Markov oper...

We present a Moran-model approach to modeling general multiallelic selection in a finite population and show how it may be used to develop theoretical models of biological systems of balancing selection such as plant gametophytic self-incompatibility loci. We propose new expressions for the stationary distribution of allele frequencies under selection and use them to show that the continuous-ti...

This paper studies the causal interpretation of counterfactual sentences using a mod-iiable structural equation model. It is shown that two properties of counterfactuals, namely, composition and eeectiveness, are sound and complete relative to this interpretation , when recursive (i.e., feedback-less) models are considered. Composition and eeectiveness also hold in Lewis's closest-world semanti...

Recently, a number of reversible functional programming languages have been proposed. Common to several of these is the assumption of totality, a property that is not necessarily desirable, and certainly not required in order to guarantee reversibility. In a categorical setting, however, faithfully capturing partiality requires handling it as additional structure. Recently, Giles studied invers...

The analysis of Discrete Event Systems suffer from the well known state explosion problem. A classical technique to overcome this problem is to relax the behaviour by partially removing the integrality constraints, thus dealing with hybrid or continuous systems. In the Petri nets framework, continuous net systems (technically hybrid systems) are the result of removing the integrality constraint...

Abstract. In this paper we present a graph theoretic construction of Steiner quadruple systems (SQS) admitting abelian groups as point-regular automorphism groups. The resulting SQS has an extra property which we call A-reversibility, where A is the underlying abelian group. In particular, when A is a 2-group of exponent at most 4, it is shown that an A-reversible SQS always exists. When the Sy...

When applying photochromic switches as functional units in light-responsive materials or devices, an often disregarded yet crucial property is their resistance to fatigue during photoisomerization. In the large family of diarylethene photoswitches, formation of an annulated isomer as a byproduct of the photochromic reaction turns out to prevent the desired high reversibility for many different ...