Semantics-Driven Migration of Java Programs: A Practical Application A. O. AleksyukV. M. Itsykson OriginalPaper 04 March 2019 Pages: 581 - 588
Deriving Synchronizing and Homing Sequences for Input/Output Automata N. G. KushikN. V. YevtushenkoA. S. Kossatchev OriginalPaper 04 March 2019 Pages: 589 - 595
Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures T. R. Shmeleva OriginalPaper 04 March 2019 Pages: 596 - 604
Semantic Security Tools in Software-Defined Networks E. Ju. AntoshinaD. Ju. Chalyy OriginalPaper 04 March 2019 Pages: 605 - 607
Deduplication in the Backup System with Information Storage in a Database S. M. Taranin OriginalPaper 04 March 2019 Pages: 608 - 614
Investigation of a Markov Model for Computer System Security Threats A. A. MagazevV. F. Tsyrulnik OriginalPaper 04 March 2019 Pages: 615 - 624
The Shortest Path Problem for a Multiple Graph A. V. Smirnov OriginalPaper 04 March 2019 Pages: 625 - 633
Clarification of the Properties of a Tree Centroid Y. A. BelovS. I. Vovchok OriginalPaper 04 March 2019 Pages: 634 - 637
Analysis of Typed Inclusion Dependences with Null Values V. S. ZykinS. V. Zykin OriginalPaper 04 March 2019 Pages: 638 - 646
Decoding the Tensor Product of MLD Codes and Applications for Code Cryptosystems V. M. DeundyakY. V. KosolapovE. A. Lelyuk OriginalPaper 04 March 2019 Pages: 647 - 657
Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy-Current Defectograms E. V. KuzminO. E. GorbunovV. A. Tyukin OriginalPaper 04 March 2019 Pages: 658 - 666
On n-Dimensional Simplices Satisfying Inclusions \(S \subset {{[0,1]}^{n}} \subset nS\) M. V. NevskiiA. Yu. Ukhalov OriginalPaper 04 March 2019 Pages: 667 - 679
On Minimal Absorption Index for an n-Dimensional Simplex M. V. NevskiiA. Yu. Ukhalov OriginalPaper 04 March 2019 Pages: 680 - 687
Invariant Characteristics of Forced Oscillations of Beams with Longitudinal Compression S. D. GlyzinM. V. LokhaninD. M. Sirotin OriginalPaper 04 March 2019 Pages: 688 - 693
The Andronov–Hopf Bifurcation in a Biophysical Model of the Belousov Reaction V. E. Goryunov OriginalPaper 04 March 2019 Pages: 694 - 699
Local Dynamics of a Model of an Opto-Electronic Oscillator with Delay E. V. GrigorievaS. A. KashchenkoD. V. Glazkov OriginalPaper 04 March 2019 Pages: 700 - 707
The Kuramoto–Sivashinsky Equation. A Local Attractor Filled with Unstable Periodic Solutions A. N. KulikovD. A. Kulikov OriginalPaper 04 March 2019 Pages: 708 - 713
Asymptotic Expansions of Eigenvalues of Periodic and Antiperiodic Boundary Value Problems for Singularly Perturbed Second-Order Differential Equation with Turning Points S. A. Kashchenko OriginalPaper 04 March 2019 Pages: 728 - 744
Contrast Structures with a Multizone Internal Layer V. F. Butuzov OriginalPaper 04 March 2019 Pages: 745 - 761
Difference Approximations of a Reaction–Diffusion Equation on Segments S. D. Glyzin OriginalPaper 04 March 2019 Pages: 762 - 776
The Impulse-Refractive Mode in a Neural Network with Ring Synaptic Interaction M. M. Preobrazhenskaia OriginalPaper 04 March 2019 Pages: 777 - 789
Spatially Inhomogeneous Periodic Solutions in a Distributed Hutchinson’s Equation D. S. GlyzinS. A. KaschenkoA. S. Polstyanov OriginalPaper 04 March 2019 Pages: 790 - 796
Asymptotical Distributions of Eigenvalues of Periodic and Antiperiodic Boundary Value Problems for Second-Order Differential Equations S. A. Kashchenko OriginalPaper 04 March 2019 Pages: 797 - 809
On а Recursive-Parallel Algorithm for Solving the Knapsack Problem V. V. Vasilchikov OriginalPaper 04 March 2019 Pages: 810 - 816
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks A. B. GloninaV. V. Balashov OriginalPaper 04 March 2019 Pages: 817 - 827
On Optimal Interpolation by Linear Functions on n-Dimensional Cube M. V. NevskiiA. Yu. Ukhalov OriginalPaper 04 March 2019 Pages: 828 - 842
Loop-invariant Optimization in the Pifagor Language V. S. VasilevA. I. Legalov OriginalPaper 04 March 2019 Pages: 843 - 849
Verification of Programs with Mutual Recursion in Pifagor Language M. S. UshakovaA. I. Legalov OriginalPaper 04 March 2019 Pages: 850 - 866
An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms E. V. KuzminO. E. GorbunovV. A. Tyukin OriginalPaper 04 March 2019 Pages: 867 - 870
The Spanning Tree of a Divisible Multiple Graph A. V. Smirnov OriginalPaper 04 March 2019 Pages: 871 - 879
On Some Approaches to the Solution of the “Useful Proof-of-Work for Blockchains” Task V. G. DurnevD. M. MurinD. Ju. Chalyy OriginalPaper 04 March 2019 Pages: 880 - 884
Complicated Dynamic Regimes in a Neural Network of Three Oscillators with a Delayed Broadcast Connection S. D. GlyzinE. A. Marushkina OriginalPaper 04 March 2019 Pages: 885 - 893
Equivalence of Conventional and Modified Network of Generalized Neural Elements E. V. Konovalov OriginalPaper 04 March 2019 Pages: 894 - 900