Том 25, № 6 (2018)

Весь выпуск

Посмотреть или загрузить весь выпуск PDF

Содержание

Оригинальные статьи

Даже простые процессы π-исчисления трудны для анализа PDF (Rus)
Марат Мазен Аббас, Владимир Анатольевич Захаров 589-606
Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов PDF (Rus)
Анна Алексеевна Каленкова, Данил Александрович Колесников 711-725
Векторное представление слов с семантическими отношениями: экспериментальные наблюдения PDF (Rus)
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов 726-733
Онтология процессов, ориентированная на верификацию PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова 607-622
Перевод моделей Event-B в Eiffel PDF (Eng)
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара 623-636
Особые точки кривых PDF (Rus)
Артем Дмитриевич Уваров 692-710
Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня PDF (Rus)
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский 637-666
Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин 667-679
О некоторых задачах для симплекса и шара в Rn PDF (Rus)
Михаил Викторович Невский 680-691


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)