?
Game-theoretical interpretation of abelian logic A
Logical Investigations. 2019. Vol. 25. No. 2. P. 75–93.
Павлова А. М.
Язык:
английский
Avdoshin S.M., Pesotskaya E.Y., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 6, part 2 P. 133–146
Добавлено: 8 ноября 2026 г.
М.: Елисаветинско-Сергиевское просветительское общество, 2026.
Сборник включает материалы XXVIII Елизаветинско-Сергиевских чтений, состоявшихся в Москве 1 ноября 2025 г., посвящённых 180-летию со дня рождения императора Александра III и 120-летию памяти великого князя Сергея Александровича, и завершающих культурную и научно-просветительскую программу выставки «Августейший хозяин Москвы» (организованной Фондом «Елизаветинско-Сергиевское просветительское общество» в Музее Москвы в июле — ноябре 2025 г.).
Сборник предназначен для историков, ...
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
IEEE Computer Society (Conference Publishing Services, CPS), 2026.
Добавлено: 7 ноября 2026 г.
Sergey Avdoshin, Elena Pesotskaya, Салех Х. М. и др., Procedia Computer Science 2026 Vol. 292 P. 1332–1341
Добавлено: 7 ноября 2026 г.
Касаткина Т. А., Корбелла К., Сергеева В. С. и др., М.: ИМЛИ РАН, 2025.
В книге ставится задача описать ряд имплицитных авторских теорий творчества, вскрываемых анализом текстов и подтверждаемых эксплицитными высказываниями автора, в том числе такими, которые могут на неискушенный взгляд совсем не относится ни к каким авторским "теориям", высказываниям словно совсем о другом - но вскрывающими сердцевину авторского мировидения и, соответственно, главные принципы его творчества. ...
Добавлено: 6 ноября 2026 г.
Моторов Д. А., История философии 2026 Т. 31 № 1 С. 56–69
В статье рассматривается «слабая» философия истории социального критика и философа Ивана Иллича, в основу которой легло переосмысление автором идеи analogia entis Фомы Аквинского, произошедшее под влиянием знакомства и дружбы Иллича с видным представителем неотомизма Жаком Маритеном. В философии Ивана Иллича аналогия бытия превращается в понятие «пропорциональность», с помощью которого анализируются состояния сообществ и их социальная ...
Добавлено: 5 ноября 2026 г.
Штейнман М. А., Studia Religiosa Rossica: научный журнал о религии 2024 № 2 С. 156–171
В данной статье социальная реальность «Игры престолов» не рассматривается как своего рода модель или реконструкция
средневекового мироустройства, несмотря на ряд реалий. Напротив,
предполагается, что «Игру престолов» следует воспринимать скорее
как развернутое во времени отображение реальности конца XX – начала XXI в. Особое место занимает вопрос о кризисе секулярности и его
проявлений на различных уровнях трансмедийного нарратива «Игры
престолов». ...
Добавлено: 5 ноября 2026 г.
Колмогорова А. В., Ekaterina Yavshitz, Margolina A. и др., Association for Computational Linguistics, 2026.
Добавлено: 4 ноября 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 3 ноября 2026 г.
Абдулкадиров Т. Н., Рюмина Е. В., Рюмин Д. А. и др., Expert Systems with Applications 2026 Vol. 334 P. 1–29
Добавлено: 3 ноября 2026 г.
Alexander V. Solovyov, Journal of Sinographic Philologies and Legacies 2026 Vol. 2 No. 3 P. 107–144
Добавлено: 3 ноября 2026 г.
Поддьяков А. Н., Integrative Psychological and Behavioral Science 2026 Vol. 60 No. 4 P. 1–50
Добавлено: 3 ноября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6-1 С. 7–20
В статье исследуется длина адаптивной различающей последовательности для семейства инициальных полностью определенных наблюдаемых, возможно, недетерминированных автоматов. Приводится верхняя оценка длины такой последовательности и показывается ее достижимость. Обсуждается, каким образом полученные результаты можно применить при построении адаптивных диагностических тестов на основе конечно-автоматной модели. ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 4-1 С. 7–24
В статье усовершенствуется предложенная в предыдущей статье авторов модель кластеризованной распределённой сети с опросом, соответствующая сервис-ориентированной архитектуре. Целью опроса является нахождение ближайшего узла, готового оказать требуемую услугу (сервис) как можно раньше. Предлагаемые алгоритмы обеспечивают достижимость узлов, отсутствие дублирования сообщений, и обмен сообщениями с найденным узлом по кратчайшему пути. Кластеризованность сети означает, что в графе сети ...
Добавлено: 31 октября 2026 г.
Твардовский А. С., Бурдонов И. Б., Евтушенко Н. В., Труды Института системного программирования РАН 2026 Т. 38 № 4-2 С. 7–22
В статье вводятся понятия установочной и синхронизирующей последовательностей для конечных автоматов с временными ограничениями и таймаутами. Такие последовательности широко используются для идентификации финального состояния исследуемого автомата как при синтезе тестов на основе формальных моделей, так и при обучении конечно-автоматных моделей. Метод синтеза установочных и синхронизирующих последовательностей основан на использовании конечно-автоматной абстракции временного автомата, поскольку методы ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3-1 С. 7–32
В статье предложена модель кластеризованной распределённой сети для обработки запросов. В такой сети узлы являются вычислительными единицами, и каждый узел может запросить ту или иную услугу, которая может быть оказана каким-то другим, но заранее неизвестным, узлом сети. Для этого осуществляется опрос сети аналогичный поиску в ширину для того, чтобы найти ближайший узел с необходимыми свойствами. ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2025 Т. 37 № 5 С. 7–32
Статья является продолжением предыдущей статьи авторов, в которой строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы. Хосты предлагают пользователям пакеты определенных услуг (сервисов), сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации, и настройка узлов определяет множество путей от хоста к хосту, по которым будут пересылаться пакеты. Ситуация моделируется с использованием ...
Добавлено: 30 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2025 Т. 37 № 4-1 С. 7–30
В работе строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы, которая позволяет оценить классы задач, которые необходимо решать в такой сети, принимая во внимание, в том числе, нефункциональные параметры. Предполагается, что хосты предлагают пакеты определенных услуг (сервисов) и сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации. Правило определяет, каким соседним ...
Добавлено: 30 октября 2026 г.
Timur Teregulov, Elena R. Loubenets, / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.