Year: 2014
Issue: 2 (193)
9021
158635
Publication schedule
  • №4 December 2025
  • №1 March 2026
    Submission deadline: 27 February 2026
  • №2 June 2026
    Submission deadline: 29 May 2026
  • №3 September 2026
    Submission deadline: 31 August 2026

Review of natural computing: important trends

Intelligent Technology
  • 681
  • 8605
  • Pages: 9-22

Estimating a human foot size from images

Intelligent Technology
  • 556
  • 8117
  • Pages: 23-30

Adaptive safety mechanisms for computer systems based on the modified Kohonen neural networks

Infocommunication Technologies
  • 602
  • 8549
  • Pages: 31-38

Estimation of error probability in a channel based on the recurrent properties of convolutional codes

Information and Signal Processing
  • 576
  • 8519
  • Pages: 39-44

Improving BER performance for coherent detection of nonorthogonal multifrequency signals

Information and Signal Processing
  • 863
  • 9408
  • Pages: 45-54

Varactor diode model used to design wideband microwave voltage-controlled oscillators

Electronics, Antennas, RF-circuits
  • 688
  • 8694
  • Pages: 55-60

Location detection of glaze ice on overhead electric power lines. Part 1. Methods of glaze ice detection

Electronics, Antennas, RF-circuits
  • 949
  • 9032
  • Pages: 61-73

Location detection of glaze ice on overhead electric power lines. Part 2. Noise-limited sensitivity and operation threshold setting in detecting ice accretion by location probing

Electronics, Antennas, RF-circuits
  • 308
  • 8263
  • Pages: 74-84

Synthesis of signals with a given harmonic coefficient

Electronics, Antennas, RF-circuits
  • 381
  • 7872
  • Pages: 85-90

Multiobjective parameter optimization of digital controllers with regard to the influence of nonlinearities and external disturbances

System Analysis and Control
  • 343
  • 8491
  • Pages: 91-98

Fault recovery in redundant multiagent systems

Computer Systems and Software
  • 259
  • 8148
  • Pages: 99-109

Ontology of software building, execution and environment configuration and its application in software deployment in computing clouds

Computer Systems and Software
  • 351
  • 8622
  • Pages: 110-125

Conference «Tools & Methods of Program Analysis — 2013»

Conference «Tools & Methods of Program Analysis — 2013»
  • 1
  • 7627
  • Pages: 129-129

Verifying correctness of hdl-model behavior on the basis of dynamical trace matching

Conference «Tools & Methods of Program Analysis — 2013»
  • 330
  • 8030
  • Pages: 130-142

Particular qualities of testing tools used in industrial operation of trading systems

Conference «Tools & Methods of Program Analysis — 2013»
  • 280
  • 7936
  • Pages: 143-152

Using of exchange simulators and test exchanges as tools to test Ticker Plant systems

Conference «Tools & Methods of Program Analysis — 2013»
  • 288
  • 7682
  • Pages: 153-168

UPPAAL-based verification of software-defined networks

Conference «Tools & Methods of Program Analysis — 2013»
  • 465
  • 8424
  • Pages: 169-179

Conformance testing automation for transport layer security protocol TLS

Conference «Tools & Methods of Program Analysis — 2013»
  • 353
  • 8094
  • Pages: 180-188

Dynamic verification of hybrid systems

Conference «Tools & Methods of Program Analysis — 2013»
  • 746
  • 8522
  • Pages: 189-203