| Выпуск | Название | |
| Том 22, № 2 (2015) | Аппроксимационные свойства нильпотентных групп | Аннотация PDF (Rus) |
| Дмитрий Николаевич Азаров | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация PDF (Eng) |
| Владимир Анатольевич Башкин | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| Том 21, № 1 (2014) | Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо | Аннотация PDF (Rus) |
| Елена Александровна Марушкина | ||
| Том 16, № 3 (2009) | Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли | Аннотация PDF (Rus) |
| Е. А. Тимофеев | ||
| Том 23, № 2 (2016) | Асимптотика моментов симметричной свертки Бернулли | Аннотация PDF (Eng) |
| Е. А. Tимофеев | ||
| Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) |
| Е. А. Tимофеев | ||
| Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) |
| Е. А. Tимофеев | ||
| Том 19, № 1 (2012) | Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии | Аннотация PDF (Rus) |
| Сергей Александрович Кащенко, Артем Сергеевич Полстьянов | ||
| Том 22, № 1 (2015) | Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления | Аннотация PDF (Rus) |
| Маргарита Александровна Калашникова | ||
| Том 19, № 3 (2012) | Асимптотика решений обобщённого уравнения Хатчинсона | Аннотация PDF (Rus) |
| Сергей Александрович Кащенко | ||
| Том 20, № 1 (2013) | Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I | Аннотация PDF (Rus) |
| Мария Валентиновна Бутузова | ||
| Том 20, № 2 (2013) | Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II | Аннотация PDF (Rus) |
| Мария Валентиновна Бутузова | ||
| Том 16, № 4 (2009) | Асимптотика смещения оценки энтропии для мер Бернулли | Аннотация PDF (Rus) |
| Е. А. Тимофеев | ||
| Том 22, № 5 (2015) | Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота | Аннотация PDF (Rus) |
| С. А. Кащенко | ||
| Том 23, № 5 (2016) | Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо | Аннотация PDF (Rus) |
| А. А. Мельникова, Р. Л. Аргун | ||
| Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) |
| Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
| Том 23, № 3 (2016) | Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения | Аннотация PDF (Rus) |
| В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер | ||
| Том 24, № 1 (2017) | Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка | Аннотация PDF (Rus) |
| Сергей Александрович Кащенко | ||
| Том 23, № 1 (2016) | Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота | Аннотация PDF (Rus) |
| С. А. Кащенко | ||
| Том 23, № 1 (2016) | Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота | Аннотация PDF (Rus) |
| С. А. Кащенко | ||
| Том 23, № 3 (2016) | Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы | Аннотация PDF (Rus) |
| М. А. Давыдова, Н. Т. Левашова, С. А. Захарова | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) |
| Павел Николаевич Нестеров | ||
| Том 23, № 5 (2016) | Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием | Аннотация PDF (Rus) |
| П. Н. Нестеров | ||
| Том 24, № 3 (2017) | Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред | Аннотация PDF (Rus) |
| Наталия Тимуровна Левашова, Ольга Александровна Николаева | ||
| Том 14, № 2 (2007) | Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения | Аннотация PDF (Rus) |
| П. Н. Нестеров | ||
| Том 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) |
| Д. А. Куликов | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация PDF (Eng) |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) |
| Дмитрий Михайлович Иванов | ||
| Том 24, № 5 (2017) | Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях | Аннотация PDF (Rus) |
| Василий Алексеевич Беляев, Василий Павлович Шапеев | ||
| Том 17, № 3 (2010) | Вариационные неравенства и принцип виртуальных перемещений | Аннотация PDF (Rus) |
| Н. А. Демьянков | ||
| Том 28, № 3 (2021) | Векторизация текстов на основе word-embedding моделей с использованием кластеризации | Аннотация 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) |
| Дмитрий Анатольевич Зайцев | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) |
| В. И. Шелехов | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация 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) |
| П. Н. Нестеров | ||
| Том 28, № 2 (2021) | Выделение условий разрешимости NP-полных задач для класса предфрактальных графов | Аннотация PDF (Rus) |
| Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров | ||
| Том 21, № 3 (2014) | Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) |
| Надежда Дмитриевна Быкова | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) |
| Анатолий Николаевич Морозов | ||
| Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) |
| Елена Александровна Туманова | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) |
| Ю. А. Белов, С. И. Вовчок | ||
| Том 30, № 4 (2023) | Генерация ключевых слов для русскоязычных научных текстов с помощью модели mT5 | Аннотация PDF (Rus) |
| Анна Валерьевна Глазкова, Дмитрий Алексеевич Морозов, Марина Сергеевна Воробьева, Андрей Анатольевич Ступников | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| 76 - 150 из 819 результатов | << < 1 2 3 4 5 6 7 8 9 10 > >> | |
Список названий
Популярные статьи
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 3 (2017)
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Облако тегов
асимптотика
асимптотические методы
бифуркации
бифуркация
большой параметр
верификация
гомотетия
запаздывание
интерполяция
краевая задача
малый параметр
норма
нормальная форма
обработка естественного языка
периодическое решение
проектор
сети Петри
сингулярные возмущения
спецификация
устойчивость
энтропия
Уведомления
ЯрГУ, редакция журнала МАИС
ул. Советская, 14, Ярославль, 150003, Россия
E-mail: mais@uniyar.ac.ru
