|
Выпуск |
Название |
|
Том 18, № 1 (2011) |
Пространственно-неоднородные периодические
решения уравнения Хатчинсона
с распределенным насыщением |
Аннотация
PDF (Rus)
|
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов |
|
Том 18, № 1 (2011) |
Хаотические колебания
одной распределенной динамическом системы
с бесконечным запаздыванием |
Аннотация
PDF (Rus)
|
А. Ю. Коверга, Е. П. Кубышкин |
|
Том 18, № 1 (2011) |
Резонанс собственных частот в задаче о флаттере
пластинки в сверхзвуковом потоке газа |
Аннотация
PDF (Rus)
|
А. Н. Куликов, Г. В. Пилипенко |
|
Том 18, № 1 (2011) |
Динамика слабого взаимодействия
в системе близких видов |
Аннотация
PDF (Rus)
|
Е. В. Горчакова |
|
Том 18, № 1 (2011) |
Локальная динамика уравнения с сильно
запаздывающей обратной связью |
Аннотация
PDF (Rus)
|
Д. В. Глазков |
|
Том 18, № 1 (2011) |
Двухчастотные колебания обобщенного уравнения
импульсного нейрона с двумя запаздываниями |
Аннотация
PDF (Rus)
|
С. Д. Глызин, Е. О. Овсянникова |
|
Том 18, № 1 (2011) |
Релаксационные циклы обобщённого уравнения
импульсного нейрона |
Аннотация
PDF (Rus)
|
И. В. Парамонов |
|
Том 18, № 1 (2011) |
Стратегия выполнения операций копирования
и удаления в дереве объектов |
Аннотация
PDF (Rus)
|
А. В. Майоров |
|
Том 18, № 1 (2011) |
О тензорных квадратах неприводимых
представлений конечных почти простых групп. I. |
Аннотация
PDF (Rus)
|
С. В. Поляков |
|
Том 18, № 1 (2011) |
Геометрические оценки
в полиномиальной интерполяции |
Аннотация
PDF (Rus)
|
М. В. Невский |
|
Том 18, № 1 (2011) |
О работе семинара "Нелинейная динамика" |
Аннотация
PDF (Rus)
|
Редакционная Статья |
|
Том 18, № 1 (2011) |
Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов |
Аннотация
PDF (Rus)
|
П. Н. Нестеров |
|
Том 18, № 1 (2011) |
Динамика квазилинейной краевой задачи,
обобщающей уравнение с большим запаздыванием |
Аннотация
PDF (Rus)
|
С. А. Кащенко |
|
Том 17, № 4 (2010) |
Пример верификации в проекте F@BOOL@, основанном на булевских решателях |
Аннотация
PDF (Rus)
|
Н. В. Шилов |
|
Том 17, № 4 (2010) |
Проектирование программных бортовых систем управления с поддержкой верификации |
Аннотация
PDF (Rus)
|
И. В. Шошмина |
|
Том 17, № 4 (2010) |
От редакторов специального выпуска |
Подробности
|
В. А. Непомнящий, В. А. Соколов |
|
Том 17, № 4 (2010) |
Automated Correctness Proof of Algorithm Variants
in Elliptic Curve Cryptography |
Аннотация
PDF (Rus)
|
, , , , |
|
Том 17, № 4 (2010) |
Генерация тестовых данных на основе формального анализа данных конфигурации проекта |
Аннотация
PDF (Rus)
|
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын |
|
Том 17, № 4 (2010) |
Безопасное тестирование симуляции систем с отказами и разрушением |
Аннотация
PDF (Rus)
|
И. Б. Бурдонов, А. С. Косачев |
|
Том 17, № 4 (2010) |
О сложности верификации недетерминированных вероятностных мультиагентных систем |
Аннотация
PDF (Rus)
|
М. К. Валиев, М. И. Дехтярь |
|
Том 17, № 4 (2010) |
Проверка моделей распределенных систем с помощью аффинного представления данных |
Аннотация
PDF (Rus)
|
Н. О. Гаранина |
|
Том 17, № 4 (2010) |
Об исчислении позитивно-образованных формул для автоматического доказательства теорем |
Аннотация
PDF (Rus)
|
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин |
|
Том 17, № 4 (2010) |
Интеграция семантических верификаторов в компиляторы языка Java |
Аннотация
PDF (Rus)
|
А. В. Клепинин, А. А. Мелентьев |
|
Том 17, № 4 (2010) |
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени |
Аннотация
PDF (Rus)
|
И. В. Коннов, В. А. Захаров |
|
Том 17, № 4 (2010) |
Верификация C-программ в мультиязыковой системе СПЕКТР |
Аннотация
PDF (Rus)
|
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский |
|
Том 17, № 4 (2010) |
Верификация и синтез программ сложения на базе правил корректности операторов |
Аннотация
PDF (Rus)
|
В. И. Шелехов |
|
Том 17, № 3 (2010) |
Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) |
Аннотация
PDF (Rus)
|
А. С. Снятков |
|
Том 17, № 3 (2010) |
Гиперплоскости универсальной экстремали некоторых задач оптимизации |
Аннотация
PDF (Rus)
|
Н. П. Федотова |
|
Том 17, № 3 (2010) |
Математические модели экономических систем с учетом необратимости протекающих в них процессов |
Аннотация
PDF (Rus)
|
А. М. Цирлин |
|
Том 17, № 3 (2010) |
Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо |
Аннотация
PDF (Rus)
|
С. Д. Глызин, Е. А. Солдатова |
|
Том 17, № 3 (2010) |
Язык объектных запросов динамической информационной модели DIM |
Аннотация
PDF (Rus)
|
В. С. Рублев |
|
Том 17, № 3 (2010) |
Верификация C-программ на основе смешанной аксиоматической семантики |
Аннотация
PDF (Rus)
|
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий |
|
Том 17, № 3 (2010) |
Составные редукции моделей Крипке и автоморфизмы |
Аннотация
PDF (Rus)
|
Ю. А. Белов |
|
Том 17, № 3 (2010) |
Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла |
Аннотация
PDF (Rus)
|
Д. В. Глазков, С. А. Кащенко |
|
Том 17, № 3 (2010) |
Вариационные неравенства и принцип виртуальных перемещений |
Аннотация
PDF (Rus)
|
Н. А. Демьянков |
|
Том 17, № 3 (2010) |
Рекуррентные последовательности над почтикольцами |
Аннотация
PDF (Rus)
|
А. В. Сбоев |
|
Том 17, № 2 (2010) |
Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри |
Аннотация
PDF (Rus)
|
М. Г. Доррер |
|
Том 17, № 2 (2010) |
Мультистабильность в модели лазера с большим запаздыванием |
Аннотация
PDF (Rus)
|
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко |
|
Том 17, № 2 (2010) |
Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием |
Аннотация
PDF (Rus)
|
С. Д. Глызин |
|
Том 17, № 2 (2010) |
О языках автоматных счетчиковых машин |
Аннотация
PDF (Rus)
|
Е. В. Кузьмин, Д. Ю. Чалый |
|
Том 17, № 2 (2010) |
Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения |
Аннотация
PDF (Rus)
|
В. С. Рублев, А. В. Смирнов |
|
Том 17, № 2 (2010) |
О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ |
Аннотация
PDF (Rus)
|
А. В. Николаев |
|
Том 17, № 2 (2010) |
Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования |
Аннотация
PDF (Rus)
|
Г. А. Тарнавский |
|
Том 17, № 2 (2010) |
Метод оценки частоты выполнения фрагментов кода последовательной программы |
Аннотация
PDF (Rus)
|
А. В. Шалимов |
|
Том 17, № 2 (2010) |
Учет запаздывания в цепочке связи между осцилляторами |
Аннотация
PDF (Rus)
|
С. Д. Глызин, Е. О. Киселева |
|
Том 17, № 2 (2010) |
Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 |
Аннотация
PDF (Rus)
|
И. В. Алексеев, С. А. Меркулов, А. А. Сивов |
|
Том 17, № 1 (2010) |
Визуализация динамических графов для анализа сложных сетей |
Аннотация
PDF (Rus)
|
С. Н. Пупырев, А. В. Тихонов |
|
Том 17, № 1 (2010) |
Тезаурус как инструмент поэтологии |
Аннотация
PDF (Rus)
|
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев |
|
Том 17, № 1 (2010) |
A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers |
Аннотация
PDF (Rus)
|
П. Е. Ефимова |
|
Том 17, № 1 (2010) |
О множестве достижимости автоматных счетчиковых машин |
Аннотация
PDF (Rus)
|
Е. В. Кузьмин, Д. Ю. Чалый |
|
Том 17, № 1 (2010) |
Двухшаговый экстраградиентный метод для задачи управления ресурсами |
Аннотация
PDF (Rus)
|
А. В. Зыкина, Н. В. Меленьчук |
|
Том 17, № 1 (2010) |
О числе фасет 2-смежностного многогранника |
Аннотация
PDF (Rus)
|
А. Н. Максименко |
|
Том 17, № 1 (2010) |
Явление буферности в обобщенном уравнении
Свифта-Хоэнберга |
Аннотация
PDF (Rus)
|
Д. В. Сандуляк |
|
Том 17, № 1 (2010) |
Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами |
Аннотация
PDF (Rus)
|
Г. А. Курина, Т. Х. Нгуен |
|
Том 16, № 4 (2009) |
Дорогие коллеги! |
Аннотация
PDF (Rus)
|
В. А. Соколов |
|
Том 16, № 4 (2009) |
Метод автоматического построения алгоритмов распознавания участков фазовых траекторий |
Аннотация
PDF (Rus)
|
Д. С. Коваленко |
|
Том 16, № 4 (2009) |
Новые алгоритмы лексической оптимизации запросов |
Аннотация
PDF (Rus)
|
С. Д. Кузнецов, Н. А. Мендкович |
|
Том 16, № 4 (2009) |
Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича |
Аннотация
PDF (Rus)
|
Е. И. Бережной, Д. С. Гладких |
|
Том 16, № 4 (2009) |
Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием |
Аннотация
PDF (Rus)
|
О. А. Дунаева |
|
Том 16, № 4 (2009) |
Математическое обоснование одного численного
эксперимента |
Аннотация
PDF (Rus)
|
А. В. Дымов, П. Н. Нестеров |
|
Том 16, № 4 (2009) |
Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона |
Аннотация
PDF (Rus)
|
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов |
|
Том 16, № 4 (2009) |
Циклы и торы деловой активности в одной математической модели макроэкономики |
Аннотация
PDF (Rus)
|
Е. С. Кокуйкин, А. Н. Куликов |
|
Том 16, № 4 (2009) |
Асимптотика смещения оценки энтропии для мер Бернулли |
Аннотация
PDF (Rus)
|
Е. А. Тимофеев |
|
Том 16, № 4 (2009) |
Нормализация уравнения с линейно распределенным запаздыванием |
Аннотация
PDF (Rus)
|
И. С. Кащенко |
|
Том 16, № 4 (2009) |
Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты |
Аннотация
PDF (Rus)
|
А. В. Ходунин, Л. Н. Казаков |
|
Том 16, № 4 (2009) |
О работе семинара «Нелинейная динамика» |
Аннотация
PDF (Rus)
|
Редакционная Статья |
|
Том 16, № 3 (2009) |
Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель |
Аннотация
PDF (Rus)
|
А. В. Смирнов |
|
Том 16, № 3 (2009) |
О множестве достижимости автоматных трехсчетчиковых машин |
Аннотация
PDF (Rus)
|
Е. В. Кузьмин, Д. Ю. Чалый |
|
Том 16, № 3 (2009) |
Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли |
Аннотация
PDF (Rus)
|
Е. А. Тимофеев |
|
Том 16, № 3 (2009) |
Разностные аппроксимации уравнения «реакция - диффузия» на отрезке |
Аннотация
PDF (Rus)
|
С. Д. Глызин |
|
Том 16, № 3 (2009) |
Работы Ю.С. Колесова по дифференциальным уравнениям |
Аннотация
PDF (Rus)
|
В. Ш. Бурд |
|
Том 16, № 3 (2009) |
Однородные и четно-однородные супермногообразия с ретрактом CP(1|4 kk20) при к >= 2 |
Аннотация
PDF (Rus)
|
М. А. Башкин |
|
Том 16, № 3 (2009) |
О спектральной задаче, возникающей в механике манипуляционных роботов |
Аннотация
PDF (Rus)
|
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин |
|
Том 16, № 3 (2009) |
О неравенстве типа неравенства Джексона в диадическом пространстве BMO |
Аннотация
PDF (Rus)
|
И. П. Иродова |
|
Том 16, № 3 (2009) |
Исправления и дополнения к статье
«Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала |
Аннотация
PDF (Rus)
|
О. А. Дунаева, М. Л. Мячин |
|
376 - 450 из 602 результатов |
<< < 1 2 3 4 5 6 7 8 9 > >>
|