Том 25, № 6 (2018)

Поиск

Листать

Личный кабинет

Язык

Логотип Atom

Том 25, № 6 (2018)

Весь выпуск

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

PDF

Содержание

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

Даже простые процессы π-исчисления трудны для анализа	PDF (Rus)
Марат Мазен Аббас, Владимир Анатольевич Захаров	589-606

Онтология процессов, ориентированная на верификацию	PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова	607-622

Перевод моделей Event-B в Eiffel	PDF (Eng)
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара	623-636

Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня	PDF (Rus)
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский	637-666

Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах	PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин	667-679

О некоторых задачах для симплекса и шара в Rⁿ	PDF (Rus)
Михаил Викторович Невский	680-691

Особые точки кривых	PDF (Rus)
Артем Дмитриевич Уваров	692-710

Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов	PDF (Rus)
Анна Алексеевна Каленкова, Данил Александрович Колесников	711-725

Векторное представление слов с семантическими отношениями: экспериментальные наблюдения	PDF (Rus)
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов	726-733

Creative Commons License

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

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