?
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties
P. 100–105.
Fedotov I., Anton Khritankov, Barger A.
В книге
NY: Association for Computing Machinery (ACM), 2022.
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
Федянин Д. Н., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
Добавлено: 13 декабря 2025 г.
Бояров Е. Н., Социальная компетентность 2025 Т. 10 № 2 С. 42–51
В статье рассматривается проблема интеграции новых цифровых технологий в современное образование с целью повышения его эффективности и качества. Цель исследования – обобщение теоретических и практических подходов к использованию цифровых инструментов в образовательной среде, а также выявление основных направлений и барьеров цифровой трансформации образования. Методы исследования включают анализ научной литературы и публикаций, сравнительный анализ различных подходов, ...
Добавлено: 9 декабря 2025 г.
Гаман-Голутвина О.В., В кн.: Альтернативы цифровизации: сохранится ли человек в цивилизации будущего?.: М.: Канон+, 2025. Гл. 5 С. 71–89.
Как влияет применение цифровизации и искусственного интеллекта на развитие человека? В книге "Альтернативы цифровизации: сохранится ли человек в цивилизации будущего?" представлен опыт междисциплинарного исследования этой проблемы, ставшей сегодня одной из ведущих глобальных проблем современного мира. В ее обсуждении принимают участие философы, биологи, социологи, культурологи, психологи, педагоги, математики, специалисты в области технического знания и социальной практики. ...
Добавлено: 8 декабря 2025 г.
IEEE, 2025.
Добавлено: 10 ноября 2025 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
В условиях растущей конкуренции на рынке транспортных услуг компании ищут новые способы повышения операционной эффективности и снижения затрат на обслуживание автомобильного парка. В статье представлена инновационная модель управления техническим состоянием транспортных средств, описывающая механизм оценки состояния техники с использованием технологии распределенного реестра и смарт-контрактов. Предложена информационная система автоматизации технического обслуживания, способная выполнять функции мониторинга и ...
Добавлено: 23 сентября 2025 г.
Тетерин М. А., Экономическая политика 2025 Т. 20 № 4 С. 82–117
Криптовалюты стали важной частью современного финансового рынка. Одними из крупнейших являются Bitcoin, Ether, Litecoin и XRP, их капитализация составляет львиную долю рынка цифровых активов. При этом рынок криптовалют отличается от рынка традиционных финансовых активов более высоким уровнем волатильности цен, что делает методологию построения более точных прогнозов дневной волатильности для этих активов особенно значимой. Оценка дневной ...
Добавлено: 2 сентября 2025 г.
Буянова М. О., Законы России: опыт, анализ, практика 2025 № 5 С. 59–62
В статье раскрываются проблемы защиты интеллектуальных прав работников науки. Отмечается, что в силу различного правового регулирования отношения по защите права на авторство создаваемых работниками в процессе трудовой деятельности произведений (изобретений, открытий и т.д.) сталкиваются с целым рядом проблем. Среди них – конфликт интересов научного сотрудника и организации, в которой он работает, распределение вознаграждения за результаты ...
Добавлено: 21 июня 2025 г.
Авдошин С. М., Тарасова Д. Д., Информационные технологии 2025 Т. 31 № 5 С. 258–270
Токенизация сообществ — это новейшая область знания, возникшая на стыке информационных технологий, социальных и экономических наук. Рассмотрены основные необходимые инструментальные средства токенизации, существующие подходы к их реализации, проблемы токенизированных сообществ и методы их решения для разработки системы токенизации сообществ. ...
Добавлено: 6 мая 2025 г.
Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...
Добавлено: 10 декабря 2024 г.
Децентрализованные финансы (или DeFi от англ. "Decentralized finance") предлагают ряд финансовых инструментов и услуг, использующих возможности технологии web3. В частности протокол Maker позволяет пользователям получать кредиты, обеспеченные криптовалютами. В отличие от традиционных банков, данные Maker прозрачно записываются в блокчейн Ethereum. В этой статье мы сосредоточимся на анализе кредитного аспекта Maker с традиционной финансовой точки зрения. ...
Добавлено: 4 сентября 2024 г.
Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
Добавлено: 13 июня 2024 г.
А. Т. Джонов, С. М. Авдошин, Информационные технологии 2024 Т. 30 № 3 С. 133–139
За счет использования технологии распределенного реестра появляется возможность обеспечения прозрач-ности, улучшения отслеживания действий внутри процессов и обеспечения доверия в открытых системах в различных секторах экономики. Существует потребность в оценке эффективности работы распределенных реестров на базе измеряемых показателей. В статье представлен обзор показателей эффективности распре-деленных реестров, методы повышения эффективности и оценки работы распределенных реестров. ...
Добавлено: 4 апреля 2024 г.
Булыга Е. С., В кн.: Статистические методы анализа экономики и общества. 14-я Международная научно-практическая конференция студентов и аспирантов (16-19 мая 2023 г.).: М.: Издательский дом НИУ ВШЭ, 2023. С. 58–60.
Цифровые трансформации происходят во всех сферах жизни общества. Стремительно развивается цифровой формат предоставления продуктов и услуг. Банковский сектор является важнейшей составляющей финансовой системы России и очень восприимчив к инновациям, поэтому в сфере использования финансовых технологий в банковской сфере также произошли серьезные изменения. Так, согласно данным Банка России, количество счетов с дистанционным доступом в 2021 г. ...
Добавлено: 16 января 2024 г.
Between Сrypto Art and Copyright: NFT Tokens as Tools for Confirming the Authenticity of Art Objects
Kartasheva Anna, Trubina M., Changing Societies and Personalities 2024 Vol. 8 No. 2 P. 508–525
Добавлено: 20 октября 2023 г.
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Добавлено: 9 октября 2023 г.