Уваров С. И. (ИПУ РАН, Лаборатория 27). Публикации

Библиографическая ссылкаГод

Статьи в журналах/сборниках из перечня ВАК

1Уваров С.И. Усовершенствованный генератор 3-КНФ формул // Автоматика и телемеханика. 2020. № 1. С. 161-172.2020

Статьи в журналах/сборниках

2Уваров С.И. Empirical evaluation of the asymptotic behavior of the analysis complexity of hard random 3-cnf formulas. // Machine Learning and Artificial Intelligence. 2022. Vol. 360. С. 28-34.2022

Пленарные доклады и доклады из перечня Web of Science/Scopus

3Уваров С.И. About strong dependence of the complexity of analysis of the random 3-cnf formulas on the ratio of number of clauses to the number of variables / Frontiers in Artificial Intelligence and Applications. Beijing, China: IOS Press., 2021. Vol. 341. С. 496-501.2021

Доклады

4Уваров С.И. Порождение и исследование сложных для анализа 3-КНФ формул / Труды 9-ой Международной научной конференции "Танаевские чтения" (Минск, 2021). Минск: ОИПИ НАН Беларуси, 2021. С. 116-120.2021
5Уваров С.И. Вычислительный эксперимент по оценке алгоритмической сложности анализа выполнимости/невыполнимости 3-КНФ булевых формул / XIII ВСЕРОССИЙСКОЕ СОВЕЩАНИЕ ПО ПРОБЛЕМАМ УПРАВЛЕНИЯ ВСПУ-2019 : ТРУДЫ. 17-20 июня 2019 г., Москва. М.: Москва - ИПУ РАН, 2019. С. 2456-2460.2019
6Уваров С.И. Распараллеливание в NP-полных задачах на примере выполнимости булевых функций / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 176-182.2012
7Уваров С.И. Совместное кодирование границ арифметических интервалов при надежных вычислениях / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 210-222.2012

Патенты/Свидетельства

8Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2644505 РФ; Зарег. 12.02.2018.2018
9Уваров С. И. Соединитель многожильных электрических проводов: Патент на полезную модель № 139487 РФ; Зарег. 19.03.2014.2014
10Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2515206 РФ; Зарег. 12.03.2014.2014
11Уваров С. И. Спецпроцессор для поиска гамильтоновых циклов в графах: Патент на изобретение № 2515211 РФ; Зарег. 12.03.2014.2014
12Уваров С. И. Устройство декодирования совместно хранимых границ при интервальных вычислениях: Патент на изобретение № 2497179 РФ; Зарег. 27.10.2013.2013
13Уваров С. И. Устройство совместного кодирования границ при интервальных вычислениях: Патент на изобретение № 2497180 РФ; Зарег. 27.10.2013.2013
14Уваров С. И. Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул: Патент на изобретение № 2474871 РФ; Зарег. 10.02.2013.2013
15Уваров С. И., Адоян Е. А., Мошников А. С. Декодер фазомодулированного сигнала: Патент на изобретение № 2453991 РФ; Зарег. 20.06.2012.2012
16Уваров С. И., Ананьев А. П. Транзисторный ключ с пропорционально токовым управлением: Патент на изобретение № 2412541 РФ; Зарег. 20.02.2011.2011
17Уваров С. И., Ананьев А. П. Преобразователь напряжения с индуктивно связанными рекуперационными цепями: Патент на изобретение № 2396685 РФ; Зарег. 10.08.2010.2010