RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Именной указатель, 2012, том 19

D E I K M N
А Б В Г Д З И К Л М Н П Р С Т У Х Ц Ч Ш Щ Э Я Полный список
N. Dolbilin, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A. D. Alexandrov)
Модел. и анализ информ. систем, 2012, том 19:6,  92–100
H. Edelsbrunner, A. Ivanov, R. Karasev
Current Open Problems in Discrete and Computational Geometry
Модел. и анализ информ. систем, 2012, том 19:5,  5–17
H. Edelsbrunner, см. N. P. Dolbilin
Модел. и анализ информ. систем, 2012, том 19:6,  92–100
Jin-ichi Itoh, Chie Nara
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Модел. и анализ информ. систем, 2012, том 19:6,  127–136
A. O. Ivanov, см. H. Edelsbrunner
Модел. и анализ информ. систем, 2012, том 19:5,  5–17
A. O. Ivanov, см. N. P. Dolbilin
Модел. и анализ информ. систем, 2012, том 19:6,  92–100
R. N. Karasev, см. H. Edelsbrunner
Модел. и анализ информ. систем, 2012, том 19:5,  5–17
A. Magazinov
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
Модел. и анализ информ. систем, 2012, том 19:6,  148–151
O. R. Musin, см. N. P. Dolbilin
Модел. и анализ информ. систем, 2012, том 19:6,  92–100
Chie Nara, см. Jin-ichi Itoh
Модел. и анализ информ. систем, 2012, том 19:6,  127–136
M. V. Nevskij, см. N. P. Dolbilin
Модел. и анализ информ. систем, 2012, том 19:6,  92–100
А. И. Антонов, В. А. Бондаренко
Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ
Модел. и анализ информ. систем, 2012, том 19:6,  101–106
И. С. Ануреев
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Модел. и анализ информ. систем, 2012, том 19:6,  34–44
М. Х. Ахин, В. М. Ицыксон
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
Модел. и анализ информ. систем, 2012, том 19:6,  69–78
С. И. Баландин, А. М. Васильев, Н. И. Кожемякин, Д. А. Лаурэ, И. В. Парамонов
Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей
Модел. и анализ информ. систем, 2012, том 19:5,  131–141
Л. Ю. Бараш, Л. Н. Щур
Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло
Модел. и анализ информ. систем, 2012, том 19:2,  145–161
В. А. Башкин
Наследcтвенные свойства модульных сетей
Модел. и анализ информ. систем, 2012, том 19:6,  9–20
А. С. Бобок, С. Д. Глызин
Автоколебания решеток нелинейных элементов в опыте Скотта
Модел. и анализ информ. систем, 2012, том 19:5,  56–68
В. Н. Бойков
Контекстно-свободная грамматика одной ритмической модели русского стиха
Модел. и анализ информ. систем, 2012, том 19:4,  154–167
В. А. Бондаренко, см. А. И. Антонов
Модел. и анализ информ. систем, 2012, том 19:6,  101–106
А. Г. Бродский
Двойственность Гейла и смежностность случайных многогранников. I
Модел. и анализ информ. систем, 2012, том 19:2,  62–86
А. Г. Бродский
Двойственность Гейла и смежностность случайных многогранников. II
Модел. и анализ информ. систем, 2012, том 19:4,  87–109
Д. О. Бытев, см. Л. В. Королев
Модел. и анализ информ. систем, 2012, том 19:2,  53–61
А. М. Васильев, см. С. И. Баландин
Модел. и анализ информ. систем, 2012, том 19:5,  131–141
Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов
Как разработать простое средство верификации систем реального времени
Модел. и анализ информ. систем, 2012, том 19:6,  45–56
Д. С. Глызин, С. А. Кащенко
Динамика комплексного пространственно-распределенного уравнения Хатчинсона
Модел. и анализ информ. систем, 2012, том 19:5,  35–39
С. Д. Глызин, Е. А. Марушкина
Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка
Модел. и анализ информ. систем, 2012, том 19:3,  82–96
С. Д. Глызин, см. А. С. Бобок
Модел. и анализ информ. систем, 2012, том 19:5,  56–68
Л. В. Дворянский, И. А. Ломазова
Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
Модел. и анализ информ. систем, 2012, том 19:5,  115–130
М. В. Демина, Н. А. Кудряшов
Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости
Модел. и анализ информ. систем, 2012, том 19:5,  50–55
Н. А. Демьянков, В. С. Климов
Об одном классе операторных включений
Модел. и анализ информ. систем, 2012, том 19:3,  63–72
В. М. Деундяк, Ю. В. Косолапов
О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения
Модел. и анализ информ. систем, 2012, том 19:4,  110–127
Н. Долбилин, Г. Эдельсбруннер, А. Иванов, О. Мусин
Первая ярославская летняя школа по дискретной и вычислительной геометрии
Модел. и анализ информ. систем, 2012, том 19:4,  168–173
В. Л. Дольников
О некоторых следствиях теоремы о трансверсалях
Модел. и анализ информ. систем, 2012, том 19:6,  107–111
М. Г. Доррер, В. В. Курохтин
Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования
Модел. и анализ информ. систем, 2012, том 19:4,  128–143
П. Д. Дробинцев, см. А. В. Колчин
Модел. и анализ информ. систем, 2012, том 19:6,  79–91
В. Г. Дурнев
Об одном вопросе А. И. Мальцева из “Коуровской тетради”
Модел. и анализ информ. систем, 2012, том 19:4,  67–71
Н. Ф. Дышкант
О некоторых задачах локализации в триангуляциях Делоне
Модел. и анализ информ. систем, 2012, том 19:6,  112–126
М. А. Заводчиков
Новые компоненты схемы модулей $\mathrm M_{\mathbb P^3}(2;-1,2,0)$ стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве $\mathbb P^3$
Модел. и анализ информ. систем, 2012, том 19:2,  5–18
Д. А. Зайцев
Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри
Модел. и анализ информ. систем, 2012, том 19:6,  21–33
В. А. Захаров, см. Д. Ю. Волканов
Модел. и анализ информ. систем, 2012, том 19:6,  45–56
Д. А. Зорин, см. Д. Ю. Волканов
Модел. и анализ информ. систем, 2012, том 19:6,  45–56
А. О. Иванов, см. Н. П. Долбилин
Модел. и анализ информ. систем, 2012, том 19:4,  168–173
М. А. Иорданский
Конструктивная классификация графов
Модел. и анализ информ. систем, 2012, том 19:4,  144–153
В. М. Ицыксон, см. М. Х. Ахин
Модел. и анализ информ. систем, 2012, том 19:6,  69–78
А. А. Кащенко
Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием
Модел. и анализ информ. систем, 2012, том 19:3,  136–141
Д. С. Кащенко
Динамика простейших кусочно-линейных разрывных отображений
Модел. и анализ информ. систем, 2012, том 19:3,  73–81
И. С. Кащенко, С. А. Кащенко
Динамика уравнения Курамото с пространственно-распределенным управлением
Модел. и анализ информ. систем, 2012, том 19:1,  24–35
С. А. Кащенко, см. И. С. Кащенко
Модел. и анализ информ. систем, 2012, том 19:1,  24–35
С. А. Кащенко, А. С. Полстьянов
Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии
Модел. и анализ информ. систем, 2012, том 19:1,  7–23
С. А. Кащенко
Асимптотика решений обобщённого уравнения Хатчинсона
Модел. и анализ информ. систем, 2012, том 19:3,  32–61
С. А. Кащенко
Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых
Модел. и анализ информ. систем, 2012, том 19:5,  18–34
С. А. Кащенко, см. Д. С. Глызин
Модел. и анализ информ. систем, 2012, том 19:5,  35–39
В. С. Климов, см. Н. А. Демьянков
Модел. и анализ информ. систем, 2012, том 19:3,  63–72
Н. И. Кожемякин, см. С. И. Баландин
Модел. и анализ информ. систем, 2012, том 19:5,  131–141
М. А. Козачок
Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников
Модел. и анализ информ. систем, 2012, том 19:6,  137–147
А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров
Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов
Модел. и анализ информ. систем, 2012, том 19:6,  79–91
И. В. Коннов, см. Д. Ю. Волканов
Модел. и анализ информ. систем, 2012, том 19:6,  45–56
Е. В. Коновалов
Задача адаптации обобщенного нейронного элемента
Модел. и анализ информ. систем, 2012, том 19:1,  69–83
Л. В. Королев, Д. О. Бытев
Уравнение кинетики измельчения с произвольным законом распределения времени ожидания
Модел. и анализ информ. систем, 2012, том 19:2,  53–61
Ю. В. Косолапов, см. В. М. Деундяк
Модел. и анализ информ. систем, 2012, том 19:4,  110–127
В. П. Котляров, см. А. В. Колчин
Модел. и анализ информ. систем, 2012, том 19:6,  79–91
М. С. Кропачева, см. А. И. Легалов
Модел. и анализ информ. систем, 2012, том 19:4,  48–58
М. С. Кропачева, А. И. Легалов
Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
Модел. и анализ информ. систем, 2012, том 19:5,  81–99
Е. П. Кубышкин, О. А. Хребтюгова
Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем
Модел. и анализ информ. систем, 2012, том 19:1,  84–96
Н. А. Кудряшов, см. М. В. Демина
Модел. и анализ информ. систем, 2012, том 19:5,  50–55
Е. С. Кудряшова, А. А. Хусаинов
Обобщенные асинхронные системы
Модел. и анализ информ. систем, 2012, том 19:4,  78–86
Е. В. Кузьмин, В. А. Соколов
О верификации LD-программ логических контроллеров
Модел. и анализ информ. систем, 2012, том 19:2,  138–144
Е. В. Кузьмин, В. А. Соколов
О построении и верификации программ логических контроллеров
Модел. и анализ информ. систем, 2012, том 19:4,  25–36
Е. В. Кузьмин, В. А. Соколов
Моделирование счетчиковых машин двухголовочными автоматами
Модел. и анализ информ. систем, 2012, том 19:5,  69–73
Д. А. Куликов, А. С. Рудый
Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии
Модел. и анализ информ. систем, 2012, том 19:5,  40–49
В. В. Курохтин, см. М. Г. Доррер
Модел. и анализ информ. систем, 2012, том 19:4,  128–143
Д. А. Лаурэ, см. С. И. Баландин
Модел. и анализ информ. систем, 2012, том 19:5,  131–141
П. В. Лебедев
Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL
Модел. и анализ информ. систем, 2012, том 19:2,  115–137
А. И. Легалов, О. В. Непомнящий, И. В. Матковский, М. С. Кропачева
Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах
Модел. и анализ информ. систем, 2012, том 19:4,  48–58
А. И. Легалов, см. М. С. Кропачева
Модел. и анализ информ. систем, 2012, том 19:5,  81–99
А. А. Летичевский, см. А. В. Колчин
Модел. и анализ информ. систем, 2012, том 19:6,  79–91
И. А. Ломазова, см. Л. В. Дворянский
Модел. и анализ информ. систем, 2012, том 19:5,  115–130
Г. Г. Малинецкий
Синергетика — от прошлого к будущему
Модел. и анализ информ. систем, 2012, том 19:3,  5–31
Е. А. Марушкина, см. С. Д. Глызин
Модел. и анализ информ. систем, 2012, том 19:3,  82–96
И. В. Матковский, см. А. И. Легалов
Модел. и анализ информ. систем, 2012, том 19:4,  48–58
А. Э. Молчанов, см. Р. И. Подловченко
Модел. и анализ информ. систем, 2012, том 19:5,  100–114
А. Н. Морозов
О гладкости в $L_p$, $0 < p < 1$
Модел. и анализ информ. систем, 2012, том 19:3,  97–104
Д. М. Мурин
О порядке роста числа инъективных и сверхрастущих рюкзачных векторов
Модел. и анализ информ. систем, 2012, том 19:3,  124–135
О. Р. Мусин, см. Н. П. Долбилин
Модел. и анализ информ. систем, 2012, том 19:4,  168–173
О. Р. Мусин, А. Ю. Ухалов, Г. Эдельсбруннер, О. П. Якимова
Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов
Модел. и анализ информ. систем, 2012, том 19:6,  152–160
М. В. Невский
О некоторых результатах по геометрии выпуклых тел и их приложениях
Модел. и анализ информ. систем, 2012, том 19:3,  113–123
В. А. Непомнящий, см. Д. А. Шкляев
Модел. и анализ информ. систем, 2012, том 19:6,  57–68
О. В. Непомнящий, см. А. И. Легалов
Модел. и анализ информ. систем, 2012, том 19:4,  48–58
М. А. Никитинский, Д. Ю. Чалый
Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть
Модел. и анализ информ. систем, 2012, том 19:4,  37–47
И. В. Парамонов, см. С. И. Баландин
Модел. и анализ информ. систем, 2012, том 19:5,  131–141
В. С. Песчаненко, см. А. В. Колчин
Модел. и анализ информ. систем, 2012, том 19:6,  79–91
Р. И. Подловченко, А. Э. Молчанов
О теории алгебраических моделей программ с процедурами
Модел. и анализ информ. систем, 2012, том 19:5,  100–114
В. В. Подымов, см. Д. Ю. Волканов
Модел. и анализ информ. систем, 2012, том 19:6,  45–56
А. С. Полстьянов, см. С. А. Кащенко
Модел. и анализ информ. систем, 2012, том 19:1,  7–23
В. С. Рублев
Отношение истории и динамика схем баз данных СУБД DIM
Модел. и анализ информ. систем, 2012, том 19:2,  97–108
А. С. Рудый, см. Д. А. Куликов
Модел. и анализ информ. систем, 2012, том 19:5,  40–49
Д. И. Сабитов, И. Х. Сабитов
Многочлены объема для некоторых многогранников в пространствах постоянной кривизны
Модел. и анализ информ. систем, 2012, том 19:6,  161–169
И. Х. Сабитов, см. Д. И. Сабитов
Модел. и анализ информ. систем, 2012, том 19:6,  161–169
А. В. Селиверстов
Замечания о расположениях точек на квадриках
Модел. и анализ информ. систем, 2012, том 19:4,  72–77
А. А. Сивов
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные
Модел. и анализ информ. систем, 2012, том 19:5,  142–151
В. А. Скороходов
Потоки в обобщенных сетях со связанными дугами
Модел. и анализ информ. систем, 2012, том 19:2,  41–52
В. А. Соколов, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2012, том 19:2,  138–144
В. А. Соколов, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2012, том 19:4,  25–36
В. А. Соколов, см. Е. В. Кузьмин
Модел. и анализ информ. систем, 2012, том 19:5,  69–73
С. В. Солодуша
Моделирование систем автоматического управления на основе полиномов Вольтерра
Модел. и анализ информ. систем, 2012, том 19:1,  60–68
Б. Я. Солон, В. В. Тихов
О неглавных идеалах в полурешетке степеней перечислимости
Модел. и анализ информ. систем, 2012, том 19:5,  74–80
А. В. Татаринов, А. М. Цирлин
Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов
Модел. и анализ информ. систем, 2012, том 19:2,  87–96
Е. А. Тимофеев
Шары в пространствах последовательностей
Модел. и анализ информ. систем, 2012, том 19:2,  109–114
Н. В. Тимофеева
Об одном изоморфизме компактификаций схемы модулей векторных расслоений
Модел. и анализ информ. систем, 2012, том 19:1,  37–50
Н. Е. Тимофеева
Смещение оценки энтропии для симметричных мер Бернулли и слабой метрики
Модел. и анализ информ. систем, 2012, том 19:1,  52–59
В. В. Тихов
Счетные идеалы в полурешетке $\mathbf{D}_e$ степеней перечислимости
Модел. и анализ информ. систем, 2012, том 19:4,  59–66
В. В. Тихов, см. Б. Я. Солон
Модел. и анализ информ. систем, 2012, том 19:5,  74–80
А. О. Толбей
Локальная динамика трех осцилляторов со связью вещательного типа
Модел. и анализ информ. систем, 2012, том 19:3,  105–112
А. Д. Уваров
Mодули стабильных пучков ранга $2$ с классами Черна $c_1=-1$, $c_2=2$, $c_3=0$ на трехмерной квадрике
Модел. и анализ информ. систем, 2012, том 19:2,  19–39
А. Ю. Ухалов, см. О. Р. Мусин
Модел. и анализ информ. систем, 2012, том 19:6,  152–160
О. А. Хребтюгова, см. Е. П. Кубышкин
Модел. и анализ информ. систем, 2012, том 19:1,  84–96
А. А. Хусаинов, см. Е. С. Кудряшова
Модел. и анализ информ. систем, 2012, том 19:4,  78–86
А. М. Цирлин, см. А. В. Татаринов
Модел. и анализ информ. систем, 2012, том 19:2,  87–96
Д. Ю. Чалый, см. М. А. Никитинский
Модел. и анализ информ. систем, 2012, том 19:4,  37–47
А. Г. Ченцов, П. А. Ченцов
Об одной нестационарной задаче маршрутизации с ограничениями
Модел. и анализ информ. систем, 2012, том 19:4,  5–24
П. А. Ченцов, см. А. Г. Ченцов
Модел. и анализ информ. систем, 2012, том 19:4,  5–24
Д. А. Шкляев, В. А. Непомнящий
Дедуктивная верификация протокола скользящего окна
Модел. и анализ информ. систем, 2012, том 19:6,  57–68
М. И. Штогрин
Новое доказательство формулы Эйлера
Модел. и анализ информ. систем, 2012, том 19:6,  170–172
Л. Н. Щур, см. Л. Ю. Бараш
Модел. и анализ информ. систем, 2012, том 19:2,  145–161
Г. Эдельсбруннер, см. Н. П. Долбилин
Модел. и анализ информ. систем, 2012, том 19:4,  168–173
Г. Эдельсбруннер, см. О. Р. Мусин
Модел. и анализ информ. систем, 2012, том 19:6,  152–160
О. П. Якимова, см. О. Р. Мусин
Модел. и анализ информ. систем, 2012, том 19:6,  152–160
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019