1. Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form

   • L. D. Cheremisinova
   • D. Ya. Novikov

   OriginalPaper 23 March 2010 Pages: 1 - 10

2. Reconstruction of the corrective component of the transfer function of the interpolator in the process of calibration of the precision event timer

   • A. S. Rybakov

   OriginalPaper 23 March 2010 Pages: 11 - 21

3. Teletraffic problems in the contact center industry

   • M. A. Shneps-Shneppe
   • J. Sedols

   OriginalPaper 23 March 2010 Pages: 22 - 30

4. Simulation of wireless cellular networks with impatient calls

   • A. Z. Melikov
   • M. I. Fattakhova

   OriginalPaper 23 March 2010 Pages: 31 - 41

5. Optimal dispatching of the flows falling in the same priority class

   • M. Kulikovs
   • E. Petersons

   OriginalPaper 23 March 2010 Pages: 42 - 46

6. Stabilization of nonlinear systems on the basis of the method of the Lyapunov function with the nonlinearity and disturbance estimation

   • G. A. Rustamov
   • S. G. Gardashov
   • R. G. Rustamov

   OriginalPaper 23 March 2010 Pages: 47 - 52

7. Fuzzy logic approach applied to the surge detection and isolation in centrifugal compressor

   • A. Hafaifa
   • F. Laaouad
   • K. Laroussi

   OriginalPaper 23 March 2010 Pages: 53 - 59