|
|
2018, том 25, номер 4
|
 |
|
 |
|
Параллельное программирование
|
|
Оптимизация инварианта цикла в языке Пифагор
В. С. Васильев, А. И. Легалов
|
347–357 |
|
|
Верификация программ
|
|
|
Верификация программ со взаимной рекурсией на языке Пифагор
М. С. Ушакова, А. И. Легалов
|
358–381 |
|
|
Анализ сигналов
|
|
|
Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин
|
382–387 |
|
|
Теория графов
|
|
|
Остовное дерево в делимом кратном графе
А. В. Смирнов
|
388–401 |
|
|
Технология блокчейн
|
|
|
О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»
В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый
|
402–410 |
|
|
Вопросно-ответные системы
|
|
|
Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров
Д. Р. Филонов, Д. Ю. Чалый, Д. М. Мурин, В. Г. Дурнев, В. А. Соколов
|
411–420 |
|
|
Динамические модели процессов
|
|
|
Динамическая модель процессов информационных обменов в пиринговой сети
А. И. Кононова
|
421–434 |
|
|
Тезаурусы
|
|
|
Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке
Н. С. Лагутина, К. В. Лагутина, А. С. Адрианов, И. В. Парамонов
|
435–458 |
|
|
Обратная связь: