Authors: Кироненко, Татьяна Александровна | Милованова, Ксения Геннадьевна | Захарова, Анна Николаевна | Сидоренко, Светлана Вадимовна | Климанова, Елизавета Андреевна | Дьякова, Елена Юрьевна | Орлова, Анна Алексеевна | Негоденко, Елена Сергеевна | Калинникова, Юлия Геннадьевна | Орлов, Сергей Николаевич (доктор биол. наук) | Капилевич, Леонид Владимирович

Source: Биохимия. 2021. Т. 86, № 3. С. 431-442

Type: статьи в журналах

Date: 2021

Description: Модификация продукции цитокинов под влиянием физических нагрузок представляет значительный интерес, так как является перспективным путем коррекции процессов метаолизма как на клеточном, так и на систе ... More

Authors: Непомнящий, Валерий Александрович | Бодин, Евгений Викторович | Веретнов, Сергей Олегович

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 53. С. 118-126

Type: статьи в журналах

Date: 2020

Description: Описан новый программный комплекс SRDSVer3 (SDL/REAL Distributed Systems Verifier), предназначенный для моделирования, анализа и верификации SDL-спецификаций распределенных систем. Он включает трансля ... More

Authors: Костюк, Юрий Леонидович

Source: Прикладная дискретная математика. 2017. № 37. С. 90-99

Type: статьи в журналах

Date: 2017

Description: Предлагаются правила построения и функционирования транслятора для LL(1)-грамматики, генерирующего объектный язык. Транслятор представляется в виде таблицы ссылок на набор простых семантических програ ... More