Intuitionistic Epistemology and Modal Logics of Verification

T. I. Protopopescu

doi:10.1007/978-3-662-48561-3_24

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

27 июля 2026 г.

Ускорение, точность и самокоррекция: ученые ФКН ВШЭ на международной конференции ICML-2026

Исследователи факультета компьютерных наук (ФКН) ВШЭ представили свои проекты в южнокорейском Сеуле на международной конференции по машинному обучению ICML 2026, одном из главных научных событий в своей области. Сразу несколько исследований сотрудников факультета были удостоены высокого статуса Spotlight .

27 июля 2026 г.

«Конференция усилила ощущение причастности к международному математическому сообществу»

С 13 по 17 июля на факультете математики НИУ ВШЭ прошла международная конференция «Модули, динамика и интегрируемость». Ее участниками стали известные ученые из России, США, Китая, Великобритании и других стран.

20 июля 2026 г.

<a>Как идеи Гегеля и Маркса помогают понять жилищный кризис

Исследователи из НИУ ВШЭ проанализировали, как жилищный кризис в европейских странах влияет на представления молодых людей о собственности, свободе и будущем. Снижение доступности собственного жилья приводит к попыткам самореализации и получения признания в цифровой среде — в игровых мирах и метавселенных. Статья опубликована в журнале Philosophies.

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

Публикации

?

Intuitionistic Epistemology and Modal Logics of Verification

P. 295–307.

Протопопеску Т. И.

В печати

Язык: английский

DOI

Ключевые слова: Verification Intuitionistic Knowledge

В книге

Logic, Rationality and Interaction. Proceedings of The Fifth International Conference on Logic, Rationality and Interaction. Lecture Notes in Computer Science 9394

Vol. 9394: Lecture Notes in Computer Science. , Springer, 2016.

Simulation Model Validation Based on Ontological Engineering Methods

Замятина Е. Б., Denis Churin, Ланин В. В. и др., , in: Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 2) KEODVol. 2: KEOD.: SciTePress, 2022. P. 237–244.

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

Making Weak Memory Models Fair

Lahav O., Namakonov E., Oberhauser J. и др., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98

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

A Petri net extension for systems of concurrent communicating agents with durable actions

Mecheraoui K., Ломазова И. А., Belala N., Journal of Parallel and Distributed Computing 2021 Vol. 155 P. 14–23

Добавлено: 13 мая 2021 г.

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko и др., / Series Computer Science "arxiv.org". 2020.

Добавлено: 30 октября 2020 г.

2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV)

Austin: IEEE Computer Society, 2018.

Добавлено: 3 июля 2019 г.

«Пороги» между доходными группами: результаты анализа рисков бедности

Слободенюк Е. Д., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.

Глава посвящена вопросу того, какой именно должна быть черта бедности в ее монетарном относительном выражении в доле от медианы среднедушевых доходов по стране. В западных исследованиях, посвященных проблематике доходной стратификации, используются различные величины, колеблющиеся в пределах 0,5 - 0,75 от медианы среднедушевого дохода. На основе данных о рисках бедности делается вывод о том, что черта ...

Добавлено: 16 апреля 2019 г.

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)

IEEE, 2015.

Добавлено: 18 июля 2018 г.

2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV)

IEEE, 2017.

Добавлено: 18 июля 2018 г.