| Выпуск | Название | |
| Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) |
| П. Е. Ефимова | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) |
| , , , , | ||
| Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) |
| Сергей Андреевич Шершаков | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| Том 23, № 1 (2016) | A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes | Аннотация PDF (Rus) |
| Александр Николаевич Максименко | ||
| Том 24, № 3 (2017) | Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем | Аннотация PDF (Rus) |
| Вера Александровна Белошапко | ||
| Том 23, № 1 (2016) | Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) |
| П. Н. Нестеров | ||
| Том 26, № 2 (2019) | eT-сводимость множеств | Аннотация PDF (Rus) |
| Роман Ревович Яруллин | ||
| Том 26, № 3 (2019) | GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии | Аннотация PDF (Rus) |
| Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| Том 14, № 1 (2007) | K-функционалы и наилучшие кусочно-полиномиальные приближения | Аннотация PDF (Rus) |
| А. Н. Морозов | ||
| Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) |
| Егор Владимирович Кузьмин | ||
| Том 19, № 2 (2012) | Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике | Аннотация PDF (Rus) |
| Артем Дмитриевич Уваров | ||
| Том 28, № 1 (2021) | NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 | Аннотация PDF (Rus) |
| Александр Валерьевич Смирнов | ||
| Том 26, № 3 (2019) | NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа | Аннотация PDF (Rus) |
| Наталья Сергеевна Медведева, Александр Валерьевич Смирнов | ||
| Том 14, № 3 (2007) | NumGRID, система для решения больших задач численного моделирования | Аннотация PDF (Rus) |
| Н. В. Малышкин | ||
| Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| Том 21, № 6 (2014) | PolarDB – система создания специализированных NoSQL баз данных и СУБД | Аннотация PDF (Rus) |
| Александр Гурьевич Марчук | ||
| Том 14, № 2 (2007) | SR-группы порядка 2npm с диэдральной 2-силовской подгруппой | Аннотация PDF (Rus) |
| В. В. Янишевский | ||
| Том 19, № 5 (2012) | TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные | Аннотация PDF (Rus) |
| Анатолий Александрович Сивов | ||
| Том 22, № 3 (2015) | АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ | Аннотация PDF (Rus) |
| С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов | ||
| Том 19, № 5 (2012) | Автоколебания решеток нелинейных элементов в опыте Скотта | Аннотация PDF (Rus) |
| Алексей Станиславович Бобок, Сергей Дмитриевич Глызин | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| Том 20, № 6 (2013) | Автоматизация создания верифицированных тестовых сценариев на основе гидов | Аннотация PDF (Rus) |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) |
| М. С. Ушакова, А. И. Легалов | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) |
| Сергей Владимирович Зыкин | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация PDF (Eng) |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) |
| Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) |
| Ю. А. Белов | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) |
| И. В. Коннов, В. А. Захаров | ||
| Том 23, № 3 (2016) | Аделаида Борисовна Васильева (к девяностолетию со дня рождения) | Аннотация PDF (Rus) |
| В. Ф. Бутузов, Н. Н. Нефедов | ||
| Том 20, № 4 (2013) | Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром | Аннотация PDF (Rus) |
| Евгений Алексеевич Толюпа | ||
| Том 27, № 1 (2020) | Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа | Аннотация PDF (Rus) |
| Александр Николаевич Максименко | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) |
| Иван Сергеевич Петров | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) |
| Иван Вадимович Губочкин | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) |
| М. Г. Доррер | ||
| Том 20, № 2 (2013) | Алгоритм эффективного оценивания энтропии | Аннотация PDF (Rus) PDF (Eng) |
| Евгений Александрович Тимофеев | ||
| Том 27, № 4 (2020) | Алгоритмы для BDI-агентов, основанные на знаниях | Аннотация PDF (Rus) |
| Николай Вячеславович Шилов, Наталья Олеговна Гаранина | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) |
| В. М. Деундяк, Ю. В. Косолапов | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация PDF (Eng) |
| Томас Баар, Хорст Шульте | ||
| Том 28, № 3 (2021) | Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений | Аннотация PDF (Rus) |
| Алла Михайловна Манахова, Надежда Станиславовна Лагутина | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| Том 24, № 6 (2017) | Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов | Аннотация PDF (Rus) |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов | ||
| Том 22, № 5 (2015) | Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции | Аннотация PDF (Rus) |
| В. О. Голубенец | ||
| Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) PDF (Eng) |
| С. А. Шершаков, В. А. Рубин | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| Том 26, № 2 (2019) | Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) |
| Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
| Том 26, № 1 (2019) | Анализ эффективности демультиплексирования транспортных потоков | Аннотация PDF (Rus) |
| Евгений Павлович Степанов | ||
| Том 23, № 3 (2016) | Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток | Аннотация PDF (Eng) |
| Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер | ||
| Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) |
| Н. А. Кудряшов, Д. И. Синельщиков | ||
| Том 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) |
| С. А. Кащенко | ||
| 1 - 75 из 724 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Список названий
Популярные статьи
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 2 (2017)
Том 24, № 3 (2017)
Том 24, № 2 (2017)
Облако тегов
аксиоматическая семантика
асимптотика
асимптотические методы
бифуркации
бифуркация
большой параметр
верификация
гомотетия
запаздывание
интерполяция
краевая задача
малый параметр
мера Бернулли
нормальная форма
периодическое решение
проектор
сети Петри
сингулярные возмущения
спецификация
устойчивость
энтропия
Уведомления
ЯрГУ, редакция журнала МАИС
ул. Советская, 14, Ярославль, 150003, Россия
E-mail: mais@uniyar.ac.ru
