• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
3 сентября 2026 г.
Ученые НИУ ВШЭ научили нейросеть превращать 3D-модели в готовые технологические карты
Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ разработали систему CAD2TechSpec, которая автоматически превращает 3D-модели деталей в готовые технологические карты — пошаговые инструкции для станков. Разработка направлена на сокращение времени подготовки технической документации в машиностроении, авиастроении и других высокотехнологичных отраслях. Результаты исследованияо публикованы в журнале PeerJ Computer Science.
2 сентября 2026 г.
Время показать свое исследование: открыт прием заявок на НИРС-2026
Иногда готовая работа — это не результат, а хорошая основа для следующего шага. Участие в Конкурсе научно-исследовательских работ студентов (НИРС) позволяет показать исследование экспертам, получить независимую оценку и определить дальнейшее направление работы. Рассказываем о ключевых особенностях подачи работ на Конкурс НИРС — 2026.
1 сентября 2026 г.
Ученые НИУ ВШЭ создали новый корпус детской русской речи
Исследователи Центра языка и мозга НИУ ВШЭ представили RusLan-M — открытый мультимедийный корпус, который позволяет проследить развитие русской речи у детей от первых слов до появления сложных грамматических конструкций. В базе собраны около 41 часа видеозаписей и более 35 тысяч детских высказываний. Новый ресурс поможет ученым точнее изучать, как дети осваивают русский язык, а в перспективе — создавать более надежные инструменты для оценки речевого развития. Исследование опубликовано в журнале Language Resources and Evaluation.

 

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

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

?

Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Issue 12300. Хам : Springer, 2020.
Научный редактор: Нигам В., T. Ban Kirigin, C. Talcott, J. Guttman, Кузнецов С. Л., B. T. Loo, M. Okada
Главы книги
A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential
Кузнецов С. Л., , 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 г.
Приоритетные направления: компьютерно-математическое
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: computer securityformal languagesLogic
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Похожие публикации
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.
Добавлено: 30 июля 2026 г.
Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689)
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Growth in noncommutative algebras and entropy in derived categories
Пионтковский Д. И., / Series arXiv "math". 2026.
Добавлено: 23 июня 2026 г.
Multilinear nilalgebras and the Jacobian theorem
Пионтковский Д. И., / Series arXiv "math". 2025.
Добавлено: 23 июня 2026 г.
ML-based Fast Simulation of FARICH Responses
Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.
Добавлено: 19 мая 2026 г.
Natural hazard database from Internet publications: text mining with a large language model
Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.
Добавлено: 28 апреля 2026 г.
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.
Добавлено: 20 апреля 2026 г.
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 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 г.
Онтологическая логика абсурда Александра Зиновьева
Поляков Л. В., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43
В статье предпринимается попытка описать логику трансформации логической концепции Александра Зиновьева, обозначенной им самим как «комплексная логика», в художественный текст особого жанра — «социологический роман». При этом поиск Зиновьева сопоставляется с центральной задачей Гегеля в его трехтомнике «Наука логики» и с парадоксальными исходными посылками «Логико-философского трактата» Л. Витгенштейна. Единство логики, гносеологии и онтологии, постулированное Зиновьевым, оборачивается ...
Добавлено: 24 декабря 2024 г.
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track. European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part X. LNCS, volume 14950
Cham: Springer, 2024.
Добавлено: 22 ноября 2024 г.
Themes from Weir: A Celebration of the Philosophy of Alan Weir
Cham: Springer, 2024.
This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen’s, Belfast. In a number of areas, Weir has elaborated strikingly original views which involve a radical departure from the mainstream. ...
Добавлено: 12 сентября 2024 г.
On Decidability of Theories of Regular Languages
Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478
Добавлено: 12 ноября 2023 г.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Cham: Springer, 2022.
Добавлено: 7 августа 2022 г.
Information Systems and Design. Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers
Springer, 2022.
Добавлено: 16 февраля 2022 г.
Octagonal picture languages
Govindaraj R., Махендран А., International Journal of Reasoning-based Intelligent Systems 2018 Vol. 3 No. 4 P. 197–203
Добавлено: 24 ноября 2021 г.
On Security Analysis of Periodic Systems: Expressiveness and Complexity.
AlTurki M. A., Kirigin T. B., Канович М. И. и др., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.
Добавлено: 18 октября 2021 г.
Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021
SciTePress, 2021.
Добавлено: 18 октября 2021 г.
. Resource and timing aspects of security protocols.
Urquiza A. A., AlTurki M. A., Kirigin T. B. и др., , in: Journal of Computer SecurityVol. 25. Issue 6.: Amsterdam: IOS Press, 2017. Ch. 29(3) P. 299–340.
Добавлено: 18 октября 2021 г.
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Switzerland: Springer International Publishing, 2021.
Добавлено: 28 сентября 2021 г.
Demystifying Blockchain Technology for Resource-Constrained IoT Devices: Parameters, Challenges and Future Perspective
Romashkova I., Комаров М. М., Ometov A., IEEE Access 2021 No. 9 P. 129264–129277
Добавлено: 26 сентября 2021 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору