| Выпуск | Название | |
| Том 25, № 1 (2018) | Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым | Аннотация PDF (Rus) |
| Евгений Александрович Антипов, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| Том 17, № 2 (2010) | Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 | Аннотация PDF (Rus) |
| И. В. Алексеев, С. А. Меркулов, А. А. Сивов | ||
| Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) |
| Анна Шмилевна Непомнящая | ||
| Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) |
| Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
| Том 21, № 5 (2014) | Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа | Аннотация PDF (Rus) |
| Евгений Владиславович Коновалов | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) |
| В. В. Васильчиков, А. В. Шубин | ||
| Том 23, № 6 (2016) | Бифуркации периодических решений уравнения Мэкки–Гласса | Аннотация PDF (Rus) |
| Е. П. Кубышкин, А. Р. Морякова | ||
| Том 24, № 5 (2017) | Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского | Аннотация PDF (Rus) |
| Алина Вадимовна Секацкая | ||
| Том 14, № 2 (2007) | Бифуркация Андронова - Хопфа для релейных систем | Аннотация PDF (Rus) |
| О. А. Чернышева | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) |
| Владимир Евгеньевич Горюнов | ||
| Том 15, № 1 (2008) | Бифуркация бегущих волн видоизмененного уравнения Гинзбурга-Ландау | Аннотация PDF (Rus) |
| А. Э. Котиков, А. Н. Куликов | ||
| Том 13, № 1 (2006) | Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области | Аннотация PDF (Rus) |
| Д. А. Куликов | ||
| Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) |
| Дмитрий Михайлович Иванов | ||
| Том 24, № 5 (2017) | Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях | Аннотация PDF (Rus) |
| Василий Алексеевич Беляев, Василий Павлович Шапеев | ||
| Том 17, № 3 (2010) | Вариационные неравенства и принцип виртуальных перемещений | Аннотация PDF (Rus) |
| Н. А. Демьянков | ||
| Том 25, № 6 (2018) | Векторное представление слов с семантическими отношениями: экспериментальные наблюдения | Аннотация PDF (Rus) |
| Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов | ||
| Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) |
| В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
| Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) |
| И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) |
| К. А. Васильева, Е. В. Кузьмин | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) |
| Дмитрий Анатольевич Зайцев | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) |
| В. И. Шелехов | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) |
| С. В. Кубасов | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) |
| Алексей Владимирович Промский | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) |
| Николай Вячеславович Шилов | ||
| Том 23, № 4 (2016) | Вероятностный анализ систем организации турниров | Аннотация PDF (Rus) |
| А. М. Цирлин, Ал. А. Ахременков | ||
| Том 25, № 1 (2018) | Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо | Аннотация PDF (Rus) |
| Светлана Владимировна Быцюра, Наталия Тимуровна Левашова | ||
| Том 23, № 5 (2016) | Взаимодействие двух волн в модели Ферми – Паста – Улама | Аннотация PDF (Rus) |
| С. Д. Глызин, С. А. Кащенко, А. О. Толбей | ||
| Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) |
| С. Н. Пупырев, А. В. Тихонов | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| Том 20, № 1 (2013) | Влияние деформации области на поведение решений распределенной кинетической системы | Аннотация PDF (Rus) |
| Евгений Павлович Кубышкин | ||
| Том 21, № 1 (2014) | Влияние запаздывающей обратной связи на устойчивость периодических орбит | Аннотация PDF (Rus) |
| Виктория Григорьевна Богаевская, Илья Сергеевич Кащенко | ||
| Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) |
| Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
| Том 18, № 1 (2011) | Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов | Аннотация PDF (Rus) |
| П. Н. Нестеров | ||
| Том 21, № 3 (2014) | Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) |
| Надежда Дмитриевна Быкова | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) |
| Анатолий Николаевич Морозов | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) |
| Ю. А. Белов, С. И. Вовчок | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| Том 18, № 1 (2011) | Геометрические оценки в полиномиальной интерполяции | Аннотация PDF (Rus) |
| М. В. Невский | ||
| Том 26, № 3 (2019) | Геометрические оценки при интерполяции на n-мерном шаре | Аннотация PDF (Rus) |
| Михаил Викторович Невский | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) |
| Иджад Хакович Сабитов | ||
| Том 18, № 3 (2011) | Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника | Аннотация PDF (Rus) |
| Андрей Валерьевич Николаев | ||
| Том 17, № 3 (2010) | Гиперплоскости универсальной экстремали некоторых задач оптимизации | Аннотация PDF (Rus) |
| Н. П. Федотова | ||
| Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) |
| Сергей Андреевич Шершаков | ||
| Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) |
| Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| Том 19, № 2 (2012) | Двойственность Гейла и смежностность случайных многогранников. I | Аннотация PDF (Rus) |
| Алексей Германович Бродский | ||
| Том 19, № 4 (2012) | Двойственность Гейла и смежностность случайных многогранников. II | Аннотация PDF (Rus) |
| Алексей Германович Бродский | ||
| Том 21, № 5 (2014) | Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений | Аннотация PDF (Rus) |
| Николай Алексеевич Кудряшов, Мария Владимировна Демина | ||
| Том 23, № 3 (2016) | Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения | Аннотация PDF (Eng) |
| М. Стайнс | ||
| Том 18, № 1 (2011) | Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями | Аннотация PDF (Rus) |
| С. Д. Глызин, Е. О. Овсянникова | ||
| Том 17, № 1 (2010) | Двухшаговый экстраградиентный метод для задачи управления ресурсами | Аннотация PDF (Rus) |
| А. В. Зыкина, Н. В. Меленьчук | ||
| Том 24, № 2 (2017) | Дедубликация в системе резервного копирования с хранением информации в базе данных | Аннотация PDF (Rus) |
| Сергей Максимович Таранин | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) |
| Игорь Сергеевич Ануреев | ||
| Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
| Том 18, № 1 (2011) | Динамика квазилинейной краевой задачи, обобщающей уравнение с большим запаздыванием | Аннотация PDF (Rus) |
| С. А. Кащенко | ||
| Том 19, № 5 (2012) | Динамика комплексного пространственно-распределенного уравнения Хатчинсона | Аннотация PDF (Rus) |
| Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко | ||
| Том 21, № 5 (2014) | Динамика логистического уравнения с запаздыванием и запаздывающим управлением | Аннотация PDF (Rus) |
| Сергей Александрович Кащенко | ||
| Том 14, № 1 (2007) | Динамика простейшей модели системы реакция-диффузия | Аннотация PDF (Rus) |
| Ю. С. Колесов, А. Е. Харьков | ||
| Том 19, № 3 (2012) | Динамика простейших кусочно-линейных разрывных отображений | Аннотация PDF (Rus) |
| Дмитрий Сергеевич Кащенко | ||
| Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| Том 23, № 6 (2016) | Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями | Аннотация PDF (Rus) |
| А. А. Кащенко | ||
| Том 18, № 1 (2011) | Динамика слабого взаимодействия в системе близких видов | Аннотация PDF (Rus) |
| Е. В. Горчакова | ||
| Том 19, № 1 (2012) | Динамика уравнения Курамото с пространственно-распределенным управлением | Аннотация PDF (Rus) |
| Илья Сергеевич Кащенко, Сергей Александрович Кащенко | ||
| Том 25, № 4 (2018) | Динамическая модель процессов информационных обменов в пиринговой сети | Аннотация PDF (Rus) |
| Александра Игоревна Кононова | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| Том 18, № 1 (2011) | Динамические свойства одной модели пассивного захвата мод | Аннотация PDF (Rus) |
| И. С. Кащенко | ||
| Том 14, № 2 (2007) | Динамические свойства уравнений первого порядка с большим запаздыванием | Аннотация PDF (Rus) |
| И. С. Кащенко | ||
| Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) |
| Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
| 76 - 150 из 692 результатов | << < 1 2 3 4 5 6 7 8 9 10 > >> | |
Список названий
Популярные статьи
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 3 (2017)
Облако тегов
асимптотика
асимптотические методы
бифуркации
бифуркация
большой параметр
верификация
гомотетия
запаздывание
интерполяция
краевая задача
малый параметр
мера Бернулли
нормальная форма
периодическое решение
программно-конфигурируемые сети
проектор
сети Петри
сингулярные возмущения
спецификация
устойчивость
энтропия
Уведомления
ЯрГУ, редакция журнала МАИС
ул. Советская, 14, Ярославль, 150003, Россия
E-mail: mais@uniyar.ac.ru
