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

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

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



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






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


2018, том 25, номер 6  


Семантика, спецификация и верификация программ
Даже простые процессы $\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
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019