|
Общие знания в хорошо структурированных системах с абсолютной памятью Н. О. Гаранина
|
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 |