|
Семантика, спецификация и верификация программ
|
|
Даже простые процессы $\pi$-исчисления трудны для анализа
М. М. Аббас, В. А. Захаров
|
589 |
|
|
Онтология процессов, ориентированная на верификацию
Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова
|
607 |
|
|
Translation from Event-B into Eiffel
S. Reznikova, V. Rivera, J. Y. Lee, M. Mazzara
|
623 |
|
|
Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня
Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский
|
637 |
|
|
Анализ сигналов
|
|
|
Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, В. А. Башкин
|
667 |
|
|
Вычислительная геометрия
|
|
|
О некоторых задачах для симплекса и шара в ${\mathbb R}^n$
М. В. Невский
|
680 |
|
|
Особые точки кривых
А. Д. Уваров
|
692 |
|
|
Модели процессов
|
|
|
Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов
А. А. Каленкова, Д. А. Колесников
|
711 |
|
|
Тезаурусы
|
|
|
Векторное представление слов с семантическими отношениями: экспериментальные наблюдения
М. С. Каряева, П. И. Браславский, В. А. Соколов
|
726 |
