Intuitionistic Epistemology and Modal Logics of Verification

T. I. Protopopescu

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

26 июня 2026 г.

«Культурологи пытаются увидеть, что скрывается за поверхностью обычных вещей»

Максим Жиганов много лет исследует разные стороны звука — сначала в привязке к своей родной Перми, а затем в более глобальных масштабах. В интервью проекту «Молодые ученые Вышки» он рассказал о звуковых картах, тематическом номере журнала «Логос» и о том, зачем делать привычное менее понятным и очевидным.

26 июня 2026 г.

В НИУ ВШЭ разработали приложение для диагностики фонологической обработки у детей

Специалисты Центра языка и мозга НИУ ВШЭ представили новый цифровой инструмент для оценки навыков фонологической обработки у детей — батарею тестов «ЗАРЯ» («Звуковой анализ русского языка»). Это первое в России стандартизированное приложение, позволяющее быстро и надежно выявлять нарушения способности различать звуки речи, удерживать их в оперативной памяти и проводить фонематический анализ. Программа работает на планшетах и смартфонах с операционной системой Android, доступна для скачивания в RuStore. Детали валидации теста опубликованы в Journal of Speech, Language, and Hearing Research.

24 июня 2026 г.

Древняя чашекрания - новый вид брахиопод с необычной формой раковины и образом жизни

Российские ученые из Высшей школы экономики, МГУ имени М.В. Ломоносова и Таллинского технического университета изучили ископаемый вид древних брахиопод (плеченогих), который обитал в теплом море на севере современной Эстонии более 445 миллионов лет назад. Древняя брахиопода росла в форме чашки со «шляпкой», чтобы защититься от зарастания. Исследование опубликовано в журнале Palaeogeography, Palaeoclimatology, Palaeoecology.

Нашли опечатку?
Выделите её, нажмите 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 г.