| Выпуск | Название | |
| Том 21, № 4 (2014) | Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода | Аннотация PDF (Rus) |
| Александр Валерьевич Смирнов | ||
| Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) |
| Е. В. Коновалов | ||
| Том 14, № 3 (2007) | Экономный алгоритм нахождения средних минимальных расстояний | Аннотация PDF (Rus) |
| Н.Е. Тимофеева | ||
| Том 20, № 5 (2013) | Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики | Аннотация PDF (Rus) |
| Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
| Том 32, № 1 (2025) | Экстремальные оценки индекса Винера для слабо связных ориентированных графов | Аннотация PDF (Rus) |
| Дмитрий Юрьевич Чалый | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация PDF (Eng) |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) PDF (Eng) |
| И. В. Марьясов, В. А. Непомнящий | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация PDF (Eng) |
| Николай Вячеславович Шилов | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) PDF (Eng) |
| М. А. Беляев, В. М. Ицыксон | ||
| Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) PDF (Eng) |
| Дмитрий Владимирович Антонов, В. С. Рублев | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) |
| Владимир Анатольевич Захаров | ||
| Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| Том 26, № 1 (2019) | Эффективный алгоритм разрешения коллизий в правилах политики безопасности | Аннотация PDF (Rus) |
| Сeргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| Том 17, № 1 (2010) | Явление буферности в обобщенном уравнении Свифта-Хоэнберга | Аннотация PDF (Rus) |
| Д. В. Сандуляк | ||
| Том 14, № 2 (2007) | Явление буферности в одном уравнении маятникового типа | Аннотация PDF (Rus) |
| Д. В. Сандуляк | ||
| Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) |
| В. С. Рублев | ||
| Том 19, № 6 (2012) | Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова | Аннотация PDF (Rus) PDF (Eng) |
| Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский | ||
| 826 - 842 из 842 результатов | << < 7 8 9 10 11 12 | |
Список названий
Популярные статьи
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 3 (2017)
Облако тегов
асимптотика
бифуркации
бифуркация
большой параметр
верификация
запаздывание
интерполяция
краевая задача
кратный граф
малый параметр
мера Бернулли
норма
нормальная форма
обработка естественного языка
периодическое решение
проектор
сети Петри
сингулярные возмущения
спецификация
устойчивость
энтропия
Уведомления
ЯрГУ, редакция журнала МАИС
ул. Советская, 14, Ярославль, 150003, Россия
E-mail: mais@uniyar.ac.ru
