26th International Conference on Automated Deduction – CADE 26

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.

Добавлено: 24 декабря 2025 г.

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

Добавлено: 1 декабря 2025 г.

Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning

Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.

Добавлено: 21 ноября 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 2025 г.

Advances in Modal Logic 2024. Short Papers

[б.и.], 2024.

The book contains short papers presented at AiML 2024. ...

Добавлено: 15 августа 2024 г.

Advances in Modal Logic

College Publications, 2024.

Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...

Добавлено: 14 августа 2024 г.

Variations on the Kripke trick

Рыбаков М. Н., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48

Добавлено: 2 декабря 2023 г.

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078

Добавлено: 3 ноября 2023 г.

Optimizing multi-party agreement protocols

Fedotov I., Anton Khritankov, Barger A., , in: 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022.: IEEE, 2022. P. 55–58.

Добавлено: 16 июня 2023 г.

Сравнительный анализ модифицированной пост-квантовой криптографической системы NTRUENcrypt с общепринятой криптосистемой RSA

Разумов П. В., Черкесова Л. В., Пилипенко И. А. и др., Вестник Донского государственного технического университета 2019 Т. 19 № 2 С. 185–194

Статья посвящена исследованию криптографической системы NTRUEncrypt, расчету алгоритмической сложности разработки криптосистемы NTRUEncrypt и ее модификации. Цели исследования: разработка эффективного постквантового криптографического алгоритма NTRUEncrypt, обладающего высокой криптостойкостью к атакам с квантового компьютера, а также разработка модификации предложенного алгоритма, анализ и экспериментальное доказательство его преимуществ. ...

Добавлено: 9 мая 2023 г.

Complexity function and complexity of validity of modal and superintuitionistic propositional logics

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595

Добавлено: 6 января 2023 г.

On Strictly Positive Fragments of Modal Logics with Confluence

Kikot S., Кудинов А. В., Mathematics 2022 Vol. 10 No. 19 Article 3701

Добавлено: 10 октября 2022 г.

Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter

Рыбаков М. Н., Shkatov D., Studia Logica 2021

Добавлено: 24 января 2022 г.

A novel cryptosystem using DNA sequencing and contextual array splicing system for Medical Internet of Things

Ugandran I., Махендран А., S. A. и др., Computers and Electrical Engineering 2021 Vol. 96 No. 1 Article 107429

Добавлено: 23 ноября 2021 г.

Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic

Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498

Добавлено: 21 июля 2021 г.

Modal logics with transitive closure: Completeness, decidability, filtration

Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.

Добавлено: 2 декабря 2020 г.

On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames

Рыбаков М. Н., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.

Добавлено: 7 октября 2019 г.

Information Security Methods—Modern Research Directions

Шелупанов А. А., Евсютин О. О., Конев А. А. и др., Symmetry 2019 Vol. 11 No. 2 P. 1–33

Добавлено: 3 сентября 2019 г.

Segerberg squares of modal logics and theories of relation algebras

Шехтман В. Б., , in: Larisa Maksimova on Implication, Interpolation, and Definability.: Cham: Springer, 2018. P. 245–296.

We establish a natural translation from word rewriting systems to strictly positive polymodal logics. Thereby, the latter can be considered as a generalization of the former. As a corollary we obtain examples of undecidable finitely axiomatizable strictly positive normal modal logics. The translation has its counterpart on the level of proofs: we formulate a natural ...

Добавлено: 21 сентября 2018 г.