Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Val. 13780.

doi:10.1007/978-3-031-26622-5

Публикации

?

Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Vol. 13780. Хам : Springer, 2023.

Под общей редакцией: C. Areces, D. Costa

Dynamic Epistemic Logic for Budget-Constrained Agents

Долгоруков В. В., Maksim Gladyshev, , in: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected PapersVol. 13780.: Cham: Springer, 2023. P. 56–72.

В статье предлагается динамическая эпистемическая логика, позволяющая моделировать публичные объявления агентов относительно ресурсно-зависимого знания. ...

Добавлено: 31 июля 2022 г.

Научное направление: Компьютерные науки Философия, этика, религиоведение

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

Полный текст

DOI

Текст на другом сайте

Ключевые слова: dynamic logic

Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

EEG evidence for reproducible neural states during Buddhist Highest Yoga Tantra meditation

Михайлец Е. В., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560

Добавлено: 29 июля 2026 г.

Machine Learning-based Adaptive Reconstruction of Video Stream Fragments Taking into Account Scene Dynamics. Proceedings of the Institute for System Programming of the RAS

Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274

Предложен теоретически обоснованный подход к адаптивному восстановлению видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены. Метод включает формальную постановку задачи, модель конечного автомата для принятия решений, функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора методов восстановления фрагментов видео. ...

Добавлено: 27 июля 2026 г.

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

Cham: Springer, 2026.

Добавлено: 26 июля 2026 г.

«И эта тропа священная по земле уходит в небо...»: религиозный натурализм и литургизация природы у М.М. Пришвина

Кнорре Б. К., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 1: Богословие. Философия. Религиоведение 2026 № 125 С. 53–69

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

Добавлено: 25 июля 2026 г.

Post-Symbolic Coloniality: The Metasimulacrum of Otherness in Digital Culture

Алиев Р. Т., Galactica Media: Journal of Media Studies 2025 Vol. 7 No. 2 P. 166– 186

В данной статье разрабатывается концепт метасимулякра инаковости для анализа структурных трансформаций различия в цифровой культуре. В отличие от традиционных репрезентаций инаковости, метасимулякр перестраивает сами условия восприятия, производя инаковость как управляемый, эстетизированный и коммерциализированный поток. Цифровые платформы больше не маргинализируют и не подавляют различие, они интегрируют его в архитектуру вовлечения, нейтрализуя его подрывной потенциал через алгоритмическое ...

Добавлено: 24 июля 2026 г.

Proceedings of the International Science Conference “Scientific research of the SCO countries: synergy and integration” - Reports in English (June 3, 2026. Beijing, PRC)

Scientific publishing house Infinity, 2026.

Добавлено: 24 июля 2026 г.

Local Fault-Tolerant Routing in 3D Mesh NoCs using Single-Hop Rollback

Edward R. Rzaev, Aleksandr Y. Romanov, Andrey M. Sukhov, IEEE Access 2026 Vol. 14 P. 2169–3536

Добавлено: 23 июля 2026 г.

Библиометрия фольклора: русские пословицы в научных журналах

Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192

Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...

Добавлено: 22 июля 2026 г.

SIGIR '26: Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval

Association for Computing Machinery (ACM), 2026.

Добавлено: 22 июля 2026 г.

Long-range machine-learning potentials with environment-dependent charges enable predicting LO-TO splitting and dielectric constants

Korogod D., Shapeev A., Ivan S. Novikov, Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104

Добавлено: 22 июля 2026 г.

Global optimization of atomic clusters via physically constrained tensor train decomposition

Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111

Добавлено: 22 июля 2026 г.

Не только ἐπιχώρια διδάγματα: пайдейя Эпаминонда

Можайский А. Ю., Schole. Философское антиковедение и классическая традиция 2026 Т. 20 № 2 С. 1105–1116

В настоящей статье исследуется образование Эпаминонда - знаменитого фиванского полководца и государственного деятеля. В античную эпоху он был широко известен благодаря образованности и философскому авторитету. В исследовании показано, что становление Эпаминонда было обусловлено сложным комплексом местных традиций обучения, которые Павсаний характеризует как «местные учения» (ἐπιχώρια διδάγματα). В то же время образование Эпаминонда отличалось от подготовки ...

Добавлено: 17 июля 2026 г.

WSI-GT: Pseudo-Label Guided Graph Transformer for Whole-Slide Histology

Михайлов И. А., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 1 Article 8

Whole-slide histology images (WSIs) can exceed 100 k × 100 k pixels, making direct pixel-level segmentation infeasible and requiring patch-level classification as a practical alternative for downstream WSI segmentation. However, most approaches either treat patches independently, ignoring spatial and biological context, or rely on deep graph models prone to oversmoothing and loss of local tissue ...

Добавлено: 16 июля 2026 г.

On the construction of Barnes–Wall lattices and their application in cryptography

Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62

Добавлено: 16 июля 2026 г.

Cognitive Distortions Are Not Logical Errors: A Conceptual Clarification

Денисова В. Г., Petrović N., Journal of Rational - Emotive and Cognitive - Behavior Therapy 2026 Vol. 44 No. 35 P. 1–16

Добавлено: 15 июля 2026 г.

Возможна ли христианская политика в секулярном мире? С.Н. Булгаков и К. Барт о границах политико-религиозного целеполагания в обществе модерна

Гиринский А. А., Вестник Томского государственного университета. Философия. Социология. Политология 2026 № 91 С. 104–113

В статье анализируются взгляды двух европейских мыслителей ХХ в. – швейцарского протестантского теолога Карла Барта и русского философа Сергия Булгакова. В центре внимания две их работы середины ХХ в., в которых авторы рассуждают о христианском отношении к государству и политике в мире модерна. В статье доказывается, что несмотря на онтологические и догматические различия между протестантской ...

Добавлено: 14 июля 2026 г.

Tencent и Open Source. Как относится к открытому ПО самый дорогой бренд Китая?

Силаков Д. В., Системный администратор 2026 № 5 С. 46–51

В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...

Добавлено: 14 июля 2026 г.

Новые религии и секуляризация. Методологический тупик

Носачев П. Г., Вопросы философии 2026 № 7 С. 166–175

Статья посвящена комплексному анализу теоретических оснований трех значимых областей современного социально-гуманитарного знания: изучению новых религиозных движений (НРД), исследованию феномена нью-эйдж и западного эзотеризма. В работе представлен подробный обзор истории формирования данных интеллектуальных полей, а также реконструирован специфический научный фон и междисциплинарный контекст, в рамках которых происходило концептуальное становление каждой из указанных сфер. Аргументируется, что ключевым ...

Добавлено: 14 июля 2026 г.

2026 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)

IEEE, 2026.

Добавлено: 13 июля 2026 г.

Mathematical Optimization Theory and Operations Research, 25th International Conference, MOTOR 2026 Irkutsk, Russia, July 6–11, 2026 Proceedings

Switzerland: Springer, 2026.

Добавлено: 12 июля 2026 г.

Proceedings of the International Science Conference “APPLIED RESEARCH. GLOBAL SOLUTIONS” (May 6, 2026). Istanbul. Turkey. Part 2.

Scientific publishing house Infinity, 2026.

Добавлено: 12 июля 2026 г.

Задачи бесконечной регулярной реализуемости

Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 2025 Т. 32 № 4(166) С. 213–230

Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков ...

Добавлено: 12 июля 2026 г.

On completeness of dynamic topological logic

Славнов С. А., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477–492

Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...

Добавлено: 27 февраля 2013 г.