Stacks, queues and tracks: layouts of graph subdivisions.
Standard factors of Sturmian words
Among the various ways to construct a characteristic Sturmian word, one of the most used consists in defining an infinite sequence of prefixes that are standard. Nevertheless in any characteristic word c, some standard words occur that are not prefixes of c. We characterize all standard words occurring in any characteristic word (and so in any Sturmian word) using firstly morphisms, then standard prefixes and finally palindromes.
Stapled sequences and stapling coverings of natural numbers.
STAR, un langage de manipulation de résumés statistiques structurés
State complexity of cyclic shift
The cyclic shift of a language , defined as =, is an operation known to preserve both regularity and context-freeness. Its descriptional complexity has been addressed in Maslov’s pioneering paper on the state complexity of regular language operations [Soviet Math. Dokl. 11 (1970) 1373–1375], where a high lower bound for partial DFAs using a growing alphabet was given. We improve this result by using a fixed 4-letter alphabet, obtaining a lower bound (n-1)! 2, which shows that the state complexity...
State complexity of cyclic shift
The cyclic shift of a language L, defined as SHIFT(L) = {vu | uv ∈ L}, is an operation known to preserve both regularity and context-freeness. Its descriptional complexity has been addressed in Maslov's pioneering paper on the state complexity of regular language operations [Soviet Math. Dokl.11 (1970) 1373–1375], where a high lower bound for partial DFAs using a growing alphabet was given. We improve this result by using a fixed 4-letter alphabet, obtaining a lower bound (n-1)! . 2(n-1)(n-2), which...
State hypergroups of automata
State spaces and dipaths up to dihomotopy.
Statistical approach to pattern recognition: Theory and practical solution by means of PREDITAS system
Statistical approach to proof theory
Statistical deducibility testing with stochastic parameters
Statistical methods for comparing theorem proving algorithms
Statistical methods in measuring search engine performance.
Statistical testing procedure for lengths of formalized proofs
Statistical theory of logical derivability
Statistical-learning control of multiple-delay systems with application to ATM networks
Congestion control in the ABR class of ATM network presents interesting challenges due to the presence of multiple uncertain delays. Recently, probabilistic methods and statistical learning theory have been shown to provide approximate solutions to challenging control problems. In this paper, using some recent results by the authors, an efficient statistical algorithm is used to design a robust, fixed-structure, controller for a high-speed communication network with multiple uncertain propagation...
Statistics and computability
Stav a koncepce matematické informatiky v ČSSR
Steady state and scaling limit for a traffic congestion model
In a general model (AIMD) of transmission control protocol (TCP) used in internet traffic congestion management, the time dependent data flow vector x(t) > 0 undergoes a biased random walk on two distinct scales. The amount of data of each component xi(t) goes up to xi(t)+a with probability 1-ζi(x) on a unit scale or down to γxi(t), 0 < γ < 1 with probability ζi(x) on a logarithmic scale, where ζi depends on the joint state of the system x. We investigate the long time behavior, mean field...
Steps toward models of language learning