|
Current Open Problems in Discrete and Computational Geometry
H. Edelsbrunner, A. Ivanov, R. Karasev
|
5 |
|
|
Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых
С. А. Кащенко
|
18 |
|
|
Динамика комплексного пространственно-распределенного уравнения Хатчинсона
Д. С. Глызин, С. А. Кащенко
|
35 |
|
|
Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии
Д. А. Куликов, А. С. Рудый
|
40 |
|
|
Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости
М. В. Демина, Н. А. Кудряшов
|
50 |
|
|
Автоколебания решеток нелинейных элементов в опыте Скотта
А. С. Бобок, С. Д. Глызин
|
56 |
|
|
Моделирование счетчиковых машин двухголовочными автоматами
Е. В. Кузьмин, В. А. Соколов
|
69 |
|
|
О неглавных идеалах в полурешетке степеней перечислимости
Б. Я. Солон, В. В. Тихов
|
74 |
|
|
Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
М. С. Кропачева, А. И. Легалов
|
81 |
|
|
О теории алгебраических моделей программ с процедурами
Р. И. Подловченко, А. Э. Молчанов
|
100 |
|
|
Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
Л. В. Дворянский, И. А. Ломазова
|
115 |
|
|
Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей
С. И. Баландин, А. М. Васильев, Н. И. Кожемякин, Д. А. Лаурэ, И. В. Парамонов
|
131 |
|
|
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные
А. А. Сивов
|
142 |
|
|
О работе семинара «Нелинейная динамика и вычислительная геометрия»
|
152 |
