Программирование, 2021, № 2, стр. 70-72

Авторский указатель статей, опубликованных в 2020 году

Полный текст (PDF)

Абламейко С. см. Чен Х.

Абрамов С.А., Боголюбская А.А. Семинар по компьютерной алгебре в 2018–2019 гг. № 2, 3–5.

Александров И.В. см. Савченко В.В.

Анохин Д.А. см. Кий К.И.

Ануреев И.С., Гаранина Н.О., Лях Т.В., Розов А.С., Зюбин В.Е., Горлач С.П. Дедуктивная верификация Reflex-программ. № 4, 14–27.

Айдинян А.Р. см. Чуйкова Е.Н.

Баар Т. Некоторые недостатки входного синтаксиса KeYmaera. № 4, 37–46.

Батхин А.Б. Бифуркации периодических решений системы Гамильтона с дискретной группой симметрий. № 2, 14–28.

Бобков В.А., Кудряшов А.П. Идентификация и расчет траекторий динамических объектов по стереоизображениям. № 1, 3–14.

Богданов Н.Н. см. Сорокин М.И.

Боголюбская А.А. см. Абрамов С.А.

Богуш Р. см. Чен Х.

Боженкова Е.Н., Вирбицкайте И.Б. Тестовые эквивалентности временных сетей Петри. № 4, 3–13.

Бондарев А.Е., Галактионов В.А., Кувшинников А.Е. Параллельные решения параметрических задач газовой динамики с помощью технологии DVM/DVMH. № 3, 16–23.

Боровикова О.И. см. Загорулько Ю.А.

Бронштейн И.Е. см. Савченко В.В.

Брюно А.Д. Нормализация периодической системы Гамильтона. № 2, 6–13.

Васенин В.А., Кривчиков М.А. Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом. № 1, 63–72.

Вирбицкайте И.Б. см. Боженкова Е.Н.

Волков А.С. см. Савченко В.В.

Вьюкова Н.И., Галатенко В.А., Павлов А.Н., Самборский С.В. Отображение параллельных вычислений на распределенные системы, использующие технологию RapidIO. № 6, 55–66.

Вьюкова Н.И., Галатенко В.А., Самборский С.В. Средства динамического анализа программ в компиляторах GCC И CLANG. № 4, 47–65.

Галактионов В.А. см. Бондарев А.Е.

Галактионов В.А. см. Санжаров В.В.

Галатенко В.А. см. Вьюкова Н.И.

Гаранина Н.О. см. Ануреев И.С.

Геворкян М.Н., Королькова А.В., Кулябов Д.С., Севастьянов Л.А. Пример модульного расширения системы компьютерной алгебры. № 2, 29–35.

Гергет О.М. см. Данилов В.В.

Гонахчян В.И. см. Семенов В.А.

Горлач С.П. см. Ануреев И.С.

Данилов В.В., Гергет О.М., Скирневский И.П., Манаков Р.А., Колпащиков Д.Ю. Сегментация на основе распространения динамически изменяемых суперпикселей. № 3, 3–15.

Дзюбенко А.Л. см. Лукин В.Н.

Е Ш. см. Чен Х.

Ермаков М.К. см. Савченко В.В.

Жданов А.Д. см. Сорокин М.И.

Жданов Д.Д. см. Сорокин М.И.

Загорулько Ю.А., Боровикова О.И. Использование системы разнородных паттернов онтологического проектирования для разработки онтологий научных предметных областей. № 4, 28–36.

Замараев Р.Ю. см. Попов С.Е.

Золотов В.А. см. Семенов В.А.

Зюбин В.Е. см. Ануреев И.С.

Карпов Л.Е. см. Карпов Ю.Л.

Карпов Ю.Л., Карпов Л.Е., Сметанин Ю.Г. Некоторые аспекты построения ассоциативной памяти на нейронной сети Хопфилда. № 5, 3–10.

Касимов Д.Р. см. Кучуганов В.Н.

Качанов В.В. см. Савченко В.В.

Кий К.И., Анохин Д.А., Подопросветов А.В. Программная система обработки изображений с параллельными вычислениями. № 6, 41–54.

Колпащиков Д.Ю. см. Данилов В.В.

Королькова А.В. см. Геворкян М.Н.

Костенко В.А., Чупахин А.А. Схемы организации “живой” миграции в центрах обработки данных. № 5, 11–15.

Кочегурова Е.А., Мартынова Ю.А. Особенности непрерывной идентификации пользователей на основе свободных текстов в режиме скрытого мониторинга. № 1, 15–28.

Краснов М.М. Библиотека функционального программирования для языка C++. № 5, 45–56.

Кривчиков М.А. см. Васенин В.А.

Крылов А.С. см. Люков Д.А.

Кувшинников А.Е. см. Бондарев А.Е.

Кудряшов А.П. см. Бобков В.А.

Кузоватов В.И., Кытманов А.А., Кузоватова О.И. Алгоритм построения аналога формулы Бине. № 2, 36–40.

Кузоватова О.И. см. Кузоватов В.И.

Кулябов Д.С. см. Геворкян М.Н.

Курилович А. см. Чен Х.

Кучуганов А.В. см. Кучуганов В.Н.

Кучуганов В.Н., Кучуганов А.В., Касимов Д.Р. Алгоритм кластеризации множества деталей по чертежам. № 1, 29–38.

Кытманов А.А. см. Кузоватов В.И.

Лукин В.Н., Дзюбенко А.Л., Чечиков Ю.Б. Подходы к разработке пользовательского интерфейса. № 5, 16–24.

Лукшин В.А. см. Люков Д.А

Люков Д.А., Крылов А.С., Лукшин В.А., Усачев Д.Ю. Проекционный метод анализа перфузионных изображений мозга. № 3, 35–41.

Лях Т.В. см. Ануреев И.С.

Макеев С.Д. см. Марченков С.С.

Манаков Р.А. см. Данилов В.В.

Марков С.И. см. Савченко В.В.

Мартынова Ю.А. см. Кочегурова Е.А.

Марченков С.С., Макеев С.Д. Моделирование моголенточных машин Минского и Тьюринга трехленточными машинами Минского. № 6, 67–72.

Мешвелиани С.Д. О машинном доказательстве для арифметики дробей над кольцом с НОД. № 2, 41–50.

Михайлюк М.В. см. Тимохин П.Ю.

Морозов А.В. см. Раздьяконов Д.С.

Морозов С.В. см. Семенов В.А.

Муромцев Д.И. см. Раздьяконов Д.С.

Насибуллин А.Р., Новиков Б.А. Репликация в распределенных системах: модели, методы и протоколы. № 5, 57–72.

Новиков Б.А. см. Насибуллин А.Р.

Павлов А.Н. см. Вьюкова Н.И.

Павлов Д.С. см. Раздьяконов Д.С.

Панкратенко Г.А. см. Савченко В.В.

Подопросветов А.В. см. Кий К.И.

Попов С.Е., Замараев Р.Ю. Быстрый алгоритм классификации сейсмических событий на базе распределенных вычислений Apache Spark. № 1, 39–53.

Потемин И.С. см. Сорокин М.И.

Прокопеня А.Н. Построение периодического решения уравнений движения обобщенной машины Атвуда с применением компьютерной алгебры. № 2, 51–56.

Раздьяконов Д.С., Морозов А.В., Павлов Д.С., Муромцев Д.И. Подход к обработке пустых узлов при порционной визуализации данных на примере инструмента Ontodia. № 6, 16–29.

Розов А.С. см. Ануреев И.С.

Савченко В.В., Сорокин К.С., Бронштейн И.Е., Волков А.С., Качанов В.В., Панкратенко Г.А., Ермаков М.К., Марков С.И., Спиридонов А.В., Александров И.В. Nobrainer: инструмент преобразования C/C++ кода на основе примеров. № 5, 32–44.

Сальников В.Н., Хамдуни А. Дифференциальная геометрия и механика – источник задач для компьютерной алгебры. № 2, 57–63.

Самборский С.В. см. Вьюкова Н.И.

Санжаров В.В., Фролов В.А., Галактионов В.А. Исследование Технологии Nvidia RTX. № 4, 66–72.

Севастьянов Л.А. см. Геворкян М.Н.

Семенов В.А., Шуткин В.Н., Золотов В.А., Морозов С.В., Гонахчян В.И. Визуализация больших сцен с детерминированной динамикой. № 3, 42–52.

Скирневский И.П. см. Данилов В.В.

Сляднев С.Е., Турлапов В.Е. Упрощение CAD-моделей путем автоматического распознавания и подавления цепочек скруглений. № 3, 53–64.

Сметанин Ю.Г. см. Карпов Ю.Л.

Сорокин К.С. см. Савченко В.В.

Сорокин М.И., Жданов Д.Д., Жданов А.Д., Потемин И.С., Богданов Н.Н. Восстановление параметров освещения в системах смешенной реальности с помощью технологии сверточных нейронных сетей по RGBD-изображениям. № 3, 24–34.

Спиридонов А.В. см. Савченко В.В.

Степанян И.В. Методология и инструментальные средства проектирования бинарных нейронных сетей. № 1, 54–62.

Тимохин П.Ю., Михайлюк М.В. Метод извлечения поверхностей уровня на GPU с помощью программируемой тесселяции. № 3, 65–72.

Турлапов В.Е. см. Сляднев С.Е.

Усачев Д.Ю. см. Люков Д.А

Фролов В.А. см. Санжаров В.В.

Хамдуни А. см. Сальников В.Н.

Цветкова О.Л. см. Чуйкова Е.Н.

Чен Х., Е Ш., Курилович А., Богуш Р., Абламейко С. Распознавание реквизитов банковских карт в мобильных устройствах по видеопоследовательностям. № 6, 3–15.

Чечиков Ю.Б. см. Лукин В.Н.

Чупахин А.А. см. Костенко В.А.

Чуйкова Е.Н., Айдинян А.Р., Цветкова О.Л. Алгоритм адаптивного изменения меню программного приложения. № 6, 30–40.

Шуткин В.Н. см. Семенов В.А.

Щетинин Е.Ю. Разработка компьютерных технологий энергосбережения умных зданий с применением компьютерной алгебры. № 5, 25–31.

Янович Д.А. Вычисление инволютивных базисов и базисов Грёбнера используя табличное представление полиномов. № 2, 64–72.

Дополнительные материалы отсутствуют.