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

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

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



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






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


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


Параллельное программирование
Оптимизация инварианта цикла в языке Пифагор
В. С. Васильев, А. И. Легалов
347

Верификация программ
Верификация программ со взаимной рекурсией на языке Пифагор
М. С. Ушакова, А. И. Легалов
358

Анализ сигналов
Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин
382

Теория графов
Остовное дерево в делимом кратном графе
А. В. Смирнов
388

Технология блокчейн
О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»
В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый
402

Вопросно-ответные системы
Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров
Д. Р. Филонов, Д. Ю. Чалый, Д. М. Мурин, В. Г. Дурнев, В. А. Соколов
411

Динамические модели процессов
Динамическая модель процессов информационных обменов в пиринговой сети
А. И. Кононова
421

Тезаурусы
Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке
Н. С. Лагутина, К. В. Лагутина, А. С. Адрианов, И. В. Парамонов
435
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019