![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Automatic Control and Computer Sciences, Volume 45
Volume 45, Number 1, February 2011
- S. S. Yakovlev, Arkady N. Borisov:
Goal seeking in the problem of folding RNA tertiary structures. 1-10 - Ali 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 - Aldis Baums, Andris Gordyushin:
Physical model for solving problems of cost-effective mobile robot development. 39-46 - Karlis Kruminsh, V. Petersons, V. Plotsinsh:
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
- Aivars Lorencs, Ints Mednieks
, Juris 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 - Tofig Kazimov
, Shafagat 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
- Alexander 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 - Kamil R. Aida-zade
, N. T. Alieva:
Study of one class of membership functions of fuzzy sets. 142-152 - Tamilla 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
- Alexander M. Andronov, Ilya B. Gertsbakh
, Yoseph 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
, Vladimir 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 - Dmitrii 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 - Aldis 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 - Samir 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 B. Burdonov, Alexander S. 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, Evgeny A. Cherkashin
:
On the calculus of positively constructed formulas for automated theorem proving. 402-407 - Alexander V. Klepinin, A. A. Melentyev:
Integration of semantic verifiers into Java language compilers. 408-412 - Valery A. Nepomniaschy, Igor S. Anureev
, M. M. Atuchin, Ilya 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 - Irina 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
, Ilya 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.