|
Выпуск |
Название |
|
Том 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 > >> |