?
Обзор методов верификации смарт-контрактов
Информационные технологии. 2025. Т. 31. № 1. С. 42–55.
Смарт-контракты — программные алгоритмы, которые представляют собой соглашение в цифровой форме
с наличием механизма принуждения сторон к выполнению обязательств. Смарт-контракты уже крепко закрепились в сферах финансов, однако это не единственная возможная сфера применения. Недостаток такого цифрового соглашения заключается в том, что смарт-контракты могут содержать ошибки, потенциально
приводящие к финансовым потерям. Процесс верификации проводится для того, чтобы снизить вероятность
наличия таких ошибок к минимуму. В данной работе представлен обзор методов и инструментов в области
верификации смарт-контрактов.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Иванова Е. Е., Право. Журнал Высшей школы экономики 2026 № 3 С. 109–137
Статья посвящена анализу правового статуса цифровых акционерных обществ (ЦАО) и их участников в российском праве в контексте вопроса о выделении ЦАО в самостоятельную организационно-правовую форму юридического лица. На основе первых зарегистрированных в России ЦАО рассматривается порядок их учреждения, правовая природа цифровой акции как разновидности цифрового финансового актива и особенности оборота корпоративных прав, зафиксированных в распределенном ...
Добавлено: 7 октября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные
технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на
широкий круг специалистов, работающих на стыке теории информации, системного анализа и
прикладных предметных областей. В издание вошли результаты исследований, посвящённые
моделированию дискретных и стохастических структур управления и связи, разработке
высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам
цифровой трансформации образования, архитектурно-градостроительного проектирования,
экологического ...
Добавлено: 6 октября 2026 г.
Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169
В условиях роста стоимости энергоресурсов и необходимости повышения энергоэффективности производственных процессов особую актуальность приобретает задача оптимизации энергопотребления промышленных предприятий. В данной работе рассматривается подход к управлению энергозатратами машиностроительного предприятия на основе методов многокритериальной оптимизации. Постановка задачи включает несколько целевых функций: минимизацию энергопотребления, минимизацию стоимости электроэнергии с учётом тарифных ограничений и максимизацию производственной эффективности. Для решения ...
Добавлено: 5 октября 2026 г.
Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13
Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...
Добавлено: 2 октября 2026 г.
Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds
Chebotarev V., Andreyuk D., Elizarova Anastasiya и др., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601
Добавлено: 2 октября 2026 г.
Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25
Деревья решений и их ансамблевые расширения, такие как случайные леса, широко используются в качестве моделей классификации благодаря своей простоте и интерпретируемости. Однако во многих реальных задачах, где метки классов перекрываются в пространстве признаков, стандартные деревья решений полагаются на жесткие разбиения, которые создают слабые границы принятия решений. В этих областях небольшие возмущения входных значений могут привести ...
Добавлено: 2 октября 2026 г.
Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13
Добавлено: 2 октября 2026 г.
Aly Ismailov, Попцова М. С., Plos One 2026 Vol. 21 No. 9 Article e0355902
Добавлено: 2 октября 2026 г.
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
International Joint Conferences on Artificial Intelligence, 2026.
Добавлено: 1 октября 2026 г.
Добавлено: 30 сентября 2026 г.
Джамбонг Тенке Х., Institute for System Programming of the RAS, 2026.
Добавлено: 29 сентября 2026 г.
Иванашев Я. М., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2026 Т. 529 С. 93–101
Язык L является нижним для релятивизируемого сложностного класса C, если CL=C. Для классов #P, GapP и SpanP известны точные нижние классы языков: Low(#P) = UP ∩ coUP, Low(GapP) = SPP и Low(SpanP) = NP ∩ coNP. В этой статье мы доказываем, что Low(TotP) = P, и приводим характеризации нижних классов функций для #P, GapP, TotP ...
Добавлено: 28 сентября 2026 г.
Piliugin L., Antropov A., Lobashev E. и др., Journal of Nuclear Materials 2026 Vol. 632 Article 156876
Добавлено: 28 сентября 2026 г.
Баширов М. Ф., Кулешова Е. П., Бизнес. Общество. Власть 2025 № 1 (55) С. 119–127
В статье проанализированы ключевые аспекты цифрового рубля, обозначенные в официальной концепции, опубликованной Банком России. Рассмотрены отмеченные в документе возможные преимущества для бизнеса, государства и общества, а также предложен ряд рекомендаций, которые позволят реализовать все положительные стороны новой денежной формы и нивелировать риски, связанные с её масштабированием. Большая часть работы посвящена новым возможностям для бизнеса, однако ...
Добавлено: 10 августа 2026 г.
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Obozov M., Дискин М. С., Безносиков А. Н. и др., , in: Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025).: Suzhou: Association for Computational Linguistics, 2025. Ch. 15 P. 195–202.
Добавлено: 26 февраля 2026 г.
Волос А. А., Lex Russica (Русский закон) 2025 Т. 78 № 5 С. 68–76
Автор формирует научно обоснованные выводы о направлениях развития судебной практики по вопросам применения недавно появившихся в ГК РФ норм, связанных с использованием цифровых технологий субъектами экономического оборота. В статье делается принципиальное заключение о том, что суды нередко используют рассматриваемые нормы не в том контексте, который имелся в виду при их создании. Практика по данным делам ...
Добавлено: 18 мая 2025 г.
Тетерин М. А., Пересецкий А. А., Applied Econometrics 2025 Vol. 77 P. 74–90
Bitcoin and Ethereum are the two world’s largest cryptocurrencies. Their market capitalizations have recently peaked, making them more attractive to portfolio investors. As the cryptocurrency market is known for its high volatility nature, government institutions are also interested in this segment of the financial market for more comprehensive regulation. Volatility forecasting is a crucial part ...
Добавлено: 22 апреля 2025 г.
Лютова О. И., Байрашев В. Р., Вопросы государственного и муниципального управления 2025 № 1 С. 116–141
В статье рассматриваются проблемы применения типовых контрактов в контексте происходящей цифровизации государственных закупок, осуществляемой путем перехода к цифровым (машиночитаемым) государственным контрактам. Выдвигаются гипотезы о признании процесса разработки типовых контрактов без учета мнения заинтересованных сторон в качестве значимого препятствия при подготовке государственного контракта, а также о возможности сокращения затрат на подготовку закупок за счет наделения типовых ...
Добавлено: 28 марта 2025 г.