Contents
Automatic Control and Computer Sciences

Vol. 44, No. 7, 2010

A simultaneous English language translation of this journal is available from Allerton Press, Inc.
Distributed worldwide by Springer. Automatic Control and Computer Sciences ISSN 0146-4116.

Algorithms for the Boundedness Problem for Minsky Counter Machines

E. V. Kuzmin and D. J. Chalyy p. 365  abstract

Verification of Synchronous-Automaton Programs with the Use of LTL

S. V. Kubasov p. 374  abstract

On Application of Weaker Simulations to Parameterized Model Checking
by Network Invariants Technique

I. V. Konnov p. 378  abstract

Decidability of Boundedness Problems for Minsky Counter Machines

E. V. Kuzmin and D. J. Chalyy p. 387  abstract

On a Class of High-Level Finite-State Automata

R. A. Vinogradov and V. A. Sokolov p. 398  abstract

Relationships between the Clique Number, Chromatic Number,
and the Degree for Some Graphs

S. L. Berlov p. 407  abstract

On a Reachability Set of Automation 3-Counter Machines

E. V. Kuzmin and D. J. Chalyy p. 415  abstract

Some Methods for Pattern Recognition

I. A. Mikhailov p. 420  abstract

Linear Metrics for Entropy Estimation

N. E. Timofeeva p. 426  abstract

On 2-Neighborly Polytopes and the Gale Construction

A. G. Brodskiy p. 434  abstract

On One Class of Counter Machines

E. V. Kuzmin and D. J. Chalyy p. 447  abstract

Properties of e-Degrees of the Bounded Total Sets

S. V. Rozhkov p. 452  abstract

Boundedness Problem for Lossy Counter Machines

E. V. Kuzmin p. 455  abstract

Asymptotic Form of the Bias of Entropy Estimator for Bernoulli Measures

E. A. Timofeev p. 467  abstract

Contents of Volume 44, 2010 p. 476

Author Index to Volume 44, 2010 p.480

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.