| Выпуск | Название | |
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) |
| Сергей Владимирович Зыкин | ||
| Том 20, № 2 (2013) | Технологии и алгоритмы для создания дополненной реальности | Аннотация PDF (Rus) |
| Иван Александрович Благовещенский, Николай Андреевич Демьянков | ||
| Том 18, № 4 (2011) | Типовые примеры использования языка Atoment | Аннотация PDF (Rus) |
| Игорь Сергеевич Ануреев | ||
| Том 20, № 5 (2013) | Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина | Аннотация PDF (Rus) |
| Гулзорхон Амиршоевич Юсупов | ||
| Том 20, № 5 (2013) | Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ | Аннотация PDF (Rus) |
| Мухтор Рамазонович Лангаршоев | ||
| Том 32, № 2 (2025) | Точный алгоритм для задачи о минимальном полном остовном дереве в делимом кратном графе | Аннотация PDF (Rus) |
| Александр Валерьевич Смирнов | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) |
| Наталья Олеговна Гаранина | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| Том 21, № 1 (2014) | Угловой пограничный слой в нелинейных эллиптических задачах, содержащих производные первого порядка | Аннотация PDF (Rus) |
| Валентин Федорович Бутузов, Игорь Васильевич Денисов | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) |
| Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация PDF (Eng) |
| Томас Баар, Сергей Михайлович Старолетов | ||
| Том 19, № 2 (2012) | Уравнение кинетики измельчения с произвольным законом распределения времени ожидания | Аннотация PDF (Rus) |
| Леонид Владимирович Королев, Донат Олегович Бытев | ||
| Том 22, № 2 (2015) | Уравнение Колмогорова–Петровского–Пискунова с запаздыванием | Аннотация PDF (Rus) |
| Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко | ||
| Том 25, № 1 (2018) | Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями | Аннотация PDF (Rus) |
| Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов | ||
| Том 21, № 1 (2014) | Уравнения движения твердого тела с двумя упругими стержнями | Аннотация PDF (Rus) |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| Том 18, № 3 (2011) | Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией | Аннотация PDF (Rus) |
| Александра Андреевна Кащенко | ||
| Том 21, № 4 (2014) | Устойчивость в задаче поиска минимального разреза в графе | Аннотация PDF (Rus) |
| Илья Владимирович Козлов | ||
| Том 21, № 3 (2014) | Устойчивость непрерывных волн для модели FDML лазера | Аннотация PDF (Rus) |
| Александра Андреевна Кащенко | ||
| Том 22, № 3 (2015) | УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ | Аннотация PDF (Rus) |
| А. А. Кащенко | ||
| Том 14, № 2 (2007) | Устойчивость одной модели нейрона на основе уравнения с запаздыванием | Аннотация PDF (Rus) |
| Ю. В. Богомолов | ||
| Том 19, № 3 (2012) | Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием | Аннотация PDF (Rus) |
| Александра Андреевна Кащенко | ||
| Том 24, № 5 (2017) | Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации | Аннотация PDF (Rus) |
| Сергей Александрович Кащенко | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) |
| Е. А. Марушкина | ||
| Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) |
| Е. В. Коновалов | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация PDF (Eng) |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| Том 16, № 4 (2009) | Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием | Аннотация PDF (Rus) |
| О. А. Дунаева | ||
| Том 16, № 3 (2009) | Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии | Аннотация PDF (Rus) |
| К. В. Корнилов | ||
| Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) |
| Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
| Том 14, № 3 (2007) | Учет возрастных групп в уравнении Хатчинсона | Аннотация PDF (Rus) |
| С. Д. Глызин | ||
| Том 17, № 2 (2010) | Учет запаздывания в цепочке связи между осцилляторами | Аннотация PDF (Rus) |
| С. Д. Глызин, Е. О. Киселева | ||
| Том 22, № 5 (2015) | Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу | Аннотация PDF (Rus) |
| В. Н. Белых, М. И. Болотов, Г. В. Осипов | ||
| Том 17, № 3 (2010) | Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо | Аннотация PDF (Rus) |
| С. Д. Глызин, Е. А. Солдатова | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) |
| В. М. Ицыксон | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| Том 22, № 6 (2015) | Формальная диагонализация схем Лакса–Дарбу | Аннотация PDF (Eng) PDF (Rus) |
| А. В. Михайлов | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) |
| А. C. Малкова, В. И. Январев | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) |
| Анатолий Александрович Сивов | ||
| Том 19, № 5 (2012) | Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии | Аннотация PDF (Rus) |
| Дмитрий Анатольевич Куликов, Александр Степанович Рудый | ||
| Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| Том 13, № 1 (2006) | Формула для ляпуновской величины задачи о бифуркации автоволн | Аннотация PDF (Rus) |
| Ю. С. Колесов, А. Е. Харьков | ||
| Том 13, № 1 (2006) | Формула для ляпуновской величины задачи о конкурентной борьбе | Аннотация PDF (Rus) |
| А. Д. Пендюр, Д. А. Пендюр | ||
| Том 16, № 4 (2009) | Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты | Аннотация PDF (Rus) |
| А. В. Ходунин, Л. Н. Казаков | ||
| Том 18, № 1 (2011) | Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием | Аннотация PDF (Rus) |
| А. Ю. Коверга, Е. П. Кубышкин | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) |
| Александр Николаевич Максименко | ||
| Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| Том 16, № 4 (2009) | Циклы и торы деловой активности в одной математической модели макроэкономики | Аннотация PDF (Rus) |
| Е. С. Кокуйкин, А. Н. Куликов | ||
| Том 23, № 5 (2016) | Численное исследование начально-краевой задачи Неймана для сингулярно возмущенного параболического уравнения | Аннотация PDF (Rus) |
| Л. П. Шишкина | ||
| Том 23, № 3 (2016) | Численное моделирование процессов формирования полос адиабатического сдвига в композитах | Аннотация PDF (Rus) |
| Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов | ||
| Том 23, № 3 (2016) | Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем | Аннотация PDF (Rus) |
| А. А. Быков | ||
| Том 23, № 3 (2016) | Численное решение одной сингулярно возму- щённой задачи в круговой области | Аннотация PDF (Eng) |
| А. Ф. Хегарти, Ю. О’Риордан | ||
| Том 22, № 5 (2015) | Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок | Аннотация PDF (Rus) |
| Е. В. Ворожцов, В. П. Шапеев | ||
| Том 23, № 5 (2016) | Численные методы решения задач Коши с контрастными структурами | Аннотация PDF (Rus) |
| А. А. Белов, Н. Н. Калиткин | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| Том 19, № 2 (2012) | Шары в пространствах последовательностей | Аннотация PDF (Rus) |
| Евгений Александрович Тимофеев | ||
| Том 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ргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| 751 - 825 из 829 результатов | << < 6 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
