| Выпуск |
Название |
Файл |
| № 3 (2024) |
Cовместное повышение разрешения и классификация фрагментов ткани для полнослайдовых гистологических изображений |
|
|
Сун Ч., Хвостиков А.В., Крылов А.С., Сетхи А., Михайлов И.А., Мальков П.Г.
|
| № 4 (2024) |
RuGECToR: нейросетевая модель на основе правил для исправления грамматических ошибок на русском языке |
|
|
Хабутдинов И.А., Чащин А.В., Грабовой А.В., Кильдяков А.С., Чехович Ю.В.
|
| № 3 (2024) |
Автоматическая стилизация изображений по расширенной коллекции стилей |
|
|
Понамарев В.В., Китов В.В.
|
| № 6 (2023) |
АДАПТИВНЫЕ МЕТОДЫ ДЛЯ ВАРИАЦИОННЫХ НЕРАВЕНСТВ С ОТНОСИТЕЛЬНО ГЛАДКИМИ И ОТНОСИТЕЛЬНО СИЛЬНО МОНОТОННЫМИ ОПЕРАТОРАМИ |
|
|
Аблаев С.С., Стонякин Ф.С., Алкуса М.С., Пасечнюк Д.А.
|
| № 6 (2024) |
Адаптивный БИХ-фильтр на базе штрафного сплайна |
|
|
Кочегурова Е.А., Мартынова Ю.А.
|
| № 6 (2023) |
Адаптивный вариант алгоритма Франк–Вульфа для задач выпуклой оптимизации |
|
|
Айвазян Г.В., Стонякин Ф.С., Пасечнюк Д.А., Алкуса М.С., Райгородский А.М., Баран И.В.
|
| № 3 (2025) |
Адаптивный метод выбора базисных функций сетей Колмогорова–Арнольда для задачи улучшения изображений магнитно-резонансной томографии |
|
|
Пенкин М.А., Крылов А.С.
|
| № 1 (2023) |
АЛГОРИТМ ВЫЧИСЛЕНИЯ СРЕЗКИ ДИСКРИМИНАНТА МНОГОЧЛЕНА |
|
|
Ляпин А.П., Михалкин Е.Н.
|
| № 1 (2024) |
Алгоритм и программная реализация автоматического расчета длин и площадей трещин на бортах и отвалах угольных разрезов |
|
|
Попов С.Е., Потапов В.П., Замараев Р.Ю.
|
| № 3 (2023) |
АЛГОРИТМ ОБНАРУЖЕНИЯ АТМОСФЕРНЫХ ОСАДКОВ ДЛЯ ЗАДАЧ КОМПЬЮТЕРНОЙ ОБРАБОТКИ ВИДЕОИЗОБРАЖЕНИЙ |
|
|
Дмитриев В.Т., Бауков А.А.
|
| № 6 (2024) |
Алгоритмы размещения и запроса к конфиденциальным данным на облаке |
|
|
Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В.
|
| № 3 (2025) |
Анализ влияния гиперпараметров на эффективность OCR-модели для дореформенных рукописных текстов |
|
|
Шерстнев П.А., Кожин К.Д., Пятаева А.В.
|
| № 1 (2023) |
АНАЛИТИКА В РЕАЛЬНОМ ВРЕМЕНИ: ПРЕИМУЩЕСТВА, ОГРАНИЧЕНИЯ И КОМПРОМИССЫ |
|
|
Кузнецов С.Д., Велихов П.Е., Фу Ц.
|
| № 4 (2024) |
Аналитический обзор конфиденциального искусственного интеллекта: методы и алгоритмы реализации в облачных вычислениях |
|
|
Ширяев Е.М., Назаров А.С., Кучеров Н.Н., Бабенко М.Г.
|
| № 3 (2023) |
АУГМЕНТАЦИЯ ОБУЧАЮЩЕЙ ВЫБОРКИ ГИСТОЛОГИЧЕСКИХ ИЗОБРАЖЕНИЙ АДВЕРСАТИВНЫМИ АТАКАМИ |
|
|
Локшин Н.Д., Хвостиков А.В., Крылов А.С.
|
| № 6 (2023) |
БЕЗГРАДИЕНТНЫЕ АЛГОРИТМЫ ДЛЯ РЕШЕНИЯ СТОХАСТИЧЕСКИХ СЕДЛОВЫХ ЗАДАЧ ОПТИМИЗАЦИИ С УСЛОВИЕМ ПОЛЯКА–ЛОЯСИЕВИЧА |
|
|
Садыков С.И., Лобанов А.В., Райгородский А.М.
|
| № 1 (2024) |
Библиотека KIAM Astrodynamics Toolbox для проектирования орбитального движения космических аппаратов |
|
|
Широбоков М.Г., Трофимов С.П.
|
| № 4 (2023) |
ВАРИАНТ РЕАЛИЗАЦИИ ПРОЦЕДУРЫ АНАЛИЗА ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНЫХ БЛОКАХ PL/SQL С ИСПОЛЬЗОВАНИЕМ ПЛАТФОРМЫ PLIF |
|
|
Тимаков А.А.
|
| № 6 (2023) |
ВВЕДЕНИЕ |
|
|
Гасников А.В.
|
| № 3 (2024) |
Влияние неравносторонних апертур цифровых фильтров лапласиана “усеченная пирамида” и “двойная пирамида” на точность работы телевизионных измерительных систем |
|
|
Рылов К.А., Куприянова К.С., Каменский А.В.
|
| № 6 (2024) |
Высокоскоростной алгоритм скалярного умножения для проектирования нейронных сетей, сохраняющих конфиденциальность |
|
|
Лапина М.А., Ширяев Е.М., Бабенко М.Г., Истамов И.
|
| № 2 (2023) |
ВЫЧИСЛЕНИЕ СВЯЗНЫХ КОМПОНЕНТ ДОПОЛНЕНИЯ К АМЕБЕ МНОГОЧЛЕНА ОТ НЕСКОЛЬКИХ КОМПЛЕКСНЫХ ПЕРЕМЕННЫХ |
|
|
Жуков Т.А., Садыков Т.М.
|
| № 1 (2023) |
ВЫЧИСЛЕНИЕ УНИМОДУЛЯРНЫХ МАТРИЦ СТЕПЕННЫХ ПРЕОБРАЗОВАНИЙ |
|
|
Брюно А.Д., Азимов А.А.
|
| № 5 (2023) |
ДВАДЦАТЬ ФУНКЦИЙ ПОДОБИЯ ДВУХ КОНЕЧНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ |
|
|
Бурдонов И., Максимов А.
|
| № 3 (2024) |
Двойное представление геометрии для ускорения трассировки лучей в оптических системах с поверхностями свободной формы |
|
|
Жданов Д.Д., Потемин И.С., Жданов А.Д.
|
| № 6 (2023) |
ДЕЦЕНТРАЛИЗОВАННЫЙ МЕТОД УСЛОВНОГО ГРАДИЕНТА НА ПЕРЕМЕННЫХ ВО ВРЕМЕНИ ГРАФАХ |
|
|
Ведерников Р.А., Рогозин А.В., Гасников А.В.
|
| № 6 (2024) |
Дискретный алгоритм оптимизации на основе распределения вероятностей с трансформацией целевых значений |
|
|
Сарин К.С.
|
| № 5 (2023) |
ДОПОЛНИТЕЛЬНОСТЬ В КОНЕЧНОЙ КВАНТОВОЙ МЕХАНИКЕ И КОМПЬЮТЕРНЫЕ ВЫЧИСЛЕНИЯ КОМПЛЕМЕНТАРНЫХ НАБЛЮДАЕМЫХ |
|
|
Корняк В.В.
|
| № 4 (2023) |
ДОПУСТИМЫЙ ПОРЯДОК НА МОНОМАХ ВПОЛНЕ ЗАДАН. КОНСТРУКТИВНОЕ ДОКАЗАТЕЛЬСТВО |
|
|
Мешвелиани С.Д.
|
| № 2 (2024) |
Интегрирование вырожденной системы ОДУ |
|
|
Брюно А.Д., Еднерал В.Ф.
|
| № 1 (2024) |
Интерактивное вычисление преломления света и каустик с применением графического процессора |
|
|
Вяткин С.И., Долговесов Б.С.
|
| № 3 (2023) |
ИСПОЛЬЗОВАНИЕ МНОГОУРОВНЕВЫХ ХЭШ-ТАБЛИЦ ДЛЯ УСКОРЕНИЯ ПРОЦЕССА РЕНДЕРИНГА |
|
|
Жданов Д.Д., Лысых А.И., Халимов Р.Р., Кинев И.Е., Жданов А.Д.
|
| № 4 (2023) |
ИССЛЕДОВАНИЕ ВЛИЯНИЯ ПОСТОЯННОГО МОМЕНТА НА ПОЛОЖЕНИЯ РАВНОВЕСИЯ СПУТНИКА НА КРУГОВОЙ ОРБИТЕ С ПРИМЕНЕНИЕМ МЕТОДОВ КОМПЬЮТЕРНОЙ АЛГЕБРЫ |
|
|
Гутник С.А., Сарычев В.А.
|
| № 3 (2025) |
Исследование методов обхода двухуровневых BVH-деревьев на графических процессорах |
|
|
Смирнов Л.М., Фролов В.А., Крячко Ю.А., Волобой А.Г.
|
| № 3 (2025) |
Исследование методов представления поверхностей на основе функций расстояний со знаком |
|
|
Гарифуллин А.Р., Фролов В.А., Будак А.С., Галактионов В.А.
|
| № 1 (2023) |
ИССЛЕДОВАНИЯ РАЗНОСТНЫХ СХЕМ ДЛЯ ДВУМЕРНЫХ УРАВНЕНИЙ НАВЬЕ–СТОКСА АЛГОРИТМАМИ КОМПЬЮТЕРНОЙ АЛГЕБРЫ |
|
|
Блинков Ю.А., Ребрина А.Ю.
|
| № 2 (2023) |
Компьютерно-алгебраические вычисления в суперсимметричной электродинамике |
|
|
Широков И.Е.
|
| № 2 (2024) |
Компьютерно-алгебраический подход к построению первых дифференциальных приближений: осциллятор Ван дер Поля |
|
|
Блинков Ю.А.
|
| № 1 (2024) |
Математическое моделирование с помощью программных комплексов NUT3D, BIC3D, ЭГАК и МИМОЗА турбулентного перемешивания в газовых системах с контактной границей в виде шеврона |
|
|
Брагин М.Д., Змитренко Н.В., Змушко В.В., Кучугов П.А., Левкина Е.В., Анисифоров К.В., Невмержицкий Н.В., Разин А.Н., Сеньковский Е.Д., Стаценко В.П., Тишкин В.Ф., Третьяченко Ю.В., Янилкин Ю.В.
|
| № 3 (2023) |
МЕТОД 3D-РЕКОНСТРУКЦИИ И ОЦИФРОВКИ СЦЕНЫ ДЛЯ СИСТЕМ СМЕШАННОЙ РЕАЛЬНОСТИ |
|
|
Сорокин М.И., Жданов Д.Д., Жданов А.Д.
|
| № 3 (2023) |
МЕТОД АВТОМАТИЧЕСКОГО ПОИСКА ОПТИМАЛЬНОГО МАСШТАБА ПРИ ПРИМЕНЕНИИ ОБУЧЕННЫХ МОДЕЛЕЙ АНАЛИЗА ГИСТОЛОГИЧЕСКИХ ИЗОБРАЖЕНИЙ |
|
|
Пенкин М.А., Хвостиков А.В., Крылов А.С.
|
| № 3 (2025) |
Метод отложенного рендеринга множества динамических точечных источников света вокселизированных сцен в реальном масштабе времени |
|
|
Вяткин С.И., Долговесов Б.С.
|
| № 3 (2025) |
Метод реконструкции геометрии из набора RGB-изображений с использованием дифференцируемого рендеринга и визуальной оболочки |
|
|
Лысых А.И., Жданов Д.Д., Сорокин М.И.
|
| № 3 (2025) |
Метод семантической сегментации изображений на основе нейронной сети с использованием фильтров Габора |
|
|
Мурин Е.А., Сорокин Д.В., Крылов А.С.
|
| № 3 (2024) |
Метод упорядочивания облаков точек для визуализации на конвейере трассировки лучей |
|
|
Тимохин П.Ю., Михайлюк М.В.
|
| № 3 (2025) |
Мультиобъектная Визуализация обширных лесов в системах виртуального окружения |
|
|
Тимохин П.Ю., Михайлюк М.В.
|
| № 3 (2024) |
Нейросетевой метод детектирования размытия на гистологических изображениях |
|
|
Назаренко Г.С., Крылов А.С.
|
| № 1 (2024) |
Нечеткая мера на р-адических шарах, заданных на ограниченном числовом множестве |
|
|
Бочарников В.П., Свешников С.В.
|
| № 2 (2024) |
Нижние границы для ранга матрицы с нулями и единицами вне главной диагонали |
|
|
Селиверстов А.В., Зверков О.А.
|
| № 2 (2023) |
О ВЫЧИСЛЕНИИ ЛИНИЙ УРОВНЯ МНОГОЧЛЕНА НА ПЛОСКОСТИ |
|
|
Брюно А.Д., Батхин А.Б., Хайдаров З.Х.
|
| № 2 (2024) |
О вычислении частичных сумм кратных числовых рядов методами компьютерной алгебры |
|
|
Кузоватов В.И., Кытманов А.А., Мышкина Е.К.
|
| № 1 (2024) |
О линейных клеточных автоматах |
|
|
Куликов В.Р., Кытманов А.А., Порошин А.О., Тимофеев И.В., Федченко Д.П.
|
| № 5 (2023) |
О РЕАЛИЗАЦИИ ЧИСЛЕННЫХ МЕТОДОВ РЕШЕНИЯ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ В СИСТЕМАХ КОМПЬЮТЕРНОЙ АЛГЕБРЫ |
|
|
Баддур А., Гамбарян М.М., Гонсалес Л., Малых М.Д.
|
| № 6 (2023) |
ОБ УСКОРЕННЫХ ПОКОМПОНЕНТНЫХ МЕТОДАХ ПОИСКА РАВНОВЕСИЙ В ДВУХСТАДИЙНОЙ МОДЕЛИ РАВНОВЕСНОГО РАСПРЕДЕЛЕНИЯ ТРАНСПОРТНЫХ ПОТОКОВ |
|
|
Ильтяков Н.А., Обозов М.А., Дышлевский И.М., Ярмошик Д.В., Кубентаева М.Б., Гасников А.В., Гасникова Е.В.
|
| № 1 (2024) |
Описание семантики языка Paralocks в TLA+ |
|
|
Тимаков А.А.
|
| № 5 (2024) |
Определение степени сложности объектов на изображениях |
|
|
Бокшанский В.Б., Кулин В.А., Финякин Г.С., Харламов А.С., Шацкий А.А.
|
| № 6 (2024) |
Оптимизация быстродействия программного обеспечения реализации алгоритмов классификации и привязки деловых документов |
|
|
Славин О.А.
|
| № 3 (2024) |
Особенности разработки бортовой системы визуализации для гражданских воздушных судов |
|
|
Барладян Б.Х., Дерябин Н.Б., Волобой А.Г., Галактионов В.А., Шапиро Л.З., Валиев И.В., Солоделов Ю.А.
|
| № 1 (2023) |
ПАКЕТ ПРОЦЕДУР И ФУНКЦИЙ ДЛЯ ПОСТРОЕНИЯ И ОБРАЩЕНИЯ АНАЛИТИЧЕСКИХ ОТОБРАЖЕНИЙ С ЕДИНИЧНЫМ ЯКОБИАНОМ |
|
|
Садыков Т.М.
|
| № 3 (2023) |
ПОДДЕРЖКА ВЕКТОРНЫХ ТЕКСТУР В СИСТЕМЕ ФОТОРЕАЛИСТИЧНОГО РЕНДЕРИНГА НА GPU |
|
|
Санжаров В.В., Фролов В.А., Галактионов В.А.
|
| № 5 (2023) |
ПОИСК ЛОРАНОВЫХ РЕШЕНИЙ СИСТЕМ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С УСЕЧЕННЫМИ СТЕПЕННЫМИ РЯДАМИ В РОЛИ КОЭФФИЦИЕНТОВ |
|
|
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е.
|
| № 2 (2024) |
Поиск лорановых решений усеченных систем линейных дифференциальных уравнений с использованием EG-исключений |
|
|
Рябенко А.А., Хмельнов Д.Е.
|
| № 2 (2024) |
Порт-Гамильтоновы системы: распознавание структуры и приложения |
|
|
Сальников В.Н.
|
| № 4 (2024) |
Построение внутренней диаграммы Вороного многоугольной фигуры методом заметания |
|
|
Местецкий Л.М., Коптелов Д.А.
|
| № 2 (2024) |
Построение компартментальных моделей динамических систем с применением программного комплекса символьных вычислений на языке Julia |
|
|
Демидова А.В., Дружинина О.В., Масина О.Н., Петров А.А.
|
| № 3 (2024) |
Преобразование данных облака точек в 3D‑модели с помощью PointNet++ и Transformer |
|
|
Сорокин М.И., Жданов Д.Д., Жданов А.Д.
|
| № 1 (2024) |
Применение библиотеки функционального программирования для распараллеливания вычислений на CUDA |
|
|
Краснов М.М., Феодоритова О.Б.
|
| № 4 (2023) |
ПРИМЕНЕНИЕ В GINV ДИНАМИЧЕСКОГО ПЕРЕРАСПРЕДЕЛЕНИЯ ПАМЯТИ |
|
|
Блинков Ю.А., Щетинин Е.Ю.
|
| № 5 (2023) |
ПРИМЕНЕНИЕ ИМИТАЦИОННОГО КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ К ЗАДАЧЕ ОБЕЗЛИЧИВАНИЯ ПЕРСОНАЛЬНЫХ ДАННЫХ. МОДЕЛЬ И АЛГОРИТМ ОБЕЗЛИЧИВАНИЯ МЕТОДОМ СИНТЕЗА |
|
|
Борисов А.В., Босов А.В., Иванов А.В.
|
| № 4 (2023) |
ПРИМЕНЕНИЕ ИМИТАЦИОННОГО КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ К ЗАДАЧЕ ОБЕЗЛИЧИВАНИЯ ПЕРСОНАЛЬНЫХ ДАННЫХ. ОЦЕНКА СОСТОЯНИЯ И ОСНОВНЫЕ ПОЛОЖЕНИЯ |
|
|
Борисов А.В., Босов А.В., Иванов А.В.
|
| № 2 (2024) |
Применение систем компьютерной алгебры для исследования тождеств Чаунди-Булларда для функции векторного разбиения с весом |
|
|
Лейнартене А.Б., Ляпин А.П.
|
| № 2 (2024) |
Примитивные элементы свободных неассоциативных алгебр над конечными полями |
|
|
Майсурадзе М.В., Михалёв А.А.
|
| № 2 (2023) |
РАЗРАБОТКА АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МОДЕЛИРОВАНИЯ УПРАВЛЯЕМЫХ ДИНАМИЧЕСКИХ СИСТЕМ С ПРИМЕНЕНИЕМ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ И СТОХАСТИЧЕСКИХ МЕТОДОВ |
|
|
Демидова А.В., Дружинина О.В., Масина О.Н., Петров А.А.
|
| № 2 (2024) |
Расширяемое эссе о системе компьютерной алгебры Sage и редактор для создания расширяемых эссе |
|
|
Бордаченкова Е.А., Зубарева В.Н., Панфёров А.А.
|
| № 2 (2024) |
Реализация аналитической проективной геометрии для компьютерной графики |
|
|
Геворкян М.Н., Королькова А.В., Кулябов Д.С., Севастьянов Л.А.
|
| № 1 (2023) |
РЕАЛИЗАЦИЯ ГЕОМЕТРИЧЕСКОЙ АЛГЕБРЫ В СИСТЕМАХ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ |
|
|
Геворкян М.Н., Королькова А.В., Кулябов Д.С., Демидова А.В., Велиева Т.Р.
|
| № 5 (2023) |
РЕЗОНАНСЫ И ПЕРИОДИЧЕСКИЕ ДВИЖЕНИЯ МАШИНЫ АТВУДА С ДВУМЯ КОЛЕБЛЮЩИМИСЯ ГРУЗАМИ |
|
|
Прокопеня А.Н.
|
| № 3 (2025) |
Реконструкция оптических свойств объектов реальной сцены по изображениям с учетом вторичного освещения и выбором наиболее важных точек |
|
|
Куприянов С.И., Кинёв И.Е.
|
| № 2 (2024) |
Решение задач анализа райсовских данных: теория и численное моделирование методами компьютерной алгебры в системе Wolfram Mathematica |
|
|
Яковлева Т.В.
|
| № 2 (2023) |
РЕШЕНИЕ ЗАДАЧИ КОШИ ДЛЯ ТРЕХМЕРНОГО РАЗНОСТНОГО УРАВНЕНИЯ В ПАРАЛЛЕЛЕПИПЕДЕ |
|
|
Апанович М.С., Ляпин А.П., Шадрин К.В.
|
| № 2 (2023) |
СЕМИНАР ПО КОМПЬЮТЕРНОЙ АЛГЕБРЕ В 2021–2022 г. |
|
|
Абрамов С.А., Боголюбская А.А.
|
| № 2 (2024) |
Семинар по компьютерной алгебре в 2022–2023 гг. |
|
|
Абрамов С.А., Боголюбская А.А.
|
| № 2 (2023) |
СИМВОЛЬНО-ЧИСЛЕННАЯ РЕАЛИЗАЦИИ МЕТОДА ГАЛЕРКИНА ДЛЯ ПРИБЛИЖЕННОГО РЕШЕНИЯ ЗАДАЧИ ВОЛНОВОДНОЙ ДИФРАКЦИИ |
|
|
Диваков Д.В., Тютюнник А.А.
|
| № 2 (2024) |
Символьно-численная реализация модели адиабатических волноводных мод для двумерных нерегулярных волноводов |
|
|
Диваков Д.В., Тютюнник А.А., Стариков Д.А.
|
| № 2 (2024) |
Символьные исследования уравнений Максвелла в формализме пространственно-временной алгебры |
|
|
Королькова А.В., Геворкян М.Н., Фёдоров А.В., Штепа К.А., Кулябов Д.С.
|
| № 2 (2023) |
СИМВОЛЬНЫЙ АЛГОРИТМ ДЛЯ ЗАДАЧИ НАХОЖДЕНИЯ НУЛЕЙ СИСТЕМЫ ГОЛОМОРФНЫХ ФУНКЦИЙ |
|
|
Кузоватов В.И., Кытманов А.А., Мышкина Е.К.
|
| № 5 (2024) |
Совместное использование сопрограмм и событий для программирования встроенных систем |
|
|
Минин П.В.
|
| № 4 (2024) |
Сравнительный анализ эффективности алгоритмов хэширования с точки зрения применения в схемах zk-SNARK в распределенных реестрах |
|
|
Кондырев Д.О.
|
| № 4 (2023) |
СРЕДСТВА КОМПЬЮТЕРНОЙ АЛГЕБРЫ ДЛЯ ГЕОМЕТРИЗАЦИИ УРАВНЕНИЙ МАКСВЕЛЛА |
|
|
Королькова А.В., Геворкян М.Н., Кулябов Д.С., Севастьянов Л.А.
|
| № 5 (2024) |
Теоретические основы математического аппарата реализации параллельных вычислений в системах автоматизированного проектирования |
|
|
Конопацкий Е.
|
| № 3 (2025) |
Тестирование графических шейдеров для использования в Бортовой системе визуализации гражданских воздушных судов |
|
|
Барладян Б.Х., Волобой А.Г., Шапиро Л.З., Денисов Е.Ю., Галактионов В.А.
|
| № 5 (2024) |
Универсальный алгоритм дискретизации бихроматических двумерных графических кодов |
|
|
Трубицын А.А., Шадрин М.В., Холкин С.И.
|
| № 6 (2023) |
Устойчивая алгебраическая связность |
|
|
Курузов И.А., Рогозин А.В., Чежегов С.А., Купавский А.Б.
|
| № 5 (2024) |
Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка моделирования EXPRESS |
|
|
Семенов В.А., Морозов С.В., Аришин С.В., Кузина О.Н., Римшин В.И., Макиша Е.В.
|
| № 3 (2023) |
ЭФФЕКТИВНАЯ ТЕХНОЛОГИЯ МОДЕЛИРОВАНИЯ В РЕАЛЬНОМ ВРЕМЕНИ ПОВЕРХНОСТИ ПОЛЯ ВЫСОТ НА КОНВЕЙЕРЕ ТРАССИРОВКИ ЛУЧЕЙ |
|
|
Тимохин П.Ю., Михайлюк М.В.
|
| № 5 (2023) |
ЭФФЕКТИВНЫЕ НИЖНИЕ ГРАНИЦЫ ДЛЯ РАНГА МАТРИЦЫ И ПРИЛОЖЕНИЯ |
|
|
Зверков О.А., Селиверстов А.В.
|
| 1 - 96 из 96 результатов |
|
