Verifying specifications in the language L against temporal properties nonexpressible in this language A. N. Chebotarev Cybernetics 08 October 2009 Pages: 671 - 679
Numerical investigation of a multithreshold access strategy in multiservice cellular wireless networks Che Soong KimA. Z. MelikovL. A. Ponomarenko OriginalPaper 10 October 2009 Pages: 680 - 691
Technique of traces in solving the equivalence problem in algebraic program models R. I. Podlovchenko OriginalPaper 08 October 2009 Pages: 692 - 702
Construction of minimal d-separators in a dependency system A. S. Balabanov OriginalPaper 10 October 2009 Pages: 703 - 713
Nonclassical properties of a discrete geometries space Yu. G. Grigoryan OriginalPaper 13 October 2009 Pages: 714 - 722
Communication process in clinical diagnostics: the semiotic approach I. N. Dolgopolov OriginalPaper 08 October 2009 Pages: 723 - 731
Classification of applied methods of combinatorial optimization I. V. SergienkoL. F. HulianytskyiS. I. Sirenko Systems Analysis 08 October 2009 Pages: 732 - 741
Interrelation between Kondratieff cycles and global systemic conflicts M. Z. Zgurovsky OriginalPaper 08 October 2009 Pages: 742 - 749
Efficiency of classification methods based on empirical risk minimization V. I. NorkinM. A. Keyzer OriginalPaper 10 October 2009 Pages: 750 - 761
Statistical estimation of a logarithmic derivative measure in a Hilbert space E. A. NadarayaG. A. SokhadzeA. D. Shatashvili OriginalPaper 08 October 2009 Pages: 762 - 766
Container methods of clustering and classification of signals N. F. KirichenkoA. S. KorlyukYu. G. Kryvonos OriginalPaper 08 October 2009 Pages: 767 - 773
Periodic solutions for a class of nonlinear hyperbolic evolution equations P. O. KasyanovN. V. ZadoyanchukV. V. Yasinsky OriginalPaper 08 October 2009 Pages: 774 - 784
A modification of the method of combinatorial truncation in optimization problems over vertex-located sets O. A. YemetsYe. M. Yemets OriginalPaper 08 October 2009 Pages: 785 - 791
Solving control problems over impulse and Heaviside classes of control functions K. R. Aida-zade OriginalPaper 08 October 2009 Pages: 792 - 799
Approximation theorems for operator exponential and cosine functions N. V. MaikoV. L. Ryabichev OriginalPaper 08 October 2009 Pages: 800 - 807
Algorithm to solve a discrete minimax problem of the arrangement of physical field sources S. I. YaremchukP. V. BurdaS. S. Matuschenko OriginalPaper 08 October 2009 Pages: 808 - 817
Modeling a generalized ecological–economic input–output balance with delay M. V. BoichukN. M. Shmurygina OriginalPaper 08 October 2009 Pages: 818 - 828
Fluctuations of a stochastic approximation procedure with diffusion perturbation S. A. Semenyuk OriginalPaper 08 October 2009 Pages: 829 - 834
Optimization of a logic circuit implementing a Moore automaton in CPLD basis A. A. BarkalovL. A. TitarenkoS. A. Tsololo New Means of Cybernetics, Informatics, Computer Engineering, and System Analysis 08 October 2009 Pages: 835 - 841
To the article “Absence Seizures as Resetting Mechanisms of Brain Dynamics” by S. P. Nair, P. I. Jukkola, M. Quigley, A. Wilberger, D. S. Shiao, J. C. Sackellares, P. M. Pardalos, and K. M. Kelly, Vol. 44, No. 5, pp. 664–672, September–October, 2008. S. P. NairP. I. JukkolaK. M. Kelly Erratum 10 October 2009 Pages: 842 - 842