The 742 records in series spz:neicon:mais.

  1. В. Непомнящий А., В. Соколов А. (2018) “От редакторов специального выпуска” / spz:neicon:mais:770
  2. I. Anureev S., Игорь Ануреев Сергеевич (2018) “Типовые примеры использования языка Atoment // Typical Examples of Atoment Language Using” / spz:neicon:mais:771
  3. M. Atuchin M., I. Anureev S., Михаил Атучин Михайлович, Игорь Ануреев Сергеевич (2018) “Атрибутные аннотации и их применение в дедуктивной верификации C-программ // Attribute Annotations and Their Use in C Program Deductive Verification” / spz:neicon:mais:772
  4. V. Bashkin A., Владимир Башкин Анатольевич (2018) “Построение приближений бисимуляции в односчетчиковых сетях // Approximating Bisimulation in One-counter Nets” / spz:neicon:mais:773
  5. M. Belyaev A., V. Tsesko A., Михаил Беляев Анатольевич, Вадим Цесько Александрович (2018) “Статический анализ с использованием систем типов и эффектов на основе LLVM // LLVM-based Static Analysis Tool Using Type and Effect Systems” / spz:neicon:mais:774
  6. N. Garanina O., Наталья Гаранина Олеговна (2018) “Оптимизационные процедуры в аффинной проверке моделей // Optimization Procedures in Affine Model Checking” / spz:neicon:mais:775
  7. M. Glukhikh I., V. Itsykson M., V. Tsesko A., Михаил Глухих Игоревич, Владимир Ицыксон Михайлович, Вадим Цесько Александрович (2018) “Использование зависимостей для повышения точности статического анализа программ // The Use of Dependencies for Improving the Precision of Program Static Analysis” / spz:neicon:mais:776
  8. D. Zaitsev A., Дмитрий Зайцев Анатольевич (2018) “Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова // Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm” / spz:neicon:mais:777
  9. A. Zakharov V., M. Moiseev J., Алексей Захаров Владимирович, Михаил Моисеев Юрьевич (2018) “Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC // Automatic Data Race Error Detection in SystemC Models” / spz:neicon:mais:778
  10. And. Klimov V., Андрей Климов Валентинович (2018) “Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем // A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems” / spz:neicon:mais:779
  11. S. Baranov N., V. Kotlyarov P., Сергей Баранов Николаевич, Всеволод Котляров Павлович (2018) “Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов // A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation” / spz:neicon:mais:780
  12. N. Kushik G., A. Mammar ., A. Cavalli ., N. Yevtushenko V., W. Jimenez ., E. Montes De Oca ., Наталья Кушик Геннадьевна, Амель Маммар, Ана Кавалли, Нина Евтушенко Владимировна, Вилли Джиминез, Эдгардо Монте Де Ока (2018) “Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN // A SPIN-based Approach for Detecting Vulnerabilities in C Programs” / spz:neicon:mais:781
  13. D. Beloglazov M., M. Mashukov Yu., V. Nepomniaschy A., Дмитрий Белоглазов Михайлович, Михаил Машуков Юрьевич, Валерий Непомнящий Александрович (2018) “Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенныхсетей Петри // Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets” / spz:neicon:mais:782
  14. A. Promsky V., Алексей Промский Владимирович (2018) “Верификация Си-программ: объяснение условий корректности и стандартная библиотека // C Program Verification: VC Explanation and the Standard Library” / spz:neicon:mais:783
  15. N. Shilov V., Николай Шилов Вячеславович (2018) “Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ // Verification of Backtracking and Branch and Bound Design Templates” / spz:neicon:mais:784
  16. M. Nevskii V., Михаил Невский Викторович (2018) “О гипотезе Лассака для выпуклого тела // On the Lassak Conjecture for a Convex Body” / spz:neicon:mais:795
  17. S. Kaschenko A., Сергей Кащенко Александрович (2018) “Основные квазинормальные формы для двухкомпонентных систем параболических уравнений // Principal Quasinormal Forms for Two-Component Systems of Parabolic Equations” / spz:neicon:mais:796
  18. P. Nesterov N., Павел Нестеров Николаевич (2018) “Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами // On Asymptotics for Critical Solutions of Systems of Differential Equations with Oscillatory Decreasing Coefficients” / spz:neicon:mais:797
  19. I. Kashchenko S., Илья Кащенко Сергеевич (2018) “Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием // Local Dynamics of an Equation with Large Exponential Distributed Delay” / spz:neicon:mais:798
  20. A. Morozov N., Анатолий Морозов Николаевич (2018) “Об операторах дифференцирования и интегрирования // On Differential and Antidifferential Operators” / spz:neicon:mais:799
  21. A. Kashchenko A., Александра Кащенко Андреевна (2018) “Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией // Analysis of Running Waves Stability in the Ginzburg-Landau Equation with Small Diffusion” / spz:neicon:mais:800
  22. N. Demyankov A., Николай Демьянков Андреевич (2018) “О двух конечномерных аппроксимациях периодической краевой задачи // About Two Finite-Dimensional Approximations of the Periodic Boundary Value Problem” / spz:neicon:mais:801
  23. S. Amelkin A., O. Ivanova S., Сергей Амелькин Анатольевич, Ольга Иванова Сергеевна (2018) “Предельные возможности передачи информации в макросистемах // Limiting Possibilities of Transmission of Information in an Economic Macrosystem” / spz:neicon:mais:802
  24. A. Nikolaev V., Андрей Николаев Валерьевич (2018) “Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника // Hypergraphs of Special Type and CUT Polytope Relaxations Properties Analysis” / spz:neicon:mais:803
  25. A. Grigoriev M., E. Ivanko E., A. Chentsov G., Алексей Григорьев Михайлович, Евгений Иванко Евгеньевич, Александр Ченцов Георгиевич (2018) “Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры // Dynamic Programming in a Generalized Courier Problem with Inner Tasks: Elements of a Parallel Structure” / spz:neicon:mais:804
  26. V. Janvarev I., Владислав Январев Игоревич (2018) “Модульная модель мультимедийного документа и особенности ее программной реализации // Module-based Multimedia Document Model: Basic Principles and Software Architecture” / spz:neicon:mais:805
  27. S. Kuznetsov D., N. Mendkovich A., Сергей Кузнецов Дмитриевич, Никита Мендкович Андреевич (2018) “Оптимизация конъюнктов условий в составе запросов // Optimization of Queries Containing Conjunctions of Conditions” / spz:neicon:mais:806
  28. S. Polyakov V., Сергей Поляков Владимирович (2018) “О тензорных квадратах неприводимых представлений конечных почти простых групп. II // On Tensor Squares of Reducible Representations of Almost Simple Groups. II” / spz:neicon:mais:807
  29. G. Tarasov V., D. Kharitonov I., E. Golenkov A., Георгий Тарасов Витальевич, Дмитрий Харитонов Иванович, Евгений Голенков Александрович (2018) “Об одном представлении функции в модели императивной программы, заданной сетями Петри // On a Function Representation in an Imperative Program Model Specified by Petri Nets” / spz:neicon:mais:808
  30. V. Roublev S., Вадим Рублев Сергеевич (2018) “Организация выполнения объектных запросов в динамической информационной модели DIM // Object Query Computing Optimization in the Dynamic Information Model DIM” / spz:neicon:mais:809
  31. M. Nevskii V., Михаил Невский Викторович (2018) “О геометрических характеристиках n-мерного симплекса // On Geometric Characteristics of an n-Dimensional Simplex” / spz:neicon:mais:810
  32. O. Dunaeva A., Ольга Дунаева Александровна (2018) “Принципы построения слоистых нейронных сетей на основе импульсных нейронов // Principles of Constructing Layered Neural Networks Based on Pulse Neurons” / spz:neicon:mais:811
  33. A. Malkov N., G. Shtern P., I. Mikhaylov A., Алексей Малков Николаевич, Геннадий Штерн Павлович, Иван Михайлов Александрович (2018) “Разбиение железнодорожного состава на отдельные вагоны // The Decomposition of a Train into its Cars” / spz:neicon:mais:812
  34. E. Bodin V., N. Garanina O., N. Shilov V., Евгений Бодин Викторович, Наталья Гаранина Олеговна, Николай Шилов Вячеславович (2018) “Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) // Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)” / spz:neicon:mais:813
  35. A. Sivov A., Анатолий Сивов Александрович (2018) “Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. // ARTCP Packet Structure. Features of the Formation and Processing of ARTCP Headers in Linux Network Subsystem” / spz:neicon:mais:814
  36. P. Nesterov N., П. Нестеров Н. (2018) “Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов // Time scales and the asymptotics for the solutions of discrete adiabatic oscillators” / spz:neicon:mais:815
  37. S. Kaschenko A., С. Кащенко А. (2018) “Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием // Dynamics of a quasi-linear boundary problem generalizing the equation with large delay” / spz:neicon:mais:816
  38. I. Kashchenko S., И. Кащенко С. (2018) “Динамические свойства одной модели пассивного захвата мод // Dynamical properties of a model for the passive mode locking” / spz:neicon:mais:817
  39. D. Glyzin S., S. Kaschenko A., A. Polstyanov S., Д. Глызин С., С. Кащенко А., А. Полстьянов С. (2018) “Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением // Spatially inhomogeneous periodic solutions in the Hutchinson equation with distributed saturation” / spz:neicon:mais:818
  40. A. Koverga U., E. Kubyshkin P., А. Коверга Ю., Е. Кубышкин П. (2018) “Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием // Chaotic oscillations of a distributed system with infinite delay” / spz:neicon:mais:819
  41. A. Kulikov N., G. Pilipenko V., А. Куликов Н., Г. Пилипенко В. (2018) “Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа // Resonances in the problem of the panel flutter in a supersonic gas flow” / spz:neicon:mais:820
  42. E. Gorchakova V., Е. Горчакова В. (2018) “Динамика слабого взаимодействия в системе близких видов // Dynamics of weak interaction in a system of similar species” / spz:neicon:mais:821
  43. D. Glazkov V., Д. Глазков В. (2018) “Локальная динамика уравнения с сильно запаздывающей обратной связью // Local dynamics of an equation with long delay feedback” / spz:neicon:mais:822
  44. S. Glyzin D., E. Ovsyannikova O., С. Глызин Д., Е. Овсянникова О. (2018) “Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями // Quasi-periodic oscillations of a neuron equation with two delays” / spz:neicon:mais:823
  45. I. Paramonov V., И. Парамонов В. (2018) “Релаксационные циклы обобщённого уравнения импульсного нейрона // Relaxation cycles of the generalized pulsed neuron equation” / spz:neicon:mais:824
  46. A. Mayorov V., А. Майоров В. (2018) “Стратегия выполнения операций копирования и удаления в дереве объектов // A strategy for the execution of copy and delete operations in the tree of objects” / spz:neicon:mais:825
  47. S. Polyakov V., С. Поляков В. (2018) “О тензорных квадратах неприводимых представлений конечных почти простых групп. I. // On tensor squares of irreducible representations of almost simple groups. I” / spz:neicon:mais:826
  48. M. Nevskii V., М. Невский В. (2018) “Геометрические оценки в полиномиальной интерполяции // Geometric Estimates in the Polynomial Interpolation” / spz:neicon:mais:827
  49. Editorial Article , Редакционная Статья (2018) “О работе семинара "Нелинейная динамика"” / spz:neicon:mais:828
  50. В. Непомнящий А., В. Соколов А. (2018) “От редакторов специального выпуска” / spz:neicon:mais:829
  51. M. Anikeev ., F. Madlener ., A. Schlosser ., S. Huss A., C. Walther . (2018) “Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography” / spz:neicon:mais:830
  52. A. Bataev V., A. Davydov A., N. Nalutin Y., S. Sinitsyn V., А. Батаев В., А. Давыдов А., Н. Налютин Ю., С. Синицын В. (2018) “Генерация тестовых данных на основе формального анализа данных конфигурации проекта // Test data generation based on a formal analysis of the project configuration” / spz:neicon:mais:831
  53. I. Burdonov B., A. Kosachev S., И. Бурдонов Б., А. Косачев С. (2018) “Безопасное тестирование симуляции систем с отказами и разрушением // Safe simulation testing of systems with refusals and destructions” / spz:neicon:mais:832
  54. M. Valiev K., M. Dekhtyar I., М. Валиев К., М. Дехтярь И. (2018) “О сложности верификации недетерминированных вероятностных мультиагентных систем // On complexity of verification of nondeterministic probabilistic multiagent systems” / spz:neicon:mais:833
  55. N. Garanina O., Н. Гаранина О. (2018) “Проверка моделей распределенных систем с помощью аффинного представления данных // Model Checking of Distributed Systems with Affine Data Structures” / spz:neicon:mais:834
  56. A. Davydov V., A. Larionov A., E. Cherkashin A., А. Давыдов В., А. Ларионов А., Е. Черкашин А. (2018) “Об исчислении позитивно-образованных формул для автоматического доказательства теорем // On the calculus of positively constructed formulas for authomated theorem proving” / spz:neicon:mais:835
  57. A. Klepinin V., A. Melentyev A., А. Клепинин В., А. Мелентьев А. (2018) “Интеграция семантических верификаторов в компиляторы языка Java // Integration of semantic verication into Java compilers” / spz:neicon:mais:836
  58. I. Konnov V., V. Zakharov A., И. Коннов В., В. Захаров А. (2018) “Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени // The application of adaptive symmetry reduction for LTL model checking” / spz:neicon:mais:837
  59. V. Nepomniashy A., I. Anureev S., M. Atuchin M., I. Maryasov V., A. Petrov A., A. Promsky V., В. Непомнящий А., И. Ануреев С., М. Атучин М., И. Марьясов В., А. Петров А., А. Промский В. (2018) “Верификация C-программ в мультиязыковой системе СПЕКТР // C Program Verication in the Multilanguage System Spectrum” / spz:neicon:mais:838
  60. V. Shelekhov I., В. Шелехов И. (2018) “Верификация и синтез программ сложения на базе правил корректности операторов // Verification and synthesis of addition programs under the rules of statement correctness” / spz:neicon:mais:839
  61. N. Shilov V., Н. Шилов В. (2018) “Пример верификации в проекте F@BOOL@, основанном на булевских решателях // F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers” / spz:neicon:mais:840
  62. I. Shoshmina V., И. Шошмина В. (2018) “Проектирование программных бортовых систем управления с поддержкой верификации // Distributed embedded control systems design with verification support” / spz:neicon:mais:841
  63. I. Anureev S., I. Maryasov V., V. Nepomniaschy A., И. Ануреев С., И. Марьясов В., В. Непомнящий А. (2018) “Верификация C-программ на основе смешанной аксиоматической семантики // C-programs Verification on Basis of Mixed Axiomatic Semantics” / spz:neicon:mais:842
  64. Y. Belov. A., Ю. Белов А. (2018) “Составные редукции моделей Крипке и автоморфизмы // Composite reductions for Kripke models” / spz:neicon:mais:843
  65. D. Glazkov V., S. Kaschenko A., Д. Глазков В., С. Кащенко А. (2018) “Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла // Local dynamics of DDE with large delay in the vicinity of the self-similar cycle” / spz:neicon:mais:844
  66. N. Demyankov A., Н. Демьянков А. (2018) “Вариационные неравенства и принцип виртуальных перемещений // Variational inequalities and the principle of virtual displacements” / spz:neicon:mais:845
  67. A. Sboev V., А. Сбоев В. (2018) “Рекуррентные последовательности над почтикольцами // Recurrence sequences over near-rings” / spz:neicon:mais:846
  68. A. Snyatkov S., А. Снятков С. (2018) “Разрешимость теории Th(w, 0,1, // On Decidability of the Theory Th(u, 0,1,” / spz:neicon:mais:847
  69. N. Fedotova P., Н. Федотова П. (2018) “Гиперплоскости универсальной экстремали некоторых задач оптимизации // Universal extremum of hyperplanes in some optimization problems” / spz:neicon:mais:848
  70. A. Tsirlin M., А. Цирлин М. (2018) “Математические модели экономических систем с учетом необратимости протекающих в них процессов // Mathematical models of economic systems with account of the irreversibility of processes proceeding in them” / spz:neicon:mais:849
  71. S. Glyzin D., E. Soldatova A., С. Глызин Д., Е. Солдатова А. (2018) “Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо // The factor of delay in a system of coupled oscillators FitzHugh - Nagumo” / spz:neicon:mais:850
  72. V. Roublev S., В. Рублев С. (2018) “Язык объектных запросов динамической информационной модели DIM // The Object Query Language of the Dynamic Information Model DIM” / spz:neicon:mais:851
  73. M. Dorrer G., М. Доррер Г. (2018) “Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри // An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas” / spz:neicon:mais:852
  74. E. Grigorieva V., I. Kaschenko S., S. Kaschenko A., Е. Григорьева В., И. Кащенко С., С. Кащенко А. (2018) “Мультистабильность в модели лазера с большим запаздыванием // Multistability in a laser model with large delay” / spz:neicon:mais:853
  75. S. Glyzin D., С. Глызин Д. (2018) “Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием // Relaxation oscillations of electrically coupled neuron-like systems with delay” / spz:neicon:mais:854
  76. E. Kuzmin V., D. Chalyy Ju., Е. Кузьмин В., Д. Чалый Ю. (2018) “О языках автоматных счетчиковых машин // On languages of automaton counter machines” / spz:neicon:mais:855
  77. V. Roublev S., A. Smirnov V., В. Рублев С., А. Смирнов В. (2018) “Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения” / spz:neicon:mais:856
  78. A. Nikolaev V., А. Николаев В. (2018) “О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ // On nonintegral vertices of 3-SAT problem relaxation polytope” / spz:neicon:mais:857
  79. G. Tarnavsky A., Г. Тарнавский А. (2018) “Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования” / spz:neicon:mais:858
  80. Alexander Shalimov , А. Шалимов В. (2018) “Метод оценки частоты выполнения фрагментов кода последовательной программы” / spz:neicon:mais:859
  81. S. Glyzin D., E. Kiseleva O., С. Глызин Д., Е. Киселева О. (2018) “Учет запаздывания в цепочке связи между осцилляторами // The account of delay in a connecting element between two oscillators” / spz:neicon:mais:860
  82. I. Alexeev V., S. Merkulov A., A. Sivov A., И. Алексеев В., С. Меркулов А., А. Сивов А. (2018) “Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 // Aspects of the ARTCP implementation for the Linux kernel 2.6” / spz:neicon:mais:861
  83. V. Boykov N., V. Zakharov E., I. Pilshchikov A., T. Sysoev M., В. Бойков Н., В. Захаров Е., И. Пильщиков А., . Сысоев М. (2018) “Тезаурус как инструмент поэтологии // Thesaurus as a Poetological Tool” / spz:neicon:mais:862
  84. P. Efimova E., П. Ефимова Е. (2018) “A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers” / spz:neicon:mais:863
  85. E. Kuzmin V., D. Chalyy J., Е. Кузьмин В., Д. Чалый Ю. (2018) “О множестве достижимости автоматных счетчиковых машин // On a reachability set of automaton counter machines” / spz:neicon:mais:864
  86. A. Zykina V., N. Melenchuk V., А. Зыкина В., Н. Меленьчук В. (2018) “Двухшаговый экстраградиентный метод для задачи управления ресурсами // A doublestep extragradient method for solving a resource management problem” / spz:neicon:mais:865
  87. А. Максименко Н. (2018) “О числе фасет 2-смежностного многогранника // On the number of facets of a 2-neighborly polytope” / spz:neicon:mais:866
  88. Д. Сандуляк В. (2018) “Явление буферности в обобщенном уравнении Свифта-Хоэнберга // The buffer phenomenon in the generalization of the Swift-Hohenberg equation” / spz:neicon:mais:867
  89. Г. Курина А., Т. Нгуен Х. (2018) “Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами // On a zero order approximation of an asymptotic solution for a singularly perturbed linear-quadratic control problem with discontinuous coefficients” / spz:neicon:mais:868
  90. S. Pupyrev N., A. Tikhonov V., С. Пупырев Н., А. Тихонов В. (2018) “Визуализация динамических графов для анализа сложных сетей // The Analysis of Complex Networks with Dynamic Graph Visualization” / spz:neicon:mais:869
  91. А. Пендюр Д., Д. Пендюр А. (2017) “Формула для ляпуновской величины задачи о конкурентной борьбе” / spz:neicon:mais:y:2006:i:1:p:14-19
  92. Д. Куликов А. (2017) “Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области” / spz:neicon:mais:y:2006:i:1:p:20-26
  93. Е. Кузьмин В. (2017) “Иерархическая модель автоматных программ” / spz:neicon:mais:y:2006:i:1:p:27-34
  94. Ю. Колесов С., А. Харьков Е. (2017) “Формула для ляпуновской величины задачи о бифуркации автоволн” / spz:neicon:mais:y:2006:i:1:p:3-8
  95. В. Башкин А. (2017) “Свойства бисимуляции разметок в ограниченных сетях Петри” / spz:neicon:mais:y:2006:i:1:p:35-40
  96. Е. Тимофеев А. (2017) “Смещение статистической оценки энтропии для простейшей меры Бернулли” / spz:neicon:mais:y:2006:i:1:p:41-45
  97. П. Парфенов Г., С. Назарычев Л. (2017) “Об одном подходе к различению элементов из больших совокупностей традиционных систем символов” / spz:neicon:mais:y:2006:i:1:p:46-48
  98. С. Глызин Д. (2017) “Поведение решений нормальной формы системы трех связанных разностных автогенераторов” / spz:neicon:mais:y:2006:i:1:p:49-57
  99. И. Игнатова Г., Н. Соколова Ю. (2017) “Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса” / spz:neicon:mais:y:2006:i:1:p:9-13
  100. S. Kubasov V., V. Sokolov A., С. Кубасов В., В. Соколов А. (2019) “Синхронная модель автоматной программы // Synchronous model of automaton program” / spz:neicon:mais:y:2007:i:1:p:11-18
  101. Ю. Колесов С., А. Харьков Е. (2019) “Динамика простейшей модели системы реакция-диффузия” / spz:neicon:mais:y:2007:i:1:p:19-26
  102. A. Morozov N., А. Морозов Н. (2019) “K-функционалы и наилучшие кусочно-полиномиальные приближения // K-functionals and best piecewice polynomial approximations” / spz:neicon:mais:y:2007:i:1:p:27-30
  103. M. Nevskij V., М. Невский В. (2019) “Минимальные проекторы и максимальные симплексы // Minimal projections and largest simplices” / spz:neicon:mais:y:2007:i:1:p:3-10
  104. K. Vasileva A., E. Kuzmin V., К. Васильева А., Е. Кузьмин В. (2019) “Верификация автоматных программ с использованием LTL // LTL Verification of Automaton Programs” / spz:neicon:mais:y:2007:i:1:p:31-43
  105. P. Parfenov G., I. Kapliy A., O. Kulikov S., П. Парфенов Г., И. Каплий А., О. Куликов С. (2019) “Расстояния и другие меры близости на множестве черно-белых цифровых изображений // Distances and other measures of nearness in a set of pairs of black-and-white digital images” / spz:neicon:mais:y:2007:i:1:p:44-47
  106. D. Kashalkin Y., V. Kurchidis A., Д. Кашалкин Ю., В. Курчидис А. (2019) “Принципы построения семантической сервис-ориентированной архитектуры // Construction principles of semantic service-oriented architecture” / spz:neicon:mais:y:2007:i:1:p:48-53
  107. Yu. Belov A., Ю. Белов А. (2019) “Автоморфизмы систем переходов // Automorphisms of transition systems” / spz:neicon:mais:y:2007:i:1:p:54-56
  108. G. Chelnokov R., Г. Челноков Р. (2019) “О числе запретов, задающих периодическую последовательность // On the Number of Restrictions Determining a Periodical Sequence” / spz:neicon:mais:y:2007:i:2:p:12-16
  109. V. Yanishevskiy V., В. Янишевский В. (2019) “SR-группы порядка 2npm с диэдральной 2-силовской подгруппой // SR-groups of Order 2npm with Dihedral Sylow 2-subgroup” / spz:neicon:mais:y:2007:i:2:p:17-23
  110. S. Anufrienko E., A. Mats S., С. Ануфриенко Е., А. Мац С. (2019) “Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну // Model of Nerve Impulse Saltatore Conduction through the Forked Nerve Fibre” / spz:neicon:mais:y:2007:i:2:p:24-26
  111. Yu. Bogomolov V., Ю. Богомолов В. (2019) “Устойчивость одной модели нейрона на основе уравнения с запаздыванием // Stability of the Neuron Model Based on the Equation with Delay” / spz:neicon:mais:y:2007:i:2:p:27-29
  112. E.V. Konovalov A, Е. Коновалов В. (2019) “Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов // The Stable Oscillatory Regime in a Neuron Net Consisting of Generalized Automatic Neuron-detectors” / spz:neicon:mais:y:2007:i:2:p:30-35
  113. I. Paramonov V., И. Парамонов В. (2019) “Построение асимптотического разложения решения уравнения нейрона, описываемого дифференциальным уравнением с переменным запаздыванием // Construction of the Asymptotic Expansion of Solution of the Impulse Neuron Differential Equation with Variable Delay” / spz:neicon:mais:y:2007:i:2:p:36-39
  114. M. Bashkin A., L. Habadze I., М. Башкин А., Л. Хабадзе И. (2019) “Однородные супермногообразия с ретрактом CP (1|4, k1k2 11) // Homogeneous Supermanifolds with Retract CP (1|4, k1k2 11)” / spz:neicon:mais:y:2007:i:2:p:4-6
  115. I. Kapliy A., P. Parfenov G., И. Каплий А., П. Парфенов Г. (2019) “О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки // On the Characteristic Set of Black and White Digital Image Coefficients Constructed in the Basis of a Hexagonal Lattice” / spz:neicon:mais:y:2007:i:2:p:40-43
  116. O. Zavyalova Yu., О. Завьялова Ю. (2019) “Сальтаторное проведение пачечного воздействия // The Saltatory Conduction of Repeated Impulses” / spz:neicon:mais:y:2007:i:2:p:44-46
  117. D. Glazkov V., Д. Глазков В. (2019) “Нормализация одного уравнения с запаздыванием и бифуркация, приводящая к циклу асимптотически большого периода // Normalization of a Delay Differential Equation and Bifurcation Leading to an Asymptotically Large Period Cycle” / spz:neicon:mais:y:2007:i:2:p:47-52
  118. E. Kiseleva O., Е. Киселева О. (2019) “Локальная динамика уравнения Хатчинсона с двумя запаздываниями в критическом случае резонанса 1:2 // Local Dynamics of the Hutchinson Equation with Two Delays in a Critical Case of a Resonance 1:2” / spz:neicon:mais:y:2007:i:2:p:53-57
  119. I. Kashchenko S., И. Кащенко С. (2019) “Динамические свойства уравнений первого порядка с большим запаздыванием // Dynamic Properties of First-order Equations with Large Delay” / spz:neicon:mais:y:2007:i:2:p:58-62
  120. P. Nesterov N., П. Нестеров Н. (2019) “Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения // The Asymptotic Representation of Solutions of Difference Equations Systems and the Averaging Method” / spz:neicon:mais:y:2007:i:2:p:63-67
  121. Д. Сандуляк В. (2019) “Явление буферности в одном уравнении маятникового типа” / spz:neicon:mais:y:2007:i:2:p:68-74
  122. B. Uryvaev V., Б. Урываев В. (2019) “О релаксационном многограннике задачи «3-выполнимость» // On Relaxation Polytope of 3-satisfiability Problem” / spz:neicon:mais:y:2007:i:2:p:7-11
  123. O. Chernysheva A., О. Чернышева А. (2019) “Бифуркация Андронова - Хопфа для релейных систем // Andronov-Hopf Bifurcation for Relay Systems” / spz:neicon:mais:y:2007:i:2:p:75-82
  124. S. Glyzin D., С. Глызин Д. (2019) “Учет возрастных групп в уравнении Хатчинсона // A registration of age groups for the Hutchinson's equation” / spz:neicon:mais:y:2007:i:3:p:29-42
  125. В. Бурд Ш. (2019) “О работах А.Ю. Левина по теории линейных дифференциальных уравнений” / spz:neicon:mais:y:2007:i:3:p:4-7
  126. E. Konovalov V., Е. Коновалов В. (2019) “Задача о пачечном воздействии на обобщенный нейронный автомат // The problem of berst influence on the generalized automatic neuron” / spz:neicon:mais:y:2007:i:3:p:43-49
  127. N. Timofeeva E., Тимофеева Н.Е. (2019) “Экономный алгоритм нахождения средних минимальных расстояний // Fast algorithm for finding mean minimum distances” / spz:neicon:mais:y:2007:i:3:p:50-52
  128. N. Malyshkin V., Н. Малышкин В. (2019) “NumGRID, система для решения больших задач численного моделирования // NumGRID, the system for large-scale numerical applications solving” / spz:neicon:mais:y:2007:i:3:p:53-61
  129. G. Jury Guschin, Ю. Гущин Г. (2019) “О вербальной модели диссертационной работы // On a Verbal Model of a Dissertation” / spz:neicon:mais:y:2007:i:3:p:62-65
  130. M. Nevskij V., М. Невский В. (2019) “Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе // Orthogonal projection and minimal linear interpolation on a n-dimensional cube” / spz:neicon:mais:y:2007:i:3:p:8-28
  131. V. Bashkin A., В. Башкин А. (2019) “Сети активных ресурсов // Nets of active resources” / spz:neicon:mais:y:2007:i:4:p:13-19
  132. S. Kubasov V., С. Кубасов В. (2019) “Верификация синхронно-автоматных программ // Verification of Synchronous-automaton Programs” / spz:neicon:mais:y:2007:i:4:p:20-27
  133. J. Guschin G., Ю. Гущин Г. (2019) “Об одном из методов научного творчества // On a Method of Scientific Creativity” / spz:neicon:mais:y:2007:i:4:p:28-30
  134. V. Mayorov V., S. Anufrienko E., В. Майоров В., С. Ануфриенко Е. (2019) “Исследование модифицированной модели сальтаторного проведения возбуждения // An Investigation of the Modified Nerve Impulse Saltatore Conduction Model” / spz:neicon:mais:y:2007:i:4:p:3-6
  135. R. Karasev N., Р. Карасёв Н. (2019) “Род и категория Люстерника - Шнирельмана прообразов // Genus and the Lyusternik-Schnirelmann category of preimages” / spz:neicon:mais:y:2007:i:4:p:31-35
  136. V. Dol'nikov L., В. Дольников Л. (2019) “О теоремах Р. Радо и Д. Уотсона // On theorems of R. Rado and of D. Watson” / spz:neicon:mais:y:2007:i:4:p:36-42
  137. A. Malkova S., V. Janvarev I., А. Малкова C., В. Январев И. (2019) “Формальная модель семантики художественного текста (на материале русских пословиц) // Formal model of basic sense in proverb” / spz:neicon:mais:y:2007:i:4:p:42-52
  138. G. Chelnokov R., Г. Челноков Р. (2019) “О нижней оценке количества k + 1-неразбиваемых перестановок // On the lower estimate for k + 1-nondecomposible permutations” / spz:neicon:mais:y:2007:i:4:p:53-56
  139. I. Mikhailov A., И. Михайлов А. (2019) “Об одном методе распознавания изображений // An Algorithm for the Recognition of Images” / spz:neicon:mais:y:2007:i:4:p:7-12
  140. A. Kotikov E., A. Kulikov N., А. Котиков Э., А. Куликов Н. (2019) “Бифуркация бегущих волн видоизмененного уравнения Гинзбурга-Ландау // Travelling waves bifurcation of the modified Ginzburg-Landau's equation” / spz:neicon:mais:y:2008:i:1:p:10-15
  141. E. Kuzmin V., D. Chalyy Ju., Е. Кузьмин В., Д. Чалый Ю. (2019) “О разрешимости проблем ограниченности для счетчиковых машин Минского // On the decidability of boundedness problems for counter Minsky machines” / spz:neicon:mais:y:2008:i:1:p:16-26
  142. D. Pisarenko S., Д. Писаренко С. (2019) “Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM // PL/ODQL object enhancement of ODQL query language for Dynamic information model DIM” / spz:neicon:mais:y:2008:i:1:p:27-33
  143. D. Kashalkin Y., V. Kurchidis A., Д. Кашалкин Ю., В. Курчидис А. (2019) “Хореография сервисов в семантической сервис-ориентированной архитектуре // Service choreography in semantic service-oriented architecture” / spz:neicon:mais:y:2008:i:1:p:3-9
  144. P. Parfenov G., I. Kapliy A., П. Парфенов Г., И. Каплий А. (2019) “Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений // Integral near-Eiler characteristics of halftone digital images” / spz:neicon:mais:y:2008:i:1:p:34-36
  145. V. Vasilchikov V., В. Васильчиков В., А. Шубин В. (2019) “Библиотека параллельного исполнения rpC-программ для Win32 // The library for parallel execution of rpC-programs under Win32” / spz:neicon:mais:y:2008:i:1:p:37-40
  146. V. Vasilchikov V., В. Васильчиков В. (2019) “Среда рекурсивно-параллельного программирования для Win32 // The recursive parallel programming shell for Win32” / spz:neicon:mais:y:2008:i:1:p:41-44
  147. E. Korshunova V., A. Kulikov N., Е. Коршунова В., А. Куликов Н. (2019) “Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор // Spatial Non-homogeneous Invariant Tori in the Multiplier-Accelerator Model” / spz:neicon:mais:y:2008:i:1:p:45-50
  148. A. Drozdov B., N. Drozdova V., А. Дроздов Б., Н. Дроздова В. (2019) “О подходах к моделированию региональных экономических систем кластерного типа // On approaches to modeling regional economic systems of cluster type” / spz:neicon:mais:y:2008:i:1:p:51-62
  149. M. Bashkin A., М. Башкин А. (2019) “Однородные и четно-однородные супермногообразия с ретрактом CP(1|4 kk20) при к >= 2 // Homogeneous and 0-homogeneous supermanifolds with retract CP(1|4 kk20) when k >= 2” / spz:neicon:mais:y:2009:i:3:p:14-21
  150. V. Voytitsky I., M. Zlobina Y., Y. Kubyshkin P., В. Войтицкий И., М. Злобина Ю., Е. Кубышкин П. (2019) “О спектральной задаче, возникающей в механике манипуляционных роботов // About the spectral problem arising from robotic manipulator mechanics” / spz:neicon:mais:y:2009:i:3:p:22-28
  151. I. Irodova P., И. Иродова П. (2019) “О неравенстве типа неравенства Джексона в диадическом пространстве BMO // On the Jackson type inequality in the dyadic BMO space” / spz:neicon:mais:y:2009:i:3:p:29-46
  152. O. Dunaeva A., M. Machin L., О. Дунаева А., М. Мячин Л. (2019) “Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала // Errata And Adendum For The Article "A Correction For Period Of Oscillation In The Model Of Spiking Neuron"” / spz:neicon:mais:y:2009:i:3:p:47-58
  153. V. Burd Sh., В. Бурд Ш. (2019) “Работы Ю.С. Колесова по дифференциальным уравнениям // About the works by Yu.S. Kolesov on differential equations” / spz:neicon:mais:y:2009:i:3:p:5-13
  154. K. Kornilov V., К. Корнилов В. (2019) “Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии // Correction for the oscilation period of the spiking neuron equation with constant external electric stimulus” / spz:neicon:mais:y:2009:i:3:p:59-69
  155. A. Smirnov V., А. Смирнов В. (2019) “Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель // The Problem of Integer-valued Balancing of a Three-dimensional Matrix and Network Model” / spz:neicon:mais:y:2009:i:3:p:70-76
  156. E. Kuzmin V., D. Chalyy J., Е. Кузьмин В., Д. Чалый Ю. (2019) “О множестве достижимости автоматных трехсчетчиковых машин // On a reachability set of automaton 3-counter machines” / spz:neicon:mais:y:2009:i:3:p:77-84
  157. E. Timofeev A., Е. Тимофеев А. (2019) “Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли // On asymptotics of the entropy estimator variance for symmetric Bernoulli measures” / spz:neicon:mais:y:2009:i:3:p:85-95
  158. S. Glyzin D., С. Глызин Д. (2019) “Разностные аппроксимации уравнения «реакция - диффузия» на отрезке // Difference approximations of "reaction - diffusion" equation on a segment” / spz:neicon:mais:y:2009:i:3:p:96-116
  159. I. Kashchenko S., И. Кащенко С. (2019) “Нормализация уравнения с линейно распределенным запаздыванием // Normalization of equation with linear distributed delay” / spz:neicon:mais:y:2009:i:4:p:109-116
  160. A. Khodunin V., L. Kazakov N., А. Ходунин В., Л. Казаков Н. (2019) “Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты // Cascaded Systems of Phase-Locked Loops Chaotic Syncronization” / spz:neicon:mais:y:2009:i:4:p:117-131
  161. Editorial Article , Редакционная Статья (2019) “О работе семинара «Нелинейная динамика»” / spz:neicon:mais:y:2009:i:4:p:132-140
  162. S. Kuznetsov D., N. Mendkovich A., С. Кузнецов Д., Н. Мендкович А. (2019) “Новые алгоритмы лексической оптимизации запросов // New algorithms for query modifications” / spz:neicon:mais:y:2009:i:4:p:22-33
  163. Y. Berezhnoi I., D. Gladkikh S., Е. Бережной И., Д. Гладких С. (2019) “Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича // Estimates of the Cordoba - Fernandez operator in Marcinkiewicz spaces” / spz:neicon:mais:y:2009:i:4:p:34-45
  164. O. Dunaeva A., О. Дунаева А. (2019) “Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием // A Correction For The Latent Period Of Chemically Coupled Neurons” / spz:neicon:mais:y:2009:i:4:p:46-55
  165. (2019) “Дорогие коллеги!” / spz:neicon:mais:y:2009:i:4:p:5-5
  166. A. Dymov V., P. Nesterov N., А. Дымов В., П. Нестеров Н. (2019) “Математическое обоснование одного численного эксперимента // Mathematical justification of one numerical experiment” / spz:neicon:mais:y:2009:i:4:p:56-76
  167. Dmitry Kovalenko , Д. Коваленко С. (2019) “Метод автоматического построения алгоритмов распознавания участков фазовых траекторий // Method of automated construction of pattern recognition algorithms on phase paths” / spz:neicon:mais:y:2009:i:4:p:6-21
  168. D. Glyzin S., S. Kaschenko A., A. Polstyanov S., Д. Глызин С., С. Кащенко А., А. Полстьянов С. (2019) “Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона // Spatially inhomogeneous periodic solutions in distributed Hutchinson equation” / spz:neicon:mais:y:2009:i:4:p:77-85
  169. E. Kokuykin S., A. Kulikov N., Е. Кокуйкин С., А. Куликов Н. (2019) “Циклы и торы деловой активности в одной математической модели макроэкономики // Business Cycles and Torus in the Non-homogeneous Multiplier-Accelerator Model” / spz:neicon:mais:y:2009:i:4:p:86-95
  170. E. Timofeev A., Е. Тимофеев А. (2019) “Асимптотика смещения оценки энтропии для мер Бернулли // On asymptotics of the entropy estimator bias for Bernoulli measures” / spz:neicon:mais:y:2009:i:4:p:96-108
  171. S. Pupyrev N., A. Tikhonov V., С. Пупырев Н., А. Тихонов В. (2019) “Визуализация динамических графов для анализа сложных сетей // The Analysis of Complex Networks with Dynamic Graph Visualization” / spz:neicon:mais:y:2010:i:1:p:117-135
  172. P. Efimova E., П. Ефимова Е. (2019) “A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers” / spz:neicon:mais:y:2010:i:1:p:25-43
  173. V. Boykov N., V. Zakharov E., I. Pilshchikov A., T. Sysoev M., В. Бойков Н., В. Захаров Е., И. Пильщиков А., . Сысоев М. (2019) “Тезаурус как инструмент поэтологии // Thesaurus as a Poetological Tool” / spz:neicon:mais:y:2010:i:1:p:5-24
  174. E. Kuzmin V., D. Chalyy J., Е. Кузьмин В., Д. Чалый Ю. (2019) “О множестве достижимости автоматных счетчиковых машин // On a reachability set of automaton counter machines” / spz:neicon:mais:y:2010:i:1:p:52-64
  175. A. Zykina V., N. Melenchuk V., А. Зыкина В., Н. Меленьчук В. (2019) “Двухшаговый экстраградиентный метод для задачи управления ресурсами // A doublestep extragradient method for solving a resource management problem” / spz:neicon:mais:y:2010:i:1:p:65-75
  176. А. Максименко Н. (2019) “О числе фасет 2-смежностного многогранника // On the number of facets of a 2-neighborly polytope” / spz:neicon:mais:y:2010:i:1:p:76-82
  177. Д. Сандуляк В. (2019) “Явление буферности в обобщенном уравнении Свифта-Хоэнберга // The buffer phenomenon in the generalization of the Swift-Hohenberg equation” / spz:neicon:mais:y:2010:i:1:p:83-92
  178. Г. Курина А., Т. Нгуен Х. (2019) “Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами // On a zero order approximation of an asymptotic solution for a singularly perturbed linear-quadratic control problem with discontinuous coefficients” / spz:neicon:mais:y:2010:i:1:p:93-116
  179. G. Tarnavsky A., Г. Тарнавский А. (2019) “Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования” / spz:neicon:mais:y:2010:i:2:p:112-121
  180. Alexander Shalimov , А. Шалимов В. (2019) “Метод оценки частоты выполнения фрагментов кода последовательной программы” / spz:neicon:mais:y:2010:i:2:p:122-132
  181. S. Glyzin D., E. Kiseleva O., С. Глызин Д., Е. Киселева О. (2019) “Учет запаздывания в цепочке связи между осцилляторами // The account of delay in a connecting element between two oscillators” / spz:neicon:mais:y:2010:i:2:p:133-143
  182. I. Alexeev V., S. Merkulov A., A. Sivov A., И. Алексеев В., С. Меркулов А., А. Сивов А. (2019) “Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 // Aspects of the ARTCP implementation for the Linux kernel 2.6” / spz:neicon:mais:y:2010:i:2:p:144-149
  183. E. Grigorieva V., I. Kaschenko S., S. Kaschenko A., Е. Григорьева В., И. Кащенко С., С. Кащенко А. (2019) “Мультистабильность в модели лазера с большим запаздыванием // Multistability in a laser model with large delay” / spz:neicon:mais:y:2010:i:2:p:17-27
  184. S. Glyzin D., С. Глызин Д. (2019) “Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием // Relaxation oscillations of electrically coupled neuron-like systems with delay” / spz:neicon:mais:y:2010:i:2:p:28-47
  185. E. Kuzmin V., D. Chalyy Ju., Е. Кузьмин В., Д. Чалый Ю. (2019) “О языках автоматных счетчиковых машин // On languages of automaton counter machines” / spz:neicon:mais:y:2010:i:2:p:48-71
  186. M. Dorrer G., М. Доррер Г. (2019) “Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри // An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas” / spz:neicon:mais:y:2010:i:2:p:5-16
  187. V. Roublev S., A. Smirnov V., В. Рублев С., А. Смирнов В. (2019) “Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения” / spz:neicon:mais:y:2010:i:2:p:72-98
  188. A. Nikolaev V., А. Николаев В. (2019) “О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ // On nonintegral vertices of 3-SAT problem relaxation polytope” / spz:neicon:mais:y:2010:i:2:p:99-111
  189. A. Tsirlin M., А. Цирлин М. (2019) “Математические модели экономических систем с учетом необратимости протекающих в них процессов // Mathematical models of economic systems with account of the irreversibility of processes proceeding in them” / spz:neicon:mais:y:2010:i:3:p:107-133
  190. S. Glyzin D., E. Soldatova A., С. Глызин Д., Е. Солдатова А. (2019) “Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо // The factor of delay in a system of coupled oscillators FitzHugh - Nagumo” / spz:neicon:mais:y:2010:i:3:p:134-143
  191. V. Roublev S., В. Рублев С. (2019) “Язык объектных запросов динамической информационной модели DIM // The Object Query Language of the Dynamic Information Model DIM” / spz:neicon:mais:y:2010:i:3:p:144-161
  192. Y. Belov. A., Ю. Белов А. (2019) “Составные редукции моделей Крипке и автоморфизмы // Composite reductions for Kripke models” / spz:neicon:mais:y:2010:i:3:p:29-37
  193. D. Glazkov V., S. Kaschenko A., Д. Глазков В., С. Кащенко А. (2019) “Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла // Local dynamics of DDE with large delay in the vicinity of the self-similar cycle” / spz:neicon:mais:y:2010:i:3:p:38-47
  194. N. Demyankov A., Н. Демьянков А. (2019) “Вариационные неравенства и принцип виртуальных перемещений // Variational inequalities and the principle of virtual displacements” / spz:neicon:mais:y:2010:i:3:p:48-57
  195. I. Anureev S., I. Maryasov V., V. Nepomniaschy A., И. Ануреев С., И. Марьясов В., В. Непомнящий А. (2019) “Верификация C-программ на основе смешанной аксиоматической семантики // C-programs Verification on Basis of Mixed Axiomatic Semantics” / spz:neicon:mais:y:2010:i:3:p:5-28
  196. A. Sboev V., А. Сбоев В. (2019) “Рекуррентные последовательности над почтикольцами // Recurrence sequences over near-rings” / spz:neicon:mais:y:2010:i:3:p:58-71
  197. A. Snyatkov S., А. Снятков С. (2019) “Разрешимость теории Th(w, 0,1, // On Decidability of the Theory Th(u, 0,1,” / spz:neicon:mais:y:2010:i:3:p:72-90
  198. N. Fedotova P., Н. Федотова П. (2019) “Гиперплоскости универсальной экстремали некоторых задач оптимизации // Universal extremum of hyperplanes in some optimization problems” / spz:neicon:mais:y:2010:i:3:p:91-106
  199. V. Shelekhov I., В. Шелехов И. (2019) “Верификация и синтез программ сложения на базе правил корректности операторов // Verication and synthesis of addition programs under the rules of statement correctness” / spz:neicon:mais:y:2010:i:4:p:101-110
  200. N. Shilov V., Н. Шилов В. (2019) “Пример верификации в проекте F@BOOL@, основанном на булевских решателях // F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers” / spz:neicon:mais:y:2010:i:4:p:111-124
  201. I. Shoshmina V., И. Шошмина В. (2019) “Проектирование программных бортовых систем управления с поддержкой верификации // Distributed embedded control systems design with verification support” / spz:neicon:mais:y:2010:i:4:p:125-136
  202. A. Bataev V., A. Davydov A., N. Nalutin Y., S. Sinitsyn V., А. Батаев В., А. Давыдов А., Н. Налютин Ю., С. Синицын В. (2019) “Генерация тестовых данных на основе формального анализа данных конфигурации проекта // Test data generation based on a formal analysis of the project conguration” / spz:neicon:mais:y:2010:i:4:p:17-26
  203. I. Burdonov B., A. Kosachev S., И. Бурдонов Б., А. Косачев С. (2019) “Безопасное тестирование симуляции систем с отказами и разрушением // Safe simulation testing of systems with refusals and destructions” / spz:neicon:mais:y:2010:i:4:p:27-40
  204. M. Valiev K., M. Dekhtyar I., М. Валиев К., М. Дехтярь И. (2019) “О сложности верификации недетерминированных вероятностных мультиагентных систем // On complexity of veri¯cation of nondeterministic probabilistic multiagent systems” / spz:neicon:mais:y:2010:i:4:p:41-51
  205. В. Непомнящий А., В. Соколов А. (2019) “От редакторов специального выпуска” / spz:neicon:mais:y:2010:i:4:p:5-6
  206. N. Garanina O., Н. Гаранина О. (2019) “Проверка моделей распределенных систем с помощью аффинного представления данных // Model Checking of Distributed Systems with Affine Data Structures” / spz:neicon:mais:y:2010:i:4:p:52-59
  207. A. Davydov V., A. Larionov A., E. Cherkashin A., А. Давыдов В., А. Ларионов А., Е. Черкашин А. (2019) “Об исчислении позитивно-образованных формул для автоматического доказательства теорем // On the calculus of positively constructed formulas for authomated theorem proving” / spz:neicon:mais:y:2010:i:4:p:60-69
  208. M. Anikeev ., F. Madlener ., A. Schlosser ., S. Huss A., C. Walther . (2019) “Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography” / spz:neicon:mais:y:2010:i:4:p:7-16
  209. A. Klepinin V., A. Melentyev A., А. Клепинин В., А. Мелентьев А. (2019) “Интеграция семантических верификаторов в компиляторы языка Java // Integration of semantic verication into Java compilers” / spz:neicon:mais:y:2010:i:4:p:70-77
  210. I. Konnov V., V. Zakharov A., И. Коннов В., В. Захаров А. (2019) “Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени // The application of adaptive symmetry reduction for LTL model checking” / spz:neicon:mais:y:2010:i:4:p:78-87
  211. V. Nepomniashy A., I. Anureev S., M. Atuchin M., I. Maryasov V., A. Petrov A., A. Promsky V., В. Непомнящий А., И. Ануреев С., М. Атучин М., И. Марьясов В., А. Петров А., А. Промский В. (2019) “Верификация C-программ в мультиязыковой системе СПЕКТР // C Program Verication in the Multilanguage System Spectrum” / spz:neicon:mais:y:2010:i:4:p:88-100
  212. I. Paramonov V., И. Парамонов В. (2019) “Релаксационные циклы обобщённого уравнения импульсного нейрона // Relaxation cycles of the generalized pulsed neuron equation” / spz:neicon:mais:y:2011:i:1:p:106-115
  213. A. Mayorov V., А. Майоров В. (2019) “Стратегия выполнения операций копирования и удаления в дереве объектов // A strategy for the execution of copy and delete operations in the tree of objects” / spz:neicon:mais:y:2011:i:1:p:116-129
  214. S. Polyakov V., С. Поляков В. (2019) “О тензорных квадратах неприводимых представлений конечных почти простых групп. I. // On tensor squares of irreducible representations of almost simple groups. I” / spz:neicon:mais:y:2011:i:1:p:130-141
  215. M. Nevskii V., М. Невский В. (2019) “Геометрические оценки в полиномиальной интерполяции // Geometric Estimates in the Polynomial Interpolation” / spz:neicon:mais:y:2011:i:1:p:142-148
  216. Editorial Article , Редакционная Статья (2019) “О работе семинара "Нелинейная динамика"” / spz:neicon:mais:y:2011:i:1:p:149-154
  217. S. Kaschenko A., С. Кащенко А. (2019) “Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием // Dynamics of a quasi-linear boundary problem generalizing the equation with large delay” / spz:neicon:mais:y:2011:i:1:p:28-31
  218. I. Kashchenko S., И. Кащенко С. (2019) “Динамические свойства одной модели пассивного захвата мод // Dynamical properties of a model for the passive mode locking” / spz:neicon:mais:y:2011:i:1:p:32-36
  219. D. Glyzin S., S. Kaschenko A., A. Polstyanov S., Д. Глызин С., С. Кащенко А., А. Полстьянов С. (2019) “Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением // Spatially inhomogeneous periodic solutions in the Hutchinson equation with distributed saturation” / spz:neicon:mais:y:2011:i:1:p:37-45
  220. A. Koverga U., E. Kubyshkin P., А. Коверга Ю., Е. Кубышкин П. (2019) “Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием // Chaotic oscillations of a distributed system with infinite delay” / spz:neicon:mais:y:2011:i:1:p:46-55
  221. P. Nesterov N., П. Нестеров Н. (2019) “Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов // Time scales and the asymptotics for the solutionsof discrete adiabatic oscillators” / spz:neicon:mais:y:2011:i:1:p:5-27
  222. A. Kulikov N., G. Pilipenko V., А. Куликов Н., Г. Пилипенко В. (2019) “Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа // Resonances in the problem of the panel flutter in a supersonic gas flow” / spz:neicon:mais:y:2011:i:1:p:56-67
  223. E. Gorchakova V., Е. Горчакова В. (2019) “Динамика слабого взаимодействия в системе близких видов // Dynamics of weak interaction in a system of similar species” / spz:neicon:mais:y:2011:i:1:p:68-74
  224. D. Glazkov V., Д. Глазков В. (2019) “Локальная динамика уравнения с сильно запаздывающей обратной связью // Local dynamics of an equation with long delay feedback” / spz:neicon:mais:y:2011:i:1:p:75-85
  225. S. Glyzin D., E. Ovsyannikova O., С. Глызин Д., Е. Овсянникова О. (2019) “Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями // Quasi-periodic oscillations of a neuron equation with two delays” / spz:neicon:mais:y:2011:i:1:p:86-105
  226. E. Bodin V., N. Garanina O., N. Shilov V., Евгений Бодин Викторович, Наталья Гаранина Олеговна, Николай Шилов Вячеславович (2019) “Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) // Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)” / spz:neicon:mais:y:2011:i:2:p:113-128
  227. A. Sivov A., Анатолий Сивов Александрович (2019) “Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. // ARTCP Packet Structure. Features of the Formation and Processing of ARTCP Headers in Linux Network Subsystem” / spz:neicon:mais:y:2011:i:2:p:129-138
  228. G. Tarasov V., D. Kharitonov I., E. Golenkov A., Георгий Тарасов Витальевич, Дмитрий Харитонов Иванович, Евгений Голенков Александрович (2019) “Об одном представлении функции в модели императивной программы, заданной сетями Петри // On a Function Representation in an Imperative Program Model Specified by Petri Nets” / spz:neicon:mais:y:2011:i:2:p:18-38
  229. V. Roublev S., Вадим Рублев Сергеевич (2019) “Организация выполнения объектных запросов в динамической информационной модели DIM // Object Query Computing Optimization in the Dynamic Information Model DIM” / spz:neicon:mais:y:2011:i:2:p:39-51
  230. S. Polyakov V., Сергей Поляков Владимирович (2019) “О тензорных квадратах неприводимых представлений конечных почти простых групп. II // On Tensor Squares of Reducible Representations of Almost Simple Groups. II” / spz:neicon:mais:y:2011:i:2:p:5-17
  231. M. Nevskii V., Михаил Невский Викторович (2019) “О геометрических характеристиках n-мерного симплекса // On Geometric Characteristics of an n-Dimensional Simplex” / spz:neicon:mais:y:2011:i:2:p:52-64
  232. O. Dunaeva A., Ольга Дунаева Александровна (2019) “Принципы построения слоистых нейронных сетей на основе импульсных нейронов // Principles of Constructing Layered Neural Networks Based on Pulse Neurons” / spz:neicon:mais:y:2011:i:2:p:65-76
  233. A. Malkov N., G. Shtern P., I. Mikhaylov A., Алексей Малков Николаевич, Геннадий Штерн Павлович, Иван Михайлов Александрович (2019) “Разбиение железнодорожного состава на отдельные вагоны // The Decomposition of a Train into its Cars” / spz:neicon:mais:y:2011:i:2:p:77-112
  234. A. Grigoriev M., E. Ivanko E., A. Chentsov G., Алексей Григорьев Михайлович, Евгений Иванко Евгеньевич, Александр Ченцов Георгиевич (2019) “Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры // Dynamic Programming in a Generalized Courier Problem with Inner Tasks: Elements of a Parallel Structure” / spz:neicon:mais:y:2011:i:3:p:101-124
  235. S. Kaschenko A., Сергей Кащенко Александрович (2019) “Основные квазинормальные формы для двухкомпонентных систем параболических уравнений // Principal Quasinormal Forms for Two-Component Systems of Parabolic Equations” / spz:neicon:mais:y:2011:i:3:p:12-20
  236. V. Janvarev I., Владислав Январев Игоревич (2019) “Модульная модель мультимедийного документа и особенности ее программной реализации // Module-based Multimedia Document Model: Basic Principles and Software Architecture” / spz:neicon:mais:y:2011:i:3:p:125-143
  237. S. Kuznetsov D., N. Mendkovich A., Сергей Кузнецов Дмитриевич, Никита Мендкович Андреевич (2019) “Оптимизация конъюнктов условий в составе запросов // Optimization of Queries Containing Conjunctions of Conditions” / spz:neicon:mais:y:2011:i:3:p:144-154
  238. P. Nesterov N., Павел Нестеров Николаевич (2019) “Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами // On Asymptotics for Critical Solutions of Systems of Differential Equations with Oscillatory Decreasing Coefficients” / spz:neicon:mais:y:2011:i:3:p:21-41
  239. I. Kashchenko S., Илья Кащенко Сергеевич (2019) “Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием // Local Dynamics of an Equation with Large Exponential Distributed Delay” / spz:neicon:mais:y:2011:i:3:p:42-49
  240. M. Nevskii V., Михаил Невский Викторович (2019) “О гипотезе Лассака для выпуклого тела // On the Lassak Conjecture for a Convex Body” / spz:neicon:mais:y:2011:i:3:p:5-11
  241. A. Morozov N., Анатолий Морозов Николаевич (2019) “Об операторах дифференцирования и интегрирования // On Differential and Antidifferential Operators” / spz:neicon:mais:y:2011:i:3:p:50-57
  242. A. Kashchenko A., Александра Кащенко Андреевна (2019) “Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией // Analysis of Running Waves Stability in the Ginzburg-Landau Equation with Small Diffusion” / spz:neicon:mais:y:2011:i:3:p:58-62
  243. N. Demyankov A., Николай Демьянков Андреевич (2019) “О двух конечномерных аппроксимациях периодической краевой задачи // About Two Finite-Dimensional Approximations of the Periodic Boundary Value Problem” / spz:neicon:mais:y:2011:i:3:p:63-74
  244. S. Amelkin A., O. Ivanova S., Сергей Амелькин Анатольевич, Ольга Иванова Сергеевна (2019) “Предельные возможности передачи информации в макросистемах // Limiting Possibilities of Transmission of Information in an Economic Macrosystem” / spz:neicon:mais:y:2011:i:3:p:75-81
  245. A. Nikolaev V., Андрей Николаев Валерьевич (2019) “Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника // Hypergraphs of Special Type and CUT Polytope Relaxations Properties Analysis” / spz:neicon:mais:y:2011:i:3:p:82-100
  246. And. Klimov V., Андрей Климов Валентинович (2019) “Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем // A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems” / spz:neicon:mais:y:2011:i:4:p:106-117
  247. S. Baranov N., V. Kotlyarov P., Сергей Баранов Николаевич, Всеволод Котляров Павлович (2019) “Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов // A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation” / spz:neicon:mais:y:2011:i:4:p:118-130
  248. N. Kushik G., A. Mammar ., A. Cavalli ., N. Yevtushenko V., W. Jimenez ., E. Montes De Oca ., Наталья Кушик Геннадьевна, Амель Маммар, Ана Кавалли, Нина Евтушенко Владимировна, Вилли Джиминез, Эдгардо Монте Де Ока (2019) “Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN // A SPIN-based Approach for Detecting Vulnerabilities in C Programs” / spz:neicon:mais:y:2011:i:4:p:131-143
  249. D. Beloglazov M., M. Mashukov Yu., V. Nepomniaschy A., Дмитрий Белоглазов Михайлович, Михаил Машуков Юрьевич, Валерий Непомнящий Александрович (2019) “Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри // Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets” / spz:neicon:mais:y:2011:i:4:p:144-156
  250. A. Promsky V., Алексей Промский Владимирович (2019) “Верификация Си-программ: объяснение условий корректности и стандартная библиотека // C Program Verification: VC Explanation and the Standard Library” / spz:neicon:mais:y:2011:i:4:p:157-167
  251. N. Shilov V., Николай Шилов Вячеславович (2019) “Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ // Verification of Backtracking and Branch and Bound Design Templates” / spz:neicon:mais:y:2011:i:4:p:168-180
  252. M. Atuchin M., I. Anureev S., Михаил Атучин Михайлович, Игорь Ануреев Сергеевич (2019) “Атрибутные аннотации и их применение в дедуктивной верификации C-программ // Attribute Annotations and Their Use in C Program Deductive Verification” / spz:neicon:mais:y:2011:i:4:p:21-33
  253. V. Bashkin A., Владимир Башкин Анатольевич (2019) “Построение приближений бисимуляции в односчетчиковых сетях // Approximating Bisimulation in One-counter Nets” / spz:neicon:mais:y:2011:i:4:p:33-44
  254. M. Belyaev A., V. Tsesko A., Михаил Беляев Анатольевич, Вадим Цесько Александрович (2019) “Статический анализ с использованием систем типов и эффектов на основе LLVM // LLVM-based Static Analysis Tool Using Type and Effect Systems” / spz:neicon:mais:y:2011:i:4:p:45-55
  255. В. Непомнящий А., В. Соколов А. (2019) “От редакторов специального выпуска” / spz:neicon:mais:y:2011:i:4:p:5-6
  256. N. Garanina O., Наталья Гаранина Олеговна (2019) “Оптимизационные процедуры в аффинной проверке моделей // Optimization Procedures in Affine Model Checking” / spz:neicon:mais:y:2011:i:4:p:56-67
  257. M. Glukhikh I., V. Itsykson M., V. Tsesko A., Михаил Глухих Игоревич, Владимир Ицыксон Михайлович, Вадим Цесько Александрович (2019) “Использование зависимостей для повышения точности статического анализа программ // The Use of Dependencies for Improving the Precision of Program Static Analysis” / spz:neicon:mais:y:2011:i:4:p:68-79
  258. I. Anureev S., Игорь Ануреев Сергеевич (2019) “Типовые примеры использования языка Atoment // Typical Examples of Atoment Language Using” / spz:neicon:mais:y:2011:i:4:p:7-20
  259. D. Zaitsev A., Дмитрий Зайцев Анатольевич (2019) “Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова // Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm” / spz:neicon:mais:y:2011:i:4:p:80-93
  260. A. Zakharov V., M. Moiseev J., Алексей Захаров Владимирович, Михаил Моисеев Юрьевич (2019) “Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC // Automatic Data Race Error Detection in SystemC Models” / spz:neicon:mais:y:2011:i:4:p:94-105
  261. I. Kashchenko S., S. Kashchenko A., Илья Кащенко Сергеевич, Сергей Кащенко Александрович (2015) “Динамика уравнения Курамото с пространственно-распределенным управлением // The Dynamics of Kuramoto Equation with Spatially-Distributed Control” / spz:neicon:mais:y:2012:i:1:p:24-36
  262. N. Timofeeva V., Надежда Тимофеева Владимировна (2015) “Об одном изоморфизме компактификаций схемы модулей векторных расслоений // On an Isomorphism of Compactifications of Moduli Scheme of Vector Bundles” / spz:neicon:mais:y:2012:i:1:p:37-51
  263. V. Sergunova A., В. Соколов А. (2015) “Редакционная статья” / spz:neicon:mais:y:2012:i:1:p:5
  264. N. Timofeeva E., Нина Тимофеева Евгеньевна (2015) “Смещение оценки энтропии для симметричных мер Бернулли и слабой метрики // Bias of the Entropy Estimator for Symmetric Bernoulli Measures and the Weak Metric” / spz:neicon:mais:y:2012:i:1:p:52-59
  265. S. Solodusha V., Светлана Солодуша Витальевна (2015) “Моделирование систем автоматического управления на основе полиномов Вольтерра // Automatic Control Systems Modeling by Volterra Polynomials” / spz:neicon:mais:y:2012:i:1:p:60-68
  266. E. Konovalov V., Евгений Коновалов Владиславович (2015) “Задача адаптации обобщенного нейронного элемента // The Problem of Adaptation of the Generalized Neural Element” / spz:neicon:mais:y:2012:i:1:p:69-83
  267. S. Kashchenko A., A. Polstyanov S., Сергей Кащенко Александрович, Артем Полстьянов Сергеевич (2015) “Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии // The Asymptotics of Periodic Solutions of Autonomous Parabolic Equations with Rapidly Oscillating Coefficients and Equations with Large Diffusion Coefficients” / spz:neicon:mais:y:2012:i:1:p:7-23
  268. E. Kubyshkin P., O. Khrebtyugova A., Евгений Кубышкин Павлович, Ольга Хребтюгова Анатольевна (2015) “Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем // A Generalized Solution of an Initial Boundary Value Problem Arising in the Mechanics of Discrete-Continuous Systems” / spz:neicon:mais:y:2012:i:1:p:84-96
  269. E. Timofeev A., Евгений Тимофеев Александрович (2015) “Шары в пространствах последовательностей // Balls in Sequence Spaces” / spz:neicon:mais:y:2012:i:2:p:109-114
  270. P. Lebedev V., Павел Лебедев Валерьевич (2015) “Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL // Polynomial Algorithm of Verication for Subset of PLTL Logic” / spz:neicon:mais:y:2012:i:2:p:115-137
  271. E. Kuzmin V., V. Sokolov A., Егор Кузьмин Владимирович, Валерий Соколов Анатольевич (2015) “О верификации LD-программ логических контроллеров // On Verification of PLC-Programs Written in the LD-Language” / spz:neicon:mais:y:2012:i:2:p:138-144
  272. L. Barash Yu., L. Shchur N., Лев Бараш Юрьевич, Лев Щур Николаевич (2015) “Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло // Generation of Random Numbers and Parallel Random Number Streams for Monte Carlo Simulations” / spz:neicon:mais:y:2012:i:2:p:145-162
  273. A. Uvarov D., Артем Уваров Дмитриевич (2015) “Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике // Stable Sheave Moduli of Rank 2 with Chern Classes c 1 = -1; c2 = 2; c3 = 0 on Q3” / spz:neicon:mais:y:2012:i:2:p:19-40
  274. V. Skorokhodov A., Владимир Скороходов Александрович (2015) “Потоки в обобщенных сетях со связанными дугами // Flows in Generalized Nets with Related Arcs” / spz:neicon:mais:y:2012:i:2:p:41-52
  275. M. Zavodchikov A., Михаил Заводчиков Александрович (2015) “Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 // Some New Components of the Moduli Scheme MP3(2; -1; 2; 0) of Stable Coherent Torsion Free Sheaves of Rank 2 on P3” / spz:neicon:mais:y:2012:i:2:p:5-18
  276. L. Korolev V., D. Bytev O., Леонид Королев Владимирович, Донат Бытев Олегович (2015) “Уравнение кинетики измельчения с произвольным законом распределения времени ожидания // Grinding Kinetic Equation with an Arbitrary Law of Waiting Time Distribution” / spz:neicon:mais:y:2012:i:2:p:53-61
  277. A. Brodskiy G., Алексей Бродский Германович (2015) “Двойственность Гейла и смежностность случайных многогранников. I // Gale Duality and the Neighborliness of Random Polytopes. I” / spz:neicon:mais:y:2012:i:2:p:62-86
  278. A. Tatarinov V., A. Tsirlin M., Александр Татаринов Владимирович, Анатолий Цирлин Михайлович (2015) “Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов // The Limiting Degree of Linear System Aperiodic Stability and the Choice of Industrial Regulator Parameters” / spz:neicon:mais:y:2012:i:2:p:87-96
  279. V. Roublev S., Вадим Рублев Сергеевич (2015) “Отношение истории и динамика схем баз данных СУБД DIM // Evolution of DBMS DIM Database Schemes” / spz:neicon:mais:y:2012:i:2:p:97-108
  280. A. Tolbey O., Анна Толбей Олеговна (2015) “Локальная динамика трех осцилляторов со связью вещательного типа // Local Dynamics of Three Coupled Oscillators with a Feedback Loop” / spz:neicon:mais:y:2012:i:3:p:105-112
  281. M. Nevskii V., Михаил Невский Викторович (2015) “О некоторых результатах по геометрии выпуклых и их приложениях // On Some Results in the Geometry of Convex Bodies and their Applications” / spz:neicon:mais:y:2012:i:3:p:113-123
  282. D. Murin M., Дмитрий Мурин Михайлович (2015) “О порядке роста числа инъективных и сверхрастущих рюкзачных векторов // The Order in the Growth of the Injective and Super-Increasing Vectors Knapsacks Quantity” / spz:neicon:mais:y:2012:i:3:p:124-135
  283. A. Kashchenko A., Александра Кащенко Андреевна (2015) “Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием // Stability of the Simplest Periodic Solutions in the Stuart–Landau Equation with Large Delay” / spz:neicon:mais:y:2012:i:3:p:136-141
  284. V. Dolgikh T, Статья Редакционная (2015) “О работе семинара «Нелинейная динамика»” / spz:neicon:mais:y:2012:i:3:p:142-150
  285. S. Kaschenko A., Сергей Кащенко Александрович (2015) “Асимптотика решений обобщённого уравнения Хатчинсона // Asymptotics of Solutions of the Generalized Hutchinson’s Equation” / spz:neicon:mais:y:2012:i:3:p:32-62
  286. G. Malinetsky G., Георгий Малинецкий Геннадьевич (2015) “Синергетика — от прошлого к будущему // Synergetics – From Past to Future” / spz:neicon:mais:y:2012:i:3:p:5-31
  287. N. Demyankov A., V. Klimov S., Николай Демьянков Андреевич, Владимир Климов Степанович (2015) “Об одном классе операторных включений // About One Class of Operators Inclusions” / spz:neicon:mais:y:2012:i:3:p:63-72
  288. D. Kaschenko S., Дмитрий Кащенко Сергеевич (2015) “Динамика простейших кусочно-линейных разрывных отображений // Dynamics of the Simplest Piecewise Linear Discontinuous Mappings” / spz:neicon:mais:y:2012:i:3:p:73-81
  289. B. Solon I., V. Tikhov V., Борис Солон Яковлевич, Валерий Тихов Валерьевич (2015) “О неглавных идеалах в полурешетке степеней перечислимости // About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees” / spz:neicon:mais:y:2012:i:3:p:74-80
  290. S. Glyzin D., E. Marushkina A., Сергей Глызин Дмитриевич, Елена Марушкина Александрович (2015) “Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка // Bursting Behavior in the System of Coupled Oscillators with Delay and its Statistical Analysis” / spz:neicon:mais:y:2012:i:3:p:82-96
  291. A. Morozov N., Анатолий Морозов Николаевич (2015) “О гладкости в Lp, 0 < p < 1 // On Smoothness in Lp, 0 < p < 1” / spz:neicon:mais:y:2012:i:3:p:97-104
  292. V. Deundyak M., J. Kosolapov V., Владимир Деундяк Михайлович, Юрий Косолапов Владимирович (2015) “О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения // On the Firmness Code Noising to the Statistical Analysis of the Observable Data of Repeated Repetition” / spz:neicon:mais:y:2012:i:4:p:110-127
  293. M. Dorrer G., V. Kurokhtin V., Михаил Доррер Георгиевич, Виталий Курохтин Валерьевич (2015) “Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования // Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios” / spz:neicon:mais:y:2012:i:4:p:128-143
  294. M. Iordanskii A., Михаил Иорданский Анатольевич (2015) “Конструктивная классификация графов // A Constructive Classification of Graphs” / spz:neicon:mais:y:2012:i:4:p:144-153
  295. V. Boykov N., Владимир Бойков Николаевич (2015) “Контекстно-свободная грамматика одной ритмической модели русского стиха // A Context-Free Grammar of One Rhythmic Model of Russian Verse” / spz:neicon:mais:y:2012:i:4:p:154-167
  296. Nikolay Dolbilin, Herbert Edelsbrunner, Alexandr Ivanov, Oleg Musin, Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин (2015) “Первая ярославская летняя школа по дискретной и вычислительной геометрии // The First Yaroslavl Summer School on Discrete and Computational Geometry” / spz:neicon:mais:y:2012:i:4:p:168-173
  297. E. Kuzmin V., V. Sokolov A., Егор Кузьмин Владимирович, Валерий Соколов Анатольевич (2015) “О построении и верификации программ логических контроллеров // On Construction and Verification of PLC-Programs” / spz:neicon:mais:y:2012:i:4:p:25-36
  298. M. Nikitinskiy A., D. Chalyy Ju., Михаил Никитинский Александрович, Дмитрий Чалый Юрьевич (2015) “Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть // Performance Analysis of the Transport Protocols Trickles and TCP under High-load Network Conditions” / spz:neicon:mais:y:2012:i:4:p:37-47
  299. A. Legalov I., O. Nepomnyaschy V., I. Matkovsky V., M. Kropacheva S., Александр Легалов Иванович, Олег Непомнящий Владимирович, Иван Матковский Васильевич, Мария Кропачева Сергеевна (2015) “Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах // Tail Recursion Transformation in Functional Dataflow Parallel Programs” / spz:neicon:mais:y:2012:i:4:p:48-58
  300. A. Chentsov G., P. Chentsov A., Александр Ченцов Георгиевич, Павел Ченцов Александрович (2015) “Об одной нестационарной задаче маршрутизации с ограничениями // On a Nonstationary Route Problem with Constraints” / spz:neicon:mais:y:2012:i:4:p:5-24
  301. V. Tikhov V., Валерий Тихов Валерьевич (2015) “Счетные идеалы в полурешетке Dе степеней // Countable Ideals in a Semi-Lattice of the De Enumeration Degrees” / spz:neicon:mais:y:2012:i:4:p:59-66
  302. V. Durnev G., Валерий Дурнев Георгиевич (2015) “Об одном вопросе А.И. Мальцева из "Коуровской тетради" // On one A.I. Mal’cev’s Question from the ”Kourovskaya Notebook”” / spz:neicon:mais:y:2012:i:4:p:67-71
  303. A. Seliverstov V., Александр Селиверстов Владиславович (2015) “Замечания о расположениях точек на квадриках // Some Notes about Arrangements of Points on Quadrics” / spz:neicon:mais:y:2012:i:4:p:72-77
  304. E. Kudryashova S., A. Khusainov A., Екатерина Кудряшова Сергеевна, Ахмет Хусаинов Аксанович (2015) “Обобщенные асинхронные системы // Generalized Asynchronous Systems” / spz:neicon:mais:y:2012:i:4:p:78-86
  305. A. Brodskiy G., Алексей Бродский Германович (2015) “Двойственность Гейла и смежностность случайных многогранников. II // Gale Duality and the Neighborliness of Random Polytopes. II” / spz:neicon:mais:y:2012:i:4:p:87-109
  306. R. Podlovchenko I., A. Molchanov E., Римма Подловченко Ивановна, Андрей Молчанов Эрикович (2015) “О теории алгебраических моделей программ с процедурами // About Algebraic Program Models with Procedures” / spz:neicon:mais:y:2012:i:5:p:100-114
  307. L. Dworza´nski W., I. Lomazova A., Леонид Дворянский Владимирович, Ирина Ломазова Александровна (2015) “Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools // CPN Tools-Assisted Simulation and Verification of Nested Petri Nets” / spz:neicon:mais:y:2012:i:5:p:115-130
  308. S. Balandin I., A. Vasilev M., N. Kozhemyakin I., D. Laure A., I. Paramonov V., Сергей Баландин Игоревич, Андрей Васильев Михайлович, Никита Кожемякин Ильич, Денис Лаурэ Александрович, Илья Парамонов Вячеславович (2015) “Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей // Concurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of Things” / spz:neicon:mais:y:2012:i:5:p:131-141
  309. A. Sivov A., Анатолий Сивов Александрович (2015) “TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные // TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data” / spz:neicon:mais:y:2012:i:5:p:142-150
  310. Статья Редакционная (2015) “О работе семинара «Нелинейная динамика и вычислительная геометрия» (Workshop “Nonlinear Dynamics and Computational Geometry”)” / spz:neicon:mais:y:2012:i:5:p:152-167
  311. S. Kaschenko A., Сергей Кащенко Александрович (2015) “Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых // Stationary States of a Delay Differentional Equation of Insect Population’s Dynamics” / spz:neicon:mais:y:2012:i:5:p:18-34
  312. D. Glyzin S., S. Kaschenko A., Дмитрий Глызин Сергеевич, Сергей Кащенко Александрович (2015) “Динамика комплексного пространственно-распределенного уравнения Хатчинсона // Dynamics of a Complex Spatially Distributed Hutchinson Equation” / spz:neicon:mais:y:2012:i:5:p:35-39
  313. D. Kulikov A., A. Rudy S., Дмитрий Куликов Анатольевич, Александр Рудый Степанович (2015) “Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии // Formation of a Warped Nanomodular Surface Under Ion Bombardment. A Nanoscale Model of Surface Erosion” / spz:neicon:mais:y:2012:i:5:p:40-49
  314. H. Edelsbrunner, A. Ivanov, R. Karasev, Герберт Эдельсбруннер, Александр Иванов, Роман Карасев (2015) “Современные открытые проблемы в дискретной и вычислительной геометрии // Current Open Problems in Discrete and Computational Geometry” / spz:neicon:mais:y:2012:i:5:p:5-17
  315. M. Demina V., N. Kudryashov A., Мария Демина Владимировна, Николай Кудряшов Алексеевич (2015) “Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости // Polynomial Method for Constructing Equilibrium Configurations of Point Vortices in the Plane” / spz:neicon:mais:y:2012:i:5:p:50-55
  316. A. Bobok S., S. Glyzin D., Алексей Бобок Станиславович, Сергей Глызин Дмитриевич (2015) “Автоколебания решеток нелинейных элементов в опыте Скотта // Oscillations in Arrays of Nonlinear Elements in the Scott Experiment” / spz:neicon:mais:y:2012:i:5:p:56-68
  317. E. Kuzmin V., V. Sokolov A., Егор Кузьмин Владимирович, Валерий Соколов Анатольевич (2015) “Моделирование счетчиковых машин двухголовочными автоматами // The Modeling of Counter Machines by Two-Head Finite Automata” / spz:neicon:mais:y:2012:i:5:p:69-73
  318. B. Solon I., V. Tikhov V., Борис Солон Яковлевич, Валерий Тихов Валерьевич (2015) “О неглавных идеалах в полурешетке степеней перечислимости // About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees” / spz:neicon:mais:y:2012:i:5:p:74-80
  319. M. Kropacheva S., A. Legalov I., Мария Кропачева Сергеевна, Александр Легалов Иванович (2015) “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования // Formal Verification of Programs in Functional Dataflow Parallel Language” / spz:neicon:mais:y:2012:i:5:p:81-99
  320. A. Antonov I., V. Bondarenko A., Анатолий Антонов Игоревич, Владимир Бондаренко Александрович (2015) “Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ // Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems” / spz:neicon:mais:y:2012:i:6:p:101-106
  321. V. Dolnikov L., Владимир Дольников Леонидович (2015) “О некоторых следствиях теоремы о трансверсалях // On Some Corollaries of a Transversal Theorem” / spz:neicon:mais:y:2012:i:6:p:107-111
  322. N. Dyshkant F., Наталья Дышкант Федоровна (2015) “О некоторых задачах локализации в триангуляциях Делоне // About Some Localization Problems in Delaunay Triangulations” / spz:neicon:mais:y:2012:i:6:p:112-126
  323. Jin-ichi Itoh, Chie Nara, Джин-ичи Ито, Чи Нара (2015) “Непрерывное уплощение правильного тетраэдра точными отображениями // Continuous Flattening of a Regular Tetrahedron with Explicit Mappings” / spz:neicon:mais:y:2012:i:6:p:127-136
  324. M. Kozachok A., Марина Козачок Александровна (2015) “Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников // Perfect Prismatoids and the Conjecture Concerning Face Numbers of Centrally Symmetric Polytopes” / spz:neicon:mais:y:2012:i:6:p:137-147
  325. A. Magazinov, Александр Магазинов Николаевич (2015) “Равномерная асимптотика верхней границы дисперсии для случайного многогранника // A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope” / spz:neicon:mais:y:2012:i:6:p:148-151
  326. O. Musin R., A. Ukhalov U., H. Edelsbrunner, O. Yakimova P., Олег Мусин Рустумович, Алексей Ухалов Юрьевич, Герберт Эдельсбруннер, Ольга Якимова Павловна (2015) “Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов // Fractal and Computational Geometry for Generalizing Cartographic Objects” / spz:neicon:mais:y:2012:i:6:p:152-160
  327. D. Sabitov I., I. Sabitov Kh., Денис Сабитов Иджадович, Иджад Сабитов Хакович (2015) “Многочлены объема для некоторых многогранников в пространствах постоянной кривизны // Volume Polynomials for Some Polyhedra in Spaces of Constant Curvature” / spz:neicon:mais:y:2012:i:6:p:161-169
  328. M. Shtogrin I., Михаил Штогрин Иванович (2015) “Новое доказательство формулы Эйлера // A New Proof of the Euler Formula” / spz:neicon:mais:y:2012:i:6:p:170-172
  329. D. Zaitsev A., Дмитрий Зайцев Анатольевич (2015) “Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри // Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets” / spz:neicon:mais:y:2012:i:6:p:21-33
  330. I. Anureev S., Игорь Ануреев Сергеевич (2015) “Дедуктивная верификация телекоммуникационных систем, представленных на языке Си // Deductive Verification of Telecommunication Systems Written in C” / spz:neicon:mais:y:2012:i:6:p:34-44
  331. D. Volkanov Yu., V. Zakharov A., D. Zorin A., I. Konnov V., V. Podymov V., Дмитрий Волканов Юрьевич, Владимир Захаров Анатольевич, Даниил Зорин Александрович, Игорь Коннов Владимирович, Владислав Подымов Васильевич (2015) “Как разработать простое средство верификации систем реального времени // On the Designing of Model Checkers for Real-Time Distributed Systems” / spz:neicon:mais:y:2012:i:6:p:45-56
  332. D. Chkliaev A., V. Nepomniaschy A., Дмитрий Шкляев Александрович, Валерий Непомнящий Александрович (2015) “Дедуктивная верификация протокола скользящего окна // Deductive Verification of the Sliding Window Protocol” / spz:neicon:mais:y:2012:i:6:p:57-68
  333. Marat Akhin, Vladimir Itsykson, Марат Ахин Халимович, Владимир Ицыксон Михайлович (2015) “Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения // Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic” / spz:neicon:mais:y:2012:i:6:p:69-78
  334. С. Глызин Д., В. Непомнящий А., В. Соколов А. (2015) “От редакторов специального выпуска” / spz:neicon:mais:y:2012:i:6:p:7-8
  335. A. Kolchin V., A. Letichevsky A., V. Peschanenko S., P. Drobintsev D., V. Kotlyarov P., Александр Колчин Валентинович, Александр Летичевский Адольфович, Владимир Песчаненко Сергеевич, Павел Дробинцев Дмитриевич, Всеволод Котляров Павлович (2015) “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов // An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects” / spz:neicon:mais:y:2012:i:6:p:79-91
  336. V. Bashkin A., Владимир Башкин Анатольевич (2015) “Наследcтвенные свойства модульных сетей // On the Hereditary Properties of Modular Nets” / spz:neicon:mais:y:2012:i:6:p:9-20
  337. N. Dolbilin, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii, Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский (2015) “Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова // Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A. D. Alexandrov)” / spz:neicon:mais:y:2012:i:6:p:92-100
  338. E. Timofeev A., Евгений Тимофеев Александрович (2015) “Несмещенная оценка энтропии для бинарных потоков // Unbiased Entropy Estimator for Binary Sequences” / spz:neicon:mais:y:2013:i:1:p:107-115
  339. D. Azarov N., Дмитрий Азаров Николаевич (2015) “О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра // On the Virtual Residuality of Baumslag — Solitar Groups by Finite p-Groups” / spz:neicon:mais:y:2013:i:1:p:116-123
  340. A. Rozov V., Алексей Розов Вячеславович (2015) “О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга // On the Residual Finiteness of Some Generalized Products of Soluble Groups of Finite Rank” / spz:neicon:mais:y:2013:i:1:p:124-132
  341. E. Tumanova A., Елена Туманова Александровна (2015) “Об аппроксимируемости обобщенных свободных произведений корневыми классами групп // On the Root-Class Residuallity of Generalized Free Products” / spz:neicon:mais:y:2013:i:1:p:133-137
  342. E. Zaputryaeva S., Екатерина Запутряева Сергеевна (2015) “Изгибания равносторонних многоугольников с сохранением индекса // Deformations of Planar Equilateral Polygons with a Constant Index” / spz:neicon:mais:y:2013:i:1:p:138-159
  343. Статья Редакционная (2015) “О работе НОЦ «Нелинейная динамика»” / spz:neicon:mais:y:2013:i:1:p:160-168
  344. E. Grigorieva V., I. Kashchenko S., S. Kashchenko A., Елена Григорьева Викторовна, Илья Кащенко Сергеевич, Сергей Кащенко Александрович (2015) “Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления // Quasinormal Forms for Lang–Kobayashi Equations with a Large Control Coefficient” / spz:neicon:mais:y:2013:i:1:p:18-29
  345. S. Glyzin D., Сергей Глызин Дмитриевич (2015) “Размерностные характеристики диффузионного хаоса // Dimensional Characteristics of Diffusion Chaos” / spz:neicon:mais:y:2013:i:1:p:30-51
  346. M. Butuzova V., Мария Бутузова Валентиновна (2015) “Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I // Asymptotics of the Solution of Bisingular Problem for a System of Linear Parabolic Equations. I” / spz:neicon:mais:y:2013:i:1:p:5-17
  347. S. Kaschenko A., Сергей Кащенко Александрович (2015) “Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» // Relaxation Oscillations in a System with Delays Modeling the Predator-Prey Problem” / spz:neicon:mais:y:2013:i:1:p:52-98
  348. E. Kubyshkin P., Евгений Кубышкин Павлович (2015) “Влияние деформации области на поведение решений распределенной кинетической системы // The Effect of Domain Deformation on the Behavior of a Distributed Kinetic System” / spz:neicon:mais:y:2013:i:1:p:99-106
  349. E. Kuzmin V., V. Sokolov A., Егор Кузьмин Владимирович, Валерий Соколов Анатольевич (2015) “Моделирование, спецификация и построение программ логических контроллеров // Modeling, Specification and Construction of PLC-programs” / spz:neicon:mais:y:2013:i:2:p:104-120
  350. M. Butuzova V., Мария Бутузова Валентиновна (2015) “Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II // Asymptotics of the Solution of the Bisingular Problem for a System of Linear Parabolic Equations. II” / spz:neicon:mais:y:2013:i:2:p:121-128
  351. I. Blagoveshchenskiy A., N. Demyankov A., Иван Благовещенский Александрович, Николай Демьянков Андреевич (2015) “Технологии и алгоритмы для создания дополненной реальности // Technologies and Algorithms for Building the Augmented Reality” / spz:neicon:mais:y:2013:i:2:p:129-138
  352. V. Bashkin A., Владимир Башкин Анатольевич (2015) “Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров // On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits” / spz:neicon:mais:y:2013:i:2:p:139-156
  353. P. Parfenov G., Павел Парфенов Геннадьевич (2015) “О поворотах цифровых изображений // On the Turns of Digital Images” / spz:neicon:mais:y:2013:i:2:p:157-165
  354. V. Bitner A., N. Zaborovsky V., Вильгельм Битнер Александрович, Никита Заборовский Владимирович (2015) “Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов // The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms” / spz:neicon:mais:y:2013:i:2:p:166-177
  355. E. Timofeev A., Евгений Тимофеев Александрович (2015) “Алгоритм эффективного оценивания энтропии // Algorithm for Efficient Entropy Estimation” / spz:neicon:mais:y:2013:i:2:p:178-185
  356. I. Gubochkin V., Иван Губочкин Вадимович (2015) “Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц // An Algorithm for Parameters Estimation of Autoregressive Model of Basic Speech Units” / spz:neicon:mais:y:2013:i:2:p:23-33
  357. A. Bernstein Yu., N. Shilov V., Антон Бернштейн Юрьевич, Николай Шилов Вячеславович (2015) “Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты // “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects” / spz:neicon:mais:y:2013:i:2:p:34-53
  358. A. Nepomniaschaya S., Анна Непомнящая Шмилевна (2015) “Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей // Associative Parallel Algorithm for Dynamic Update of the Shortest Paths Tree” / spz:neicon:mais:y:2013:i:2:p:5-22
  359. A. Smirnov V., Александр Смирнов Валерьевич (2015) “Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода // Some Solvability Classes for the Problem of Integer Balancing of a Three-Dimensional Matrix with Constraints of Second Type” / spz:neicon:mais:y:2013:i:2:p:54-69
  360. N. Loukachevitch V., I. Chetviorkin I., Наталья Лукашевич Валентиновна, Илья Четвёркин Игоревич (2015) “Построение модели для извлечения оценочной лексики в различных предметных областях // Construction of a Model for the Cross-Domain Opinion Word Extraction” / spz:neicon:mais:y:2013:i:2:p:70-79
  361. A. Volkov N., Алексей Волков Николаевич (2015) “Единая модель для геоклассификации веб-сайтов // Unified Classification Model for Geotagging Websites” / spz:neicon:mais:y:2013:i:2:p:80-91
  362. A. Husainov A., E. Bushmeleva S., T. Trishina A., Ахмет Хусаинов Аксанович, Елена Бушмелева Сергеевна, Таисия Тришина Александровна (2015) “Группы гомологий сети Петри конвейера // Homology Groups of a Pipeline Petri Net” / spz:neicon:mais:y:2013:i:2:p:92-103
  363. A. Taskin S., E. Mirkes M., N. Sirotinina Y., Андрей Таскин Сергеевич, Евгений Миркес Моисеевич, Наталья Сиротинина Юрьевна (2015) “Применение нечеткой классификации для гибридных линейных методов прогнозирования // Application of the Fuzzy Classification for Linear Hybrid Prediction Methods” / spz:neicon:mais:y:2013:i:3:p:108-120
  364. K. Tukhliev, Камаридин Тухлиев (2015) “Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых // The Optimal Quadrature Formula of Approximate Calculation of Curvilinear Integral of First Kind for Some Classes of Functions and Curves” / spz:neicon:mais:y:2013:i:3:p:121-129
  365. A. Tsirlin, Анатолий Цирлин Михайлович (2015) “Преобразования задач оптимального управления // Transformations of Optimal Control Problems” / spz:neicon:mais:y:2013:i:3:p:130-152
  366. I. Kashchenko S., Илья Кащенко Сергеевич (2015) “Пространственные особенности высокомодовых бифуркаций в распределенном логистическом уравнении // Spatial Properties of High-Mode Bifurcations of a Distributed Logistic Equation” / spz:neicon:mais:y:2013:i:3:p:29-42
  367. S. Glyzin D., P. Shokin L., Сергей Глызин Дмитриевич, Павел Шокин Леонидович (2015) “Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной // Diffusion Chaos in Reaction – Diffusion Boundary Problem in the Dumbbell Domain” / spz:neicon:mais:y:2013:i:3:p:43-57
  368. P. Nesterov N., Павел Нестеров Николаевич (2015) “Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний // Parametric Resonance in a Time-Dependent Harmonic Oscillator” / spz:neicon:mais:y:2013:i:3:p:5-28
  369. T. Akhromeyeva S., G. Malinetsky G., S. Posashkov A., S. Toropygina A., Георгий Малинецкий Геннадьевич, Татьяна Ахромеева Сергеевна, Сергей Посашков Александрович, Светлана Торопыгина Аркадьевна (2015) “Самоорганизация, сети, будущее // Self-organization, Networks, Future” / spz:neicon:mais:y:2013:i:3:p:58-76
  370. M. Nevskii V., Михаил Невский Викторович (2015) “Об одной задаче для симплекса и куба в Rⁿ // On Some Problem for a Simplex and a Cube in Rⁿ” / spz:neicon:mais:y:2013:i:3:p:77-85
  371. N. Bykova D., S. Glyzin D., S. Kaschenko A., Надежда Быкова Дмитриевна, Сергей Глызин Дмитриевич, Сергей Кащенко Александрович (2015) “Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием // Parametric Resonance in the Logistic Equation with Delay under a Two-Frequency Perturbation” / spz:neicon:mais:y:2013:i:3:p:86-98
  372. M. Omelkova S., Мария Омелькова Сергеевна (2015) “Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии // Families of Smooth Rational Curves of Small Degree on the Fano Variety of Degree 5 of Main Series” / spz:neicon:mais:y:2013:i:3:p:99-107
  373. Y. Borovkov E., A. Krenev N., V. Muravyev N., A. Omeltchuk P., Юрий Боровков Евгеньевич, Александр Кренев Николаевич, Виктор Муравьев Николаевич, Александр Омельчук Прокофьевич (2015) “Исследование ортогональности сигналов с вращением вектора поляризации // Study of Orthogonal Signals to the Rotation of the Polarization Vector” / spz:neicon:mais:y:2013:i:4:p:104-109
  374. A. Krasotin A., I. Alexseev V., Артем Красотин Александрович, Игорь Алексеев Вадимович (2015) “Программно-конфигурируемые сети как этап эволюции сетевых технологий // Software-Defined Networks as a Stage of the Network Technology Evolution” / spz:neicon:mais:y:2013:i:4:p:110-124
  375. Vladimir Boikov N., Vladimir Zakharov E., Mariya Karyaeva S., Valery Sokolov A., Владимир Бойков Николаевич, Владимир Захаров Евгеньевич, Мария Каряева Сергеевна, Валерий Соколов Анатольевич (2015) “Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний // Domain-Specific Thesaurus as a Tool for Information Retrieval and Collection of Knowledge” / spz:neicon:mais:y:2013:i:4:p:125-135
  376. E. Boytsov A., Евгений Бойцов Александрович (2015) “Проектирование и разработка имитационной модели мультиклиентского кластера баз данных // Designing and Development of an Imitation Model of a Multi-Tenant Database Cluster” / spz:neicon:mais:y:2013:i:4:p:136-149
  377. V. Bashkin A., I. Lomazova A., Владимир Башкин Анатольевич, Ирина Ломазова Александровна (2015) “О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом // On the Decidability of Soundness of Workflow Nets with an Unbounded Resource” / spz:neicon:mais:y:2013:i:4:p:23-40
  378. S. Zykin V., Сергей Зыкин Владимирович (2015) “Автоматизация формирования табличных приложений // Automation of Tabular Application Formation” / spz:neicon:mais:y:2013:i:4:p:41-54
  379. E. Kuzmin V., V. Sokolov A., D. Ryabukhin A., Егор Кузьмин Владимирович, Валерий Соколов Анатольевич, Дмитрий Рябухин Александрович (2015) “Построение и верификация ПЛК-программ по LTL-спецификации // Construction and Verification of PLC-programs by LTL-specification” / spz:neicon:mais:y:2013:i:4:p:5-22
  380. E. Tolyupa A., Евгений Толюпа Алексеевич (2015) “Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром // An Algorithm of (n, t)-Threshold Proxy Signature with an Arbitrator” / spz:neicon:mais:y:2013:i:4:p:55-70
  381. A. Magazinov N., Александр Магазино Николаевич (2015) “К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 // On Delaunay’s Theorem Classifying Coincidences of Parallelohedra at Faces of Codimension 3” / spz:neicon:mais:y:2013:i:4:p:71-80
  382. A. Vasilev M., I. Paramonov V., N. Lagutina S., E. Mamedov I., Андрей Васильев Михайлович, Илья Парамонов Вячеславович, Надежда Лагутина Станиславовна, Эльдар Мамедов Интизамович (2015) “Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 // A Substitution Algorithm for Dataflow Network Agents on Smart-M3 Platform” / spz:neicon:mais:y:2013:i:4:p:81-90
  383. Vitaly Petrov, Maria Komar, Yevgeny Koucheryavy, Виталий Петров Игоревич, Мария Комар Сергеевна, Евгений Кучерявый Андреевич (2015) “Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах // A Novel Approach to Many-to-Many User Authentication in Different Information Systems” / spz:neicon:mais:y:2013:i:4:p:91-103
  384. G. Yusupov A., Гулзорхон Юсупов Амиршоевич (2015) “Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина // Exact Values of Widths of Some Functional Classes in L2 and Minimization of the Constants in Inequalities of Jackson – Stechkin Type” / spz:neicon:mais:y:2013:i:5:p:106-116
  385. N. Strelkova P., Наталия Стрелкова Павловна (2015) “Замкнутые локально минимальные сети на поверхностях выпуклых многогранников // Closed Locally Minimal Networks on the Surfaces of Convex Polyhedra” / spz:neicon:mais:y:2013:i:5:p:117-147
  386. A. Shutov V., E. Kolomeykina V., Антон Шутов Владимирович, Екатерина Коломейкина Викторовна (2015) “Оценка числа решетчатых разбиений плоскости на полимино заданной площади // The Estimation of the Number of Lattice Tilings of a Plane by a Given Area Polyomino” / spz:neicon:mais:y:2013:i:5:p:148-157
  387. A. Bobok S., S. Glyzin D., A. Kolesov Yu., Алексей Бобок Станиславович, Сергей Глызин Дмитриевич, Андрей Колесов Юрьевич (2015) “Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики // The Quasi-Normal Form of a System of Three Unidirectionally Coupled Singularly Perturbed Equations with Two Delays” / spz:neicon:mais:y:2013:i:5:p:158-167
  388. P. Nesterov N., E. Agafonchikov N., Павел Нестеров Николаевич, Евгений Агафончиков Николаевич (2015) “Особенности колебания решений адиабатических осцилляторов с запаздыванием // Features of Oscillations in Adiabatic Oscillators with Delay” / spz:neicon:mais:y:2013:i:5:p:25-44
  389. E. Grigorieva V., S. Kaschenko A., Елена Григорьева Викторовна, Сергей Кащенко Александрович (2015) “Локальная динамика лазера с быстро осциллирующими параметрами // Local Dynamics of a Laser with Rapidly Oscillating Parameters” / spz:neicon:mais:y:2013:i:5:p:45-61
  390. S. Kaschenko A., Сергей Кащенко Александрович (2015) “Релаксационные колебания в моделях многовидовых сообществ // Relaxation Oscillations in Models of Multi-Species Biocenose” / spz:neicon:mais:y:2013:i:5:p:5-24
  391. Y. Larina Y., L. Rodina I., Яна Ларина Юрьевна, Людмила Родина Ивановна (2015) “Статистические характеристики управляемых систем, возникающие в различных моделях естествознания // Statistical Characteristics of Control Systems, Arising in Various Models of Natural Sciences” / spz:neicon:mais:y:2013:i:5:p:62-77
  392. T. Yuldashev K., Турсун Юлдашев Камалдинович (2015) “Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения // On a Problem of Optimal Control for a Nonlinear Pseudohyperbolic Equation” / spz:neicon:mais:y:2013:i:5:p:78-89
  393. M. Langarshoev R., Мухтор Лангаршоев Рамазонович (2015) “Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ // The Exact Inequalities of Jackson–Stechkin Type and the Width Values for Some Classes of Functions in L₂ Space” / spz:neicon:mais:y:2013:i:5:p:90-105
  394. N. Garanina O., Наталья Гаранина Олеговна (2015) “Общие знания в хорошо структурированных системах с абсолютной памятью // Common Knowledge in Well-structured Perfect Recall Systems” / spz:neicon:mais:y:2013:i:6:p:10-21
  395. Egon Schulte, Шульте Эйгон (2015) “Правильные полигональные комплексы высших рангов в E³ // Regular Polygonal Complexes of Higher Ranks in E³” / spz:neicon:mais:y:2013:i:6:p:103-110
  396. F. Chazal, B.T. Fasy, F. Lecci, A. Rinaldo, A. Singh, L. Wasserman, Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман (2015) “О бутстрэпе для диаграмм и ландшафтов персистентности // On the Bootstrap for Persistence Diagrams and Landscapes” / spz:neicon:mais:y:2013:i:6:p:111-120
  397. M. Gorsky A., Михаил Горский Александрович (2015) “Комплексы подслов и ниль-движения Гекке // Subword Complexes and Nil-Hecke Moves” / spz:neicon:mais:y:2013:i:6:p:121-128
  398. V. Grishukhin P., Вячеслав Гришухин Петрович (2015) “Определение области типа параллелоэдра // A Definition of Type Domain of a Parallelotope” / spz:neicon:mais:y:2013:i:6:p:129-134
  399. Masaharu Tanemura, Масахару Танемура (2015) “О региональных случайных упаковках // On the Areal Random Packing” / spz:neicon:mais:y:2013:i:6:p:135-141
  400. S. Yablokova I., Светлана Яблокова Ивановна (2015) “О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы // On Homology Groups of a Subspace of Triangulations of the Two-Simplex with not More than 6 Subdivisional Boundary Vertices” / spz:neicon:mais:y:2013:i:6:p:142-148
  401. I. Sabitov Kh., Иджад Сабитов Хакович (2015) “Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли // Hyperbolic Tetrahedron: Volume Calculation with Application to the Proof of the Schläfli Formula” / spz:neicon:mais:y:2013:i:6:p:149-161
  402. O. Dunaeva A., D. Malkova B., M. Machin L., H. Edelsbrunner, Ольга Дунаева Александровна, Дарья Малкова Борисовна, Михаил Мячин Леонидович, Херберт Эдельсбруннер (2015) “Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков // Segmentation of Clinical Endoscopic Images Based on the Classification of Topological Vector Features” / spz:neicon:mais:y:2013:i:6:p:162-173
  403. N. Timofeeva E., Нина Тимофеева Евгеньевна (2015) “Построение оценки энтропии для специальной метрики и произвольной функции // Construction of an Entropy Estimator with a Special Metrics and an Arbitrary Function” / spz:neicon:mais:y:2013:i:6:p:174-178
  404. S. Glyzin D., E. Marushkina A., Сергей Глызин Дмитриевич, Елена Марушкина Александровна (2015) “Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями // Relaxation Cycles in a Generalized Neuron Model with Two Delays” / spz:neicon:mais:y:2013:i:6:p:179-199
  405. Marat Akhin, Mikhail Belyaev, Vladimir Itsykson, Марат Ахин Халимович, Михаил Беляев Анатольевич, Владимир Ицыксон Михайлович (2015) “Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций // Defect Detection: Combining Bounded Model Checking and Code Contracts” / spz:neicon:mais:y:2013:i:6:p:22-35
  406. V. Zakharov A., R. Smelyansky L., E. Chemeritsky V., Владимир Захаров Анатольевич, Руслан Смелянский Леонидович, Евгений Чемерицкий Викторович (2015) “Формальная модель и задачи верификации программно-конфигурируемых сетей // A Formal Model and Verification Problems for Software Defined Networks” / spz:neicon:mais:y:2013:i:6:p:36-51
  407. I. Maryasov V., V. Nepomnyaschy A., A. Promsky V., D. Kondratyev A., Илья Марьясов Владимирович, Валерий Непомнящий Александрович, Алексей Промский Владимирович, Дмитрий Кондратьев Александрович (2015) “Автоматическая верификация C-программ на основе смешанной аксиоматической семантики // Automatic C Program Verification Based on Mixed Axiomatic Semantics” / spz:neicon:mais:y:2013:i:6:p:52-63
  408. P. Drobintsev D., V. Kotlyarov P., A. Letichevsky A., Павел Дробинцев Дмитриевич, Всеволод Котляров Павлович, Александр Летичевский Адольфович (2015) “Автоматизация создания верифицированных тестовых сценариев на основе гидов // The Guide-based Automatic Creation of Verified Test Scenarious” / spz:neicon:mais:y:2013:i:6:p:64-77
  409. С. Глызин Д., В. Непомнящий А., В. Соколов А. (2015) “От редакторов специального выпуска” / spz:neicon:mais:y:2013:i:6:p:7-9
  410. E. Kuzmin V., V. Sokolov A., D. Ryabukhin A., Егор Кузьмин Владимирович, Валерий Соколов Анатольевич, Дмитрий Рябухин Александрович (2015) “Построение и верификация LD-программ ПЛК по LTL-спецификации // Construction and Verification of PLC LD-programs by LTL-specification” / spz:neicon:mais:y:2013:i:6:p:78-94
  411. A. Garber, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii, Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский (2015) “Международная конференция “Геометрия, топология и и приложения” // International Conference “Geometry, Topology, and Applications”” / spz:neicon:mais:y:2013:i:6:p:95-102
  412. E. Marushkina A., Елена Марушкина Александровна (2015) “Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо // Asymmetric Interaction of a Pair FitzHugh–Nagumo Oscillators” / spz:neicon:mais:y:2014:i:1:p:115-120
  413. Статья Редакционная (2015) “О работе семинара «Нелинейная динамика»” / spz:neicon:mais:y:2014:i:1:p:121-132
  414. S. Glyzin D., A. Kolesov Yu., N. Rozov Kh., Сергей Глызин Дмитриевич, Андрей Колесов Юрьевич, Николай Розов Христович (2015) “Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах // On One Means of Hard Excitation of Oscillations in Nonlinear Flutter Systems” / spz:neicon:mais:y:2014:i:1:p:32-44
  415. N. Kudryashov A., D. Sinelshchikov I., Николай Кудряшов Алексеевич, Дмитрий Синельщиков Игоревич (2015) “Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа // Classical and Nonclassical Symmetries of Nonlinear Differential Equation for Describing Waves in a Liquid with Gas Bubbles” / spz:neicon:mais:y:2014:i:1:p:45-52
  416. С. Глызин Д. (2015) “От редколлегии” / spz:neicon:mais:y:2014:i:1:p:5-6
  417. V. Bogaevskaya G., I. Kashchenko S., Виктория Богаевская Григорьевна, Илья Кащенко Сергеевич (2015) “Влияние запаздывающей обратной связи на устойчивость периодических орбит // The Influence of Delayed Feedback Control on Stabilization of Periodic Orbits” / spz:neicon:mais:y:2014:i:1:p:53-65
  418. D. Eliseev A., E. Kubyshkin P., Дмитрий Елисеев Андреевич, Евгений Кубышкин Павлович (2015) “Уравнения движения твердого тела с двумя упругими стержнями // Equations of Motion of a Rigid Body with Two Elastic Rods” / spz:neicon:mais:y:2014:i:1:p:66-72
  419. V. Butuzov F., I. Denisov V., Валентин Бутузов Федорович, Игорь Денисов Васильевич (2015) “Угловой пограничный слой в нелинейных эллиптических задачах, содержащих производные первого порядка // Corner Boundary Layer in Nonlinear Elliptic Problems Containing Derivatives of First Order” / spz:neicon:mais:y:2014:i:1:p:7-31
  420. S. Aleshin V., S. Kaschenko A., Сергей Алешин Владимирович, Сергей Кащенко Александрович (2015) “Локальная динамика логистического уравнения, содержащего запаздывание // Local Dynamics of a Logistic Equation with Delay” / spz:neicon:mais:y:2014:i:1:p:73-88
  421. N. Bykova D., E. Grigorieva V., Надежда Быкова Дмитриевна, Елена Григорьева Викторовна (2015) “Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием // Applying the Averaging Principle to a Logistic Equation with Rapidly Oscillating Delay” / spz:neicon:mais:y:2014:i:1:p:89-93
  422. S. Kaschenko A., V. Frolov E., Сергей Кащенко Александрович, Валерий Фролов Евгеньевич (2015) “Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией // Asymptotics of a Steady-State Condition of Finite-Difference Approximation of a Logistic Equation with Delay and Small Diffusion” / spz:neicon:mais:y:2014:i:1:p:94-114
  423. V. Vasilchikov V., Владимир Васильчиков Васильевич (2015) “О поддержке рекурсивно-параллельного программирования в .NET Framework // On the Recursive-Parallel Programming for the .NET Framework” / spz:neicon:mais:y:2014:i:2:p:15-25
  424. D. Ryabukhin A., E. Kuzmin V., V. Sokolov A., Дмитрий Рябухин Александрович, Егор Кузьмин Владимирович, Валерий Соколов Анатольевич (2015) “Построение IL-программ ПЛК по LTL-спецификации // Construction of PLC IL-Programs by LTL-Specification” / spz:neicon:mais:y:2014:i:2:p:26-38
  425. D. Ivanov M., Дмитрий Иванов Михайлович (2015) “Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем // Fast Multiplication of a Matrix with Large Multiplicative Order by a Vector Over a Finite Field” / spz:neicon:mais:y:2014:i:2:p:39-49
  426. E. Tolyupa A., Евгений Толюпа Алексеевич (2015) “Механизм антивирусной защиты на базе (n, t)-пороговой ДЦП с Арбитром // Method of Anti-Virus Protection Based on (n, t) Threshold Proxy Signature with an Arbitrator” / spz:neicon:mais:y:2014:i:2:p:5-14
  427. D. Azarov N., Дмитрий Азаров Николаевич (2015) “Некоторые аппроксимационные свойства групп конечного ранга // Some Residual Properties of Finite Rank Groups” / spz:neicon:mais:y:2014:i:2:p:50-55
  428. R. Podlovchenko I., A. Molchanov E., Римма Подловченко Ивановна, Андрей Молчанов Эрикович (2015) “Разрешимость эквивалентности в перегородчатых моделях программ // Equivalence Problem Solvability in Gateway Program Models” / spz:neicon:mais:y:2014:i:2:p:56-70
  429. S. Glyzin D., A. Kolesov Yu., N. Rozov Kh., Сергей Глызин Дмитриевич, Андрей Колесов Юрьевич, Николай Розов Христович (2015) “Неклассические релаксационные колебания в нейродинамике // Non-Classical Relaxation Oscillations in Neurodynamics” / spz:neicon:mais:y:2014:i:2:p:71-89
  430. A. Tikhomirov S., M. Zavodchikov A., Александр Тихомиров Сергеевич, Михаил Заводчиков Александрович (2015) “Приводимость пространства модулей стабильных рефлексивных пучков ранга 2 с классами Черна c1 = −1, c2 = 4, c3 = 2 на пространстве P3 // Reducibility of the Moduli Space of Stable Rank 2 Reflexive Sheaves with Chern Classes c1 = −1, c2 = 4, c3 = 2 on Projective Space P³” / spz:neicon:mais:y:2014:i:2:p:90-96
  431. T. Yuldashev K., Турсун Юлдашев Камалдинович (2015) “Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения // Approximate Solution of an Optimal Control Dot Mobile Problem for a Nonlinear Hyperbolic Equation” / spz:neicon:mais:y:2014:i:3:p:106-120
  432. N. Bykova D., Надежда Быкова Дмитриевна (2015) “Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием // Calculating Lyapunov Value for the Logistic Equation with Rapidly Oscillating Delay” / spz:neicon:mais:y:2014:i:3:p:121-128
  433. A. Kashchenko A., Александра Кащенко Андреевна (2015) “Устойчивость непрерывных волн для модели FDML лазера // Stability of CW Solutions of the FDML Laser” / spz:neicon:mais:y:2014:i:3:p:35-54
  434. P. Nesterov N., Павел Нестеров Николаевич (2015) “Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I // Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients. I” / spz:neicon:mais:y:2014:i:3:p:5-34
  435. Y. Bogomolov V., Юрий Богомолов Викторович (2015) “Об устойчивости состояния равновесия одной модели нейронной сети // On the Equilibrium State Stability of a Neural Network Model” / spz:neicon:mais:y:2014:i:3:p:55-61
  436. V. Kopylov D., O. Dunaeva A., M. Myachin L., Валерий Копылов Дмитриевич, Ольга Дунаева Александровна, Михаил Мячин Леонидович (2015) “Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны // Impulse Neuron and Cellular Neural Automaton are Asymptotically Equivalent” / spz:neicon:mais:y:2014:i:3:p:62-80
  437. A. Morozov N., Анатолий Морозов Николаевич (2015) “Счётная аддитивность распространения оператора дифференцирования // Countable Additivity of Spreading the Differentiation Operator” / spz:neicon:mais:y:2014:i:3:p:81-90
  438. M. Shabozov Sh., Мирганд Шабозов Шабозович (2015) “Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности // On an Optimal Quadrature Formula for Classes of Functions Given by Modulus of Continuity” / spz:neicon:mais:y:2014:i:3:p:91-105
  439. A. Molchanov E., Андрей Молчанов Эрикович (2015) “Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ // Equivalence Problem Solvability in Biparametric Gateway Program Models” / spz:neicon:mais:y:2014:i:4:p:104-115
  440. R. Podlovchenko I., Римма Подловченко Ивановна (2015) “Исследование примитивных схем программ с процедурами // Primitive Program Schemes with Procedures” / spz:neicon:mais:y:2014:i:4:p:116-131
  441. E. Boytsov A., Евгений Бойцов Александрович (2015) “Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных // Applying Stochastic Metaheuristics to the Problem of Data Management in a Multi-Tenant Database Cluster” / spz:neicon:mais:y:2014:i:4:p:13-24
  442. A. Smirnov V., Александр Смирнов Валерьевич (2015) “Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода // Heuristic Algorithms for The Problem of Integer Balancing of a Three-dimensional Matrix with Constraints of Second Type” / spz:neicon:mais:y:2014:i:4:p:132-147
  443. E. Tumanova A., Елена Туманова Александровна (2015) “Об аппроксимируемости корневыми классами HNN-расширений групп // On the Root-class Residuality of HNN-extensions of Groups” / spz:neicon:mais:y:2014:i:4:p:148-180
  444. A. Mitsyuk A., I. Shugurov S., Алексей Мицюк Александрович, Иван Шугуров Сергеевич (2015) “Синтез моделей процессов по журналам событий с шумом // On Process Model Synthesis Based on Event Logs with Noise” / spz:neicon:mais:y:2014:i:4:p:181-198
  445. V. Bondarenko A., A. Nikolaev V., Владимир Бондаренко Александрович, Андрей Николаев Валерьевич (2015) “О нецелочисленных гранях метрического многогранника // Some Properties of Metric Polytope Constraints” / spz:neicon:mais:y:2014:i:4:p:25-34
  446. S. Yermakova M., Светлана Ермакова Михайловна (2015) “О пространстве путей на полных пересечениях в грассманианах // On the Variety of Paths on Complete Intersections in Grassmannians” / spz:neicon:mais:y:2014:i:4:p:35-46
  447. M. Kozachok A., A. Magazinov N., Марина Козачок Александровна, Александр Магазинов Николаевич (2015) “Совершенные призмоиды и решетчатые многогранники Делоне // Perfect Prismatoids are Lattice Delaunay Polytopes” / spz:neicon:mais:y:2014:i:4:p:47-53
  448. E. Antoshina Ju., A. Barakova N., E. Nikitin S., D. Chalyy Ju., Екатерина Антошина Юрьевна, Александра Баракова Николаевна, Евгений Никитин Сергеевич, Дмитрий Чалый Юрьевич (2015) “Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования // A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language” / spz:neicon:mais:y:2014:i:4:p:5-12
  449. I. Kozlov V., Илья Козлов Владимирович (2015) “Устойчивость в задаче поиска минимального разреза в графе // On Stable Instances of MINCUT” / spz:neicon:mais:y:2014:i:4:p:54-63
  450. A. Korotkin A., A. Maksimov A., Алексей Короткин Абрамович, Александр Максимов Андреевич (2015) “Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях // Cellular-local Algorithm for Localizing and Estimating Changes in Binary Images” / spz:neicon:mais:y:2014:i:4:p:64-74
  451. E. Kuzmin V., D. Ryabukhin A., V. Sokolov A., Егор Кузьмин Владимирович, Дмитрий Рябухин Александрович, Валерий Соколов Анатольевич (2015) “Моделирование согласованного поведения ПЛК-датчиков // Modeling a Consistent Behavior of PLC-Sensors” / spz:neicon:mais:y:2014:i:4:p:75-90
  452. D. Laure A., N. Lagutina S., I. Paramonov V., Денис Лаурэ Александрович, Надеджа Лагутина Станиславовна, Илья Парамонов Вячеславович (2015) “Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона // Development of an Algorithm for Heart Rate Measurement Using a Mobile Phone Camera” / spz:neicon:mais:y:2014:i:4:p:91-103
  453. S. Shershakov A., Сергей Шершаков Андреевич (2015) “Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов // DPMine Graphical Language for Automation of Experiments in Process Mining” / spz:neicon:mais:y:2014:i:5:p:102-115
  454. A. Maksimenko N., Александр Максименко Николаевич (2015) “Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия // Characteristics of Complexity: Clique Number of a Polytope Graph and Rectangle Covering Number” / spz:neicon:mais:y:2014:i:5:p:116-130
  455. V. Shapeev P., E. Vorozhtsov V., Василий Шапеев Павлович, Евгений Ворожцов Васильевич (2015) “Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса // Application of Computer Algebra Systems to the Construction of the Collocations and Least Residuals Method for Solving the 3D Navier–Stokes Equations” / spz:neicon:mais:y:2014:i:5:p:131-147
  456. E. Konovalov V., Евгений Коновалов Владиславович (2015) “Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа // Attractor in Circular Structure of Oscillatory Generalized Neural Elements” / spz:neicon:mais:y:2014:i:5:p:148-161
  457. Y. Bogomolov V., S. GlyzinA D., A. Kolesov Yu., Юрий Богомолов Викторович, Сергей Глызин Дмитриевич, Андрей Колесов Юрьевич (2015) “О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа // On the Number of Coexisting Autowaves in the Chain of Coupled Oscillators” / spz:neicon:mais:y:2014:i:5:p:162-180
  458. M. Preobrazhenskaia M., Маргарита Преображенская Михайловна (2015) “Применение метода квазинормальных форм к математической модели отдельного нейрона // Application of the Method of Quasi-Normal Forms to the Mathematical Model of a Single Neuron” / spz:neicon:mais:y:2014:i:5:p:38-48
  459. M. Demina V., N. Kudryashov A., Николай Кудряшов Алексеевич, Мария Демина Владимировна (2015) “Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений // Doubly Periodic Meromorphic Solutions of Autonomous Nonlinear Differential Equations” / spz:neicon:mais:y:2014:i:5:p:49-60
  460. P. Nesterov N., Павел Нестеров Николаевич (2015) “Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II // Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients. II” / spz:neicon:mais:y:2014:i:5:p:5-37
  461. S. Kaschenko A., Сергей Кащенко Александрович (2015) “Динамика логистического уравнения с запаздыванием и запаздывающим управлением // The Dynamics of the Logistic Equation with Delay and Delayed Control” / spz:neicon:mais:y:2014:i:5:p:61-77
  462. E. Kubyshkin P., M. Tryakhov S., Евгений Кубышкин Павлович, Михаил Тряхов Сергеевич (2015) “Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем // Optimal Behavior Control of an Initial-Boundary Problem Solution Modelling Rotation of a Solid Body with the Flexible Rod” / spz:neicon:mais:y:2014:i:5:p:78-92
  463. M. Farkov A., A. Legalov I., Михаил Фарков Александрович, Александр Легалов Иванович (2015) “Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах // Application of Numerical Optimization Methods to Perform Molecular Docking on Graphics Processing Units” / spz:neicon:mais:y:2014:i:5:p:93-101
  464. T. Agapova Y., T. Bryksin A., Татьяна Агапова Юрьевна, Тимофей Брыксин Александрович (2015) “Поддержка эволюции визуальных языков в платформе QReal // Support for Visual Languages Evolution in DSM-platform QReal” / spz:neicon:mais:y:2014:i:6:p:107-119
  465. M. Baklanovsky V., A. Khanov R., Максим Баклановский Викторович, Артур Ханов Рафаэльевич (2015) “Поведенческая идентификация программ // Identification of Programs Based on the Behavior” / spz:neicon:mais:y:2014:i:6:p:120-130
  466. S. Grigorev, E. Verbitskaia , M. Polubelova , A. Ivanov , E. Mavchun , Семен Григорьев Вячеславович, Екатерина Вербицкая Андреевна, Марина Полубелова Игоревна, Андрей Иванов Васильевич, Екатерина Мавчун Валерьевна (2015) “Инструментальная поддержка встроенных языков в интегрированных средах разработки // IDE Support of String-Embedded Languages” / spz:neicon:mais:y:2014:i:6:p:131-143
  467. P. Drobintsev D., V. Kotlyarov P., I. Nikiforov V., A. Letichevsky A., Павел Дробинцев Дмитриевич, Всеволод Котляров Павлович, Игорь Никифоров Валерьевич, Александр Летичевский Адольфович (2015) “Инкрементальный подход к технологии создания тестов для индустриальных проектов // Incremental Approach to the Technology of Test Design for Industrial Projects” / spz:neicon:mais:y:2014:i:6:p:144-154
  468. M. Kolomeychenko I., A. Zolotyh A., I. Polyakov V., A. Chepovskiy M., Максим Коломейченко Игоревич, Алексей Золотых Андреевич, Игорь Поляков Викторович, Андрей Чеповский Михайлович (2015) “Программный комплекс для анализа и визуализации графов // Software for Graph Analysis and Visualization” / spz:neicon:mais:y:2014:i:6:p:155-168
  469. A. Marchuk G., Александр Марчук Гурьевич (2015) “PolarDB – система создания специализированных NoSQL баз данных и СУБД // PolarDB – Infrastructure for Specialized NoSQL Datebases and DBMS” / spz:neicon:mais:y:2014:i:6:p:169-175
  470. Статья Редакционная , Статья Редакционная (2015) “О работе семинара «Нелинейная динамика» // Seminar “Nonlinear Dynamics”” / spz:neicon:mais:y:2014:i:6:p:176-192
  471. V. Bashkin A., N. Panfilova Yu., Владимир Башкин Анатольевич, Надежда Панфилова Юрьевна (2015) “Управляемые тупики в параллельных ресурсно-ограниченных потоках работ // Controllable Deadlocks in Parallel Resource-Constrained Workflows” / spz:neicon:mais:y:2014:i:6:p:18-30
  472. N. Garanina O., E. Bodin V., E. Sidorova A., Наталья Гаранина Олеговна, Евгений Бодин Викторович, Елена Сидорова Анатольевна (2015) “Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN // Using SPIN for Verification of Multi-agent Data Analysis” / spz:neicon:mais:y:2014:i:6:p:31-43
  473. P. Drobintsev D., V. Kotlyarov P., I. Nikiforov V., A. Letichevsky A., V. Peschanenko S., Павел Дробинцев Дмитриевич, Всеволод Котляров Павлович, Игорь Никифоров Валерьевич, Александр Летичевский Адольфович, Владимир Песчаненко Сергеевич (2015) “Подход к автоматизации отладки поведенческих сценариев // Approach to Behavior Scenarios Debugging” / spz:neicon:mais:y:2014:i:6:p:44-56
  474. В. Непомнящий А., В. Соколов А. (2015) “От редакторов специального выпуска” / spz:neicon:mais:y:2014:i:6:p:5-6
  475. V. Zakharov A., E. Chemeritsky V., Владимир Захаров Анатольевич, Евгений Чемерицкий Викторович (2015) “О некоторых задачах реконфигурирования программно-конфигурируемых сетей // On the Update Problems for Software Defined Networks” / spz:neicon:mais:y:2014:i:6:p:57-70
  476. Marat Akhin, Sam Kolton, Vladimir Itsykson, Марат Ахин Халимович, Семен Колтон Леонидович, Владимир Ицыксон Михайлович (2015) “Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей // Random Model Sampling: Making Craig Interpolation Work When It Should Not” / spz:neicon:mais:y:2014:i:6:p:7-17
  477. D. Kondratyev A., A. Promsky V., Дмитрий Кондратьев Александрович, Алексей Промский Владимирович (2015) “Разработка самоприменимой системы верификации. Теория и практика // Towards the ’Verified Verifier’. Theory and Practice” / spz:neicon:mais:y:2014:i:6:p:71-82
  478. Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson, Максим Петров Алексеевич, Кирилл Гагарский Алексеевич, Михаил Беляев Анатольевич, Владимир Ицыксон Михайлович (2015) “Использование метода ограниченной проверки моделей для генерации тестов // Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver” / spz:neicon:mais:y:2014:i:6:p:83-93
  479. S. Chernenok A., V. Nepomniaschy A., Сергей Черненок Анатольевич, Валерий Непомнящий Александрович (2015) “Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри // Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets” / spz:neicon:mais:y:2014:i:6:p:94-106
  480. N. Kudryashov A., P. Ryabov N., B. Petrov A., Николай Кудряшов Алексеевич, Павел Рябов Николаевич, Богдан Петров Александрович (2015) “Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского // Dissipative Structures of the Kuramoto–Sivashinsky Equation” / spz:neicon:mais:y:2015:i:1:p:105-113
  481. M. Biktimirov R., V. Glebsky L., B. Dolgov V., S. Polikarpov A., Марат Биктимиров Рамилевич, Владимир Глебский Леонидович, Борис Долгов Вячеславович, Сергей Поликарпов Алексеевич (2015) “Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии // Information Technologies and Infrastructures for Research Data Aggregation. The Experience of Canada, Netherlands and Germany” / spz:neicon:mais:y:2015:i:1:p:114-126
  482. K. Tukhliev, Камаридин Тухлиев (2015) “О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций // On the Approximation of Periodic Functions in L2 and the Values of the Widths of Certain Classes of Functions” / spz:neicon:mais:y:2015:i:1:p:127-143
  483. N. Kudryashov A., Николай Кудряшов Алексеевич (2015) “Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений // Method of the Logistic Function for Finding Analytical Solutions of Nonlinear Differential Equations” / spz:neicon:mais:y:2015:i:1:p:23-37
  484. S. Glyzin D., A. Kolesov Yu., N. Rozov Kh., Сергей Глызин Дмитриевич, Андрей Колесов Юрьевич, Николай Розов Христович (2015) “Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями // Blue Sky Catastrophe in Systems with Non-classical Relaxation Oscillations” / spz:neicon:mais:y:2015:i:1:p:38-64
  485. V. Butuzov F., Валентин Бутузов Федорович (2015) “Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем // Singularly Perturbed Boundary Value Problem with Multizonal Interior Transitional Layer” / spz:neicon:mais:y:2015:i:1:p:5-22
  486. D. Glazkov V., Дмитрий Глазков Владимирович (2015) “Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением // Local Dynamics of a Second Order Equation with Large Exponentially Distributed Delay and Considerable Friction” / spz:neicon:mais:y:2015:i:1:p:65-73
  487. D. Glyzin S., E. Kubyshkin P., A. Moryakova R., Дмитрий Глызин Сергеевич, Евгений Кубышкин Павлович, Алёна Морякова Романовна (2015) “О нулях некоторых характеристических квазиполиномов // On the Location of Some Characteristic Quasipolinomial Roots” / spz:neicon:mais:y:2015:i:1:p:74-84
  488. M. Kalashnikova A., Маргарита Калашникова Александровна (2015) “Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления // Zero-order Approximation of Three-time Scale Singular Linear-quadratic Optimal Control Problem” / spz:neicon:mais:y:2015:i:1:p:85-104
  489. D. Azarov N., Дмитрий Азаров Николаевич (2015) “Аппроксимационные свойства нильпотентных групп // Residual Properties of Nilpotent Groups” / spz:neicon:mais:y:2015:i:2:p:149-157
  490. D. Antonov V., V. Roublev S., Дмитрий Антонов Владимирович, В. Рублев С. (2015) “Эффективность доступа к данным в СУБД DIM // Access Efficiency to Data in DIM DBMS” / spz:neicon:mais:y:2015:i:2:p:158-175
  491. Michael Dekhtyar, Boris Karlov, Михаил Дехтярь Иосифович, Борис Карлов Николаевич (2015) “МП-автоматы с независимыми счётчиками // PDA with Independent Counters” / spz:neicon:mais:y:2015:i:2:p:176-196
  492. D. Eliseev A., E. Kubyshkin P., Дмитрий Елисеев Андреевич, Евгений Кубышкин Павлович (2015) “Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы // Solutions Stability of Initial Boundary Problem, Modeling of Dynamics of Some Discrete Continuum Mechanical System” / spz:neicon:mais:y:2015:i:2:p:197-208
  493. S. Yermakova M., Светлана Ермакова Михайловна (2015) “Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах // Uniformity of Vector Bundles of Finite Rank on Complete Intersections of Finite Codimension in a Linear ind-Grassmannian” / spz:neicon:mais:y:2015:i:2:p:209-218
  494. L. Kazarin S., I. Rassadin A., D. Sakharov N., Лев Казарин Сергеевич, Илья Рассадин Андреевич, Денис Сахаров Николаевич (2015) “О существовании ABA-факторизаций у спорадических групп ранга 3 // The Existence of Triple Factorizations for Sporadic Groups of Rank 3” / spz:neicon:mais:y:2015:i:2:p:219-237
  495. M. Komar, V. Petrov, K. Borunova, D. Moltchanov, E. Koucheryavy, Мария Комар Сергеевна, Виталий Петров Игоревич, Каролина Борунова Дмитриевна, Дмитрий Молчанов Александрович, Евгений Кучерявый Андреевич (2015) “Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора // Data Rate Estimation for Wireless Core-to-Cache Communication in Multicore CPUs” / spz:neicon:mais:y:2015:i:2:p:238-247
  496. S. Mosin V., S. Zykin V., Сергей Мосин Владимирович, Сергей Зыкин Владимирович (2015) “Кэширование запросов к реляционной базе данных с использованием областей истинности // Truth Space Method for Caching Database Queries” / spz:neicon:mais:y:2015:i:2:p:248-258
  497. A. Petrov N., V. Roublev S., Алексей Петров Николаевич, Вадим Рублев Сергеевич (2015) “Полнота динамики значений свойств данных в СУБД DIM // Completeness of the Dynamics of the Attributes Values of Data in the Database DIM” / spz:neicon:mais:y:2015:i:2:p:259-277
  498. A. Petunin A., A. Chentsov G., P. Chentsov A., Александр Петунин Александрович, Александр Ченцов Георгиевич, Павел Ченцов Александрович (2015) “Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей // About a Routing Problem of the Tool Motion on Sheet Cutting” / spz:neicon:mais:y:2015:i:2:p:278-294
  499. A. Shutov V., E. Kolomeykina V., Антон Шутов Владимирович, Екатерина Коломейкина Викторовна (2015) “Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади // The Estimating of the Number of Lattice Tilings of a Plane by a Given Area Centrosymmetrical Polyomino” / spz:neicon:mais:y:2015:i:2:p:295-303
  500. S. Aleshin V., S. Glyzin D., S. Kaschenko A., Сергей Алешин Владимирович, Сергей Глызин Дмитриевич, Сергей Кащенко Александрович (2015) “Уравнение Колмогорова–Петровского–Пискунова с запаздыванием // Fisher–Kolmogorov–Petrovskii–Piscounov Equation with Delay” / spz:neicon:mais:y:2015:i:2:p:304-321
  501. I. Ovsyannikov I., D. Turaev V., S. Zelik V., И. Овсянников И., Д. Тураев В., С. Зелик В. (2015) “ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА // BIFURCATION TO CHAOS IN THE СOMPLEX GINZBURG–LANDAU EQUATION WITH LARGE THIRD-ORDER DISPERSION” / spz:neicon:mais:y:2015:i:3:p:327-336
  502. I. Remizov D., И. Рeмизoв Д. (2015) “РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I // SOLUTION TO A PARABOLIC DIFFERENTIAL EQUATION IN HILBERT SPACE VIA FEYNMAN FORMULA I” / spz:neicon:mais:y:2015:i:3:p:337-355
  503. N. Dunichkina A., D. Kogan I., Yu. Fedosenko S., Н. Дуничкина А., Д. Коган И., Ю. Федосенко С. (2015) “ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ // SCHEDULING PROBLEMS OF STATIONARY OBJECTS WITH THE PROCESSOR IN ONE-DIMENSIONAL ZONE” / spz:neicon:mais:y:2015:i:3:p:356-371
  504. N. Bykova D., S. Kaschenko A., Н. Быкова Д., С. Кащенко А. (2015) “КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ // CORPORATE DYNAMICS OF SYSTEMS OF LOGISTIC DELAY EQUATIONS WITH LARGE DELAY CONTROL” / spz:neicon:mais:y:2015:i:3:p:372-391
  505. A. Begicheva K., I. Lomazova A., А. Бегичева К., И. Ломазова А. (2015) “СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? // DOES YOUR EVENT LOG FIT THE HIGH-LEVEL PROCESS MODEL?” / spz:neicon:mais:y:2015:i:3:p:392-403
  506. S. Glyzin D., A. Kolesov Yu., N. Rozov Kh., С. Глызин Д., А. Колесов Ю., Н. Розов Х. (2015) “АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ // SELF-EXCITED WAVE PROCESSES IN CHAINS OF UNIDIRECTIONALLY COUPLED IMPULSE NEURONS” / spz:neicon:mais:y:2015:i:3:p:404-419
  507. A. Kashchenko A., А. Кащенко А. (2015) “УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ // STABILITY OF CW SOLUTIONS OF SEMICONDUCTOR LASER WITH LARGE DELAY” / spz:neicon:mais:y:2015:i:3:p:420-438
  508. E. Kubyshkin P., A. Moryakova R., Е. Кубышкин П., А. Морякова Р. (2015) “ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ // INVESTIGATION OF OSCILLATORY SOLUTIONS OF DIFFERENTIAL-DIFFERENCE EQUATIONS OF SECOND ORDER IN A CRITICAL CASE” / spz:neicon:mais:y:2015:i:3:p:439-447
  509. V. Bondarenko A., A. Nikolaev V., D. Shovgenov A., В. Бондаренко А., А. Николаев В., Д. Шовгенов А. (2015) “Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях // 1-Skeletons of the Spanning Tree Problems with Additional Constraints” / spz:neicon:mais:y:2015:i:4:p:453-463
  510. V. Deundyak M., Y. Kosolapov V., В. Деундяк М., Ю. Косолапов В. (2015) “Алгоритмы для мажоритарного декодирования групповых кодов // Algorithms for Majority Decoding of Group Codes” / spz:neicon:mais:y:2015:i:4:p:464-482
  511. L. Kazarin S., S. Poiseeva S., Л. Казарин С., С. Поисеева С. (2015) “О конечных группах с большой степенью неприводимого характера // On Finite Groups with an Irreducible Character Large Degree” / spz:neicon:mais:y:2015:i:4:p:483-499
  512. A. Krjazheva A., А. Кряжева А. (2015) “О финитной отделимости подгрупп в расщепляемых расширениях // On Residual Separability of Subgroups in Split Extensions” / spz:neicon:mais:y:2015:i:4:p:500-506
  513. E. Kuzmin V., D. Ryabukhin A., V. Sokolov A., Е. Кузьмин В., Д. Рябухин А., В. Соколов А. (2015) “О выразительности подхода к построению ПЛК-программ по LTL-спецификации // On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification” / spz:neicon:mais:y:2015:i:4:p:507-520
  514. A. Noskov N., I. Manov A., А. Носков Н., И. Манов А. (2015) “Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях // Development of an Adaptive Routing Mechanism in Software-Defined Networks” / spz:neicon:mais:y:2015:i:4:p:521-532
  515. A. Smirnov V., А. Смирнов В. (2015) “Задача о наибольшем кратном потоке в делимой сети и ее частные случаи // The Problem of Finding the Maximal Multiple Flow in the Divisible Network and its Special Cases” / spz:neicon:mais:y:2015:i:4:p:533-545
  516. V. Sokolov A., S. Korsakov V., A. Smirnov V., V. Bashkin A., E. Nikitin S., В. Соколов А., С. Корсаков В., А. Смирнов В., В. Башкин А., Е. Никитин С. (2015) “Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов // Instrumental Supporting System for Developing and Analysis of Software-Defined Networks of Mobile Objects” / spz:neicon:mais:y:2015:i:4:p:546-562
  517. D. Kharitonov I., E. Golenkov A., G. Tarasov V., D. Leontyev V., Д. Харитонов И., Е. Голенков А., Г. Тарасов В., Д. Леонтьев В. (2015) “Метод генерации примеров моделей программ в терминах сетей Петри // A Method of Sample Models of Program Construction in Terms of Petri Nets” / spz:neicon:mais:y:2015:i:4:p:563-577
  518. M. Ushakova S., A. Legalov I., М. Ушакова С., А. Легалов И. (2015) “Автоматизация формальной верификации программ на языке Пифагор // Automation of Formal Verification of Programs in the Pifagor Language” / spz:neicon:mais:y:2015:i:4:p:578-589
  519. V. Belykh N., M. Bolotov I., G. Osipov V., В. Белых Н., М. Болотов И., Г. Осипов В. (2015) “Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу // Kuramoto Phase Model with Inertia: Bifurcations Leading to the Loss of Synchrony and to the Emergence of Chaos” / spz:neicon:mais:y:2015:i:5:p:595-608
  520. S. Aleshin V., S. Glyzin D., S. Kaschenko A., С. Алешин В., С. Глызин Д., С. Кащенко А. (2015) “Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной // Dynamical Properties of the Fisher–Kolmogorov–Petrovskii–Piscounov Equation with Deviation of the Spatial Variable” / spz:neicon:mais:y:2015:i:5:p:609-628
  521. N. Timofeeva V., Н. Тимофеева В. (2015) “Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей // Isomorphism of Compactifications of Vector Bundles Moduli: Nonreduced Moduli” / spz:neicon:mais:y:2015:i:5:p:629-647
  522. E. Vorozhtsov V., V. Shapeev P., Е. Ворожцов В., В. Шапеев П. (2015) “Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок // Numerical Solution of the Poisson Equation in Polar Coordinates by the Method of Collocations and Least Residuals” / spz:neicon:mais:y:2015:i:5:p:648-664
  523. A. Kovaleva M., D. Kulikov A., А. Ковалева М., Д. Куликов А. (2015) “Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии // Single-Mode and Dual-Mode Nongomogeneous Dissipative Structures in the Nonlocal Model of Erosion” / spz:neicon:mais:y:2015:i:5:p:665-681
  524. S. Kaschenko A., С. Кащенко А. (2015) “Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота // Asymptotics of Eigenvalues of First Boundary Value Problem for Singularly Pertubed Second-order Differential Equation with Turning Points” / spz:neicon:mais:y:2015:i:5:p:682-710
  525. V. Golubenets O., В. Голубенец О. (2015) “Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции // Local Bifurcations Analysis of a State-Dependent Delay Differential Equation” / spz:neicon:mais:y:2015:i:5:p:711-722
  526. E. Timofeev A., Е. Tимофеев А. (2015) “Асимптотика моментов сингулярной функции Лебега // Asymptotic Formula for the Moments of Lebesgue’s Singular Function” / spz:neicon:mais:y:2015:i:5:p:723-730
  527. D. Chaly Ju., E. Nikitin S., E. Antoshina Ju., V. Sokolov A., Д. Чалый Ю., Е. Никитин С., Е. Антошина Ю., В. Соколов А. (2016) “Модель безопасности информационных потоков для программно-конфигурируемых сетей // End-to-end Information Flow Security Model for Software-Defined Networks” / spz:neicon:mais:y:2015:i:6:p:735-749
  528. P. Drobintsev D., V. Kotlyarov P., N. Voinov V., I. Nikiforov V., П. Дробинцев Д., В. Котляров П., Н. Воинов В., И. Никифоров В. (2016) “Особенности применения модельно-ориентированного подхода при разработке промышленных приложений // Model Oriented Approach for Industrial Software Development” / spz:neicon:mais:y:2015:i:6:p:750-762
  529. M. Belyaev, V. Itsykson, М. Беляев А., В. Ицыксон М. (2016) “Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ // Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification” / spz:neicon:mais:y:2015:i:6:p:763-772
  530. I. Maryasov V., V. Nepomniaschy A., И. Марьясов В., В. Непомнящий А. (2016) “Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах // Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs” / spz:neicon:mais:y:2015:i:6:p:773-782
  531. N. Shilov V., Н. Шилов В. (2016) “О преподавании формальных моделей и алгоритмов анализа параллельных систем // Teaching Formal Models of Concurrency Specification and Analysis” / spz:neicon:mais:y:2015:i:6:p:783-794
  532. A. Mikhailov V., А. Михайлов В. (2016) “Формальная диагонализация схем Лакса–Дарбу // Formal Diagonalisation of Lax-Darboux Schemes” / spz:neicon:mais:y:2015:i:6:p:795-817
  533. S. Shershakov A., V. Rubin A., С. Шершаков А., В. Рубин А. (2016) “Анализ системных исполнений с помощью Process Mining // System Runs Analysis with Process Mining” / spz:neicon:mais:y:2015:i:6:p:818-833
  534. M. Karyaeva S., М. Каряева С. (2016) “Лингвостатистический анализ терминологии для построения тезауруса предметной области // Linguistic and Statistical Analysis of the Terminology for Constructing the Thesaurus of a Specified Field” / spz:neicon:mais:y:2015:i:6:p:834-851
  535. A. Noskov A., M. Nikitinskiy A., I. Alekseev V., А. Носков А., М. Никитинский А., И. Алексеев В. (2016) “Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight // Development of Active External Network Topology Module for Floodlight SDN Controller” / spz:neicon:mais:y:2015:i:6:p:852-861
  536. A. Tsirlin M., А. Цирлин М. (2016) “Продолжение решения на границе разрыва как решение задачи усредненной оптимизации // Solution Continuation on a Discontinuity Set” / spz:neicon:mais:y:2016:i:1:p:12-22
  537. A. Maksimenko N., Александр Максименко Николаевич (2016) “A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes // A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes” / spz:neicon:mais:y:2016:i:1:p:23-40
  538. S. Kashchenko A., С. Кащенко А. (2016) “Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота // Asymptotic Expansions of Eigenvalues of the First Boundary Problem for Singularly Perturbed Second Order Differential Equation with Turning Points” / spz:neicon:mais:y:2016:i:1:p:41-60
  539. E. Timofeev A., Е. Tимофеев А. (2016) “Асимптотика моментов функции Такаги // Asymptotic Formula for the Moments of Takagi Function” / spz:neicon:mais:y:2016:i:1:p:5-11
  540. S. Kashchenko A., С. Кащенко А. (2016) “Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота // Asymptotic Expansions of Eigenvalues of Periodic and Antiperiodic Boundary Problems for Singularly Perturbed Second Order Differential Equation with Turning Points” / spz:neicon:mais:y:2016:i:1:p:61-85
  541. P. Nesterov N., П. Нестеров Н. (2016) “Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II // Erratum to: Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients. II (in Russian)” / spz:neicon:mais:y:2016:i:1:p:86-88
  542. D. Volkanov Yu., Д. Волканов Ю. (2016) “Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем // Method for Choosing a Balanced Set of Fault Tolerance Techniques for Distributed Computer Cystems” / spz:neicon:mais:y:2016:i:2:p:119-136
  543. V. Deundyak M., Y. Kosolapov V., В. Деундяк М., Ю. Косолапов В. (2016) “Криптосистема на индуцированных групповых кодах // Cryptosystem Based on Induced Group Codes” / spz:neicon:mais:y:2016:i:2:p:137-152
  544. N. Mendkovich, Н. Мендкович А. (2016) “Об эффективности минимизирующего подхода к оптимизации запросов // On the Effectiveness of the Minimization Approach to the Query Optimization” / spz:neicon:mais:y:2016:i:2:p:153-163
  545. T. Prokhorova V., Т. Прохорова В. (2016) “О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики // On the Brauer Group of an Arithmetic Model of a Variety over a Global Field of Positive Characteristic” / spz:neicon:mais:y:2016:i:2:p:164-172
  546. D. Ryabukhin A., E. Kuzmin V., V. Sokolov A., Д. Рябухин А., Е. Кузьмин В., В. Соколов А. (2016) “Построение CFC-программ ПЛК по LTL-спецификации // Construction of CFC-programs by LTL-specification” / spz:neicon:mais:y:2016:i:2:p:173-184
  547. E. Timofeev A., Е. Tимофеев А. (2016) “Асимптотика моментов симметричной свертки Бернулли // Asymptotic formula for the moments of Bernoulli convolutions” / spz:neicon:mais:y:2016:i:2:p:185-194
  548. D. Ustalov A., Д. Усталов А. (2016) “Коллективные потоковые вычисления: реляционные модели и алгоритмы // Dataflow-Driven Crowdsourcing: Relational Models and Algorithms” / spz:neicon:mais:y:2016:i:2:p:195-210
  549. A. Chentsov G, A. Chentsov A., А. Ченцов Г., А. Ченцов А. (2016) “Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий // Routization Problem Complicated by the Dependence of Costs Functions and «Current» Restrictions From the Tasks List” / spz:neicon:mais:y:2016:i:2:p:211-227
  550. Yu. Artamonov N., Ю. Артамонов Н. (2016) “Построение хранилища данных с динамической структурой // Building a Data Store with the Dynamic Structure” / spz:neicon:mais:y:2016:i:2:p:93-118
  551. S. Glyzin D., С. Глызин Д. (2016) “От редактора специального выпуска // From the Editor of the special issue” / spz:neicon:mais:y:2016:i:3:p:235
  552. V. Butusov F., N. Nefedov N., В. Бутузов Ф., Н. Нефедов Н. (2016) “Аделаида Борисовна Васильева (к девяностолетию со дня рождения) // Adelaida Borisovna Vasil’eva (on her 90-th birthday)” / spz:neicon:mais:y:2016:i:3:p:236-239
  553. S. Becher, С. Бехер (2016) “МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой // FEM-analysis on Layer-adapted Meshes for Turning Point Problems Exhibiting an Interior Layer” / spz:neicon:mais:y:2016:i:3:p:240-247
  554. V. Butuzov F., N. Nefedov N., L. Recke, K. Schneider, В. Бутузов Ф., Н. Нефедов Н., Л. Реке, К. Шнайдер Р. (2016) “Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения // Asymptotics, Stability and Region of Attraction of a Periodic Solution to a Singularly Perturbed Parabolic Problem in Case of a Multiple Root of the Degenerate Equation” / spz:neicon:mais:y:2016:i:3:p:248-258
  555. A. Bykov A., А. Быков А. (2016) “Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем // Numerical Scheme for the Pseudoparabolic Singularly Perturbed Initial-boundary Problem with Interior Transitional Layer” / spz:neicon:mais:y:2016:i:3:p:259-282
  556. M. Davydova A., N. Levashova T., S. Zakharova A., М. Давыдова А., Н. Левашова Т., С. Захарова А. (2016) “Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы // The Asymptotical Analysis for the Problem of Modeling the Gas Admixture in the Surface Layer of the Atmosphere” / spz:neicon:mais:y:2016:i:3:p:283-290
  557. T. Ershova Ya., Т. Ершова Я. (2016) “Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии // Convergence of the Difference Solutions of a Dirichlet Problem With a Discontinuous Derivative of the Boundary Function for a Singularly Perturbed Convection-Diffusion Equation” / spz:neicon:mais:y:2016:i:3:p:291-297
  558. N. Kudryashov A., R. Muratov V., P. Ryabov N., Н. Кудряшов А., Р. Муратов В., П. Рябов Н. (2016) “Численное моделирование процессов формирования полос адиабатического сдвига в композитах // Numerical Simulation of Adiabatic Shear Bands Formation in Composites” / spz:neicon:mais:y:2016:i:3:p:298-308
  559. N. Kudryashov A., D. Sinelshchikov I., Н. Кудряшов А., Д. Синельщиков И. (2016) “Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками // Analytical Solutions of a Nonlinear Convection-Diffusion Equation With Polynomial Sources” / spz:neicon:mais:y:2016:i:3:p:309-316
  560. N. Levashova T., A. Melnikova A., S. Bytsyura V., Н. Левашова Т., А. Мельникова А., С. Быцюра В. (2016) “Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта // The Application of the Differential Inequalities Method for Proving the Existence of Moving Front Solution of the Parabolic Equations System” / spz:neicon:mais:y:2016:i:3:p:317-325
  561. K. Litvinov V., К. Литвинов В. (2016) “Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ // Modelling of Non-isothermal Flow Abnormally Viscous Fluid in the Channels with Various Geometry of Boundaries” / spz:neicon:mais:y:2016:i:3:p:326-333
  562. D. Lukyanenko V., V. Volkov T., N. Nefedov N., L. Recke, K. Schneider, Д. Лукьяненко В., В. Волков Т., Н. Нефедов Н., Л. Реке, К. Шнайдер (2016) “Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток // Analytic-Numerical Approach to Solving Singularly Perturbed Parabolic Equations with the Use of Dynamic Adapted Meshes” / spz:neicon:mais:y:2016:i:3:p:334-341
  563. N. Nefedov N., E. Nikulin I., Н. Нефедов Н., Е. Никулин И. (2016) “Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае // Existence and Stability of Periodic Solutions for Reaction-Diffusion Equations in the Two-Dimensional Case” / spz:neicon:mais:y:2016:i:3:p:342-348
  564. A. Hegarty F., E. O’Riordan, А. Хегарти Ф., Ю. О’Риордан (2016) “Численное решение одной сингулярно возму- щённой задачи в круговой области // Numerical Solution of a Singularly Perturbed Problem on a Circular Domain” / spz:neicon:mais:y:2016:i:3:p:349-356
  565. R. Hans-G., Р. Ханс-Гёрг (2016) “Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии // Error Estimates in Balanced Norms of Finite Element Methods on Shishkin Meshes for Reaction-Diffusion Problems” / spz:neicon:mais:y:2016:i:3:p:357-363
  566. S. Franz, R. H.-G., С. Франц, Р. Х.-Г. (2016) “Робастная оценка погрешности в сингулярно возмущённых задачах четвертого порядка // Robust Error Estimation for Singularly Perturbed Fourth Order Problems” / spz:neicon:mais:y:2016:i:3:p:364-369
  567. M. Stynes, М. Стайнс (2016) “Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения // A Caputo Two-Point Boundary Value Problem: Existence, Uniqueness and Regularity of a Solution” / spz:neicon:mais:y:2016:i:3:p:370-376
  568. A. Zadorin I., А. Задорин И. (2016) “Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение // Interpolation Formulas for Functions with Large Gradients in the Boundary Layer and their Application” / spz:neicon:mais:y:2016:i:3:p:377-384
  569. S. Vaganov E., S. Khashin I., С. Ваганов Е., С. Хашин И. (2016) “Сравнение алгоритмов удвоения размера изображения // Comparison of Doubling the Size of Image Algorithms” / spz:neicon:mais:y:2016:i:4:p:382-400
  570. V. Vasilchikov V., В. Васильчиков В. (2016) “Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера // On the Optimization and Parallelizing Little Algorithm for Solving the Traveling Salesman Problem” / spz:neicon:mais:y:2016:i:4:p:401-411
  571. A. Velichko S., V. Gribova V., L. Fedorishchev A., А. Величко С., В. Грибова В., Л. Федорищев А. (2016) “Облачный сервис для интерактивного моделирования межтерриториальной торговли // Cloud Service for Interactive Simulation of Interregional Trade” / spz:neicon:mais:y:2016:i:4:p:412-426
  572. O. Maryasin Yu., A. Kolodkina S., A. Ogarkov A., О. Марьясин Ю., А. Колодкина С., А. Огарков А. (2016) “Компьютерное моделирование "Интеллектуального здания" // Computer Modelling «Smart Building»” / spz:neicon:mais:y:2016:i:4:p:427-439
  573. O. Nikol’skaya V., О. Никольская В. (2016) “Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом // On Algebraic Cycles on Fibre Products of Non-isotrivial Families of Regular Surfaces with Geometric Genus 1” / spz:neicon:mais:y:2016:i:4:p:440-465
  574. A. Smirnov V., А. Смирнов В. (2016) “Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы // Network Model for The Problem of Integer Balancing of a Fourdimensional Matrix” / spz:neicon:mais:y:2016:i:4:p:466-478
  575. S. Taranin M., С. Таранин М. (2016) “Резервное копирование с хранением в базе данных // Backup with Storage in a Database” / spz:neicon:mais:y:2016:i:4:p:479-491
  576. A. Tsirlin M., Al. Akhremenkov A., А. Цирлин М., Ал. Ахременков А. (2016) “Вероятностный анализ систем организации турниров // Probabilistic Analysis of Tournament Organization Systems” / spz:neicon:mais:y:2016:i:4:p:492-507
  577. S. Glyzin D., С. Глызин Д. (2016) “От редактора специального выпуска // From the Editor of the special issue” / spz:neicon:mais:y:2016:i:5:p:513
  578. V. Butuzov F., V. Beloshapko A., В. Бутузов Ф., В. Белошапко А. (2016) “Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения // Singularly Perturbed Elliptic Dirichlet Problem with a Multiple Root of the Degenerate Equation” / spz:neicon:mais:y:2016:i:5:p:515-528
  579. A. Belov A., N. Kalitkin N., А. Белов А., Н. Калиткин Н. (2016) “Численные методы решения задач Коши с контрастными структурами // Numerical Methods of Solving Cauchy Problems with Contrast Structures” / spz:neicon:mais:y:2016:i:5:p:529-538
  580. Zh. Dombrovskaya O., Ж. Домбровская О. (2016) “Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред // FDTD Method for Piecewise Homogeneous Dielectric Media” / spz:neicon:mais:y:2016:i:5:p:539-547
  581. S. Glyzin D., S. Kashchenko A., A. Tolbey O., С. Глызин Д., С. Кащенко А., А. Толбей О. (2016) “Взаимодействие двух волн в модели Ферми – Паста – Улама // Two Wave Interactions in a Fermi– Pasta–Ulam Model” / spz:neicon:mais:y:2016:i:5:p:548-558
  582. A. Melnikova A., R. Argun L., А. Мельникова А., Р. Аргун Л. (2016) “Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо // Asymptotic Approximation of the Stationary Solution with Internal Layer for FitzHugh–Nagumo System” / spz:neicon:mais:y:2016:i:5:p:559-567
  583. L. Shishkina P., Л. Шишкина П. (2016) “Численное исследование начально-краевой задачи Неймана для сингулярно возмущенного параболического уравнения // Numerical Study of an Initial-Boundary Value Neumann Problem for a Singularly Perturbed Parabolic Equation” / spz:neicon:mais:y:2016:i:5:p:568-576
  584. G. Shishkin I., Г. Шишкин И. (2016) “Компьютерная разностная схема для сингулярно возмущенного параболического уравнения реакции-диффузии при наличии компьютерных возмущений // Computer Difference Scheme for a Singularly Perturbed Reaction- Diffusion Equation in the Presence of Perturbations” / spz:neicon:mais:y:2016:i:5:p:577-586
  585. M. Terentyev A., М. Терентьев А. (2016) “Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости // Absence and Blow-Up of Solutions to Singular Perturbation Problems in the Case of Exchange of Stabilities” / spz:neicon:mais:y:2016:i:5:p:587-594
  586. E. Timofeev A., Е. Tимофеев А. (2016) “Полилогарифмы и асимптотика моментов сингулярной функции Лебега // Polylogarithms and the Asymptotic Formula for the Moments of Lebesgue’s Singular Function” / spz:neicon:mais:y:2016:i:5:p:595-602
  587. M. Nevskii V., A. Ukhalov Yu., М. Невский В., А. Ухалов Ю. (2016) “О числовых характеристиках симплекса и их оценках // On Numerical Characteristics of а Simplex and their Estimates” / spz:neicon:mais:y:2016:i:5:p:603-619
  588. N. Timofeeva V., Н. Тимофеева В. (2016) “Расслоенное произведение коммутативных алгебр: образующие и соотношения // Fibred Product of Commutative Algebras: Generators and Relations” / spz:neicon:mais:y:2016:i:5:p:620-634
  589. P. Nesterov N., П. Нестеров Н. (2016) “Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием // Asymptotic Integration of a Certain Second-Order Linear Delay Differential Equation” / spz:neicon:mais:y:2016:i:5:p:635-656
  590. E. Konovalov V., Е. Коновалов В. (2016) “Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов // Equivalence of Conventional and Modified Network of Generalized Neural Elements” / spz:neicon:mais:y:2016:i:5:p:657-666
  591. , В. Захаров А. (2016) “От редактора специального выпуска” / spz:neicon:mais:y:2016:i:6:p:671-672
  592. S. Baranov N., V. Nikiforov V., С. Баранов Н., В. Никифоров В. (2016) “Имитационное моделирование для анализа выполнимости приложений реального времени // Analysis of Real-Time Applications Feasibility through Simulation” / spz:neicon:mais:y:2016:i:6:p:673-687
  593. N. Vizovitin V., V. Nepomniaschy A., A. Stenenko A., Н. Визовитин В., В. Непомнящий А., А. Стененко А. (2016) “Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM // Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation” / spz:neicon:mais:y:2016:i:6:p:688-702
  594. N. Garanina O., E. Sidorova A., Н. Гаранина О., Е. Сидорова А. (2016) “Подход к верификации семейства мультиагентных систем разрешения конфликтов // An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution” / spz:neicon:mais:y:2016:i:6:p:703-714
  595. M. Gromov L., N. Shabaldina V., М. Громов Л., Н. Шабалдина В. (2016) “Построение каскадной параллельной композиции временных автоматов с использованием BALM-II // Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines” / spz:neicon:mais:y:2016:i:6:p:715-728
  596. A. Ermakov D., N. Yevtushenko V., А. Ермаков Д., Н. Евтушенко В. (2016) “Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата // Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines” / spz:neicon:mais:y:2016:i:6:p:729-740
  597. V. Zakharov A., G. Temerbekova G., В. Захаров А., Г. Темербекова Г. (2016) “О минимизации конечных автоматов-преобразователей над полугруппами // On the Minimization of Finite State Trans- ducers over Semigroups” / spz:neicon:mais:y:2016:i:6:p:741-753
  598. V. Itsykson M., В. Ицыксон М. (2016) “Формализм и языковые инструменты для описания семантики программных библиотек // The Formalism and Language Tools for Semantics Specification of Software Libraries” / spz:neicon:mais:y:2016:i:6:p:754-766
  599. V. Alexandrov A., V. Desnitsky A., D. Chaly Y., В. Александров А., В. Десницкий А., Д. Чалый Ю. (2016) “Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей // Design and Security Analysis of a Fragment of Internet of Things Telecommunication System” / spz:neicon:mais:y:2016:i:6:p:767-776
  600. Y. Belov A., S. Vovchok I., Ю. Белов А., С. Вовчок И. (2016) “Генерация графа социальной сети с использованием Apache Spark // Generation of a Social Network Graph by Using Apache Spark” / spz:neicon:mais:y:2016:i:6:p:777-783
  601. E. Kubyshkin P., A. Moryakova R., Е. Кубышкин П., А. Морякова Р. (2016) “Бифуркации периодических решений уравнения Мэкки–Гласса // Bifurcation of Periodic Solutions of the Mackey– Glass Equation” / spz:neicon:mais:y:2016:i:6:p:784-803
  602. O. Kouchnarenko, J.-F. Weber, О. Кушнаренко Б., Ж.-Ф. Вебер (2016) “Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик // Component-based Systems Reconfigurations Using Graph Grammars” / spz:neicon:mais:y:2016:i:6:p:804-825
  603. N. Lagutina S., K. Lagutina V., E. Mamedov I., I. Paramonov V., Н. Лагутина С., К. Лагутина В., Э. Мамедов И., И. Парамонов В. (2016) “Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки // Methodolo- gical Aspects of Semantic Relationship Extraction for Automatic Thesaurus Generation” / spz:neicon:mais:y:2016:i:6:p:826-840
  604. A. Kashchenko A., А. Кащенко А. (2016) “Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями // Dynamics of a System of Two Simplest Oscillators with Finite Non-linear Feedbacks” / spz:neicon:mais:y:2016:i:6:p:841-849
  605. E. Marushkina A., Е. Марушкина А. (2016) “Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов // Stable Cycles and Tori of a System of Three and Four Diffusive Coupled Oscillators” / spz:neicon:mais:y:2016:i:6:p:850-859
  606. Anatoly Morozov N., Анатолий Морозов Николаевич (2017) “Пополнение ядра оператора дифференцирования // Completion of the Kernel of the Differentiation Operator” / spz:neicon:mais:y:2017:i:1:p:111-120
  607. Sergey Kashchenko A., Сергей Кащенко Александрович (2017) “Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка // Asymptotic of Eigenvalues of Periodic and Antiperiodic Boundary Value Problem for Second Order Differential Equations” / spz:neicon:mais:y:2017:i:1:p:13-30
  608. Marina Davydova A., Nikolay Nefedov N., Марина Давыдова Александровна, Николай Нефедов Николаевич (2017) “Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности // Existence and Stability of the Solutions with Internal Layers in Multidimensional Problems of the Reaction-Diffusion-Advection Type with Balanced Nonlinearity” / spz:neicon:mais:y:2017:i:1:p:31-38
  609. Vasily Shapeev P., Evgenii Vorozhtsov V., Василий Шапеев Павлович, Евгений Ворожцов Васильевич (2017) “О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок // On Combining Different Acceleration Techniques at the Iterative Solution of PDEs by the Method of Collocations and Least Residuals” / spz:neicon:mais:y:2017:i:1:p:39-63
  610. Alexey Zakharov V., Vladimir Zakharov E., Алексей Захаров Владимирович, Владимир Захаров Евгеньевич (2017) “Перераспределение, производство и неравенство // Production, Redistribution, and Inequality” / spz:neicon:mais:y:2017:i:1:p:5-12
  611. Pavel Nesterov N., Павел Нестеров Николаевич (2017) “Об асимптотике решений гармонического осциллятора с интегральным возмущением // Asymptotics for Solutions of Harmonic Oscillator with Integral Perturbation” / spz:neicon:mais:y:2017:i:1:p:64-81
  612. Sergei Glyzin D., Andrey Kolesov Yu., Elena Marushkina A., Сергей Глызин Дмитриевич, Андрей Колесов Юрьевич, Елена Марушкина Александровна (2017) “Релаксационные автоколебания в системе из двух синаптически связанных импульсных нейронов // Relaxation Oscillations in a System of Two Pulsed Synaptically Coupled Neurons” / spz:neicon:mais:y:2017:i:1:p:82-93
  613. Mikhail Nevskii V., Alexey Ukhalov Yu., Михаил Невский Викторович, Алексей Ухалов Юрьевич (2017) “Новые оценки числовых величин, связанных с симплексом // New Estimates of Numerical Values Related to a Simplex” / spz:neicon:mais:y:2017:i:1:p:94-110
  614. Antonina Begicheva A., Irina Lomazov A., Антонина Бегичева Константиновна, Ирина Ломазова Александровна (2017) “Построение высокоуровневой модели процесса по журналу событий // Discovering High-Level Process Models from Event Logs” / spz:neicon:mais:y:2017:i:2:p:125-140
  615. Vladimir Bondarenko, Andrei Nikolaev, Dzhambolet Shovgenov, Владимир Бондаренко Александрович, Андрей Николаев Валерьевич, Джамболет Шовгенов Азаматович (2017) “Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах // Polyhedral Characteristics of Balanced and Unbalanced Bipartite Subgraph Problems” / spz:neicon:mais:y:2017:i:2:p:141-154
  616. Vladimir Zykin S., Sergey Zykin V., Владимир Зыкин Сергеевич, Сергей Зыкин Владимирович (2017) “Анализ типизированных зависимостей включения с неопределенными значениями // Analysis of Typed Inclusion Dependencies with Null Values” / spz:neicon:mais:y:2017:i:2:p:155-167
  617. Sergey Kashchenko A., Сергей Кащенко Александрович (2017) “О бифуркациях при малых возмущениях в логистическом уравнении с запаздыванием // About Bifurcations at Small Perturbations in a Logistic Equation with Delay” / spz:neicon:mais:y:2017:i:2:p:168-185
  618. Margarita Preobrazhenskaia M., Маргарита Преображенская Михайловна (2017) “Релаксационные циклы в модели синаптически взаимодействующих осцилляторов // Relaxation Cycles in a Model of Synaptically Interacting Oscillators” / spz:neicon:mais:y:2017:i:2:p:186-204
  619. Tatyana Prokhorova V., Татьяна Прохорова Вячеславовна (2017) “О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики // On the Tate Conjectures for Divisors on a Fibred Variety and on its Generic Scheme Fibre in the Case of Finite Characteristic” / spz:neicon:mais:y:2017:i:2:p:205-214
  620. Sergey Taranin M., Сергей Таранин Максимович (2017) “Дедубликация в системе резервного копирования с хранением информации в базе данных // De-duplication on the Backup System with Information Storage in a Database” / spz:neicon:mais:y:2017:i:2:p:215-226
  621. Anatoly Tsirlin M., Анатолий Цирлин Михайлович (2017) “Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума // Optimization Problems with Averaging over the Variables” / spz:neicon:mais:y:2017:i:2:p:227-238
  622. Vladimir Deundyak Mikhailovich, Yury Kosolapov Vladimirovich, Evgeniy Leluk Andreevich, Владимир Деундяк Михайлович, Юрий Косолапов Владимирович, Евгений Лелюк Андреевич (2017) “Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам // Decoding the Tensor Product of MLD Codes and Applications for Code Cryptosystems” / spz:neicon:mais:y:2017:i:2:p:239-252
  623. Valentin F. Butuzov , Sergey D. Glyzin , Nikolay N. Nefedov , В. Бутузов Ф., С. Глызин Д., Н. Нефедов Н. (2017) “От редакторов специального выпуска // From the editors of the special issue” / spz:neicon:mais:y:2017:i:3:p:257
  624. Evgeny Antipov A., Vladimir Volkov T., Natalia Levashova T., Nikolay Nefedov N., Евгений Антипов Александрович, Владимир Волков Тарасович, Наталия Левашова Тимуровна, Николай Нефедов Николаевич (2017) “Решение вида движущегося фронта двумерной задачи реакция-диффузия // Moving Front Solution of the Reaction-Diffusion Problem” / spz:neicon:mais:y:2017:i:3:p:259-279
  625. Vera Beloshapko A., Вера Белошапко Александровна (2017) “Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем // Singularly Perturbed Elliptic Dirichlet Problem with Three-band Boundary Layer” / spz:neicon:mais:y:2017:i:3:p:280-287
  626. Valentin Butuzov F., Валентин Бутузов Фёдорович (2017) “О контрастных структурах с многозонным внутренним слоем // On Contrast Structures with a Multizonal Interior Layer” / spz:neicon:mais:y:2017:i:3:p:288-308
  627. Aleksei Bykov A., Kristina Ermakova E., Алексей Быков Александрович, Кристина Ермакова Евгениевна (2017) “Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия // Nonstationary Equations for the Reaction Layer with the Degenerate Equilibrium Points” / spz:neicon:mais:y:2017:i:3:p:309-321
  628. Dmitry Lukyanenko V., Vladimir Volkov T., Nikolay Nefedov N., Дмитрий Лукьяненко Витальевич, Владимир Волков Тарасович, Николай Нефедов Николаевич (2017) “Построение динамически адаптированной сетки для эффективного численного решения сингулярно возмущенного уравнения типа реакция-адвекция-диффузия // Dynamically Adapted Mesh Construction for the Efficient Numerical Solution of a Singular Perturbed Reaction-diffusion-advection Equation” / spz:neicon:mais:y:2017:i:3:p:322-338
  629. Natalia Levashova T., Olga Nikolaeva A., Наталия Левашова Тимуровна, Ольга Николаева Александровна (2017) “Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред // The Heat Equation Solution Near the Interface Between Two Media” / spz:neicon:mais:y:2017:i:3:p:339-352
  630. Mikhail Terentyev A., Михаил Терентьев Анатольевич (2017) “Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения // A Note on the Domain of Attraction for the Stationary Solution to a Singularly Perturbed Parabolic Equation” / spz:neicon:mais:y:2017:i:3:p:353-358
  631. Grigorii Akhremenko A., Григорий Ахременко Андреевич (2017) “Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом // Study of the Dynamics of a Class of One-dimensional Piecewise Linear Displays with One Gap” / spz:neicon:mais:y:2017:i:3:p:359-364
  632. Sergey Glyzin D., Сергей Глызин Дмитриевич (2017) “Математическая модель эксперимента Николсона // Mathematical Model of Nicholson’s Experiment” / spz:neicon:mais:y:2017:i:3:p:365-386
  633. Vladimir Bashkin A., Владимир Башкин Анатольевич (2017) “О пространственной ограниченности клеточных Р-сетей // On the Spatial Boundedness of Cellular RDA-nets” / spz:neicon:mais:y:2017:i:4:p:391-409
  634. Yurii Belov A., Sergei Vovchok I., Юрий Белов Анатольевич, Сергей Вовчок Иванович (2017) “Уточнение свойств центроида дерева // Tree Centroid Properties Clarification” / spz:neicon:mais:y:2017:i:4:p:410-414
  635. Vladimir Zakharov A., Shynar Zhailauova R., Владимир Захаров Анатольевич, Шынар Жайлауова Рустамбековна (2017) “О задаче минимизации последовательных программ // On the Minimization Problem for Sequential Programs” / spz:neicon:mais:y:2017:i:4:p:415-433
  636. Maria Komar S., Мария Комар Сергеевна (2017) “О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах // Data Rates Assessment on L2–L3 CPU Bus and Bus between CPU and RAM in Modern CPUs” / spz:neicon:mais:y:2017:i:4:p:434-444
  637. Alexey A. Magazev A., Valeria Tsyrulnik F., Алексей Магазев Анатольевич, Валерия Цырульник Федоровна (2017) “Исследование одной марковской модели угроз безопасности компьютерных систем // Investigation of a Markov Model for Computer System Security Threats” / spz:neicon:mais:y:2017:i:4:p:445-458
  638. Alexey Mitsyuk A., Irina Lomazova A., Wil M.P. van der Aalst, Алексей Мицюк Александрович, Ирина Ломазова Александровна, Вил М.П. ван дер Аалст (2017) “Использование журналов событий для локальной корректировки моделей процессов // Using Event Logs for Local Correction of Process Models” / spz:neicon:mais:y:2017:i:4:p:459-480
  639. Vadim Roublev S., Murad Yusufov T., Вадим Рублев Сергеевич, Мурад Юсуфов Теймурович (2017) “Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов // Automated System for Teaching Computational Complexity of Algorithms Course” / spz:neicon:mais:y:2017:i:4:p:481-495
  640. Aleksandr Tvardovskii S., Khaled El-Fakih, Maksim Gromov L., Nina Yevtushenko V., Александр Твардовский Сергеевич, Калед Эль-Факи, Максим Громов Леонидович, Нина Евтушенко Владимировна (2017) “Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов // Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage” / spz:neicon:mais:y:2017:i:4:p:496-507
  641. Evgeniy Timofeev A., Евгений Тимофеев Александрович (2017) “Разложение самоподобных функций в системе Фабера–Шаудера // The Expansion of Self-similar Functions in the Faber–Schauder System” / spz:neicon:mais:y:2017:i:4:p:508-515
  642. Evgeniy Timofeev A., Евгений Тимофеев Александрович (2017) “Существование несмещенной оценки энтропии для специальной меры Бернулли // Existence of an Unbiased Entropy Estimator for the Special Bernoulli Measure” / spz:neicon:mais:y:2017:i:5:p:521-536
  643. Sergey Kashchenko A., Сергей Кащенко Александрович (2017) “Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации // Stability of the Solutions of the Simplest Space-Distributed Discrete Equations” / spz:neicon:mais:y:2017:i:5:p:537-549
  644. Margarita Preobrazhenskaia M., Маргарита Преображенская Михайловна (2017) “Импульсно-рефрактерный режим в кольцевой цепи синаптически связанных осцилляторов нейронного типа // The Impulse-Refractive Mode in the Neural Network with Ring Synaptic Interaction” / spz:neicon:mais:y:2017:i:5:p:550-566
  645. Vladimir Klimov, Владимир Климов Степанович (2017) “О локально выпуклых кривых // On Locally Convex Curves” / spz:neicon:mais:y:2017:i:5:p:567-577
  646. Mikhail Nevskii V., Alexey Ukhalov Y., Михаил Невский Викторович, Алексей Ухалов Юрьевич (2017) “Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS // On n-Dimensional Simplices Satisfying Inclusions S ⊂ [0, 1]n ⊂ nS” / spz:neicon:mais:y:2017:i:5:p:578-595
  647. Pavel Nesterov N., Павел Нестеров Николаевич (2017) “Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве // Asymptotic Integration of Certain Differential Equations in Banach Space” / spz:neicon:mais:y:2017:i:5:p:596-614
  648. Alina Sekatskaya V., Алина Секацкая Вадимовна (2017) “Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского // Bifurcations of Spatially Inhomogeneous Solutions of a Boundary Value Problem for the Generalized Kuramoto–Syvashinsky Equation” / spz:neicon:mais:y:2017:i:5:p:615-628
  649. Vasily Belyaev A., Vasily Shapeev P., Василий Беляев Алексеевич, Василий Шапеев Павлович (2017) “Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях // Versions of the Collocation and Least Residuals Method for Solving Problems of Mathematical Physics in the Convex Quadrangular Domains” / spz:neicon:mais:y:2017:i:5:p:629-648
  650. Aleksandra Kashchenko A., Александра Кащенко Андреевна (2017) “Семейство негрубых циклов в системе двух связанных генераторов с запаздыванием // A Family of Non-rough Cycles in a System of Two Coupled Delayed Generators” / spz:neicon:mais:y:2017:i:5:p:649-654
  651. Vladimir Balabaev E., Владимир Балабаев Евгеньевич (2017) “Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка // Constructive Solution of Ellipticity Problem for the First Order Differential System” / spz:neicon:mais:y:2017:i:5:p:655-670
  652. , В. Захаров А. (2017) “От редактора специального выпуска” / spz:neicon:mais:y:2017:i:6:p:675-676
  653. Artyom Aleksyuk O., Vladimir Itsykson M., Артем Алексюк Олегович, Владимир Ицыксон Михайлович (2017) “Семантически-ориентированная миграция Java-программ: опыт практического применения // Semantics-Driven Migration of Java Programs: a Practical Experience” / spz:neicon:mais:y:2017:i:6:p:677-690
  654. Thomas Baar, Томас Баар (2017) “К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций // Towards Measuring the Abstractness of State Machines based on Mutation Testing” / spz:neicon:mais:y:2017:i:6:p:691-703
  655. Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov, Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков (2017) “Прототип статического тайп-чекера для языка программирования Jolie // Jolie Static Type Checker: a Prototype” / spz:neicon:mais:y:2017:i:6:p:704-717
  656. Alexander Kogtenkov V., Александр Когтенков Валентинович (2017) “К критериям оценки безопасности нулевых ссылок при инициализации объекта // Towards Null Safety Benchmarks for Object Initialization” / spz:neicon:mais:y:2017:i:6:p:718-729
  657. Natalia Kushik G., Nina Yevtushenko V., Igor Burdonov B., Alexander Kossatchev S., Наталья Кушик Геннадьевна, Нина Евтушенко Владимировна, Игорь Бурдонов Борисович, Александр Косачев Сергеевич (2017) “К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов // Deriving Synchronizing and Homing Sequences for Input/Output Automata” / spz:neicon:mais:y:2017:i:6:p:730-742
  658. Ilya Maryasov V., Valery Nepomniaschy A., Dmitry Kondratyev A., Илья Марьясов Владимирович, Валерий Непомнящий Александрович, Дмитрий Кондратьев Александрович (2017) “Элиминация инвариантов финитных итераций над массивами при верификации Си программ // Invariant Elimination of Definite Iterations over Arrays in C Programs Verification” / spz:neicon:mais:y:2017:i:6:p:743-745
  659. Ekaterina Antoshina Ju., Dmitry Chalyy Ju., Екатерина Антошина Юрьевна, Дмитрий Чалый Юрьевич (2017) “Семантические средства обеспечения безопасности в программно-конфигурируемых сетях // Semantic Security Methods for Software-Defined Networks” / spz:neicon:mais:y:2017:i:6:p:755-759
  660. Egor Kuzmin V., Oleg Gorbunov E., Petr Plotnikov O., Vadim Tyukin A., Егор Кузьмин Владимирович, Олег Горбунов Евгеньевич, Петр Плотников Олегович, Вадим Тюкин Александрович (2017) “Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм // On Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms” / spz:neicon:mais:y:2017:i:6:p:760-771
  661. Nadezhda Lagutina S., Ksenia Lagutina V., Ivan Shchitov A., Ilya Paramonov V., Надежда Лагутина Станиславовна, Ксения Лагутина Владимировна, Иван Щитов Андреевич, Илья Парамонов Вячеславович (2017) “Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов // Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems” / spz:neicon:mais:y:2017:i:6:p:772-787
  662. Alexander Smirnov V., Александр Смирнов Валерьевич (2017) “Задача о кратчайшем пути в кратном графе // The Shortest Path Problem for a Multiple Graph” / spz:neicon:mais:y:2017:i:6:p:788-801
  663. Dmitry Makarov A., Дмитрий Макаров Александрович (2017) “Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации // Synthesis of Control and State Observer for Weakly Nonlinear Systems Based on the Pseudo-Linearization Technique” / spz:neicon:mais:y:2017:i:6:p:802-810
  664. Vladimir Boykov N., Maria Karyaeva S., Владимир Бойков Николаевич, Мария Каряева Сергеевна (2017) “Поэтология: задачи построения тезауруса и спецификации стихового текста // Poetology: Problems of Constructing a Thesaurus and Verse Text Specification” / spz:neicon:mais:y:2017:i:6:p:811-815
  665. Elena Marushkina A., Елена Марушкина Александровна (2018) “Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью // Periodic and Quasiperiodic Solutions in the System of Three Hutchinson Equations with a Delayed Broadcast Connection” / spz:neicon:mais:y:2018:i:1:p:102-111
  666. Alina Melnikova A., Natalia Deryugina N., Алина Мельникова Александровна, Наталья Дерюгина Николаевна (2018) “Периодические изменения автоволнового фронта в двумерной системе параболических уравнений // Periodic Variations of an Autowave Structure in Two-dimensional System of Parabolic Equations” / spz:neicon:mais:y:2018:i:1:p:112-124
  667. Nikolay Nefedov N., Egor Nikulin Ig., Николай Нефедов Николаевич, Егор Никулин Игоревич (2018) “Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией // Existence and Stability of the Periodic Solution with an Interior Transitional Layer in the Problem with a Weak Linear Advection” / spz:neicon:mais:y:2018:i:1:p:125-132
  668. Agalar Agalarov M., Telman Gadzhimuradov A., Alexander Potapov A., Alexander Rassadin, Агалар Агаларов Магомед-Закиевич, Тельман Гаджимурадов Алимагомедович, Александр Потапов Алексеевич, Александр Рассадин Эдуардович (2018) “Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла // Edge States and Chiral Solitons in Topological Hall and Chern–Simons Fields” / spz:neicon:mais:y:2018:i:1:p:133-139
  669. Mikhail Nevskii V., Alexey Ukhalov Y., Михаил Невский Викторович, Алексей Ухалов Юрьевич (2018) “О минимальном коэффициенте поглощения для n-мерного симплекса // On Minimal Absorption Index for an n-Dimensional Simplex” / spz:neicon:mais:y:2018:i:1:p:140-150
  670. Evgeny Antipov A., Natalia Levashova T., Nikolay Nefedov N., Евгений Антипов Александрович, Наталия Левашова Тимуровна, Николай Нефедов Николаевич (2018) “Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым // Asymptotic Approximation of the Solution of the Reaction-Diffusion-Advection Equation with a Nonlinear Advective Term” / spz:neicon:mais:y:2018:i:1:p:18-32
  671. Svetlana Bytsyura V., Natalia Levashova T., Светлана Быцюра Владимировна, Наталия Левашова Тимуровна (2018) “Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо // Upper and Lower Solutions for the FitzHugh– Nagumo Type System of Equations” / spz:neicon:mais:y:2018:i:1:p:33-53
  672. , С. Глызин Д. (2018) “От редактора специального выпуска” / spz:neicon:mais:y:2018:i:1:p:5-6
  673. Sergey Glyzin D., Mikhail Lokhanin Vladimirovich, Dmitry Sirotin Mikhailovich, Сергей Глызин Дмитриевич, Михаил Лоханин Владимирович, Дмитрий Сиротин Михайлович (2018) “Инвариантные характеристики вынужденных колебаний балки с продольным сжатием // Invariant Characteristics of Forced Oscillations of a Beam with Longitudinal Compression” / spz:neicon:mais:y:2018:i:1:p:54-62
  674. Vladimir Goryunov E., Владимир Горюнов Евгеньевич (2018) “Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова // The Andronov–Hopf Bifurcation in a Biophysical Model of the Belousov Reaction” / spz:neicon:mais:y:2018:i:1:p:63-70
  675. Agalar Agalarov M., Alexander Potapov A., Alexander Rassadin E., Anton Stepanov V., Агалар Агаларов Магомед-Закиевич, Александр Потапов Алексеевич, Александр Рассадин Эдуардович, Антон Степанов Викторович (2018) “О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений // On the Transfer of a Number of Concepts of Statistical Radiophysics to the Theory of One-dimensional Point Mappings” / spz:neicon:mais:y:2018:i:1:p:7-17
  676. Elena Grigorieva V., Sergey Kashchenko A., Dmitry Glazkov V., Елена Григорьева Викторовна, Сергей Кащенко Александрович, Дмитрий Глазков Владимирович (2018) “Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием // Features of the Local Dynamics of the Opto-Electronic Oscillator Model with Delay” / spz:neicon:mais:y:2018:i:1:p:71-82
  677. Marina Davydova A., Svetlana Zakharova A., Марина Давыдова Александровна, Светлана Захарова Александровна (2018) “Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности // On a Singularly Perturbed Problem of the Nonlinear Thermal Conductivity in the Case of Balanced Nonlinearity” / spz:neicon:mais:y:2018:i:1:p:83-91
  678. Anatoli Kulikov N., Dmitri Kulikov A., Анатолий Куликов Николаевич, Дмитрий Куликов Анатольевич (2018) “Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями // The Kuramoto–Sivashinsky equation. A Local Attractor Filled with Unstable Periodic Solutions” / spz:neicon:mais:y:2018:i:1:p:92-101
  679. Vladimir Vasilchikov V., Владимир Васильчиков Васильевич (2018) “О рекурсивно-параллельном алгоритме решения задачи о рюкзаке // On а Recursive-Parallel Algorithm for Solving the Knapsack Problem” / spz:neicon:mais:y:2018:i:2:p:155-164
  680. Yauhen Klimiankou, Евгений Клименков Иванович (2018) “Измерение накладных расходов на параллелизм и виртуальную память // Measuring Overhead of Concurrency and Virtual Memory” / spz:neicon:mais:y:2018:i:2:p:165-173
  681. Alevtina Glonina B., Vasily Balashov V., Алевтина Глонина Борисовна, Василий Балашов Викторович (2018) “О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов // On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks” / spz:neicon:mais:y:2018:i:2:p:174-192
  682. Tatiana Shmeleva R., Татьяна Шмелёва Рудольфовна (2018) “Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам // Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures” / spz:neicon:mais:y:2018:i:2:p:193-206
  683. Sergey Morzhov V., Igor Alekseev V., Mikhail Nikitinskiy A., Сергей Моржов Владимирович, Игорь Алексеев Вадимович, Михаил Никитинский Александрович (2018) “Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях // Organization of Multi-controller Interaction in Software Defined Networks” / spz:neicon:mais:y:2018:i:2:p:207-216
  684. Sergey Terekhov M., Vladimir Nemtinov A., Kirill Kornilov S., Сергей Терехов Михайлович, Владимир Немтинов Алексеевич, Кирилл Корнилов Сергеевич (2018) “Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети // Model of the Connecting Optimal Number of Heat Consumers” / spz:neicon:mais:y:2018:i:2:p:217-231
  685. Kirill Vedenev V., Vladimir Deundyak M., Кирилл Веденёв Владимирович, Владимир Деундяк Михайлович (2018) “Коды в диэдральной групповой алгебре // Codes in Dihedral Group Algebra” / spz:neicon:mais:y:2018:i:2:p:232-245
  686. Sergey Morzhov V., Mikhail Nikitinskiy A., Сергей Моржов Владимирович, Михаил Никитинский Александрович (2018) “Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight // A New Approach for Detecting and Resolving Anomalies in Security Policy of the External Firewall Module of the Floodlight SDN Controller” / spz:neicon:mais:y:2018:i:3:p:251-256
  687. Lyudmila Rodina I., Ilya Tyuteev I., Людмила Родина Ивановна, Илья Тютеев Индусович (2018) “Об оценке средней временной выгоды в вероятностных эколого-экономических моделях // On Estimation of an Average Time Profit in Probabilistic Environmental and Economic Models” / spz:neicon:mais:y:2018:i:3:p:257-267
  688. Alexander Kirillov N., Inna Danilova V., Александр Кириллов Николаевич, Инна Данилова Владимировна (2018) “Динамика распределения популяции по ареалам // Dynamics of Population Patch Distribution” / spz:neicon:mais:y:2018:i:3:p:268-275
  689. Yury Kosolapov V., Aleksey Shigaev N., Юрий Косолапов Владимирович, Алексей Шигаев Николаевич (2018) “Об алгоритме расщепления носителя для индуцированных кодов // The Support Splitting Algorithm for Induced Codes” / spz:neicon:mais:y:2018:i:3:p:276-290
  690. Mikhail Nevskii V., Alexey Ukhalov Yu., Михаил Невский Викторович, Алексей Ухалов Юрьевич (2018) “Oб оптимальной интерполяции линейными функциями на n-мерном кубе // On Optimal Interpolation by Linear Functions on an n-Dimensional Cube” / spz:neicon:mais:y:2018:i:3:p:291-311
  691. Olga Oreshkina (Nikol’skaya) V., Ольга Орешкина (Никольская) Владимировна (2018) “О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 // On the Hodge, Tate and Mumford-Tate Conjectures for Fibre Products of Families of Regular Surfaces with Geometric Genus 1” / spz:neicon:mais:y:2018:i:3:p:312-322
  692. Anatoly Morozov N., Анатолий Морозов Николаевич (2018) “О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ // On the Taylor Differentiability in Spaces Lp, 0 < p ≤ ∞” / spz:neicon:mais:y:2018:i:3:p:323-330
  693. Vladimir Klimov S., Владимир Климов Степанович (2018) “Изопериметрические и функциональные неравенства // Isoperimetric and Functional Inequalities” / spz:neicon:mais:y:2018:i:3:p:331-342
  694. Vladimir Vasilev S., Alexander Legalov I., Владимир Васильев Сергеевич, Александр Легалов Иванович (2018) “Оптимизация инварианта цикла в языке Пифагор // Loop-invariant Optimization in the Pifagor Language” / spz:neicon:mais:y:2018:i:4:p:347-357
  695. Mariya Ushakov S., Alexander Legalov I., Мария Ушакова Сергеевна, Александр Легалов Иванович (2018) “Верификация программ со взаимной рекурсией на языке Пифагор // Verification of Programs with Mutual Recursion in the Pifagor Language” / spz:neicon:mais:y:2018:i:4:p:358-381
  696. Egor Kuzmin V., Oleg Gorbunov E., Petr Plotnikov O., Vadim Tyukin A., Егор Кузьмин Владимирович, Олег Горбунов Евгеньевич, Петр Плотников Олегович, Вадим Тюкин Александрович (2018) “Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм // An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms” / spz:neicon:mais:y:2018:i:4:p:382-387
  697. Alexander Smirnov V., Александр Смирнов Валерьевич (2018) “Остовное дерево в делимом кратном графе // The Spanning Tree of a Divisible Multiple Graph” / spz:neicon:mais:y:2018:i:4:p:388-401
  698. Valeriy Durnev G., Dmitry Murin M., Valery Sokolov A., Dmitry Chalyy Ju., Валерий Дурнев Георгиевич, Дмитрий Мурин Михайлович, Валерий Соколов Анатольевич, Дмитрий Чалый Юрьевич (2018) “О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» // On Some Approaches to the Solution of the Problem «Useful Proof-of-work for Blockchains»” / spz:neicon:mais:y:2018:i:4:p:402-410
  699. Dmitry Filonov R., Dmitry Chalyy Ju., Dmitry Murin M., Valery Durnev G., Valery Sokolov A., Дмитрий Филонов Русланович, Дмитрий Чалый Юрьевич, Дмитрий Мурин Михайлович, Валерий Дурнев Георгиевич, Валерий Соколов Анатольевич (2018) “Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров // Question Answering System for Applicant Support by Using Modern Messengers” / spz:neicon:mais:y:2018:i:4:p:411-420
  700. Alexandra Kononova I., Александра Кононова Игоревна (2018) “Динамическая модель процессов информационных обменов в пиринговой сети // Dynamic Model of Single Torrent with File-Sharing P2P Network” / spz:neicon:mais:y:2018:i:4:p:421-434
  701. Nadezhda Lagutina S., Ksenia Lagutina V., Aleksey Adrianov S., Ilya Paramonov V., Надежда Лагутина Станиславовна, Ксения Лагутина Владимировна, Алексей Адрианов Сергеевич, Илья Парамонов Вячеславович (2018) “Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке // RussianLanguage Thesauri: Automated Construction and Application For Natural Language Processing Tasks” / spz:neicon:mais:y:2018:i:4:p:435-458
  702. В. Захаров А., Н. Шилов В. (2018) “От редакторов специального выпуска” / spz:neicon:mais:y:2018:i:5:p:463-464
  703. Thomas Baar, Sergey Staroletov, Томас Баар, Сергей Старолетов Михайлович (2018) “Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae // A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier” / spz:neicon:mais:y:2018:i:5:p:465-480
  704. Jorge Vega Vice, Valery Mikhailov, Хорхе Вега Висе Луис, Валерий Михайлов Юрьевич (2018) “О методах верификации и разработки программ развития сельскохозяйственных территорий // On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories” / spz:neicon:mais:y:2018:i:5:p:481-490
  705. Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy, Дмитрий Кондратьев Александрович, Илья Марьясов Владимирович, Валерий Непомнящий Александрович (2018) “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов // The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination” / spz:neicon:mais:y:2018:i:5:p:491-505
  706. Anton Gnatenko, Vladimir Zakharov, Антон Гнатенко Романович, Владимир Захаров Анатольевич (2018) “О выразительных возможностях некоторых расширений линейной темпоральной логики // On the Expressive Power of Some Extensions of Linear Temporal Logic” / spz:neicon:mais:y:2018:i:5:p:506-524
  707. Sergey Dudakov, Сергей Дудаков Михайлович (2018) “О безопасности одно- и многоместных IFP-операторов // On Safety of Unary and Non-unary IFP-operators” / spz:neicon:mais:y:2018:i:5:p:525-533
  708. Sergei Grechanik, Сергей Гречаник Александрович (2018) “Полипрограммы и бисимуляция полипрограмм // Polyprograms and Polyprogram Bisimulation” / spz:neicon:mais:y:2018:i:5:p:534
  709. Nikolay Shilov, Николай Шилов Вячеславович (2018) “Этюд об устранении рекурсии // Etude on Recursion Elimination” / spz:neicon:mais:y:2018:i:5:p:549-560
  710. Ekaterina Khvorostukhina, Vladimir Molchanov, Екатерина Хворостухина Владимировна, Владимир Молчанов Александрович (2018) “Представление универсальных гиперграфических автоматов автономными выходными сигналами // Universal Hypergraphic Automata Representation by Autonomous Input Symbols” / spz:neicon:mais:y:2018:i:5:p:561-571
  711. Sergey Glyzin, Elena Marushkina, Сергей Глызин Дмитриевич, Елена Марушкина Александровна (2018) “Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью // Disordered Oscillations in a Neural Network of Three Oscillators with a Delayed Broadcast Connection” / spz:neicon:mais:y:2018:i:5:p:572-583
  712. Marat Abbas M., Vladimir Zakharov A., Марат Аббас Мазен, Владимир Захаров Анатольевич (2018) “Даже простые процессы π-исчисления трудны для анализа // Even Simple Processes of π-calculus are Hard for Analysis” / spz:neicon:mais:y:2018:i:6:p:589-606
  713. Natalia Garanina O., Igor Anureev S., Olesya Borovikova I., Наталья Гаранина Олеговна, Игорь Ануреев Сергеевич, Олеся Боровикова Игнатьевна (2018) “Онтология процессов, ориентированная на верификацию // Verification Oriented Process Ontology” / spz:neicon:mais:y:2018:i:6:p:607-622
  714. Sofia Reznikova, Victor Rivera, Joo Lee Young, Manuel Mazzara, Софья Резникова, Виктор Ривера, Джу Ли Йонг, Мануэль Маццара (2018) “Перевод моделей Event-B в Eiffel // Translation from Event-B into Eiffel” / spz:neicon:mais:y:2018:i:6:p:623-636
  715. Nikolay Shilov V., Dmitry Kondratyev A., Igor Anureev S., Eugene Bodin V., Alexei Promsky V., Николай Шилов Вячеславович, Дмитрий Кондратьев Александрович, Игорь Ануреев Сергеевич, Евгений Бодин Викторович, Алексей Промский Владимирович (2018) “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня // Platform-independent Specification and Verification of the Standard Mathematical Square Root Function” / spz:neicon:mais:y:2018:i:6:p:637-666
  716. Egor Kuzmin V., Oleg Gorbunov E., Petr Plotnikov O., Vadim Tyukin A., Vladimir Bashkin A., Егор Кузьмин Владимирович, Олег Горбунов Евгеньевич, Петр Плотников Олегович, Вадим Тюкин Александрович, Владимир Башкин Анатольевич (2018) “Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах // Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms” / spz:neicon:mais:y:2018:i:6:p:667-679
  717. Mikhail Nevskii V., Михаил Невский Викторович (2018) “О некоторых задачах для симплекса и шара в Rn // On Some Problems for a Simplex and a Ball in Rn” / spz:neicon:mais:y:2018:i:6:p:680-691
  718. Artem Uvarov D., Артем Уваров Дмитриевич (2018) “Особые точки кривых // Singular Points of Curves” / spz:neicon:mais:y:2018:i:6:p:692-710
  719. Anna Kalenkova A., Danil Kolesnikov A., Анна Каленкова Алексеевна, Данил Колесников Александрович (2018) “Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов // Application of Genetic Algorithms for Finding Edit Distance between Process Models” / spz:neicon:mais:y:2018:i:6:p:711-725
  720. Maria Karyaeva S., Pavel Braslavski I., Valery Sokolov A., Мария Каряева Сергеевна, Павел Браславский Исаакович, Валерий Соколов Анатольевич (2018) “Векторное представление слов с семантическими отношениями: экспериментальные наблюдения // Word Embedding for Semantically Relative Words: an Experimental Study” / spz:neicon:mais:y:2018:i:6:p:726-733
  721. Vasily Pashkov N., Василий Пашков Николаевич (2019) “Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей // Fault-Tolerance Distributed Control Plane for Software Defined Networks” / spz:neicon:mais:y:2019:i:1:p:101-121
  722. Ivan Petrov S., Иван Петров Сергеевич (2019) “Алгоритм минимизации количества правил маршрутизации в ПКС // Algorithm for Reducing the Number of Forwarding Rules Created by SDN Applications” / spz:neicon:mais:y:2019:i:1:p:122-133
  723. Andrey Petukhov N., Paul Pilyugin L., Андрей Петухов Николаевич, Павел Пилюгин Львович (2019) “«Общие критерии» и безопасность программно-конфигурируемых сетей // ”Common Criteria” and Software Defined Network Security” / spz:neicon:mais:y:2019:i:1:p:134-145
  724. Ruslan Smeliansky L., Руслан Смелянский Леонидович (2019) “Иерархические периферийные вычисления // Hierarchical Edge Computing” / spz:neicon:mais:y:2019:i:1:p:146-169
  725. Evgeniy Stepanov P., Евгений Степанов Павлович (2019) “Анализ эффективности демультиплексирования транспортных потоков // On Analysis of Traffic Flow Demultiplexing Effectiveness” / spz:neicon:mais:y:2019:i:1:p:170-190
  726. Vasily Balashov V., Valery Kostenko A., Tatiana Ermakova I., Василий Балашов Викторович, Валерий Костенко Алексеевич, Татьяна Ермакова Ивановна (2019) “Построение бортовых сетей реального времени на основе технологии ПКС // Design of Onboard Real-Time Networks Based on SDN Technology” / spz:neicon:mais:y:2019:i:1:p:23-38
  727. Stanislav Bezzubtsev O., Vyacheslav Vasin V., Dmitry Volkanov Yu., Shynar Zhailauova R., Vladislav Miroshnik A., Yuliya Skobtsova A., Ruslan Smeliansky L., Станислав Беззубцев Олегович, Вячеслав Васин Викторович, Дмитрий Волканов Юрьевич, Шынар Жайлауова Рустембековна, Владислав Мирошник Александрович, Юлия Скобцова Александровна, Руслан Смелянский Леонидович (2019) “Об одном подходе к построению сетевого процессорного устройства // An Approach to the Construction of a Network Processing Unit” / spz:neicon:mais:y:2019:i:1:p:39-62
  728. Valery Sokolov A., Валерий Соколов Анатольевич (2019) “От главного редактора // From the Editor-in-Chief” / spz:neicon:mais:y:2019:i:1:p:5-6
  729. Vyacheslav Koryachko P., Dmitry Perepelkin A., Maria Ivanchikova A., Vladimir Byshov S., Вячеслав Корячко Петрович, Дмитрий Перепелкин Александрович, Мария Иванчикова Александровна, Владимир Бышов Сергеевич (2019) “Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях // Visual Web-Oriented Environment of Dynamic Control of Data Flow in Campus of Software Defined Networks” / spz:neicon:mais:y:2019:i:1:p:63-74
  730. Vitaly Antonenko A., Ruslan Smeliansky L., Artem Plakunov V., Pavel Mikheev A., Виталий Антоненко Александрович, Руслан Смелянский Леонидович, Артем Плакунов Владимирович, Павел Михеев Алексеевич (2019) “Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции // Shared Virtual Function Orchestration Technique” / spz:neicon:mais:y:2019:i:1:p:7-22
  731. Sergey Morzhov V., Valeriy Sokolov A., Сeргей Моржов Владимирович, Валерий Соколов Анатольевич (2019) “Эффективный алгоритм разрешения коллизий в правилах политики безопасности // An Effective Algorithm for Collision Resolution in Security Policy Rules” / spz:neicon:mais:y:2019:i:1:p:75-89
  732. Denis Parfenov I., Irina Bolodurina P., Vadim Torchin A., Денис Парфёнов Игоревич, Ирина Болодурина Павловна, Вадим Торчин Александрович (2019) “Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе // Development and Study of Algorithms for the Formation of Rules for Network Security Nodes in the Multi-Cloud Platform” / spz:neicon:mais:y:2019:i:1:p:90-100
  733. Vasilii Kirnos P., Василий Кирнос Павлович (2019) “Пороговый анализ деградации запросов внутри вычислительной сети // Threshold Analysis of Request Degradation in the Computer Network” / spz:neicon:mais:y:2019:i:2:p:195-202
  734. Stanislav Korsakov V., Valery Sokolov A., Станислав Корсаков Валентинович, Валерий Соколов Анатольевич (2019) “На пути к SD-WAN решению // On the Way to SD-WAN Solution” / spz:neicon:mais:y:2019:i:2:p:203-212
  735. Yury Kosolapov V., Юрий Косолапов Владимирович (2019) “Об обнаружении атак типа повторного использования исполнимого кода // About Detection of Code Reuse Attacks” / spz:neicon:mais:y:2019:i:2:p:213-228
  736. Vladimir Deundyak M., Alexey Taran A., Владимир Деундяк Михайлович, Алексей Таран Александрович (2019) “Система распределения ключей на дизайнах // Key Distribution System Based on Hadamard Designs” / spz:neicon:mais:y:2019:i:2:p:229-243
  737. Dmitry Murin M., Vladimir Knyazev N., Дмитрий Мурин Михайлович, Владимир Князев Николаевич (2019) “К вопросу использования «полезных» задач для обеспечения работой блокчейн систем // On the Issue of Using “Useful” Tasks for Proof of Works in Blockchain” / spz:neicon:mais:y:2019:i:2:p:244-255
  738. Sergey Bobkov P., Anastasiya Chernyavskaya S., Vladimir Shergin V., Сергей Бобков Петрович, Анастасия Чернявская Сергеевна, Владимир Шергин Владимирович (2019) “Анализ возможностей практического использования моделей решеточных газов // Analysis of Practical Applications of Lattice Gas Models” / spz:neicon:mais:y:2019:i:2:p:256-266
  739. Evgeniy Timofeev A., Евгений Тимофеев Александрович (2019) “Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли // Existence of an Unbiased Consistent Entropy Estimator for the Special Bernoulli Measure” / spz:neicon:mais:y:2019:i:2:p:267-278
  740. Mikhail Nevskii V., Alexey Ukhalov Yu., Михаил Невский Викторович, Алексей Ухалов Юрьевич (2019) “Линейная интерполяция на евклидовом шаре в Rⁿ // Linear Interpolation on a Euclidean Ball in Rⁿ” / spz:neicon:mais:y:2019:i:2:p:279-296
  741. Evgenii Kubyshkin P., Vladimir Kulikov A., Евгений Кубышкин Павлович, Владимир Куликов Александрович (2019) “Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации // Analysis of the Conditions for the Emergence of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems” / spz:neicon:mais:y:2019:i:2:p:297-305
  742. Roman Iarullin R., Роман Яруллин Ревович (2019) “eT-сводимость множеств // eT -reducibility of Sets” / spz:neicon:mais:y:2019:i:2:p:306-311