• Aucun résultat trouvé

[PDF] Top 20 Cobham’s Theorem and Automaticity

Has 10000 "Cobham’s Theorem and Automaticity" found on our website. Below are the top 20 most common "Cobham’s Theorem and Automaticity".

Cobham’s Theorem and Automaticity

Cobham’s Theorem and Automaticity

... sequence and let g be a Sturmian ...f and g) such that if f and g have a factor in common of length n, then n ≤ ...often, and with bounded gap size between two consecutive ...· and g = ... Voir le document complet

17

Contributions to Recognizability: Self-generating Sets, Decidability, Automaticity and Multidimensional Sets

Contributions to Recognizability: Self-generating Sets, Decidability, Automaticity and Multidimensional Sets

... N and for the genealogical order induced by the order on the ...Σ and a total order over ...Rigo and A. Maes [RM02] general- ized Cobham’s second theorem by proving that a set is ... Voir le document complet

148

(Non)Automaticity of number theoretic functions

(Non)Automaticity of number theoretic functions

... Theorem 3.1. Let k ≥ 2 be an integer and let (v n ) n≥0 be a k–regular sequence with values in C. Then the Dirichlet series P n≥1 vnn −s is the first component of a Dirichlet vector (i.e., a vector of ... Voir le document complet

15

Automaticity IV : sequences, sets, and diversity

Automaticity IV : sequences, sets, and diversity

... [5] A. Cobham. Uniform tag sequences. Math. Systems Theory 6 (1972),164-192. [6] D. Crisp, W. Moran, A. Pollington, and P. Shiue. Substitution invariant cut- ting sequences. J. Théorie Nombres Bordeaux 5 ... Voir le document complet

22

Prime geodesic theorem

Prime geodesic theorem

... From the above arguments one sees that in order to reduce the exponent 3 one cannot simply handle the sum over the zeroes in (1.1) by summing up the terms with absolute values but a significant concellation of terms must ... Voir le document complet

15

Gibbard-Satterthwaite Theorem

Gibbard-Satterthwaite Theorem

... clones and therefore no diversity in the preferences), or 4/ the majority between two alternatives only, whatever the num- ber of other alternatives existing and the votes that are expressed for ... Voir le document complet

12

Linear turnpike theorem

Linear turnpike theorem

... [24] A. N. Tikhonov, V. Y. Arsenin, Solutions of ill-posed problems, V. H. Winston & Sons, Washington, D.C.: John Wiley & Sons, New York-Toronto, Ont.-London, 1977. Translated from the Russian, Preface by ... Voir le document complet

26

Vector and scalar potentials, Poincaré's theorem and Korn's inequality

Vector and scalar potentials, Poincaré's theorem and Korn's inequality

... classical theorem of Poincar´ e In this work, we assume that Ω is a bounded open connected of R 3 with a Lipschitz-continuous ...X and its dual X 0 ... Voir le document complet

8

Effective randomness, strong reductions and Demuth's theorem

Effective randomness, strong reductions and Demuth's theorem

... on, and then bets on the value of the ...randomness, and in [ MMN + 06 ] that in the definition Kolmogorov-Loveland randomness, one can assume that only total non-monotonic strategies are ... Voir le document complet

25

Conditional Probabilities and van Lambalgen’s Theorem Revisited

Conditional Probabilities and van Lambalgen’s Theorem Revisited

... stripes, and the sum of their horizontal sizes is bounded by ...U1 and U2 ...definitions) and U2 -good ...-interval and the upper bound for the vertical size of U2 in the stripe is less than ... Voir le document complet

20

Fisher information and the Fourth Moment Theorem

Fisher information and the Fourth Moment Theorem

... Moment Theorem of Nualart and Peccati ...limit theorem together with some rates of convergence for the normal convergence of a standardized version of the quadratic variation of the fractional ... Voir le document complet

24

The Compression Theorem of Rourke and Sanderson

The Compression Theorem of Rourke and Sanderson

... The ability to straighten a vector field in an arbitrarily small neighborhood allows us to prove the Compression Theorem for immersions as well as for multiple vector fiel[r] ... Voir le document complet

33

Theorem Proving Modulo

Theorem Proving Modulo

... Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA Rennes, Ir[r] ... Voir le document complet

31

Poisson processes and a log-concave Bernstein theorem

Poisson processes and a log-concave Bernstein theorem

... for all t ∈ [0, 1]. In this section we give a discrete version of Borell’s formula in which the Gaussian mea- sure and the Brownian motion are replaced by the Poisson distribution and the Poisson pro- cess, ... Voir le document complet

20

Rigidity and Bellows-type Theorem for hedgehogs

Rigidity and Bellows-type Theorem for hedgehogs

... rigidity theorem: Any convex polyhedron of R 3 is rigid (that is, no convex polyhedron of R 3 can be continuously deformed so that its faces remain rigid) ...[14] and by ... Voir le document complet

11

Rank theorem in infinite dimension and lagrange multipliers

Rank theorem in infinite dimension and lagrange multipliers

... a theorem of existence of Lagrange multipliers for problem (M ) (written in Introduction) by using the Rank Theorem in infinite ...constraint and nevertheless to avoid the presence of a multiplier ... Voir le document complet

11

Hölder norms and the support theorem for diffusions

Hölder norms and the support theorem for diffusions

... We give now another proof of a variant of (1.10) (or (1.19)), when β = 0, which does not require the use of Ciesielski’s theorem (that is (1.4) and (1.5)) nor the correlation inequality. (A.1) ... Voir le document complet

24

On the ultrametric Stone-Weierstrass theorem and Mahler's expansion

On the ultrametric Stone-Weierstrass theorem and Mahler's expansion

... (iii) One could give another proof of Theorem 2.4 using the theory of normal bases. Recall first a result of Coleman [8, Lemma A.1.2~ (extending to a rank-one valuation a result of J.-P. Serre [17, lemme 1] ... Voir le document complet

16

Ramsey's theorem for singletons and strong computable reducibility

Ramsey's theorem for singletons and strong computable reducibility

... Ramsey’s theorem for n-tuples and k-colorings (RT n k ...effective and proof-theoretic content of RT n k , for various val- ues of n and k, has long been a major driving force of research in ... Voir le document complet

14

Quantitative versions of the Subspace Theorem and applications

Quantitative versions of the Subspace Theorem and applications

... Győry and their coauthors on decomposable form equations and other families of Diophan- tine ...curves and surfaces, for which the reader is directed to ...Subspace Theorem even if we mean an ... Voir le document complet

24

Show all 10000 documents...