|
Выпуск |
Название |
|
Том 17, № 1 (2010) |
A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers |
Аннотация
PDF (Rus)
|
П. Е. Ефимова |
|
Том 17, № 4 (2010) |
Automated Correctness Proof of Algorithm Variants
in Elliptic Curve Cryptography |
Аннотация
PDF (Rus)
|
, , , , |
|
Том 27, № 2 (2020) |
“VTMine for Visio”: инструмент графического моделирования в области Process Mining |
Аннотация
PDF (Rus)
|
Сергей Андреевич Шершаков |
|
Том 26, № 1 (2019) |
«Общие критерии» и безопасность программно-конфигурируемых сетей |
Аннотация
PDF (Rus)
|
Андрей Николаевич Петухов, Павел Львович Пилюгин |
|
Том 23, № 1 (2016) |
A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes |
Аннотация
PDF (Rus)
|
Александр Николаевич Максименко |
|
Том 24, № 3 (2017) |
Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем |
Аннотация
PDF (Rus)
|
Вера Александровна Белошапко |
|
Том 23, № 1 (2016) |
Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II |
Аннотация
PDF (Rus)
|
П. Н. Нестеров |
|
Том 26, № 2 (2019) |
eT-сводимость множеств |
Аннотация
PDF (Rus)
|
Роман Ревович Яруллин |
|
Том 26, № 3 (2019) |
GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии |
Аннотация
PDF (Rus)
|
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков |
|
Том 27, № 4 (2020) |
InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации |
Аннотация
PDF (Rus)
|
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин |
|
Том 14, № 1 (2007) |
K-функционалы и наилучшие кусочно-полиномиальные
приближения |
Аннотация
PDF (Rus)
|
А. Н. Морозов |
|
Том 30, № 4 (2023) |
LTL-спецификация для разработки и верификации управляющих программ |
Аннотация
PDF (Rus)
|
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин |
|
Том 29, № 1 (2022) |
LTL-спецификация ограниченных счётчиковых машин |
Аннотация
PDF (Rus)
|
Егор Владимирович Кузьмин |
|
Том 28, № 1 (2021) |
LTL-спецификация счётчиковых машин |
Аннотация
PDF (Rus)
|
Егор Владимирович Кузьмин |
|
Том 19, № 2 (2012) |
Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике |
Аннотация
PDF (Rus)
|
Артем Дмитриевич Уваров |
|
Том 28, № 1 (2021) |
NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 |
Аннотация
PDF (Rus)
|
Александр Валерьевич Смирнов |
|
Том 26, № 3 (2019) |
NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа |
Аннотация
PDF (Rus)
|
Наталья Сергеевна Медведева, Александр Валерьевич Смирнов |
|
Том 14, № 3 (2007) |
NumGRID, система для решения больших задач численного
моделирования |
Аннотация
PDF (Rus)
|
Н. В. Малышкин |
|
Том 25, № 3 (2018) |
Oб оптимальной интерполяции линейными функциями на n-мерном кубе |
Аннотация
PDF (Rus)
|
Михаил Викторович Невский, Алексей Юрьевич Ухалов |
|
Том 21, № 6 (2014) |
PolarDB – система создания специализированных NoSQL баз данных и СУБД |
Аннотация
PDF (Rus)
|
Александр Гурьевич Марчук |
|
Том 14, № 2 (2007) |
SR-группы порядка 2npm с диэдральной 2-силовской подгруппой |
Аннотация
PDF (Rus)
|
В. В. Янишевский |
|
Том 19, № 5 (2012) |
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные |
Аннотация
PDF (Rus)
|
Анатолий Александрович Сивов |
|
Том 22, № 3 (2015) |
АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ |
Аннотация
PDF (Rus)
|
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов |
|
Том 19, № 5 (2012) |
Автоколебания решеток нелинейных элементов в опыте Скотта |
Аннотация
PDF (Rus)
|
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин |
|
Том 25, № 5 (2018) |
Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов |
Аннотация
PDF (Rus)
|
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий |
|
Том 20, № 6 (2013) |
Автоматизация создания верифицированных тестовых сценариев на основе гидов |
Аннотация
PDF (Rus)
|
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский |
|
Том 22, № 4 (2015) |
Автоматизация формальной верификации программ на языке Пифагор |
Аннотация
PDF (Rus)
|
М. С. Ушакова, А. И. Легалов |
|
Том 20, № 4 (2013) |
Автоматизация формирования табличных приложений |
Аннотация
PDF (Rus)
|
Сергей Владимирович Зыкин |
|
Том 28, № 1 (2021) |
Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) |
Аннотация
PDF (Eng)
|
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков |
|
Том 24, № 4 (2017) |
Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов |
Аннотация
PDF (Rus)
|
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов |
|
Том 27, № 3 (2020) |
Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков |
Аннотация
PDF (Rus)
|
Ксения Владимировна Лагутина, Алла Михайловна Манахова |
|
Том 26, № 3 (2019) |
Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков |
Аннотация
PDF (Rus)
|
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов |
|
Том 20, № 6 (2013) |
Автоматическая верификация C-программ на основе смешанной аксиоматической семантики |
Аннотация
PDF (Rus)
|
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев |
|
Том 18, № 4 (2011) |
Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC |
Аннотация
PDF (Rus)
|
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев |
|
Том 14, № 1 (2007) |
Автоморфизмы систем переходов |
Аннотация
PDF (Rus)
|
Ю. А. Белов |
|
Том 17, № 4 (2010) |
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени |
Аннотация
PDF (Rus)
|
И. В. Коннов, В. А. Захаров |
|
Том 23, № 3 (2016) |
Аделаида Борисовна Васильева (к девяностолетию со дня рождения) |
Аннотация
PDF (Rus)
|
В. Ф. Бутузов, Н. Н. Нефедов |
|
Том 20, № 4 (2013) |
Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром |
Аннотация
PDF (Rus)
|
Евгений Алексеевич Толюпа |
|
Том 27, № 1 (2020) |
Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа |
Аннотация
PDF (Rus)
|
Александр Николаевич Максименко |
|
Том 20, № 4 (2013) |
Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 |
Аннотация
PDF (Rus)
|
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов |
|
Том 28, № 1 (2021) |
Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм |
Аннотация
PDF (Rus)
|
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин |
|
Том 26, № 1 (2019) |
Алгоритм минимизации количества правил маршрутизации в ПКС |
Аннотация
PDF (Rus)
|
Иван Сергеевич Петров |
|
Том 28, № 3 (2021) |
Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем |
Аннотация
PDF (Rus)
|
Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова |
|
Том 30, № 4 (2023) |
Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил |
Аннотация
PDF (Rus)
|
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук |
|
Том 28, № 4 (2021) |
Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума |
Аннотация
PDF (Rus)
|
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов |
|
Том 27, № 2 (2020) |
Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ |
Аннотация
PDF (Rus)
|
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина |
|
Том 20, № 2 (2013) |
Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц |
Аннотация
PDF (Rus)
|
Иван Вадимович Губочкин |
|
Том 30, № 4 (2023) |
Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения |
Аннотация
PDF (Rus)
|
Евгений Юрьевич Павленко |
|
Том 17, № 2 (2010) |
Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри |
Аннотация
PDF (Rus)
|
М. Г. Доррер |
|
Том 29, № 1 (2022) |
Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений |
Аннотация
PDF (Rus)
|
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий |
|
Том 20, № 2 (2013) |
Алгоритм эффективного оценивания энтропии |
Аннотация
PDF (Rus)
PDF (Eng)
|
Евгений Александрович Тимофеев |
|
Том 30, № 2 (2023) |
Алгоритмы асимптотического и численного построения колебательных режимов в простейшем кольце генераторов с несимметричной нелинейностью |
Аннотация
PDF (Rus)
|
Сергей Дмитриевич Глызин, Елена Александровна Марушкина |
|
Том 27, № 4 (2020) |
Алгоритмы для BDI-агентов, основанные на знаниях |
Аннотация
PDF (Rus)
|
Николай Вячеславович Шилов, Наталья Олеговна Гаранина |
|
Том 30, № 3 (2023) |
Алгоритмы для задач об эйлеровом цикле и эйлеровой цепи в кратном графе |
Аннотация
PDF (Rus)
|
Александр Валерьевич Смирнов |
|
Том 22, № 4 (2015) |
Алгоритмы для мажоритарного декодирования групповых кодов |
Аннотация
PDF (Rus)
|
В. М. Деундяк, Ю. В. Косолапов |
|
Том 28, № 1 (2021) |
Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа |
Аннотация
PDF (Rus)
|
Александр Васильевич Коростиль, Андрей Валерьевич Николаев |
|
Том 29, № 4 (2022) |
Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды |
Аннотация
PDF (Rus)
|
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко |
|
Том 26, № 4 (2019) |
Анализ безопасности контроллеров продольного движения во время набора высоты |
Аннотация
PDF (Eng)
|
Томас Баар, Хорст Шульте |
|
Том 28, № 3 (2021) |
Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений |
Аннотация
PDF (Rus)
|
Алла Михайловна Манахова, Надежда Станиславовна Лагутина |
|
Том 26, № 2 (2019) |
Анализ возможностей практического использования моделей решеточных газов |
Аннотация
PDF (Rus)
|
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин |
|
Том 21, № 6 (2014) |
Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри |
Аннотация
PDF (Rus)
|
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий |
|
Том 24, № 6 (2017) |
Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов |
Аннотация
PDF (Rus)
|
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов |
|
Том 22, № 5 (2015) |
Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции |
Аннотация
PDF (Rus)
|
В. О. Голубенец |
|
Том 22, № 6 (2015) |
Анализ системных исполнений с помощью Process Mining |
Аннотация
PDF (Rus)
PDF (Eng)
|
С. А. Шершаков, В. А. Рубин |
|
Том 24, № 2 (2017) |
Анализ типизированных зависимостей включения с неопределенными значениями |
Аннотация
PDF (Rus)
|
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин |
|
Том 26, № 2 (2019) |
Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации |
Аннотация
PDF (Rus)
|
Евгений Павлович Кубышкин, Владимир Александрович Куликов |
|
Том 26, № 1 (2019) |
Анализ эффективности демультиплексирования транспортных потоков |
Аннотация
PDF (Rus)
|
Евгений Павлович Степанов |
|
Том 23, № 3 (2016) |
Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток |
Аннотация
PDF (Eng)
|
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер |
|
Том 23, № 3 (2016) |
Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками |
Аннотация
PDF (Rus)
|
Н. А. Кудряшов, Д. И. Синельщиков |
|
Том 22, № 2 (2015) |
Аппроксимационные свойства нильпотентных групп |
Аннотация
PDF (Rus)
|
Дмитрий Николаевич Азаров |
|
Том 27, № 2 (2020) |
Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами |
Аннотация
PDF (Eng)
|
Владимир Анатольевич Башкин |
|
Том 27, № 4 (2020) |
Архитектура формально-верифицированной системы распределенного реестра InnoChain |
Аннотация
PDF (Rus)
|
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев |
|
Том 21, № 1 (2014) |
Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо |
Аннотация
PDF (Rus)
|
Елена Александровна Марушкина |
|
Том 16, № 3 (2009) |
Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли |
Аннотация
PDF (Rus)
|
Е. А. Тимофеев |
|
Том 23, № 2 (2016) |
Асимптотика моментов симметричной свертки Бернулли |
Аннотация
PDF (Eng)
|
Е. А. Tимофеев |
|
1 - 75 из 783 результатов |
1 2 3 4 5 6 7 8 9 10 > >> |