| Выпуск | Название | |
| Том 29, № 2 (2022) | Степени перечислимости ограниченных множеств | Аннотация PDF (Rus) |
| Борис Яковлевич Солон | ||
| Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) |
| А. В. Майоров | ||
| Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) |
| Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
| Том 24, № 1 (2017) | Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности | Аннотация PDF (Rus) |
| Марина Александровна Давыдова, Николай Николаевич Нефедов | ||
| Том 23, № 3 (2016) | Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае | Аннотация PDF (Eng) |
| Н. Н. Нефедов, Е. И. Никулин | ||
| Том 24, № 5 (2017) | Существование несмещенной оценки энтропии для специальной меры Бернулли | Аннотация PDF (Rus) |
| Евгений Александрович Тимофеев | ||
| Том 26, № 2 (2019) | Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли | Аннотация PDF (Rus) |
| Евгений Александрович Тимофеев | ||
| Том 23, № 3 (2016) | Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии | Аннотация PDF (Eng) |
| Т. Я. Ершова | ||
| Том 21, № 3 (2014) | Счётная аддитивность распространения оператора дифференцирования | Аннотация PDF (Rus) |
| Анатолий Николаевич Морозов | ||
| Том 19, № 4 (2012) | Счетные идеалы в полурешетке Dе степеней | Аннотация PDF (Rus) |
| Валерий Валерьевич Тихов | ||
| Том 17, № 1 (2010) | Тезаурус как инструмент поэтологии | Аннотация PDF (Rus) |
| В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев | ||
| Том 20, № 4 (2013) | Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний | Аннотация PDF (Rus) |
| Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов | ||
| Том 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) |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| Том 33, № 1 (2026) | Хроматические числа масштабируемых графов | Аннотация 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) |
| Евгений Александрович Тимофеев | ||
| 751 - 825 из 842 результатов | << < 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
