| Issue |
Title |
File |
| Vol 51, No 7 (2017) |
Two-Wave Interactions in the Fermi–Pasta–Ulam Model |
(Eng)
|
|
Glyzin S.D., Kashchenko S.A., Tolbey A.O.
|
| Vol 51, No 7 (2017) |
Analytical Solutions for Nonlinear Convection–Diffusion Equations with Nonlinear Sources |
(Eng)
|
|
Kudryashov N.A., Sinelshchikov D.I.
|
| Vol 51, No 7 (2017) |
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines |
(Eng)
|
|
Ermakov A.D., Yevtushenko N.V.
|
| Vol 51, No 7 (2017) |
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II |
(Eng)
|
|
Gromov M.L., Shabaldina N.V.
|
| Vol 51, No 7 (2017) |
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution |
(Eng)
|
|
Garanina N.O., Sidorova E.A.
|
| Vol 51, No 7 (2017) |
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation |
(Eng)
|
|
Vizovitin N.V., Nepomniaschy V.A., Stenenko A.A.
|
| Vol 51, No 7 (2017) |
Analysis of Real-Time Applications Feasibility through Simulation |
(Eng)
|
|
Baranov S.N., Nikiforov V.V.
|
| Vol 51, No 7 (2017) |
On the Minimization of Finite State Transducers over Semigroups |
(Eng)
|
|
Zakharov V.A., Temerbekova G.G.
|
| Vol 51, No 7 (2017) |
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE |
(Eng)
|
|
Kouchnarenko O., Weber J.
|
| Vol 51, No 7 (2017) |
Formalism and Language Tools for Specification of the Semantics of Software Libraries |
(Eng)
|
|
Itsykson V.M.
|
| Vol 51, No 7 (2017) |
Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems |
(Eng)
|
|
Volkanov D.Y.
|
| Vol 51, No 7 (2017) |
On Optimization and Parallelization of the Little Algorithm for Solving the Travelling Salesman Problem |
(Eng)
|
|
Vasilchikov V.V.
|
| Vol 51, No 7 (2017) |
Numerical Simulation of Adiabatic Shear-Band Formation in Composites |
(Eng)
|
|
Kudryashov N.A., Muratov R.V., Ryabov P.N.
|
| Vol 51, No 7 (2017) |
Asymptotics, Stability, and Region of Attraction of Periodic Solution to a Singularly Perturbed Parabolic Problem with Double Root of a Degenerate Equation |
(Eng)
|
|
Butuzov V.F., Nefedov N.N., Recke L., Schneider K.R.
|
| Vol 51, No 7 (2017) |
Asymptotic Expansions of Eigenvalues of the First Boundary-Value Problem for Singularly Perturbed Second-Order Differential Equation with Turning Points |
(Eng)
|
|
Kashchenko S.A.
|
| Vol 51, No 7 (2017) |
Expansion of Self-Similar Functions in the Faber–Schauder System |
(Eng)
|
|
Timofeev E.A.
|
| Vol 51, No 7 (2017) |
Polyhedral Characteristics of Balanced and Unbalanced Bipartite Subgraph Problems |
(Eng)
|
|
Bondarenko V.A., Nikolaev A.V., Shovgenov D.A.
|
| Vol 51, No 7 (2017) |
Construction of CFC-Programs by LTL-Specification |
(Eng)
|
|
Ryabukhin D.A., Kuzmin E.V., Sokolov V.A.
|
| Vol 51, No 7 (2017) |
Network Model for the Problem of Integer Balancing of a Four-Dimensional Matrix |
(Eng)
|
|
Smirnov A.V.
|
| Vol 51, No 6 (2017) |
Exact gradient controllability with strategic actuators |
(Eng)
|
|
El Harraki I., Khazari A., Boutoulout A.
|
| Vol 51, No 6 (2017) |
Diagnostic Neuro-Fuzzy System and Its Learning in Medical Data Mining Tasks in Conditions of Uncertainty about Numbers of Attributes and Diagnoses |
(Eng)
|
|
Pliss I., Perova I.
|
| Vol 51, No 6 (2017) |
Algorithms for planning Resource-Intensive computing tasks in a hybrid supercomputer environment for simulating the characteristics of a quantum rotation sensor and performing engineering calculations |
(Eng)
|
|
Ilyashenko A.S., Lukashin A.A., Zaborovsky V.S., Lukashin A.A.
|
| Vol 51, No 6 (2017) |
Pressure regulation inside a hypersonic wind tunnel using H-infinity optimization control |
(Eng)
|
|
Rajani S.H., Krishna B.M., Nair U.
|
| Vol 51, No 6 (2017) |
Response to CBRNE and human-caused accidents by using land and air robots |
(Eng)
|
|
Baums A.
|
| Vol 51, No 6 (2017) |
Implementation and operation aspects of a system for detecting abnormally level of user activity |
(Eng)
|
|
Osipov P.A., Aleksejeva L.Y., Borisov A.N., Chizhov Y.A., Zmanovska T.P., Zabiniako V.M.
|
| 301 - 325 of 463 Items |
<< < 8 9 10 11 12 13 14 15 16 17 > >>
|
