Optimization of Computations in the System of Computer Simulation fSim M. V. MikhalevichD. V. Lisitskii OriginalPaper Pages: 783 - 794
Declarative Representation of Algorithms of Completion by Critical Pairs V. A. Volkov OriginalPaper Pages: 795 - 799
The Automata-Theoretic Approach to Verification of Reactive Systems A. N. Chebotarev OriginalPaper Pages: 810 - 819
A Method of Solution of the Problem of Taking the Discrete Logarithm on an Elliptic Curve by Division of Points by Two A. V. Bessalov OriginalPaper Pages: 820 - 823
Systems Analysis of Plants Affected by Interacting Processes V. V. SkopetskiiO. A. MarchenkoN. A. Lezhnina OriginalPaper Pages: 824 - 835
Control Game Problems for Quasilinear Systems with Riemann-Liouville Fractional Derivatives A. A. ChikriiS. D. Eidelman OriginalPaper Pages: 836 - 864
Complexity Analysis of Algorithm for Multiplication of Superlarge Numbers Based on Walsh Coefficients V. K. ZadirakaS. S. Mel'nikova OriginalPaper Pages: 865 - 875
Some Markovian Queuing Retrial Systems under Light-Traffic Conditions V. V. AnisimovM. Kurtulush OriginalPaper Pages: 876 - 887
A New Approach to Solving Data Clusterization Problems O. V. BabakA. S. Gasanov OriginalPaper Pages: 888 - 893
Necessary Conditions of Extremality of Extreme Distributions in Generalized Chebyshev Inequalities and Their Application to Reliability Theory. I L. S. Stoikova OriginalPaper Pages: 894 - 904
Interval Estimation of Values of Some Zeta and L-Functions and Their Applications N. M. Glazunov OriginalPaper Pages: 905 - 910
A Refinement of the Black-Scholes Formula of Pricing Options N. N. Trenev OriginalPaper Pages: 911 - 917
Solution of a Diagnostics Problem on the Basis of Fuzzy Relations and a Genetic Algorithm A. P. RotshteinA. B. Rakityanskaya OriginalPaper Pages: 918 - 925