The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Rational Invariants of a Group Action”

One-Rule Length-Preserving Rewrite Systems and Rational Transductions

Michel Latteux, Yves Roos (2014)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We address the problem to know whether the relation induced by a one-rule length-preserving rewrite system is rational. We partially answer to a conjecture of Éric Lilin who conjectured in 1991 that a one-rule length-preserving rewrite system is a rational transduction if and only if the left-hand side and the right-hand side of the rule of the system are not quasi-conjugate or are equal, that means if and are distinct, there do not exist words , and such that  =  and  = . We prove...

The cyclicity problem for the images of Q-rational series

Juha Honkala (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

We show that it is decidable whether or not a given Q-rational series in several noncommutative variables has a cyclic image. By definition, a series has a cyclic image if there is a rational number such that all nonzero coefficients of are integer powers of .

The cyclicity problem for the images of Q-rational series

Juha Honkala (2011)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We show that it is decidable whether or not a given Q-rational series in several noncommutative variables has a cyclic image. By definition, a series has a cyclic image if there is a rational number such that all nonzero coefficients of are integer powers of .

Regularity of languages defined by formal series with isolated cut point

Alberto Bertoni, Maria Paola Bianchi, Flavi D’Alessandro (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Let  = { ∈  | ()  } be the language recognized by a formal series :  → ℝ with isolated cut point . We provide new conditions that guarantee the regularity of the language in the case that is rational or is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.

Algebraic Methods for Studying Interactions Between Epidemiological Variables

F. Ricceri, C. Fassino, G. Matullo, M. Roggero, M.-L. Torrente, P. Vineis, L. Terracini (2012)

Mathematical Modelling of Natural Phenomena

Similarity:

Background Independence models among variables is one of the most relevant topics in epidemiology, particularly in molecular epidemiology for the study of gene-gene and gene-environment interactions. They have been studied using three main kinds of analysis: regression analysis, data mining approaches and Bayesian model selection. Recently, methods of algebraic statistics have been...

Regularity of languages defined by formal series with isolated cut point

Alberto Bertoni, Maria Paola Bianchi, Flavi D’Alessandro (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

Let  = { ∈  | ()  } be the language recognized by a formal series :  → ℝ with isolated cut point . We provide new conditions that guarantee the regularity of the language in the case that is rational or is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.

Regularity of languages defined by formal series with isolated cut point

Alberto Bertoni, Maria Paola Bianchi, Flavi D’Alessandro (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

Let  = { ∈  | ()  } be the language recognized by a formal series :  → ℝ with isolated cut point . We provide new conditions that guarantee the regularity of the language in the case that is rational or is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.

On synchronized sequences and their separators

Arturo Carpi, Cristiano Maggi (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

We introduce the notion of a -synchronized sequence, where is an integer larger than 1. Roughly speaking, a sequence of natural numbers is said to be -synchronized if its graph is represented, in base , by a right synchronized rational relation. This is an intermediate notion between -automatic and -regular sequences. Indeed, we show that the class of -automatic sequences is equal to the class of bounded -synchronized sequences and that the class of -synchronized sequences...

On the structure of (−β)-integers

Wolfgang Steiner (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

The (−)-integers are natural generalisations of the -integers, and thus of the integers, for negative real bases. When is the analogue of a Parry number, we describe the structure of the set of (−)-integers by a fixed point of an anti-morphism.

On the structure of (−)-integers

Wolfgang Steiner (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

The (−)-integers are natural generalisations of the -integers, and thus of the integers, for negative real bases. When is the analogue of a Parry number, we describe the structure of the set of (−)-integers by a fixed point of an anti-morphism.

Constraints on distributions imposed by properties of linear forms

Denis Belomestny (2010)

ESAIM: Probability and Statistics

Similarity:

Let () be independent identically distributed bivariate vectors and , are two linear forms with positive coefficients. We study two problems: under what conditions does the equidistribution of and imply the same property for and , and under what conditions does the independence of and entail independence of and ? Some analytical sufficient conditions...