В книге
Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014.
Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...
Добавлено: 14 октября 2025 г.
Олейников М. А., Леонтьева Е. А., Вестник Российского университета дружбы народов. Серия: Юридические науки 2025 № 4 (29) С. 1013–1030
Аннотация. Актуальность статьи обусловлена отсутствием эффективного решения вопроса трансфера права собственности на движимые вещи в трансграничных сделках. Коллизионная привязка lex rei sitae не справляется с этой задачей в условиях мобильного конфликта. Использование автономии воли является решением, которое потенциально может быть инструментом преодоления рассматриваемой проблемы. Вместе с тем, барьером к широкому признанию автономии воли в качестве ...
Добавлено: 7 сентября 2025 г.
Бланк М. Л., Discrete and Continuous Dynamical Systems 2025 Vol. 45 No. 11 P. 4186–4201
Appeals to randomness in various number-theoretic constructions appear regularly in modern scientific publications. Such famous names as V.I. Arnold, M. Katz, Ya.G. Sinai, and T. Tao are just a few examples. Unfortunately, all of these approaches rely on various, although often very non-trivial and elegant, heuristics. A new analytical approach is proposed to address the ...
Добавлено: 23 мая 2025 г.
Клементьев А. П., Фонотова О. В., Труды Института государства и права Российской академии наук 2024 Т. 19 № 6 С. 95–120
Принципы, касающиеся применения положений о компенсации за прекращение, были разработаны Международным институтом по унификации частного права (УНИДРУА) и опубликованы в 2013 г. («Принципы компенсации УНИДРУА»). Данный акт заложил основу для совершенствования национального правового регулирования в отношении досрочного прекращения международных сделок с деривативами в условиях банкротства организаций, являющихся их участниками, и урегулирования вопросов компенсации.
Актуальность Принципов связана с тем, что в последнее время законодательство о компенсации ...
Добавлено: 6 февраля 2025 г.
Agyapong Siaw C., Cadeaux J., Майснер Д. и др., IEEE Transactions on Engineering Management 2024 Vol. 71 P. 10009–10025
This article proposes a cross-situational specialization framework for what, at its introduction, was a newer generation personal computer (PC) device (a tablet computer). With use as the basis for continuance adoption as the theoretical lens, this article explores how the tablet coexists as a substitute- and a complement-in-use with incumbent PC(s). To test a model ...
Добавлено: 27 сентября 2024 г.
Сехлеян С. А., Социология. Журнал Российской социологической ассоциации 2021 № 5 С. 165–170
Феномен глобализации представляет собой процесс, затрагивающий материальные и духовные аспекты бытия - экономику, демографию и политику, а также культуру. Исходя из этого, глобализация является объектом изучения не только общественных наук, но и отраслей знания - экономики, политики, международных отношений и других. В то же время, недостаточно придается внимания тому факту, что глобализация оказывает воздействие на ...
Добавлено: 16 июля 2024 г.
Рыбаков М. Н., Serova D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 68–70.
Добавлено: 7 июля 2023 г.
Добавлено: 10 мая 2023 г.
Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111–121
Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...
Добавлено: 9 мая 2023 г.
Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437–1462
Добавлено: 7 марта 2023 г.
Лукин А. В., Пугачева О. С., Проблемы Дальнего Востока 2022 № 3 С. 9–27
В статье комплексно рассматривается внешняя политика России в отношении Корейского полуострова. Актуальность обусловлена неурегулированностью проблем Корейского полуострова, включая ядерную, и его географической близостью к российскому Дальнему Востоку, развитие которого является приоритетной задачей России в XXI в. Россия заинтересована в мирном развитии ситуации на Корейском полуострове, его денуклеаризации и развертывании здесь многостороннего экономического сотрудничества. В принципе, ...
Добавлено: 27 июня 2022 г.
Faliszewski P., Карпов А. В., Obraztsova S., Autonomous Agents and Multi-Agent Systems 2022 Vol. 36 Article 18
Добавлено: 14 марта 2022 г.
Кузнецов С. Л., , in: Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th BirthdayIssue 12300.: Cham: Springer, 2020. P. 3–16.
Добавлено: 25 ноября 2020 г.
Yury N. Kofanov, Sotnikova S. Y., Skachko M. A., , in: Proceedings of the 2019 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies" (IT&QM&IS).: IEEE, 2019. P. 273–276.
Добавлено: 9 января 2020 г.
Гурвич В. А., Andrade D. V., Boros E., , in: Optimization Problems in Graph TheoryBook 139.: Springer, 2018. P. 3–63.
Добавлено: 10 октября 2018 г.
Миронкин В. О., Обозрение прикладной и промышленной математики 2018 Т. 25 № 1 С. 3–8
Исследованы граф внутренних состояний Sponge-конструкции и взаимосвязь между внутренними состояниями и элементами выходной последовательности. Предложены методы построения коллизий, использующие особенности цикловой структуры подстановки Sponge-конструкции. Описан общий вид соответствующих коллизий. ...
Добавлено: 27 апреля 2018 г.
Петров Н. В., Вестник общественного мнения. Данные. Анализ. Дискуссии 2017 № 3-4(125) С. 20–37
Дан анализ популизма как явления и его эволюции в современной российской политике ...
Добавлено: 10 марта 2018 г.
Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794–800
Добавлено: 9 ноября 2017 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Добавлено: 22 октября 2017 г.
Захарьящев М. В., BRESOLIN D., KURUCZ A. и др., , in: ACM Transactions on Computational Logic (TOCL)Vol. 18. Issue 3.: NY: ACM, 2017. P. 1–39.
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of ...
Добавлено: 17 сентября 2017 г.
Касаткина А. С., Кобахидзе Д. И., Вестник Московского университета. Серия 11: Право 2016 № 4 С. 68–82
Настоящая статья посвящена анализу современных тенденций реформирования Йорк-Антверпенских правил об общей аварии, о чем в литературе, как российской, так и зарубежной, в настоящий момент содержится мало информации. При изучении документов международных организаций в области морской торговли были выявлены те проблемные вопросы, по которым планируется внесение новых изменений в Йорк-Антверпенские правила об общей аварии. Сделан вывод ...
Добавлено: 12 февраля 2017 г.
Ростовцева Н. В., Право. Журнал Высшей школы экономики 2016 № 3 С. 30–49
В статье исследуется институт наследования по праву представления. Основные принципы наследования по праву представления, закрепленные в действующем гражданском законодательстве, соответствуют положениям, которые были установлены в Своде законов Российской Империи.Наследование по праву представления следует отличать от сходных институтов (наследственной трансмиссии и подназначения наследника). Основное отличие от наследственной трансмиссии состоит в том, что представляемый наследник умирает до ...
Добавлено: 27 ноября 2016 г.
Медведева Е. А., Ряпин И. Ю., Урванцев И. В. и др., Thermal Engineering (English translation of Teploenergetika) 2016 Vol. 63 No. 9 P. 611–620
This paper analyzes the cost-effectiveness of the use of renewable energy sources (RES) and peat in production of electric and heat energy in rural places of the country by comparing tariffs (prices) of energy versus total expenditures on generation of electric and heat energy when using RES and peat. The appraisal of a cost-effective scale ...
Добавлено: 9 октября 2016 г.