Displaying 861 – 880 of 4962

Showing per page

Asymptotic behaviour of bi-infinite words

Wit Foryś (2010)

RAIRO - Theoretical Informatics and Applications

We present a description of asymptotic behaviour of languages of bi-infinite words obtained by iterating morphisms defined on free monoids.

Asymptotic spectral analysis of generalized Erdős-Rényi random graphs

Song Liang, Nobuaki Obata, Shuji Takahashi (2007)

Banach Center Publications

Motivated by the Watts-Strogatz model for a complex network, we introduce a generalization of the Erdős-Rényi random graph. We derive a combinatorial formula for the moment sequence of its spectral distribution in the sparse limit.

Asynchronous sliding block maps

Marie-Pierre Béal, Olivier Carton (2000)

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

Asynchronous sliding block maps

Marie-Pierre Béal, Olivier Carton (2010)

RAIRO - Theoretical Informatics and Applications

We define a notion of asynchronous sliding block map that can be realized by transducers labeled in A* × B*. We show that, under some conditions, it is possible to synchronize this transducer by state splitting, in order to get a transducer which defines the same sliding block map and which is labeled in A × Bk, where k is a constant integer. In the case of a transducer with a strongly connected graph, the synchronization process can be considered as an implementation of an algorithm of...

Atomistic to Continuum limits for computational materials science

Xavier Blanc, Claude Le Bris, Pierre-Louis Lions (2007)

ESAIM: Mathematical Modelling and Numerical Analysis

The present article is an overview of some mathematical results, which provide elements of rigorous basis for some multiscale computations in materials science. The emphasis is laid upon atomistic to continuum limits for crystalline materials. Various mathematical approaches are addressed. The setting is stationary. The relation to existing techniques used in the engineering literature is investigated.

Atoms and partial orders of infinite languages

Werner Kuich, N. W. Sauer (2001)

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

We determine minimal elements, i.e., atoms, in certain partial orders of factor closed languages under . This is in analogy to structural Ramsey theory which determines minimal structures in partial orders under embedding.

Atoms and partial orders of infinite languages

Werner Kuich, N. W. Sauer (2010)

RAIRO - Theoretical Informatics and Applications

We determine minimal elements, i.e., atoms, in certain partial orders of factor closed languages under ⊆. This is in analogy to structural Ramsey theory which determines minimal structures in partial orders under embedding.

Automata, algebraicity and distribution of sequences of powers

Jean-Paul Allouche, Jean-Marc Deshouillers, Teturo Kamae, Tadahiro Koyanagi (2001)

Annales de l’institut Fourier

Let K be a finite field of characteristic p . Let K ( ( x ) ) be the field of formal Laurent series f ( x ) in x with coefficients in K . That is, f ( x ) = n = n 0 f n x n with n 0 𝐙 and f n K ( n = n 0 , n 0 + 1 , ) . We discuss the distribution of ( { f m } ) m = 0 , 1 , 2 , for f K ( ( x ) ) , where { f } : = n = 0 f n x n K [ [ x ] ] denotes the nonnegative part of f K ( ( x ) ) . This is a little different from the real number case where the fractional part that excludes constant term (digit of order 0) is considered. We give an alternative proof of a result by De Mathan obtaining the generic distribution for f with f n 0 for some n < 0 . This distribution is...

Automata, Borel functions and real numbers in Pisot base

Benoit Cagnard, Pierre Simonnet (2007)

RAIRO - Theoretical Informatics and Applications

This note is about functions ƒ : Aω → Bω whose graph is recognized by a Büchi finite automaton on the product alphabet A x B. These functions are Baire class 2 in the Baire hierarchy of Borel functions and it is decidable whether such function are continuous or not. In 1920 W. Sierpinski showed that a function f : is Baire class 1 if and only if both the overgraph and the undergraph of f are Fσ. We show that such characterization is also true for functions on infinite words if we replace the real...

Currently displaying 861 – 880 of 4962