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

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

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



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






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


2013, том 20, номер 6  


Общие знания в хорошо структурированных системах с абсолютной памятью
Н. О. Гаранина
10
Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
М. Х. Ахин, М. А. Беляев, В. М. Ицыксон
22
Формальная модель и задачи верификации программно-конфигурируемых сетей
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий
36
Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев
52
Автоматизация создания верифицированных тестовых сценариев на основе гидов
П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский
64
Построение и верификация LD-программ ПЛК по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
78
International Conference “Geometry, Topology, and Applications”
A. Garber, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
95
Regular Polygonal Complexes of Higher Ranks in $\mathbb{E}^3$
Egon Schulte
103
On the Bootstrap for Persistence Diagrams and Landscapes
F. Chazal, B. T. Fasy, F. Lecci, A. Rinaldo, A. Singh, L. Wasserman
111
Subword Complexes and Nil-Hecke Moves
M. A. Gorsky
121
A Definition of Type Domain of a Parallelotope
V. P. Grishukhin
129
On the Areal Random Packing
Masaharu Tanemura
135
On Homology Groups of a Subspace of Triangulations of the Two-Simplex with not More than 6 Subdivisional Boundary Vertices
S. I. Yablokova
142
Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли
И. Х. Сабитов
149
Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков
О. А. Дунаева, Д. Б. Малкова, М. Л. Мячин, Х. Эдельсбруннер
162
Построение оценки энтропии для специальной метрики и произвольной функции
Н. Е. Тимофеева
174
Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями
С. Д. Глызин, Е. А. Марушкина
179
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019