|
Выпуск |
Название |
|
Том 20, № 4 (2013) |
Исследование ортогональности сигналов с вращением вектора поляризации |
Аннотация
PDF (Rus)
|
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук |
|
Том 20, № 4 (2013) |
Программно-конфигурируемые сети как этап эволюции сетевых технологий |
Аннотация
PDF (Rus)
|
Артем Александрович Красотин, Игорь Вадимович Алексеев |
|
Том 20, № 4 (2013) |
Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний |
Аннотация
PDF (Rus)
|
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов |
|
Том 20, № 4 (2013) |
Проектирование и разработка имитационной модели мультиклиентского кластера баз данных |
Аннотация
PDF (Rus)
|
Евгений Александрович Бойцов |
|
Том 20, № 3 (2013) |
Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний |
Аннотация
PDF (Rus)
|
Павел Николаевич Нестеров |
|
Том 20, № 3 (2013) |
Пространственные особенности высокомодовых бифуркаций в распределенном логистическом уравнении |
Аннотация
PDF (Rus)
|
Илья Сергеевич Кащенко |
|
Том 20, № 3 (2013) |
Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной |
Аннотация
PDF (Rus)
|
Сергей Дмитриевич Глызин, Павел Леонидович Шокин |
|
Том 20, № 3 (2013) |
Самоорганизация, сети, будущее |
Аннотация
PDF (Rus)
|
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина |
|
Том 20, № 3 (2013) |
Об одной задаче для симплекса и куба в Rⁿ |
Аннотация
PDF (Rus)
|
Михаил Викторович Невский |
|
Том 20, № 3 (2013) |
Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием |
Аннотация
PDF (Rus)
|
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко |
|
Том 20, № 3 (2013) |
Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии |
Аннотация
PDF (Rus)
|
Мария Сергеевна Омелькова |
|
Том 20, № 3 (2013) |
Применение нечеткой классификации для гибридных линейных методов прогнозирования |
Аннотация
PDF (Rus)
|
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина |
|
Том 20, № 3 (2013) |
Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых |
Аннотация
PDF (Rus)
|
Камаридин Тухлиев |
|
Том 20, № 3 (2013) |
Преобразования задач оптимального управления |
Аннотация
PDF (Rus)
|
Анатолий Михайлович Цирлин |
|
Том 20, № 2 (2013) |
Группы гомологий сети Петри конвейера |
Аннотация
PDF (Rus)
|
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина |
|
Том 20, № 2 (2013) |
Моделирование, спецификация и построение программ логических контроллеров |
Аннотация
PDF (Rus)
|
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов |
|
Том 20, № 2 (2013) |
Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II |
Аннотация
PDF (Rus)
|
Мария Валентиновна Бутузова |
|
Том 20, № 2 (2013) |
Технологии и алгоритмы для создания дополненной реальности |
Аннотация
PDF (Rus)
|
Иван Александрович Благовещенский, Николай Андреевич Демьянков |
|
Том 20, № 2 (2013) |
Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров |
Аннотация
PDF (Rus)
|
Владимир Анатольевич Башкин |
|
Том 20, № 2 (2013) |
О поворотах цифровых изображений |
Аннотация
PDF (Rus)
|
Павел Геннадьевич Парфенов |
|
Том 20, № 2 (2013) |
Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов |
Аннотация
PDF (Rus)
|
Вильгельм Александрович Битнер, Никита Владимирович Заборовский |
|
Том 20, № 2 (2013) |
Алгоритм эффективного оценивания энтропии |
Аннотация
PDF (Rus)
PDF (Eng)
|
Евгений Александрович Тимофеев |
|
Том 20, № 2 (2013) |
Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей |
Аннотация
PDF (Rus)
|
Анна Шмилевна Непомнящая |
|
Том 20, № 2 (2013) |
Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц |
Аннотация
PDF (Rus)
|
Иван Вадимович Губочкин |
|
Том 20, № 2 (2013) |
Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты |
Аннотация
PDF (Rus)
|
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов |
|
Том 20, № 2 (2013) |
Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода |
Аннотация
PDF (Rus)
|
Александр Валерьевич Смирнов |
|
Том 20, № 2 (2013) |
Построение модели для извлечения оценочной лексики в различных предметных областях |
Аннотация
PDF (Rus)
|
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин |
|
Том 20, № 2 (2013) |
Единая модель для геоклассификации веб-сайтов |
Аннотация
PDF (Rus)
|
Алексей Николаевич Волков |
|
Том 20, № 1 (2013) |
Об аппроксимируемости обобщенных свободных произведений корневыми классами групп |
Аннотация
PDF (Rus)
|
Елена Александровна Туманова |
|
Том 20, № 1 (2013) |
Изгибания равносторонних многоугольников с сохранением индекса |
Аннотация
PDF (Rus)
|
Екатерина Сергеевна Запутряева |
|
Том 20, № 1 (2013) |
О работе НОЦ «Нелинейная динамика» |
Аннотация
PDF (Rus)
|
Статья Редакционная |
|
Том 20, № 1 (2013) |
Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I |
Аннотация
PDF (Rus)
|
Мария Валентиновна Бутузова |
|
Том 20, № 1 (2013) |
Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления |
Аннотация
PDF (Rus)
|
Елена Викторовна Григорьева, Илья Сергеевич Кащенко, Сергей Александрович Кащенко |
|
Том 20, № 1 (2013) |
Размерностные характеристики диффузионного хаоса |
Аннотация
PDF (Rus)
|
Сергей Дмитриевич Глызин |
|
Том 20, № 1 (2013) |
Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» |
Аннотация
PDF (Rus)
|
Сергей Александрович Кащенко |
|
Том 20, № 1 (2013) |
Влияние деформации области на поведение решений распределенной кинетической системы |
Аннотация
PDF (Rus)
|
Евгений Павлович Кубышкин |
|
Том 20, № 1 (2013) |
Несмещенная оценка энтропии для бинарных потоков |
Аннотация
PDF (Rus)
|
Евгений Александрович Тимофеев |
|
Том 20, № 1 (2013) |
О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра |
Аннотация
PDF (Rus)
|
Дмитрий Николаевич Азаров |
|
Том 20, № 1 (2013) |
О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга |
Аннотация
PDF (Rus)
|
Алексей Вячеславович Розов |
|
Том 18, № 4 (2011) |
От редакторов специального выпуска |
Подробности
|
В. А. Непомнящий, В. А. Соколов |
|
Том 18, № 4 (2011) |
Типовые примеры использования языка Atoment |
Аннотация
PDF (Rus)
|
Игорь Сергеевич Ануреев |
|
Том 18, № 4 (2011) |
Атрибутные аннотации и их применение в дедуктивной верификации C-программ |
Аннотация
PDF (Rus)
|
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев |
|
Том 18, № 4 (2011) |
Построение приближений бисимуляции в односчетчиковых сетях |
Аннотация
PDF (Rus)
|
Владимир Анатольевич Башкин |
|
Том 18, № 4 (2011) |
Статический анализ с использованием систем типов и эффектов на основе LLVM |
Аннотация
PDF (Rus)
|
Михаил Анатольевич Беляев, Вадим Александрович Цесько |
|
Том 18, № 4 (2011) |
Оптимизационные процедуры в аффинной проверке моделей |
Аннотация
PDF (Rus)
|
Наталья Олеговна Гаранина |
|
Том 18, № 4 (2011) |
Использование зависимостей для повышения точности статического анализа программ |
Аннотация
PDF (Rus)
|
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько |
|
Том 18, № 4 (2011) |
Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова |
Аннотация
PDF (Rus)
|
Дмитрий Анатольевич Зайцев |
|
Том 18, № 4 (2011) |
Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC |
Аннотация
PDF (Rus)
|
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев |
|
Том 18, № 4 (2011) |
Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем |
Аннотация
PDF (Rus)
|
Андрей Валентинович Климов |
|
Том 18, № 4 (2011) |
Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов |
Аннотация
PDF (Rus)
|
Сергей Николаевич Баранов, Всеволод Павлович Котляров |
|
Том 18, № 4 (2011) |
Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN |
Аннотация
PDF (Rus)
|
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока |
|
Том 18, № 4 (2011) |
Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных
сетей Петри |
Аннотация
PDF (Rus)
|
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий |
|
Том 18, № 4 (2011) |
Верификация Си-программ: объяснение условий корректности и стандартная библиотека |
Аннотация
PDF (Rus)
|
Алексей Владимирович Промский |
|
Том 18, № 4 (2011) |
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ |
Аннотация
PDF (Rus)
|
Николай Вячеславович Шилов |
|
Том 18, № 3 (2011) |
Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами |
Аннотация
PDF (Rus)
|
Павел Николаевич Нестеров |
|
Том 18, № 3 (2011) |
Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием |
Аннотация
PDF (Rus)
|
Илья Сергеевич Кащенко |
|
Том 18, № 3 (2011) |
Об операторах дифференцирования и интегрирования |
Аннотация
PDF (Rus)
|
Анатолий Николаевич Морозов |
|
Том 18, № 3 (2011) |
Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией |
Аннотация
PDF (Rus)
|
Александра Андреевна Кащенко |
|
Том 18, № 3 (2011) |
О двух конечномерных аппроксимациях периодической краевой задачи |
Аннотация
PDF (Rus)
|
Николай Андреевич Демьянков |
|
Том 18, № 3 (2011) |
Предельные возможности передачи информации
в макросистемах |
Аннотация
PDF (Rus)
|
Сергей Анатольевич Амелькин, Ольга Сергеевна Иванова |
|
Том 18, № 3 (2011) |
Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника |
Аннотация
PDF (Rus)
|
Андрей Валерьевич Николаев |
|
Том 18, № 3 (2011) |
Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы
параллельной структуры |
Аннотация
PDF (Rus)
|
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов |
|
Том 18, № 3 (2011) |
Модульная модель мультимедийного документа и особенности ее программной реализации |
Аннотация
PDF (Rus)
|
Владислав Игоревич Январев |
|
Том 18, № 3 (2011) |
Оптимизация конъюнктов условий в составе запросов |
Аннотация
PDF (Rus)
|
Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович |
|
Том 18, № 3 (2011) |
О гипотезе Лассака для выпуклого тела |
Аннотация
PDF (Rus)
|
Михаил Викторович Невский |
|
Том 18, № 3 (2011) |
Основные квазинормальные формы для двухкомпонентных систем параболических уравнений |
Аннотация
PDF (Rus)
|
Сергей Александрович Кащенко |
|
Том 18, № 2 (2011) |
О тензорных квадратах неприводимых представлений конечных почти простых групп. II |
Аннотация
PDF (Rus)
|
Сергей Владимирович Поляков |
|
Том 18, № 2 (2011) |
Об одном представлении функции в модели императивной программы, заданной сетями Петри |
Аннотация
PDF (Rus)
|
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков |
|
Том 18, № 2 (2011) |
Организация выполнения объектных запросов в динамической информационной модели DIM |
Аннотация
PDF (Rus)
|
Вадим Сергеевич Рублев |
|
Том 18, № 2 (2011) |
О геометрических характеристиках n-мерного симплекса |
Аннотация
PDF (Rus)
|
Михаил Викторович Невский |
|
Том 18, № 2 (2011) |
Принципы построения слоистых нейронных сетей на основе импульсных нейронов |
Аннотация
PDF (Rus)
|
Ольга Александровна Дунаева |
|
Том 18, № 2 (2011) |
Разбиение железнодорожного состава на отдельные вагоны |
Аннотация
PDF (Rus)
|
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов |
|
Том 18, № 2 (2011) |
Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) |
Аннотация
PDF (Rus)
|
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов |
|
Том 18, № 2 (2011) |
Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. |
Аннотация
PDF (Rus)
|
Анатолий Александрович Сивов |
|
Том 18, № 1 (2011) |
Динамика слабого взаимодействия
в системе близких видов |
Аннотация
PDF (Rus)
|
Е. В. Горчакова |
|
301 - 375 из 602 результатов |
<< < 1 2 3 4 5 6 7 8 9 > >>
|