| Выпуск | Название | |
| Том 20, № 6 (2013) | Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков | Аннотация PDF (Rus) |
| Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| Том 20, № 3 (2013) | Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии | Аннотация PDF (Rus) |
| Мария Сергеевна Омелькова | ||
| Том 24, № 5 (2017) | Семейство негрубых циклов в системе двух связанных генераторов с запаздыванием | Аннотация PDF (Rus) |
| Александра Андреевна Кащенко | ||
| Том 23, № 4 (2016) | Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы | Аннотация PDF (Rus) |
| А. В. Смирнов | ||
| Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) |
| В. А. Башкин | ||
| Том 22, № 1 (2015) | Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем | Аннотация PDF (Rus) |
| Валентин Федорович Бутузов | ||
| Том 23, № 5 (2016) | Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения | Аннотация PDF (Rus) |
| В. Ф. Бутузов, В. А. Белошапко | ||
| Том 19, № 3 (2012) | Синергетика — от прошлого к будущему | Аннотация PDF (Rus) |
| Георгий Геннадьевич Малинецкий | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) |
| Дмитрий Александрович Макаров | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) |
| С. В. Кубасов, В. А. Соколов | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| Том 19, № 1 (2012) | Смещение оценки энтропии для симметричных мер Бернулли и слабой метрики | Аннотация PDF (Rus) |
| Нина Евгеньевна Тимофеева | ||
| Том 13, № 1 (2006) | Смещение статистической оценки энтропии для простейшей меры Бернулли | Аннотация PDF (Rus) |
| Е. А. Тимофеев | ||
| Том 19, № 6 (2012) | Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников | Аннотация PDF (Rus) |
| Марина Александровна Козачок | ||
| Том 21, № 4 (2014) | Совершенные призмоиды и решетчатые многогранники Делоне | Аннотация PDF (Rus) |
| Марина Александровна Козачок, Александр Николаевич Магазинов | ||
| Том 13, № 1 (2006) | Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса | Аннотация PDF (Rus) |
| И. Г. Игнатова, Н. Ю. Соколова | ||
| Том 19, № 5 (2012) | Современные открытые проблемы в дискретной и вычислительной геометрии | Аннотация PDF (Rus) PDF (Eng) |
| Герберт Эдельсбруннер, Александр Иванов, Роман Карасев | ||
| Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация PDF (Eng) |
| А. К. Бегичева, И. А. Ломазова | ||
| Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) |
| Ю. А. Белов | ||
| Том 23, № 4 (2016) | Сравнение алгоритмов удвоения размера изображения | Аннотация PDF (Rus) |
| С. Е. Ваганов, С. И. Хашин | ||
| Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) |
| Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) |
| Татьяна Рудольфовна Шмелёва | ||
| Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) |
| В. В. Васильчиков | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация 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) |
| Евгений Александрович Тимофеев | ||
| Том 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) |
| Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация 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) |
| Мухтор Рамазонович Лангаршоев | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация 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) |
| Е. В. Коновалов | ||
| Том 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) |
| В. М. Ицыксон | ||
| Том 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) |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| 526 - 600 из 630 результатов | << < 3 4 5 6 7 8 9 > >> | |
Личный кабинет
Облако тегов
аксиоматическая семантика
асимптотика
асимптотические методы
бифуркация
большой параметр
верификация
гомотетия
запаздывание
интерполяция
краевая задача
малый параметр
метод усреднения
нормальная форма
периодическое решение
проектор
сети Петри
сингулярные возмущения
спецификация
тезаурус
устойчивость
энтропия
