• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Architecture of InnoChain, a Formally-Verified Distributed Ledger System
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
28 мая 2026 г.
«Мне нравятся самосбывающиеся пророчества»
Андрей Ворчик изучает счастье, читает научпоп-лекции и хочет, чтобы наука занималась в том числе общественными проблемами. В интервью проекту «Молодые ученые Вышки» он рассказал о том, как эмоции влияют на принятие решений, Бермудском треугольнике из ванной, холодильника и кровати и идеальной формуле образования.
28 мая 2026 г.
Карманные деньги, интерес и семья: что влияет на экономическую грамотность студентов
Экономическая грамотность студентов зависит не только от профильного образования, но и от интереса к экономике, учебной среды и финансовых практик в семье. Так, студенты, получавшие карманные деньги нерегулярно, в среднем лучше справляются с тестами по экономической грамотности, чем их сверстники с постоянной финансовой поддержкой. Это показало исследование НИУ ВШЭ на выборке более 1100 студентов из пяти российских университетов. Результаты работы опубликованы в журнале Cakrawala Pendidikan.
27 мая 2026 г.
Нейросетевое отображение как метод создания математических моделей
Ученые НИУ ВШЭ в Нижнем Новгороде и Белградского института физики (Сербия) совместно изучают возможности применения методов машинного обучения и использования нейросетей в исследованиях нелинейной динамики. О международном проекте «Вышке.Главное» рассказала его руководитель от ВШЭ, ведущий научный сотрудник Лаборатории топологических методов в динамике факультета информатики, математики и компьютерных наук НИУ ВШЭ в Нижнем Новгороде Наталия Станкевич.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Architecture of InnoChain, a Formally-Verified Distributed Ledger System

P. 96–113.
Меркин Л. А., Rezin R., Vasilyev N.
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: intelligent systemscyberneticsDLS

В книге

Informatics and Cybernetics in Intelligent Systems: Proceedings of 10th Computer Science On-line Conference 2021
Vol. 3. , Springer, 2021.
Похожие публикации
Alexander Bogdanov's tektology, anticipating the evolution of social systems control
Lepskiy V., Малахова Е. В., Systems Research and Behavioral Science 2023 Vol. 40 No. 2 P. 381–392
Добавлено: 19 апреля 2026 г.
Техническое воображение Александра Кондратова
Родионова А. А., Новое литературное обозрение 2025 № 195 С. 303–311
В статье анализируется поэтический метод Александра Кондратова (1937–1993) — ленинградского неофициального автора, исследователя и популяризатора кибернетики. Автор обращается к его концепции поэтического творчества, проектам, архивам, научно-популярным и поэтическим текстам. В статье анализируется роль комбинаторики в его творчестве в контексте наследования историческому авангарду и современным автору процессам в культурной концептуализации техники. ...
Добавлено: 11 февраля 2026 г.
Герменевтика живых существ Якоба фон Икскюля
Куренной В. А., В кн.: Путешествие в окружающие миры животных и людей. Теория значения.: Ад Маргинем Пресс, 2025. С. 6–22.
«Путешествие в окружающие миры животных и людей» (1934) и «Теория значения» (1940) — две революционные работы немецкого биолога и натурфилософа Якоба фон Икскюля (1864–1944). Их основные тезисы и введенное автором понятие «окружающего мира» (Umwelt) легли в основу биосемиотики. По Икскюлю все живые существа обитают не в едином мире, а являются субъектами, вокруг которых формируются их собственные ...
Добавлено: 22 января 2026 г.
Незадачи машинной педагогики в СССР 1960-х годов: вузовская наука между трансфером и координацией
Зимирев М. О., Вестник Пермского университета. Серия: История 2024 Т. 66 № 3 С. 98–110
Статья посвящена истории координации научно-исследовательских и опытноконструкторских работ, выполняемых в СССР 1960-х гг. при участии студентов и преподавателей вузов. Устройство позднесоветской вузовской науки рассматривается на примере разработки и внедрения машинной педагогики в Московском энергетическом институте. При описании работы конструкторов обучающих автоматов и теоретиков машинной педагогики, которая велась под руководством секции обучающих автоматов Научного совета по комплексной проблеме «Кибернетика» при Президиуме ...
Добавлено: 11 июня 2025 г.
Opportunities and Risks in AI for Business Development
Springer, 2025.
Добавлено: 4 июня 2025 г.
Электронная сваха: Поиск оптимальной пары в позднем СССР
Кулагин М. С., Зимирев М. О., Technology and Language 2025 Т. 6 № 1 С. 167–186
Статья посвящена истории дискуссии о допустимости использования ЭВМ для поиска оптимальной романтической пары. Условиями ее возможности стали открытие в конце 1960-х гг. одиночества в качестве самостоятельной проблемы, требующей современных решений, а также распространением кибернетического дискурса, к началу 1970-х гг. ассоциируемого с эффективными экспертными решениями. Дискуссия разворачивалась на страницах главной интеллигентской газеты СССР – “Литературной газеты” ...
Добавлено: 1 апреля 2025 г.
Интеллектуальные информационные системы: теория и практика. Сборник научных статей по материалам V Международной конференции (Курск, 19–21 ноября 2024 года)
Курск: Курский государственный университет, 2024.
В сборнике публикуются научные статьи по материалам V Международной научно-технической конференции «Интеллектуальные информационные системы: Теория и практика». Издание адресовано студентам, аспирантам, преподавателям вузов, кандидатам и докторам наук, практикующим специалистам, всем, кто проявляет интерес к проектированию и разработке интеллектуальных информационных систем, их практическим приложениям, а также методам и алгоритмам интеллектуального анализа и обработки. ...
Добавлено: 17 февраля 2025 г.
Influence of the lipid composition of lipid droplets on the efficiency of their protein-free fusion
Сенчихин И. Н., Urodkova E. K., Minkevich M. M. и др., Biophysical Reviews 2023 Vol. 15 Article 1505
Добавлено: 21 января 2025 г.
Катехон в эпоху ярости кибернетических систем
Хестанов Р. З., Логос 2024 Т. 34 № 6 С. 275–296
В статье утверждается, что одной из основных характеристик модерна является лежащий в его основании парадокс, который можно было бы обозначить как установку на секьюритизацию через катастрофу. Автор показывает, каким образом из стремления к преодолению катастроф и кризисов формируется установка на их утилизацию, то есть на создание аппаратов или устройств, гарантирующих безопасность и успешное преобразование катастроф ...
Добавлено: 1 января 2025 г.
Изобретение одиночества в позднем СССР: к истории одной дискуссии
Кулагин М. С., Вестник Пермского университета. Серия: История 2024 № 4(67) С. 183–195
Статья посвящена дискурсивному открытию и последовавшему за ним оформлению одиночества в позднем СССР. Автора интересует как в Советском Союзе конца 1960-х феномен одиночества, ранее описываемый журналистами-международниками как следствие капиталистического строя наряду с массовой бездомностью, безработицей, отчуждением и атомизацией, обнаруживался, идеологически нейтрализовался и становился частью социальных политик позднесоветского государства. В статье описана закрытая дискуссия в редакции «Литературной газеты», ...
Добавлено: 3 июня 2024 г.
Axel Berg and the Digital Revolution in Science, Education, and Society of the Russian Federation
Семенов А. Л., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 983–987
Добавлено: 13 марта 2024 г.
The Role of the Scientific Council “Cybernetics” of the USSR Academy of Sciences/the Russian Academy of Sciences in the Development of National Cybernetics and Computer Technology
Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. и др., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049
Добавлено: 13 марта 2024 г.
Electromyography-Based Biomechanical Cybernetic Control of a Robotic Fish Avatar
Montoya Martínez M. A., Torres-Córdoba R., Магид Е. А. и др., Machines 2024 Vol. 12 No. 2 Article 124
Добавлено: 25 февраля 2024 г.
Emotion Design in the Educational Program “Intelligent Systems in the Humanities”
Kartasheva Anna, , in: Fourth International Scientific Conference Communication Trends in the Post-literacy Era: Multilingualism, Multimodality, Multiculturalism.: Knowledge E Social Sciences, 2020. P. 35–43.
Добавлено: 20 октября 2023 г.
Axel Berg’s Legacy in Cybernetics and Education. From the Council on Cybernetics to Axel Berg Institute
Семенов А. Л., Vardanyan V., Vishnyakov Y. и др., , in: 2020 Fifth International Conference «History of Computing in the Russia, former Soviet Union and Council for Mutual Economic Assistance countries» (SORUCOM 2020).: IEEE, 2020. P. 152–157.
Добавлено: 10 марта 2023 г.
О трансгуманизации сознания в России и на Западе
Родин Игорь Владимирович, Вестник Удмуртского университета. Серия Философия. Психология. Педагогика 2022 Т. 32 № 4 С. 349–358
разрезе того, что можно назвать трансгуманизацией языка и сознания. Под последней подразумевается поступательная инволюция языка как семантического поля, поля абстрактной «избыточности» культуры в той форме, в которой она прописана в мыслеформах и формах межличностного взаимодействия. Следуя кибернетическому императиву, трансгуманизация языка и, соответственно, сознания и субъективности сводит язык к средству передачи информации, отсекая от него все ...
Добавлено: 29 ноября 2022 г.
Архитектура интеллектуальной системы тестирования
Бойко В. А., Легалов А. И., Зыков С. В., Журнал Сибирского федерального университета. Серия: Техника и технологии 2022 Т. 15 № 2 С. 274–282
Одним из подходов к автоматизации тестирования графического интерфейса пользователя являются программные комплексы, воспроизводящие сценарий взаимодействия пользователя с тестируемым программным обеспечением. Процесс воспроизведения такого сценария основывается на возможности имитации действий пользователя. Принципы, заложенные в реализацию такой системы тестирования, могут оказывать значительное влияние как на достоверность воспроизведения сценариев тестирования,  так и на меру интеграции системы в тестируемое ...
Добавлено: 11 октября 2022 г.
Кто принимает решения в умном городе
Хестанов Р. З., Сувалко А. С., Городские исследования и практики 2022 Т. 7 № 1 С. 7–21
Статья посвящена распространенному, но чрезвычайно расплывчатому кон- цепту умного города (smart city). Он представляет собой визионерскую проекцию, вокруг которой создается эклектичный ансамбль зачастую про- тиворечивых теоретических установок и доктрин, так или иначе связываю- щих городское развитие с развитием технологий, в особенности цифровых. Утверждается, что работа британского кибернетика Гордона Паска над теорией «эстетически заряженных сред» проливает свет ...
Добавлено: 30 марта 2022 г.
Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’19)
Springer, 2020.
Добавлено: 23 марта 2022 г.
Entropy as a trope: Yuri Lotman’s general theory of communication as a case study in interdisciplinarity
Кельберт Р. Е., World Literature Studies 2021 Vol. 13 No. 4 P. 55–70
Добавлено: 25 января 2022 г.
World Organization of Systems and Cybernetics 18. Congress-WOSC2021: Systems Approach and Cybernetics: Engaging for the Future of Mankind
Springer, 2022.
Добавлено: 31 октября 2021 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору