| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Modelirovanie i Analiz Informatsionnykh Sistem // Archive |
|
2020, Volume 27, Number 3
|
| Theory of computing | |||
|
Efficient equivalence checking technique for some classes of finite-state machines V. A. Zakharov |
260 | |
|
|
On the existence problem of finite bases of identities in the algebras of recursive functions V. A. Sokolov |
304 | |
| Computing methodologies and applications | |||
|
|
Application of convolutional neural networks for recognizing long structural elements of rails in eddy-current defectograms E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin |
316 | |
| Theory of data | |||
|
|
Automated search and analysis of the stylometric features that describe the style of the prose 19th-21st centuries K. V. Lagutina, A. M. Manakhova |
330 | |
| Computer system organization | |||
|
|
Features of the algorithmic implementation of difference analogues of the logistic equation with delay S. D. Glyzin, S. A. Kaschenko, A. O. Tolbey |
344 | |
| Discrete mathematics in relation to computer science | |||
|
|
A generalization of the inference rules for join dependencies in databases S. V. Zykin |
356 | |