| |
| Выпуск |
Название |
| |
| Том 22, № 6 (2015) |
Анализ системных исполнений с помощью Process Mining |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
С. А. Шершаков, В. А. Рубин |
| |
| Том 22, № 6 (2015) |
Лингвостатистический анализ терминологии для построения тезауруса предметной области |
Аннотация
PDF (Rus)
|
|
М. С. Каряева |
| |
| Том 22, № 6 (2015) |
Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight |
Аннотация
PDF (Rus)
|
|
А. А. Носков, М. А. Никитинский, И. В. Алексеев |
| |
| Том 22, № 5 (2015) |
Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии |
Аннотация
PDF (Rus)
|
|
А. М. Ковалева, Д. А. Куликов |
| |
| Том 22, № 5 (2015) |
Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота |
Аннотация
PDF (Rus)
|
|
С. А. Кащенко |
| |
| Том 22, № 5 (2015) |
Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции |
Аннотация
PDF (Rus)
|
|
В. О. Голубенец |
| |
| Том 22, № 5 (2015) |
Асимптотика моментов сингулярной функции Лебега |
Аннотация
PDF (Rus)
|
|
Е. А. Tимофеев |
| |
| Том 22, № 5 (2015) |
Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу |
Аннотация
PDF (Rus)
|
|
В. Н. Белых, М. И. Болотов, Г. В. Осипов |
| |
| Том 22, № 5 (2015) |
Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной |
Аннотация
PDF (Rus)
|
|
С. В. Алешин, С. Д. Глызин, С. А. Кащенко |
| |
| Том 22, № 5 (2015) |
Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей |
Аннотация
PDF (Rus)
|
|
Н. В. Тимофеева |
| |
| Том 22, № 5 (2015) |
Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок |
Аннотация
PDF (Rus)
|
|
Е. В. Ворожцов, В. П. Шапеев |
| |
| Том 22, № 4 (2015) |
Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях |
Аннотация
PDF (Rus)
|
|
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов |
| |
| Том 22, № 4 (2015) |
Алгоритмы для мажоритарного декодирования групповых кодов |
Аннотация
PDF (Rus)
|
|
В. М. Деундяк, Ю. В. Косолапов |
| |
| Том 22, № 4 (2015) |
О конечных группах с большой степенью неприводимого характера |
Аннотация
PDF (Rus)
|
|
Л. С. Казарин, С. С. Поисеева |
| |
| Том 22, № 4 (2015) |
О финитной отделимости подгрупп в расщепляемых расширениях |
Аннотация
PDF (Rus)
|
|
А. А. Кряжева |
| |
| Том 22, № 4 (2015) |
О выразительности подхода к построению ПЛК-программ по LTL-спецификации |
Аннотация
PDF (Rus)
|
|
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов |
| |
| Том 22, № 4 (2015) |
Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях |
Аннотация
PDF (Rus)
|
|
А. Н. Носков, И. А. Манов |
| |
| Том 22, № 4 (2015) |
Задача о наибольшем кратном потоке в делимой сети и ее частные случаи |
Аннотация
PDF (Rus)
|
|
А. В. Смирнов |
| |
| Том 22, № 4 (2015) |
Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов |
Аннотация
PDF (Rus)
|
|
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин |
| |
| Том 22, № 4 (2015) |
Метод генерации примеров моделей программ в терминах сетей Петри |
Аннотация
PDF (Rus)
|
|
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев |
| |
| Том 22, № 4 (2015) |
Автоматизация формальной верификации программ на языке Пифагор |
Аннотация
PDF (Rus)
|
|
М. С. Ушакова, А. И. Легалов |
| |
| Том 22, № 3 (2015) |
УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ |
Аннотация
PDF (Rus)
|
|
А. А. Кащенко |
| |
| Том 22, № 3 (2015) |
ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ |
Аннотация
PDF (Rus)
|
|
Е. П. Кубышкин, А. Р. Морякова |
| |
| Том 22, № 3 (2015) |
ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА |
Аннотация
PDF (Eng)
|
|
И. И. Овсянников, Д. В. Тураев, С. В. Зелик |
| |
| Том 22, № 3 (2015) |
РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I |
Аннотация
PDF (Eng)
|
|
И. Д. Рeмизoв |
| |
| Том 22, № 3 (2015) |
ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ |
Аннотация
PDF (Eng)
|
|
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко |
| |
| Том 22, № 3 (2015) |
КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ |
Аннотация
PDF (Rus)
|
|
Н. Д. Быкова, С. А. Кащенко |
| |
| Том 22, № 3 (2015) |
СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? |
Аннотация
PDF (Eng)
|
|
А. К. Бегичева, И. А. Ломазова |
| |
| Том 22, № 3 (2015) |
АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ |
Аннотация
PDF (Rus)
|
|
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов |
| |
| Том 22, № 2 (2015) |
МП-автоматы с независимыми счётчиками |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Михаил Иосифович Дехтярь, Борис Николаевич Карлов |
| |
| Том 22, № 2 (2015) |
Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы |
Аннотация
PDF (Rus)
|
|
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин |
| |
| Том 22, № 2 (2015) |
Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах |
Аннотация
PDF (Rus)
|
|
Светлана Михайловна Ермакова |
| |
| Том 22, № 2 (2015) |
О существовании ABA-факторизаций у спорадических групп ранга 3 |
Аннотация
PDF (Rus)
|
|
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров |
| |
| Том 22, № 2 (2015) |
Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора |
Аннотация
PDF (Rus)
|
|
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый |
| |
| Том 22, № 2 (2015) |
Кэширование запросов к реляционной базе данных с использованием областей истинности |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Сергей Владимирович Мосин, Сергей Владимирович Зыкин |
| |
| Том 22, № 2 (2015) |
Полнота динамики значений свойств данных в СУБД DIM |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Алексей Николаевич Петров, Вадим Сергеевич Рублев |
| |
| Том 22, № 2 (2015) |
Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей |
Аннотация
PDF (Rus)
|
|
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов |
| |
| Том 22, № 2 (2015) |
Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади |
Аннотация
PDF (Rus)
|
|
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина |
| |
| Том 22, № 2 (2015) |
Уравнение Колмогорова–Петровского–Пискунова с запаздыванием |
Аннотация
PDF (Rus)
|
|
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко |
| |
| Том 22, № 2 (2015) |
Аппроксимационные свойства нильпотентных групп |
Аннотация
PDF (Rus)
|
|
Дмитрий Николаевич Азаров |
| |
| Том 22, № 2 (2015) |
Эффективность доступа к данным в СУБД DIM |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Дмитрий Владимирович Антонов, В. С. Рублев |
| |
| Том 19, № 6 (2012) |
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения |
Аннотация
PDF (Rus)
|
|
Марат Халимович Ахин, Владимир Михайлович Ицыксон |
| |
| Том 19, № 6 (2012) |
Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов |
Аннотация
PDF (Rus)
|
|
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров |
| |
| Том 19, № 6 (2012) |
Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский |
| |
| Том 19, № 6 (2012) |
Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ |
Аннотация
PDF (Rus)
|
|
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко |
| |
| Том 19, № 6 (2012) |
О некоторых следствиях теоремы о трансверсалях |
Аннотация
PDF (Rus)
|
|
Владимир Леонидович Дольников |
| |
| Том 19, № 6 (2012) |
О некоторых задачах локализации в триангуляциях Делоне |
Аннотация
PDF (Rus)
|
|
Наталья Федоровна Дышкант |
| |
| Том 19, № 6 (2012) |
Непрерывное уплощение правильного тетраэдра точными отображениями |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Джин-ичи Ито, Чи Нара |
| |
| Том 19, № 6 (2012) |
Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников |
Аннотация
PDF (Rus)
|
|
Марина Александровна Козачок |
| |
| Том 19, № 6 (2012) |
Равномерная асимптотика верхней границы дисперсии для случайного многогранника |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Александр Николаевич Магазинов |
| |
| Том 19, № 6 (2012) |
Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов |
Аннотация
PDF (Rus)
|
|
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова |
| |
| Том 19, № 6 (2012) |
Многочлены объема для некоторых многогранников в пространствах постоянной кривизны |
Аннотация
PDF (Rus)
|
|
Денис Иджадович Сабитов, Иджад Хакович Сабитов |
| |
| Том 19, № 6 (2012) |
Наследcтвенные свойства модульных сетей |
Аннотация
PDF (Rus)
|
|
Владимир Анатольевич Башкин |
| |
| Том 19, № 6 (2012) |
Новое доказательство формулы Эйлера |
Аннотация
PDF (Rus)
|
|
Михаил Иванович Штогрин |
| |
| Том 19, № 6 (2012) |
Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри |
Аннотация
PDF (Rus)
|
|
Дмитрий Анатольевич Зайцев |
| |
| Том 19, № 6 (2012) |
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си |
Аннотация
PDF (Rus)
|
|
Игорь Сергеевич Ануреев |
| |
| Том 19, № 6 (2012) |
Как разработать простое средство верификации систем реального времени |
Аннотация
PDF (Rus)
|
|
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов |
| |
| Том 19, № 6 (2012) |
Дедуктивная верификация протокола скользящего окна |
Аннотация
PDF (Rus)
|
|
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий |
| |
| Том 19, № 5 (2012) |
Автоколебания решеток нелинейных элементов в опыте Скотта |
Аннотация
PDF (Rus)
|
|
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин |
| |
| Том 19, № 5 (2012) |
Моделирование счетчиковых машин двухголовочными автоматами |
Аннотация
PDF (Rus)
|
|
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов |
| |
| Том 19, № 5 (2012) |
Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования |
Аннотация
PDF (Rus)
|
|
Мария Сергеевна Кропачева, Александр Иванович Легалов |
| |
| Том 19, № 5 (2012) |
О теории алгебраических моделей программ с процедурами |
Аннотация
PDF (Rus)
|
|
Римма Ивановна Подловченко, Андрей Эрикович Молчанов |
| |
| Том 19, № 5 (2012) |
Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools |
Аннотация
PDF (Rus)
|
|
Леонид Владимирович Дворянский, Ирина Александровна Ломазова |
| |
| Том 19, № 5 (2012) |
Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей |
Аннотация
PDF (Rus)
|
|
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов |
| |
| Том 19, № 5 (2012) |
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные |
Аннотация
PDF (Rus)
|
|
Анатолий Александрович Сивов |
| |
| Том 19, № 5 (2012) |
О работе семинара «Нелинейная динамика и вычислительная геометрия» (Workshop “Nonlinear Dynamics and Computational Geometry”) |
Аннотация
PDF (Rus)
|
|
Статья Редакционная |
| |
| Том 19, № 5 (2012) |
О неглавных идеалах в полурешетке степеней перечислимости |
Аннотация
PDF (Rus)
|
|
Борис Яковлевич Солон, Валерий Валерьевич Тихов |
| |
| Том 19, № 5 (2012) |
Современные открытые проблемы в дискретной и вычислительной геометрии |
Аннотация
PDF (Rus)
PDF (Eng)
|
|
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев |
| |
| Том 19, № 5 (2012) |
Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых |
Аннотация
PDF (Rus)
|
|
Сергей Александрович Кащенко |
| |
| Том 19, № 5 (2012) |
Динамика комплексного пространственно-распределенного уравнения Хатчинсона |
Аннотация
PDF (Rus)
|
|
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко |
| |
| Том 19, № 5 (2012) |
Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии |
Аннотация
PDF (Rus)
|
|
Дмитрий Анатольевич Куликов, Александр Степанович Рудый |
| |
| Том 19, № 5 (2012) |
Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости |
Аннотация
PDF (Rus)
|
|
Мария Владимировна Демина, Николай Алексеевич Кудряшов |
| |
| Том 19, № 4 (2012) |
Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах |
Аннотация
PDF (Rus)
|
|
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева |
| |
| Том 19, № 4 (2012) |
Счетные идеалы в полурешетке Dе степеней |
Аннотация
PDF (Rus)
|
|
Валерий Валерьевич Тихов |
| |
| Том 19, № 4 (2012) |
Об одном вопросе А.И. Мальцева из "Коуровской тетради" |
Аннотация
PDF (Rus)
|
|
Валерий Георгиевич Дурнев |
| |
| 76 - 150 из 602 результатов |
<< < 1 2 3 4 5 6 7 8 9 > >>
|
