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