The 181 records in series spz:neicon:mais for which Cirtec does not have a PDF file in the web archive..

  1. 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
  2. S. Kubasov V., V. Sokolov A., С. Кубасов В., В. Соколов А. (2019) “Синхронная модель автоматной программы // Synchronous model of automaton program” / spz:neicon:mais:y:2007:i:1:p:11-18
  3. Ю. Колесов С., А. Харьков Е. (2019) “Динамика простейшей модели системы реакция-диффузия” / spz:neicon:mais:y:2007:i:1:p:19-26
  4. A. Morozov N., А. Морозов Н. (2019) “K-функционалы и наилучшие кусочно-полиномиальные приближения // K-functionals and best piecewice polynomial approximations” / spz:neicon:mais:y:2007:i:1:p:27-30
  5. M. Nevskij V., М. Невский В. (2019) “Минимальные проекторы и максимальные симплексы // Minimal projections and largest simplices” / spz:neicon:mais:y:2007:i:1:p:3-10
  6. K. Vasileva A., E. Kuzmin V., К. Васильева А., Е. Кузьмин В. (2019) “Верификация автоматных программ с использованием LTL // LTL Verification of Automaton Programs” / spz:neicon:mais:y:2007:i:1:p:31-43
  7. 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
  8. D. Kashalkin Y., V. Kurchidis A., Д. Кашалкин Ю., В. Курчидис А. (2019) “Принципы построения семантической сервис-ориентированной архитектуры // Construction principles of semantic service-oriented architecture” / spz:neicon:mais:y:2007:i:1:p:48-53
  9. Yu. Belov A., Ю. Белов А. (2019) “Автоморфизмы систем переходов // Automorphisms of transition systems” / spz:neicon:mais:y:2007:i:1:p:54-56
  10. G. Chelnokov R., Г. Челноков Р. (2019) “О числе запретов, задающих периодическую последовательность // On the Number of Restrictions Determining a Periodical Sequence” / spz:neicon:mais:y:2007:i:2:p:12-16
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. O. Zavyalova Yu., О. Завьялова Ю. (2019) “Сальтаторное проведение пачечного воздействия // The Saltatory Conduction of Repeated Impulses” / spz:neicon:mais:y:2007:i:2:p:44-46
  19. 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
  20. 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
  21. I. Kashchenko S., И. Кащенко С. (2019) “Динамические свойства уравнений первого порядка с большим запаздыванием // Dynamic Properties of First-order Equations with Large Delay” / spz:neicon:mais:y:2007:i:2:p:58-62
  22. 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
  23. Д. Сандуляк В. (2019) “Явление буферности в одном уравнении маятникового типа” / spz:neicon:mais:y:2007:i:2:p:68-74
  24. B. Uryvaev V., Б. Урываев В. (2019) “О релаксационном многограннике задачи «3-выполнимость» // On Relaxation Polytope of 3-satisfiability Problem” / spz:neicon:mais:y:2007:i:2:p:7-11
  25. O. Chernysheva A., О. Чернышева А. (2019) “Бифуркация Андронова - Хопфа для релейных систем // Andronov-Hopf Bifurcation for Relay Systems” / spz:neicon:mais:y:2007:i:2:p:75-82
  26. S. Glyzin D., С. Глызин Д. (2019) “Учет возрастных групп в уравнении Хатчинсона // A registration of age groups for the Hutchinson's equation” / spz:neicon:mais:y:2007:i:3:p:29-42
  27. В. Бурд Ш. (2019) “О работах А.Ю. Левина по теории линейных дифференциальных уравнений” / spz:neicon:mais:y:2007:i:3:p:4-7
  28. E. Konovalov V., Е. Коновалов В. (2019) “Задача о пачечном воздействии на обобщенный нейронный автомат // The problem of berst influence on the generalized automatic neuron” / spz:neicon:mais:y:2007:i:3:p:43-49
  29. N. Timofeeva E., Тимофеева Н.Е. (2019) “Экономный алгоритм нахождения средних минимальных расстояний // Fast algorithm for finding mean minimum distances” / spz:neicon:mais:y:2007:i:3:p:50-52
  30. N. Malyshkin V., Н. Малышкин В. (2019) “NumGRID, система для решения больших задач численного моделирования // NumGRID, the system for large-scale numerical applications solving” / spz:neicon:mais:y:2007:i:3:p:53-61
  31. 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
  32. V. Bashkin A., В. Башкин А. (2019) “Сети активных ресурсов // Nets of active resources” / spz:neicon:mais:y:2007:i:4:p:13-19
  33. S. Kubasov V., С. Кубасов В. (2019) “Верификация синхронно-автоматных программ // Verification of Synchronous-automaton Programs” / spz:neicon:mais:y:2007:i:4:p:20-27
  34. J. Guschin G., Ю. Гущин Г. (2019) “Об одном из методов научного творчества // On a Method of Scientific Creativity” / spz:neicon:mais:y:2007:i:4:p:28-30
  35. 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
  36. R. Karasev N., Р. Карасёв Н. (2019) “Род и категория Люстерника - Шнирельмана прообразов // Genus and the Lyusternik-Schnirelmann category of preimages” / spz:neicon:mais:y:2007:i:4:p:31-35
  37. V. Dol'nikov L., В. Дольников Л. (2019) “О теоремах Р. Радо и Д. Уотсона // On theorems of R. Rado and of D. Watson” / spz:neicon:mais:y:2007:i:4:p:36-42
  38. 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
  39. 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
  40. I. Mikhailov A., И. Михайлов А. (2019) “Об одном методе распознавания изображений // An Algorithm for the Recognition of Images” / spz:neicon:mais:y:2007:i:4:p:7-12
  41. 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
  42. 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
  43. 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
  44. D. Kashalkin Y., V. Kurchidis A., Д. Кашалкин Ю., В. Курчидис А. (2019) “Хореография сервисов в семантической сервис-ориентированной архитектуре // Service choreography in semantic service-oriented architecture” / spz:neicon:mais:y:2008:i:1:p:3-9
  45. 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
  46. 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
  47. V. Vasilchikov V., В. Васильчиков В. (2019) “Среда рекурсивно-параллельного программирования для Win32 // The recursive parallel programming shell for Win32” / spz:neicon:mais:y:2008:i:1:p:41-44
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. V. Burd Sh., В. Бурд Ш. (2019) “Работы Ю.С. Колесова по дифференциальным уравнениям // About the works by Yu.S. Kolesov on differential equations” / spz:neicon:mais:y:2009:i:3:p:5-13
  55. 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
  56. 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
  57. 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
  58. 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
  59. S. Glyzin D., С. Глызин Д. (2019) “Разностные аппроксимации уравнения «реакция - диффузия» на отрезке // Difference approximations of "reaction - diffusion" equation on a segment” / spz:neicon:mais:y:2009:i:3:p:96-116
  60. I. Kashchenko S., И. Кащенко С. (2019) “Нормализация уравнения с линейно распределенным запаздыванием // Normalization of equation with linear distributed delay” / spz:neicon:mais:y:2009:i:4:p:109-116
  61. 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
  62. Editorial Article , Редакционная Статья (2019) “О работе семинара «Нелинейная динамика»” / spz:neicon:mais:y:2009:i:4:p:132-140
  63. S. Kuznetsov D., N. Mendkovich A., С. Кузнецов Д., Н. Мендкович А. (2019) “Новые алгоритмы лексической оптимизации запросов // New algorithms for query modifications” / spz:neicon:mais:y:2009:i:4:p:22-33
  64. 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
  65. O. Dunaeva A., О. Дунаева А. (2019) “Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием // A Correction For The Latent Period Of Chemically Coupled Neurons” / spz:neicon:mais:y:2009:i:4:p:46-55
  66. (2019) “Дорогие коллеги!” / spz:neicon:mais:y:2009:i:4:p:5-5
  67. A. Dymov V., P. Nesterov N., А. Дымов В., П. Нестеров Н. (2019) “Математическое обоснование одного численного эксперимента // Mathematical justification of one numerical experiment” / spz:neicon:mais:y:2009:i:4:p:56-76
  68. Dmitry Kovalenko , Д. Коваленко С. (2019) “Метод автоматического построения алгоритмов распознавания участков фазовых траекторий // Method of automated construction of pattern recognition algorithms on phase paths” / spz:neicon:mais:y:2009:i:4:p:6-21
  69. 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
  70. 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
  71. E. Timofeev A., Е. Тимофеев А. (2019) “Асимптотика смещения оценки энтропии для мер Бернулли // On asymptotics of the entropy estimator bias for Bernoulli measures” / spz:neicon:mais:y:2009:i:4:p:96-108
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. А. Максименко Н. (2019) “О числе фасет 2-смежностного многогранника // On the number of facets of a 2-neighborly polytope” / spz:neicon:mais:y:2010:i:1:p:76-82
  78. Д. Сандуляк В. (2019) “Явление буферности в обобщенном уравнении Свифта-Хоэнберга // The buffer phenomenon in the generalization of the Swift-Hohenberg equation” / spz:neicon:mais:y:2010:i:1:p:83-92
  79. Г. Курина А., Т. Нгуен Х. (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
  80. G. Tarnavsky A., Г. Тарнавский А. (2019) “Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования” / spz:neicon:mais:y:2010:i:2:p:112-121
  81. Alexander Shalimov , А. Шалимов В. (2019) “Метод оценки частоты выполнения фрагментов кода последовательной программы” / spz:neicon:mais:y:2010:i:2:p:122-132
  82. 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
  83. 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
  84. 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
  85. S. Glyzin D., С. Глызин Д. (2019) “Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием // Relaxation oscillations of electrically coupled neuron-like systems with delay” / spz:neicon:mais:y:2010:i:2:p:28-47
  86. E. Kuzmin V., D. Chalyy Ju., Е. Кузьмин В., Д. Чалый Ю. (2019) “О языках автоматных счетчиковых машин // On languages of automaton counter machines” / spz:neicon:mais:y:2010:i:2:p:48-71
  87. 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
  88. V. Roublev S., A. Smirnov V., В. Рублев С., А. Смирнов В. (2019) “Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения” / spz:neicon:mais:y:2010:i:2:p:72-98
  89. A. Nikolaev V., А. Николаев В. (2019) “О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ // On nonintegral vertices of 3-SAT problem relaxation polytope” / spz:neicon:mais:y:2010:i:2:p:99-111
  90. 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
  91. 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
  92. 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
  93. Y. Belov. A., Ю. Белов А. (2019) “Составные редукции моделей Крипке и автоморфизмы // Composite reductions for Kripke models” / spz:neicon:mais:y:2010:i:3:p:29-37
  94. 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
  95. N. Demyankov A., Н. Демьянков А. (2019) “Вариационные неравенства и принцип виртуальных перемещений // Variational inequalities and the principle of virtual displacements” / spz:neicon:mais:y:2010:i:3:p:48-57
  96. 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
  97. A. Sboev V., А. Сбоев В. (2019) “Рекуррентные последовательности над почтикольцами // Recurrence sequences over near-rings” / spz:neicon:mais:y:2010:i:3:p:58-71
  98. 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
  99. N. Fedotova P., Н. Федотова П. (2019) “Гиперплоскости универсальной экстремали некоторых задач оптимизации // Universal extremum of hyperplanes in some optimization problems” / spz:neicon:mais:y:2010:i:3:p:91-106
  100. 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
  101. 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
  102. I. Shoshmina V., И. Шошмина В. (2019) “Проектирование программных бортовых систем управления с поддержкой верификации // Distributed embedded control systems design with verification support” / spz:neicon:mais:y:2010:i:4:p:125-136
  103. 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
  104. 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
  105. 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
  106. N. Garanina O., Н. Гаранина О. (2019) “Проверка моделей распределенных систем с помощью аффинного представления данных // Model Checking of Distributed Systems with Affine Data Structures” / spz:neicon:mais:y:2010:i:4:p:52-59
  107. 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
  108. 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
  109. 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
  110. 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
  111. 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
  112. I. Paramonov V., И. Парамонов В. (2019) “Релаксационные циклы обобщённого уравнения импульсного нейрона // Relaxation cycles of the generalized pulsed neuron equation” / spz:neicon:mais:y:2011:i:1:p:106-115
  113. 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
  114. 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
  115. M. Nevskii V., М. Невский В. (2019) “Геометрические оценки в полиномиальной интерполяции // Geometric Estimates in the Polynomial Interpolation” / spz:neicon:mais:y:2011:i:1:p:142-148
  116. Editorial Article , Редакционная Статья (2019) “О работе семинара "Нелинейная динамика"” / spz:neicon:mais:y:2011:i:1:p:149-154
  117. 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
  118. I. Kashchenko S., И. Кащенко С. (2019) “Динамические свойства одной модели пассивного захвата мод // Dynamical properties of a model for the passive mode locking” / spz:neicon:mais:y:2011:i:1:p:32-36
  119. 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
  120. 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
  121. 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
  122. 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
  123. E. Gorchakova V., Е. Горчакова В. (2019) “Динамика слабого взаимодействия в системе близких видов // Dynamics of weak interaction in a system of similar species” / spz:neicon:mais:y:2011:i:1:p:68-74
  124. D. Glazkov V., Д. Глазков В. (2019) “Локальная динамика уравнения с сильно запаздывающей обратной связью // Local dynamics of an equation with long delay feedback” / spz:neicon:mais:y:2011:i:1:p:75-85
  125. 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
  126. 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
  127. 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
  128. 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
  129. 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
  130. 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
  131. M. Nevskii V., Михаил Невский Викторович (2019) “О геометрических характеристиках n-мерного симплекса // On Geometric Characteristics of an n-Dimensional Simplex” / spz:neicon:mais:y:2011:i:2:p:52-64
  132. O. Dunaeva A., Ольга Дунаева Александровна (2019) “Принципы построения слоистых нейронных сетей на основе импульсных нейронов // Principles of Constructing Layered Neural Networks Based on Pulse Neurons” / spz:neicon:mais:y:2011:i:2:p:65-76
  133. 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
  134. 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
  135. S. Kaschenko A., Сергей Кащенко Александрович (2019) “Основные квазинормальные формы для двухкомпонентных систем параболических уравнений // Principal Quasinormal Forms for Two-Component Systems of Parabolic Equations” / spz:neicon:mais:y:2011:i:3:p:12-20
  136. V. Janvarev I., Владислав Январев Игоревич (2019) “Модульная модель мультимедийного документа и особенности ее программной реализации // Module-based Multimedia Document Model: Basic Principles and Software Architecture” / spz:neicon:mais:y:2011:i:3:p:125-143
  137. S. Kuznetsov D., N. Mendkovich A., Сергей Кузнецов Дмитриевич, Никита Мендкович Андреевич (2019) “Оптимизация конъюнктов условий в составе запросов // Optimization of Queries Containing Conjunctions of Conditions” / spz:neicon:mais:y:2011:i:3:p:144-154
  138. 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
  139. I. Kashchenko S., Илья Кащенко Сергеевич (2019) “Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием // Local Dynamics of an Equation with Large Exponential Distributed Delay” / spz:neicon:mais:y:2011:i:3:p:42-49
  140. M. Nevskii V., Михаил Невский Викторович (2019) “О гипотезе Лассака для выпуклого тела // On the Lassak Conjecture for a Convex Body” / spz:neicon:mais:y:2011:i:3:p:5-11
  141. A. Morozov N., Анатолий Морозов Николаевич (2019) “Об операторах дифференцирования и интегрирования // On Differential and Antidifferential Operators” / spz:neicon:mais:y:2011:i:3:p:50-57
  142. 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
  143. 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
  144. 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
  145. A. Nikolaev V., Андрей Николаев Валерьевич (2019) “Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника // Hypergraphs of Special Type and CUT Polytope Relaxations Properties Analysis” / spz:neicon:mais:y:2011:i:3:p:82-100
  146. 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
  147. 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
  148. 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
  149. 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
  150. A. Promsky V., Алексей Промский Владимирович (2019) “Верификация Си-программ: объяснение условий корректности и стандартная библиотека // C Program Verification: VC Explanation and the Standard Library” / spz:neicon:mais:y:2011:i:4:p:157-167
  151. N. Shilov V., Николай Шилов Вячеславович (2019) “Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ // Verification of Backtracking and Branch and Bound Design Templates” / spz:neicon:mais:y:2011:i:4:p:168-180
  152. 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
  153. V. Bashkin A., Владимир Башкин Анатольевич (2019) “Построение приближений бисимуляции в односчетчиковых сетях // Approximating Bisimulation in One-counter Nets” / spz:neicon:mais:y:2011:i:4:p:33-44
  154. 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
  155. N. Garanina O., Наталья Гаранина Олеговна (2019) “Оптимизационные процедуры в аффинной проверке моделей // Optimization Procedures in Affine Model Checking” / spz:neicon:mais:y:2011:i:4:p:56-67
  156. 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
  157. I. Anureev S., Игорь Ануреев Сергеевич (2019) “Типовые примеры использования языка Atoment // Typical Examples of Atoment Language Using” / spz:neicon:mais:y:2011:i:4:p:7-20
  158. 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
  159. 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
  160. Vasily Pashkov N., Василий Пашков Николаевич (2019) “Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей // Fault-Tolerance Distributed Control Plane for Software Defined Networks” / spz:neicon:mais:y:2019:i:1:p:101-121
  161. 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
  162. Andrey Petukhov N., Paul Pilyugin L., Андрей Петухов Николаевич, Павел Пилюгин Львович (2019) “«Общие критерии» и безопасность программно-конфигурируемых сетей // ”Common Criteria” and Software Defined Network Security” / spz:neicon:mais:y:2019:i:1:p:134-145
  163. Ruslan Smeliansky L., Руслан Смелянский Леонидович (2019) “Иерархические периферийные вычисления // Hierarchical Edge Computing” / spz:neicon:mais:y:2019:i:1:p:146-169
  164. Evgeniy Stepanov P., Евгений Степанов Павлович (2019) “Анализ эффективности демультиплексирования транспортных потоков // On Analysis of Traffic Flow Demultiplexing Effectiveness” / spz:neicon:mais:y:2019:i:1:p:170-190
  165. 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
  166. 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
  167. Valery Sokolov A., Валерий Соколов Анатольевич (2019) “От главного редактора // From the Editor-in-Chief” / spz:neicon:mais:y:2019:i:1:p:5-6
  168. 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
  169. 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
  170. 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
  171. 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
  172. Vasilii Kirnos P., Василий Кирнос Павлович (2019) “Пороговый анализ деградации запросов внутри вычислительной сети // Threshold Analysis of Request Degradation in the Computer Network” / spz:neicon:mais:y:2019:i:2:p:195-202
  173. 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
  174. Yury Kosolapov V., Юрий Косолапов Владимирович (2019) “Об обнаружении атак типа повторного использования исполнимого кода // About Detection of Code Reuse Attacks” / spz:neicon:mais:y:2019:i:2:p:213-228
  175. Vladimir Deundyak M., Alexey Taran A., Владимир Деундяк Михайлович, Алексей Таран Александрович (2019) “Система распределения ключей на дизайнах // Key Distribution System Based on Hadamard Designs” / spz:neicon:mais:y:2019:i:2:p:229-243
  176. 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
  177. 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
  178. 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
  179. 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
  180. 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
  181. Roman Iarullin R., Роман Яруллин Ревович (2019) “eT-сводимость множеств // eT -reducibility of Sets” / spz:neicon:mais:y:2019:i:2:p:306-311