?
Automated Assessment of the Progress and 'Health' of the Project Based on the OMG ESSENCE Standard
Программная инженерия. 2023. Vol. 14. No. 8. P. 367–376.
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75
Статья носит обзорно-методический характер и посвящена развитию идей Е.И. Золотарёва, заложенных в его подходе к доказательству квадратичного закона взаимности (1872 г.). Мы рассматриваем расширения подхода Золотарёва на абстрактные числовые кольца, приведенные в работе А. Бруньята и П.Л. Кларка (2015 г.), и на конечные группы, изученные в статье У. Дьюка и К. Хопкинс (2005 г.). Также ...
Добавлено: 30 июля 2026 г.
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Попеленский Ф. Ю., Математический сборник 2026 Т. 217 № 2 С. 108–153
В недавней работе В. М. Бухштабера и автора была введена новая структура в когомологиях алгебр Хопфа в терминах спектральной последовательности Бухштабера (Bss). В классической алгебре Стинрода A2 имеется важная подалгебра Хопфа A(1), когомологии которой давно известны. В настоящей работе обсуждаемая структура на этих когомологиях полностью вычислена.
В рамках демонстрации методов Bss решена обратная задача: получено новое ...
Добавлено: 28 июля 2026 г.
Metlov K., Andrei B. Bogatyrëv, Annalen der Physik 2026 Vol. 538 No. 6 Article e70234
Добавлено: 28 июля 2026 г.
Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
Предложен теоретически обоснованный подход к адаптивному восстановлению
видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены.
Метод включает формальную постановку задачи, модель конечного автомата для принятия решений,
функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены
с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора
методов восстановления фрагментов видео. ...
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Ukhlov A., Rendiconti del Circolo Matematico di Palermo 2026 Vol. 75 Article 91
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Journal of Mathematical Sciences 2026 Vol. 298 P. 608–618
Добавлено: 27 июля 2026 г.
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Association for Computing Machinery (ACM), 2026.
Добавлено: 22 июля 2026 г.
Korogod D., Shapeev A., Ivan S. Novikov, Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104
Добавлено: 22 июля 2026 г.
Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111
Добавлено: 22 июля 2026 г.
Веретенников А. Ю., Pascucci A., Rondelli A., Stochastic Processes and their Applications 2026 Vol. 199 Article 104978
Добавлено: 17 июля 2026 г.
Порус В. Н., Russian Studies in Philosophy 2020 Vol. 58 No. 3 P. 200–213
Добавлено: 12 октября 2020 г.
Орлов А. Б., Орлова Н. А., В кн.: Ежегодник по клиентоцентрированной психотерапии и человекоцентрированному подходу - 2020Т. 2.: М.: Институт консультативной психологии и консалтинга (ФПК-Институт), 2020. С. 82–98.
Натура и культура рассматриваются в статье как два вектора развития человека, поддерживаемые двумя психическими «полюсами» – соцальным имаго, ответственным за социализацию, и сущностью, ответственной за аутентификацию. В контакте с этими «полюсами» аутентичный центр инициативы человека генерирует процессы персонализации / индивидуализации и персонификации / индивидуации, формируя индивидуальность и индивидность, соответственно. В рамках этой теоретической схемы соотносятся
и ...
Добавлено: 26 сентября 2020 г.
Бирюков Д. С., Вестник Волгоградского государственного университета. Серия 4: История. Регионоведение. Международные отношения 2019 Т. 24 № 6 С. 305–315
Я показываю, каким образом стоический принцип всецелого смешения физических тел на примере темы проникновения огня в железо находит свое преломление в византийских христологических учениях. Я утверждаю, что использование Оригеном примера раскаленного огнем железа оказалось парадигматическим для последующей христианской литературы и повлияло на формирование сразу двух направлений использования этого примера: в христологическом контексте и для описания ...
Добавлено: 3 января 2020 г.
Бирюков Д. С., Философия. Журнал Высшей школы экономики 2018 Т. 2 № 1 С. 52–70
В статье производится анализ использования Оригеном концепта причастности. Различаются два магистральных дискурса причастности у Оригена: природный и индивидуальный. В рамках дискурса природной причастности различаются четыре линии. Это: (1) линия П1, предполагающая порядок природных причастностей видов тварного сущего к Лицам Троицы; в рамках этого дискурса Бог-Отец и Сын выступают
в роли универсальных причаствуемых причин для сущих. (2) Линия П2, предполагающая, ...
Добавлено: 10 июня 2019 г.
Бирюков Д. С., Konstantinove Listy 2017 Т. 10 № 2 С. 15–22
Настоящая статья является продолжением моих предшествующих исследований по тематике иерархии сущего в патристической литературе (Biriukov 2014а; Biriukov 2014b; Biriukov 2015). Прежде чем перейти к изложению материала настоящей публикации, я сделаю обзор выводов своих предыдущих работ, важных для раскрытия тематики этой статьи. ...
Добавлено: 13 декабря 2017 г.
Агадуллина Е. Р., Ловаков А. В., Psychology. Journal of the Higher School of Economics 2017 Vol. 14 No. 3 P. 536–554
Целостность – это ключевое понятие для понимания процессов восприятия социальной группы, однако вопрос его операционализации остается открытым. В литературе существует три теоретических подхода к пониманию целостности группы (целостность, основанная на восприятии подобия членов группы, целостность, основанная на восприятии взаимодействия членов группы, и целостность, основанная на восприятии единства членов группы) и как минимум два разных варианта ...
Добавлено: 5 сентября 2017 г.