Volume 45, Number 1, February 2011

• 
  S. S. Yakovlev, Arkady N. Borisov: Goal seeking in the problem of folding RNA tertiary structures. 1-10
• 
  A. G. Nagiev, F. B. Imranov, G. A. Nagiev: A multi-lobe stereo phase portrait of a three-dimensional dynamic system and visualization of the control for objects with a multiplicity of stationary states. 11-19
• 
  Ya. N. Imamverdiev, S. A. Derakshande: Fuzzy OWA model for information security risk management. 20-28
• 
  A. R. Eremina: Invariance of the stationary state distribution for mass service networks with multi-regime strategies, different demands, and a "generalized processor sharing" discipline. 29-38
• 
  A. Baums, A. Gordyushin: Physical model for solving problems of cost-effective mobile robot development. 39-46
• 
  K. Krumins, V. Petersons, V. Plotsins: Experimental investigation of noise suppression using the modified up-and-down method. 47-52
• 
  V. P. Chapenko: An algorithmic method for increasing ADC fault resilience. 53-59

Volume 45, Number 2, April 2011

• 
  A. Lorencs, I. Mednieks, J. Sinica-Sinavskis: Design problems of tree species classifiers for multispectral images. 61-69
• 
  V. P. Suprun: Single-level schematic realization of basic operations of modular arithmetic in unitary codes. 70-79
• 
  V. A. Smagin: Solution of the problem concerning a conditional extremum under fuzzy constraints. 80-85
• 
  Manfred Schneps-Schneppe, Janis Sedols: Application of Erlang's formula for non-Poisson flows. 86-93
• 
  Pavel Osipov, Arkady N. Borisov: Abnormal action detection based on Markov models. 94-105
• 
  T. G. Kyazimov, Sh. Dzh. Mahmudova: The effectiveness increase of a system of automatic biometrical identification based on photo portraits. 106-112
• 
  J. Jesús Medel Juárez, Juan Carlos García Infante, Juan Carlos Sánchez-García: Fuzzy digital filter type III. 113-121

Volume 45, Number 3, June 2011

• 
  A. M. Andronov: Markov-modulated birth-death processes. 123-132
• 
  S. V. Yarmolik, V. N. Yarmolik: The synthesis of probability tests with a small number of kits. 133-141
• 
  K. R. Aida-Zade, N. T. Alieva: Study of one class of membership functions of fuzzy sets. 142-152
• 
  T. I. Nasirova, A. M. Gasanova: Numerical characterization of the first major overhaul of a compressor unit. 153-161
• 
  A. S. Rybakov, V. Yu. Vedin: Precise measurement of event flow time coordinates based on the digital processing of a triggered relaxation oscillator wave train. 162-173
• 
  N. M. Ivanov: Adaptive processing of a set of weak signals against a background of intense interference. 174-180

Volume 45, Number 4, August 2011

• 
  A. M. Andronov, I. B. Gertsbakh, Y. Shpungin: On an application of signatures (D-spectra) to analysis of single-line queueing system. 181-191
• 
  Y. A. Sharifov: Classical necessary optimality conditions in discrete optimal control problems with nonlocal conditions. 192-200
• 
  V. N. Boicov: Probability distribution functions for servicing two types of requests. 201-205
• 
  Dmitry Ya. Novikov, Liudmila D. Cheremisinova: Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability. 206-217
• 
  Modris Greitans, V. N. Aristov, Evalds Hermanis: Amplitude-frequency band control for oscilloscopes and signal converters. 218-222
• 
  A. Yu. Perevaryukha: Hybrid model of bioresourses' dynamics: Equilibrium, cycle, and transitional chaos. 223-232
• 
  D. V. Speranskii: On diagnostic information compression. 233-239

Volume 45, Number 5, October 2011

• 
  Alexander N. Sychev: Logic neuron model using walsh spectral representations. 241-258
• 
  P. N. Bibilo, P. V. Leonczyk: The use of binary decision diagrams for the decomposition of programmable logic arrays. 259-267
• 
  Vladimir A. Bogatyrev: Exchange of duplicated computing complexes in fault-tolerant systems. 268-276
• 
  K. Krumin'sh, V. Plotsin'sh: Dynamic ranges of discrete stroboscopic methods. 277-283
• 
  Vadim Bistrov: Study of the characteristics of random errors in measurements by MEMS inertial sensors. 284-292
• 
  Andrei Baranovskii: Computer simulation and experimental investigations of noise levels and spectra for railway transport. 293-300

Volume 45, Number 6, December 2011

• 
  A. S. Rybakov: Improvement of the accuracy of the time position estimation of the gravity center of an analog signal on the basis of discrete samples. 301-313
• 
  E. Beiner, K. Krumin'sh: Research of dynamics of a gated balanced comparator. 314-321
• 
  A. Baums: Mini-max method for optimization of energy consumption in real-time systems with a lot of processing elements. 322-329
• 
  Vladimir A. Bogatyrev: Fault tolerance of clusters configurations with direct connection of storage devices. 330-337
• 
  S. Z. Kuliev: Synthesis of zonal controls of nonlinear systems under discrete observations. 338-345
• 
  V. V. Ushakov, N. A. Sidenko, G. Filipsons: Computer analysis of the aerodynamics and heat exchange of a cylinder in a viscous oscillating flow. 346-360
• 
  Yu. A. Chizhov, Arkady N. Borisov: Markov decision process in the problem of dynamic pricing policy. 361-371

Volume 45, Number 7, December 2011

• 
  A. V. Bataev, A. A. Davydov, N. Yu. Nalutin, S. V. Sinitsyn: Test data generation based on a formal analysis of the project configuration data. 373-379
• 
  Igor Burdonov, Alexander Kosachev: Safe simulation testing of systems with refusals and destructions. 380-389
• 
  Mars K. Valiev, Michael I. Dekhtyar: Complexity of verification of nondeterministic probabilistic multiagent systems. 390-396
• 
  Natalya Olegovna Garanina: Model checking of distributed systems with affine data structures. 397-401
• 
  A. V. Davydov, A. A. Larionov, E. A. Cherkashin: On the calculus of positively constructed formulas for automated theorem proving. 402-407
• 
  A. V. Klepinin, A. A. Melentyev: Integration of semantic verifiers into Java language compilers. 408-412
• 
  V. A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, Alexey V. Promsky: C program verification in SPECTRUM multilanguage system. 413-420
• 
  Vladimir I. Shelekhov: Verification and synthesis of addition programs under the rules of correctness of statements. 421-427
• 
  Nikolay V. Shilov: F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers. 428-436
• 
  I. V. Shoshmina: Distributed embedded control system design with verification support. 437-443
• 
  E. V. Kuzmin, D. Ju. Chalyy: On the reachability set of automaton counter machines. 444-451
• 
  A. V. Zykina, N. V. Melen'chuk: A doublestep extragradient method for solving a problem of the management of resources. 452-459
• 
  M. G. Dorrer: Algorithm for transforming models of business processes into monochrome Petri nets. 460-468
• 
  E. V. Kuzmin, D. Ju. Chalyy: On languages of automaton counter machines. 469-484
• 
  Igor S. Anureev, I. V. Maryasov, Valery A. Nepomniaschy: C-programs verification based on mixed axiomatic semantics. 485-500
• 
  A. M. Tsirlin: Mathematical models of economic systems with account for the irreversibility of the processes proceeding in them. 501-520

last updated on Thu May 23 03:51:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page