RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Именной указатель, 2018, том 25

A B G K L M N P R S
А Б В Г Д З К Л М Н О П Р С Т У Ф Ч Ш Полный список
A. M. Agalarov, T. A. Gadzhimuradov, A. A. Potapov, A. E. Rassadin
Edge states and chiral solitons in topological hall and Chern–Simons fields
Модел. и анализ информ. систем, 2018, том 25:1,  133–139
I. V. Alekseev, см. S. V. Morzhov
Модел. и анализ информ. систем, 2018, том 25:2,  207–216
T. Baar, S. Staroletov
A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
Модел. и анализ информ. систем, 2018, том 25:5,  465–480
T. A. Gadzhimuradov, см. A. M.-Z. Agalarov
Модел. и анализ информ. систем, 2018, том 25:1,  133–139
S. A. Grechanik
Polyprograms and polyprogram bisimulation
Модел. и анализ информ. систем, 2018, том 25:5,  534–548
E. V. Khvorostukhina, V. A. Molchanov
Universal hypergraphic automata representation by autonomous input symbols
Модел. и анализ информ. систем, 2018, том 25:5,  561–571
Yauhen Klimiankou
Measuring overhead of concurrency and virtual memory
Модел. и анализ информ. систем, 2018, том 25:2,  165–173
J. Y. Lee, см. S. V. Reznikova
Модел. и анализ информ. систем, 2018, том 25:6,  623–636
M. Mazzara, см. S. V. Reznikova
Модел. и анализ информ. систем, 2018, том 25:6,  623–636
V. A. Molchanov, см. E. V. Khvorostukhina
Модел. и анализ информ. систем, 2018, том 25:5,  561–571
S. V. Morzhov, I. V. Alekseev, M. A. Nikitinskiy
Organization of multi-controller interaction in software defined networks
Модел. и анализ информ. систем, 2018, том 25:2,  207–216
S. V. Morzhov, M. A. Nikitinskiy
A new approach for detecting and resolving anomalies in security policy of the external firewall module of the floodlight SDN controller
Модел. и анализ информ. систем, 2018, том 25:3,  251–256
M. A. Nikitinskiy, см. S. V. Morzhov
Модел. и анализ информ. систем, 2018, том 25:2,  207–216
M. A. Nikitinskiy, см. S. V. Morzhov
Модел. и анализ информ. систем, 2018, том 25:3,  251–256
A. A. Potapov, см. A. M.-Z. Agalarov
Модел. и анализ информ. систем, 2018, том 25:1,  133–139
A. È. Rassadin, см. A. M.-Z. Agalarov
Модел. и анализ информ. систем, 2018, том 25:1,  133–139
S. Reznikova, V. Rivera, J. Y. Lee, M. Mazzara
Translation from Event-B into Eiffel
Модел. и анализ информ. систем, 2018, том 25:6,  623–636
V. Rivera, см. S. V. Reznikova
Модел. и анализ информ. систем, 2018, том 25:6,  623–636
N. V. Shilov
Etude on recursion elimination
Модел. и анализ информ. систем, 2018, том 25:5,  549–560
S. M. Staroletov, см. T. Baar
Модел. и анализ информ. систем, 2018, том 25:5,  465–480
М. М. Аббас, В. А. Захаров
Даже простые процессы $\pi$-исчисления трудны для анализа
Модел. и анализ информ. систем, 2018, том 25:6,  589–606
А. М. Агаларов, А. А. Потапов, А. Э. Рассадин, А. В. Степанов
О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений
Модел. и анализ информ. систем, 2018, том 25:1,  7–17
А. С. Адрианов, см. Н. С. Лагутина
Модел. и анализ информ. систем, 2018, том 25:4,  435–458
Е. А. Антипов, Н. Т. Левашова, Н. Н. Нефедов
Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым
Модел. и анализ информ. систем, 2018, том 25:1,  18–32
И. С. Ануреев, см. Н. О. Гаранина
Модел. и анализ информ. систем, 2018, том 25:6,  607–622
И. С. Ануреев, см. Н. В. Шилов
Модел. и анализ информ. систем, 2018, том 25:6,  637–666
В. В. Балашов, см. А. Б. Глонина
Модел. и анализ информ. систем, 2018, том 25:2,  174–192
В. А. Башкин, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:6,  667–679
Е. В. Бодин, см. Н. В. Шилов
Модел. и анализ информ. систем, 2018, том 25:6,  637–666
О. И. Боровикова, см. Н. О. Гаранина
Модел. и анализ информ. систем, 2018, том 25:6,  607–622
П. И. Браславский, см. М. С. Каряева
Модел. и анализ информ. систем, 2018, том 25:6,  726–733
С. В. Быцюра, Н. Т. Левашова
Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо
Модел. и анализ информ. систем, 2018, том 25:1,  33–53
В. С. Васильев, А. И. Легалов
Оптимизация инварианта цикла в языке Пифагор
Модел. и анализ информ. систем, 2018, том 25:4,  347–357
В. В. Васильчиков
О рекурсивно-параллельном алгоритме решения задачи о рюкзаке
Модел. и анализ информ. систем, 2018, том 25:2,  155–164
Х. Л. Вега Висе, В. Ю. Михайлов
О методах верификации и разработки программ развития сельскохозяйственных территорий
Модел. и анализ информ. систем, 2018, том 25:5,  481–490
К. В. Веденёв, В. М. Деундяк
Коды в диэдральной групповой алгебре
Модел. и анализ информ. систем, 2018, том 25:2,  232–245
Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова
Онтология процессов, ориентированная на верификацию
Модел. и анализ информ. систем, 2018, том 25:6,  607–622
Д. В. Глазков, см. Е. В. Григорьева
Модел. и анализ информ. систем, 2018, том 25:1,  71–82
А. Б. Глонина, В. В. Балашов
О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов
Модел. и анализ информ. систем, 2018, том 25:2,  174–192
С. Д. Глызин
От редактора специального выпуска
Модел. и анализ информ. систем, 2018, том 25:1,  5–6
С. Д. Глызин, М. В. Лоханин, Д. М. Сиротин
Инвариантные характеристики вынужденных колебаний балки с продольным сжатием
Модел. и анализ информ. систем, 2018, том 25:1,  54–62
С. Д. Глызин, Е. А. Марушкина
Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью
Модел. и анализ информ. систем, 2018, том 25:5,  572–583
А. Р. Гнатенко, В. А. Захаров
О выразительных возможностях некоторых расширений линейной темпоральной логики
Модел. и анализ информ. систем, 2018, том 25:5,  506–524
О. Е. Горбунов, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:4,  382–387
О. Е. Горбунов, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:6,  667–679
В. Е. Горюнов
Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова
Модел. и анализ информ. систем, 2018, том 25:1,  63–70
Е. В. Григорьева, С. А. Кащенко, Д. В. Глазков
Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием
Модел. и анализ информ. систем, 2018, том 25:1,  71–82
М. А. Давыдова, С. А. Захарова
Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности
Модел. и анализ информ. систем, 2018, том 25:1,  83–91
И. В. Данилова, см. А. Н. Кириллов
Модел. и анализ информ. систем, 2018, том 25:3,  268–275
Н. Н. Дерюгина, см. А. А. Мельникова
Модел. и анализ информ. систем, 2018, том 25:1,  112–124
В. М. Деундяк, см. К. В. Веденёв
Модел. и анализ информ. систем, 2018, том 25:2,  232–245
С. М. Дудаков
О безопасности одно- и многоместных IFP-операторов
Модел. и анализ информ. систем, 2018, том 25:5,  525–533
В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый
О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»
Модел. и анализ информ. систем, 2018, том 25:4,  402–410
В. Г. Дурнев, см. Д. Р. Филонов
Модел. и анализ информ. систем, 2018, том 25:4,  411–420
В. А. Захаров, Н. В. Шилов
От редакторов специального выпуска
Модел. и анализ информ. систем, 2018, том 25:5,  463–464
В. А. Захаров, см. А. Р. Гнатенко
Модел. и анализ информ. систем, 2018, том 25:5,  506–524
В. А. Захаров, см. М. М. Аббас
Модел. и анализ информ. систем, 2018, том 25:6,  589–606
С. А. Захарова, см. М. А. Давыдова
Модел. и анализ информ. систем, 2018, том 25:1,  83–91
А. А. Каленкова, Д. А. Колесников
Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов
Модел. и анализ информ. систем, 2018, том 25:6,  711–725
М. С. Каряева, П. И. Браславский, В. А. Соколов
Векторное представление слов с семантическими отношениями: экспериментальные наблюдения
Модел. и анализ информ. систем, 2018, том 25:6,  726–733
С. А. Кащенко, см. Е. В. Григорьева
Модел. и анализ информ. систем, 2018, том 25:1,  71–82
А. Н. Кириллов, И. В. Данилова
Динамика распределения популяции по ареалам
Модел. и анализ информ. систем, 2018, том 25:3,  268–275
В. С. Климов
Изопериметрические и функциональные неравенства
Модел. и анализ информ. систем, 2018, том 25:3,  331–342
Д. А. Колесников, см. А. А. Каленкова
Модел. и анализ информ. систем, 2018, том 25:6,  711–725
Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий
Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов
Модел. и анализ информ. систем, 2018, том 25:5,  491–505
Д. А. Кондратьев, см. Н. В. Шилов
Модел. и анализ информ. систем, 2018, том 25:6,  637–666
А. И. Кононова
Динамическая модель процессов информационных обменов в пиринговой сети
Модел. и анализ информ. систем, 2018, том 25:4,  421–434
К. С. Корнилов, см. С. М. Терехов
Модел. и анализ информ. систем, 2018, том 25:2,  217–231
Ю. В. Косолапов, А. Н. Шигаев
Об алгоритме расщепления носителя для индуцированных кодов
Модел. и анализ информ. систем, 2018, том 25:3,  276–290
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин
Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
Модел. и анализ информ. систем, 2018, том 25:4,  382–387
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, В. А. Башкин
Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах
Модел. и анализ информ. систем, 2018, том 25:6,  667–679
А. Н. Куликов, Д. А. Куликов
Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями
Модел. и анализ информ. систем, 2018, том 25:1,  92–101
Д. А. Куликов, см. А. Н. Куликов
Модел. и анализ информ. систем, 2018, том 25:1,  92–101
К. В. Лагутина, см. Н. С. Лагутина
Модел. и анализ информ. систем, 2018, том 25:4,  435–458
Н. С. Лагутина, К. В. Лагутина, А. С. Адрианов, И. В. Парамонов
Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке
Модел. и анализ информ. систем, 2018, том 25:4,  435–458
Н. Т. Левашова, см. Е. А. Антипов
Модел. и анализ информ. систем, 2018, том 25:1,  18–32
Н. Т. Левашова, см. С. В. Быцюра
Модел. и анализ информ. систем, 2018, том 25:1,  33–53
А. И. Легалов, см. В. С. Васильев
Модел. и анализ информ. систем, 2018, том 25:4,  347–357
А. И. Легалов, см. М. С. Ушакова
Модел. и анализ информ. систем, 2018, том 25:4,  358–381
М. В. Лоханин, см. С. Д. Глызин
Модел. и анализ информ. систем, 2018, том 25:1,  54–62
Е. А. Марушкина
Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью
Модел. и анализ информ. систем, 2018, том 25:1,  102–111
Е. А. Марушкина, см. С. Д. Глызин
Модел. и анализ информ. систем, 2018, том 25:5,  572–583
И. В. Марьясов, см. Д. А. Кондратьев
Модел. и анализ информ. систем, 2018, том 25:5,  491–505
А. А. Мельникова, Н. Н. Дерюгина
Периодические изменения автоволнового фронта в двумерной системе параболических уравнений
Модел. и анализ информ. систем, 2018, том 25:1,  112–124
В. Ю. Михайлов, см. Х. Л. Вега Висе
Модел. и анализ информ. систем, 2018, том 25:5,  481–490
А. Н. Морозов
О дифференцируемости по Тейлору в пространствах $L_p, 0<p\leq \infty$
Модел. и анализ информ. систем, 2018, том 25:3,  323–330
Д. М. Мурин, см. В. Г. Дурнев
Модел. и анализ информ. систем, 2018, том 25:4,  402–410
Д. М. Мурин, см. Д. Р. Филонов
Модел. и анализ информ. систем, 2018, том 25:4,  411–420
М. В. Невский, А. Ю. Ухалов
О минимальном коэффициенте поглощения для $n$-мерного симплекса
Модел. и анализ информ. систем, 2018, том 25:1,  140–150
М. В. Невский, А. Ю. Ухалов
Oб оптимальной интерполяции линейными функциями на $n$-мерном кубе
Модел. и анализ информ. систем, 2018, том 25:3,  291–311
М. В. Невский
О некоторых задачах для симплекса и шара в ${\mathbb R}^n$
Модел. и анализ информ. систем, 2018, том 25:6,  680–691
В. А. Немтинов, см. С. М. Терехов
Модел. и анализ информ. систем, 2018, том 25:2,  217–231
В. А. Непомнящий, см. Д. А. Кондратьев
Модел. и анализ информ. систем, 2018, том 25:5,  491–505
Н. Н. Нефедов, Е. И. Никулин
Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией
Модел. и анализ информ. систем, 2018, том 25:1,  125–132
Н. Н. Нефедов, см. Е. А. Антипов
Модел. и анализ информ. систем, 2018, том 25:1,  18–32
Е. И. Никулин, см. Н. Н. Нефедов
Модел. и анализ информ. систем, 2018, том 25:1,  125–132
О. В. Орешкина (Никольская)
О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1
Модел. и анализ информ. систем, 2018, том 25:3,  312–322
И. В. Парамонов, см. Н. С. Лагутина
Модел. и анализ информ. систем, 2018, том 25:4,  435–458
П. О. Плотников, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:4,  382–387
П. О. Плотников, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:6,  667–679
А. А. Потапов, см. А. М.-З. Агаларов
Модел. и анализ информ. систем, 2018, том 25:1,  7–17
А. В. Промский, см. Н. В. Шилов
Модел. и анализ информ. систем, 2018, том 25:6,  637–666
А. Э. Рассадин, см. А. М.-З. Агаларов
Модел. и анализ информ. систем, 2018, том 25:1,  7–17
Л. И. Родина, И. И. Тютеев
Об оценке средней временной выгоды в вероятностных эколого-экономических моделях
Модел. и анализ информ. систем, 2018, том 25:3,  257–267
Д. М. Сиротин, см. С. Д. Глызин
Модел. и анализ информ. систем, 2018, том 25:1,  54–62
А. В. Смирнов
Остовное дерево в делимом кратном графе
Модел. и анализ информ. систем, 2018, том 25:4,  388–401
В. А. Соколов, см. В. Г. Дурнев
Модел. и анализ информ. систем, 2018, том 25:4,  402–410
В. А. Соколов, см. Д. Р. Филонов
Модел. и анализ информ. систем, 2018, том 25:4,  411–420
В. А. Соколов, см. М. С. Каряева
Модел. и анализ информ. систем, 2018, том 25:6,  726–733
А. В. Степанов, см. А. М.-З. Агаларов
Модел. и анализ информ. систем, 2018, том 25:1,  7–17
С. М. Терехов, В. А. Немтинов, К. С. Корнилов
Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети
Модел. и анализ информ. систем, 2018, том 25:2,  217–231
В. А. Тюкин, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:4,  382–387
В. А. Тюкин, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2018, том 25:6,  667–679
И. И. Тютеев, см. Л. И. Родина
Модел. и анализ информ. систем, 2018, том 25:3,  257–267
А. Д. Уваров
Особые точки кривых
Модел. и анализ информ. систем, 2018, том 25:6,  692–710
А. Ю. Ухалов, см. М. В. Невский
Модел. и анализ информ. систем, 2018, том 25:1,  140–150
А. Ю. Ухалов, см. М. В. Невский
Модел. и анализ информ. систем, 2018, том 25:3,  291–311
М. С. Ушакова, А. И. Легалов
Верификация программ со взаимной рекурсией на языке Пифагор
Модел. и анализ информ. систем, 2018, том 25:4,  358–381
Д. Р. Филонов, Д. Ю. Чалый, Д. М. Мурин, В. Г. Дурнев, В. А. Соколов
Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров
Модел. и анализ информ. систем, 2018, том 25:4,  411–420
Д. Ю. Чалый, см. В. Г. Дурнев
Модел. и анализ информ. систем, 2018, том 25:4,  402–410
Д. Ю. Чалый, см. Д. Р. Филонов
Модел. и анализ информ. систем, 2018, том 25:4,  411–420
А. Н. Шигаев, см. Ю. В. Косолапов
Модел. и анализ информ. систем, 2018, том 25:3,  276–290
Н. В. Шилов, см. В. А. Захаров
Модел. и анализ информ. систем, 2018, том 25:5,  463–464
Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский
Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня
Модел. и анализ информ. систем, 2018, том 25:6,  637–666
Т. Р. Шмелёва
Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам
Модел. и анализ информ. систем, 2018, том 25:2,  193–206
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019