| Шығарылым |
Атауы |
Файл |
| Том 51, № 7 (2017) |
Two-Wave Interactions in the Fermi–Pasta–Ulam Model |
(Eng)
|
|
Glyzin S., Kashchenko S., Tolbey A.
|
| Том 51, № 7 (2017) |
Analytical Solutions for Nonlinear Convection–Diffusion Equations with Nonlinear Sources |
(Eng)
|
|
Kudryashov N., Sinelshchikov D.
|
| Том 51, № 7 (2017) |
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines |
(Eng)
|
|
Ermakov A., Yevtushenko N.
|
| Том 51, № 7 (2017) |
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II |
(Eng)
|
|
Gromov M., Shabaldina N.
|
| Том 51, № 7 (2017) |
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution |
(Eng)
|
|
Garanina N., Sidorova E.
|
| Том 51, № 7 (2017) |
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation |
(Eng)
|
|
Vizovitin N., Nepomniaschy V., Stenenko A.
|
| Том 51, № 7 (2017) |
Analysis of Real-Time Applications Feasibility through Simulation |
(Eng)
|
|
Baranov S., Nikiforov V.
|
| Том 51, № 7 (2017) |
On the Minimization of Finite State Transducers over Semigroups |
(Eng)
|
|
Zakharov V., Temerbekova G.
|
| Том 51, № 7 (2017) |
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE |
(Eng)
|
|
Kouchnarenko O., Weber J.
|
| Том 51, № 7 (2017) |
Formalism and Language Tools for Specification of the Semantics of Software Libraries |
(Eng)
|
|
Itsykson V.
|
| Том 51, № 7 (2017) |
Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems |
(Eng)
|
|
Volkanov D.
|
| Том 51, № 7 (2017) |
On Optimization and Parallelization of the Little Algorithm for Solving the Travelling Salesman Problem |
(Eng)
|
|
Vasilchikov V.
|
| Том 51, № 7 (2017) |
Numerical Simulation of Adiabatic Shear-Band Formation in Composites |
(Eng)
|
|
Kudryashov N., Muratov R., Ryabov P.
|
| Том 51, № 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., Nefedov N., Recke L., Schneider K.
|
| Том 51, № 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.
|
| Том 51, № 7 (2017) |
Expansion of Self-Similar Functions in the Faber–Schauder System |
(Eng)
|
|
Timofeev E.
|
| Том 51, № 7 (2017) |
Polyhedral Characteristics of Balanced and Unbalanced Bipartite Subgraph Problems |
(Eng)
|
|
Bondarenko V., Nikolaev A., Shovgenov D.
|
| Том 51, № 7 (2017) |
Construction of CFC-Programs by LTL-Specification |
(Eng)
|
|
Ryabukhin D., Kuzmin E., Sokolov V.
|
| Том 51, № 7 (2017) |
Network Model for the Problem of Integer Balancing of a Four-Dimensional Matrix |
(Eng)
|
|
Smirnov A.
|
| Том 51, № 6 (2017) |
Exact gradient controllability with strategic actuators |
(Eng)
|
|
El Harraki I., Khazari A., Boutoulout A.
|
| Том 51, № 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.
|
| Том 51, № 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., Lukashin A., Zaborovsky V., Lukashin A.
|
| Том 51, № 6 (2017) |
Pressure regulation inside a hypersonic wind tunnel using H-infinity optimization control |
(Eng)
|
|
Rajani S., Krishna B., Nair U.
|
| Том 51, № 6 (2017) |
Response to CBRNE and human-caused accidents by using land and air robots |
(Eng)
|
|
Baums A.
|
| Том 51, № 6 (2017) |
Implementation and operation aspects of a system for detecting abnormally level of user activity |
(Eng)
|
|
Osipov P., Aleksejeva L., Borisov A., Chizhov Y., Zmanovska T., Zabiniako V.
|
| Нәтижелер 463 - 301/325 |
<< < 8 9 10 11 12 13 14 15 16 17 > >>
|
