• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 103 matches

• 2015
• 
  Marat Kh. Akhin, Sam Kolton, Vladimir M. Itsykson:
  Random model sampling: Making craig interpolation work when it should not. Autom. Control. Comput. Sci. 49(7): 413-419 (2015)
• 
  Elena B. Aleksandrova, E. A. Kuznetsova:
  Organization of revocation for lattice-based group signature scheme. Autom. Control. Comput. Sci. 49(8): 770-777 (2015)
• 
  Taufik Izmailovich Aliev, Marina I. Rebezova, A. A. Russ:
  Statistical methods for monitoring travel agencies in the settlement system. Autom. Control. Comput. Sci. 49(6): 321-327 (2015)
• 
  Alexander M. Andronov, Tatjana Jurkina:
  Reliability of supply chains in a random environment. Autom. Control. Comput. Sci. 49(6): 340-346 (2015)
• 
  V. Yu. Aranov, Vladimir S. Zaborovsky:
  Method of security against computer attacks based on an analysis of executable machine code. Autom. Control. Comput. Sci. 49(8): 705-708 (2015)
• 
  Elias Azarov, Maxim Vashkevich, Alexander A. Petrovsky:
  Estimation of the instantaneous signal parameters using a modified Prony's method. Autom. Control. Comput. Sci. 49(2): 110-121 (2015)
• 
  Nikolay A. Balonin, Anton A. Vostrikov, Michael Borisovich Sergeev:
  On two predictors of calculable chains of quasi-orthogonal matrices. Autom. Control. Comput. Sci. 49(3): 153-158 (2015)
• 
  A. P. Baranov:
  Efficiency comparison of optimum and adaptive methods for multichannel signal filtering. Autom. Control. Comput. Sci. 49(8): 615-621 (2015)
• 
  P. A. Baranov:
  Using risk-oriented approaches to solve information security problems. Autom. Control. Comput. Sci. 49(8): 643-647 (2015)
• 
  A. P. Baranov:
  Using adaptive filtering of signals for estimation of the Mahalanobis distance. Autom. Control. Comput. Sci. 49(8): 778-784 (2015)
• 
  Aldis Baums, Andris Gordyushin:
  An evaluation of the motion of a reconfigurable mobile robot over a rough terrain. Autom. Control. Comput. Sci. 49(4): 199-207 (2015)
• 
  P. N. Bibilo:
  Construction of tests for providing elevated energy consumption for a combinatorial circuit of library elements. Autom. Control. Comput. Sci. 49(4): 189-198 (2015)
• 
  D. N. Biryukov, A. G. Lomako, T. R. Sabirov:
  Multilevel modeling of preemptive scenarios. Autom. Control. Comput. Sci. 49(8): 709-712 (2015)
• 
  Yevgeniy V. Bodyanskiy, Oleksii K. Tyshchenko, Anastasiia O. Deineko:
  An evolving radial basis neural network with adaptive learning of its parameters and architecture. Autom. Control. Comput. Sci. 49(5): 255-260 (2015)
• 
  Vladimir A. Bogatyrev, A. V. Bogatyrev:
  Functional reliability of a real-time redundant computational process in cluster architecture systems. Autom. Control. Comput. Sci. 49(1): 46-56 (2015)
• 
  Vladimir A. Bondarenko, Andrei V. Nikolaev:
  On fractional faces of the metric polytope. Autom. Control. Comput. Sci. 49(7): 608-614 (2015)
• 
  Valentin F. Butuzov:
  Singularly perturbed boundary value problem with multizonal interior transitional layer. Autom. Control. Comput. Sci. 49(7): 493-507 (2015)
• 
  Andrey Chechulin, Igor V. Kotenko:
  Attack tree-based approach for real-time security event processing. Autom. Control. Comput. Sci. 49(8): 701-704 (2015)
• 
  Evgeny V. Chemeritskiy, Vladimir A. Zakharov:
  On network update problems for software defined networks. Autom. Control. Comput. Sci. 49(7): 437-444 (2015)
• 
  Liudmila D. Cheremisinova:
  Area minimization of regular structures based on solving logical equations. Autom. Control. Comput. Sci. 49(4): 208-215 (2015)
• 
  Sergey A. Chernenok, Valery A. Nepomniaschy:
  Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets. Autom. Control. Comput. Sci. 49(7): 484-492 (2015)
• 
  A. Yu. Chernov, Artem S. Konoplev:
  The use of virtualization technology in the dynamic analysis of software code. Autom. Control. Comput. Sci. 49(8): 834-837 (2015)
• 
  Nikolay I. Chervyakov, Amir Sabbagh Molahosseini, Pavel Alekseevich Lyakhov, Mikhail G. Babenko, Irina N. Lavrinenko, Anton V. Lavrinenko:
  Comparison of modular numbers based on the chinese remainder theorem with fractional values. Autom. Control. Comput. Sci. 49(6): 354-365 (2015)
• 
  V. A. Desnitskii, Igor V. Kotenko:
  Design and verification of protected systems with integrated devices based on expert knowledge. Autom. Control. Comput. Sci. 49(8): 648-652 (2015)
• 
  Vladimir V. Dombrovskii, Valery I. Smagin:
  Synthesis of the optimal H2/H∝ output controller with structural constraints. Autom. Control. Comput. Sci. 49(3): 133-138 (2015)
• 
  Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko:
  Approach to behavior scenarios debugging. Autom. Control. Comput. Sci. 49(7): 430-436 (2015)
• 
  Alexander N. Dudin, Olga S. Dudina:
  Analysis of the MAP/PH/1 service system with repeat calls and energy audit. Autom. Control. Comput. Sci. 49(5): 277-285 (2015)
• 
  Anna Epishkina, Konstantin Kogos:
  Study of countermeasures against covert channels in IP networks. Autom. Control. Comput. Sci. 49(8): 785-789 (2015)
• 
  Michael A. Eremeev, I. E. Gorbachev:
  On using the stochastic superindicator for information security evaluation in automated systems. Autom. Control. Comput. Sci. 49(8): 653-658 (2015)
• 
  Mikhail A. Fedotkin, Andrei M. Fedotkin, E. V. Kudryavtsev:
  Nonlocal description of the time characteristic for input flows by means of observations. Autom. Control. Comput. Sci. 49(1): 29-36 (2015)

skipping 73 more matches