?
Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS 2021)
2021.
Под общей редакцией: R. Behringer, V. Chang
Главы книги
Tikhonov A., Ямщиков И. П., , in: Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS 2021).: [б.и.], 2021. P. 37–44.
Добавлено: 28 октября 2021 г.
Язык:
английский
Добавлено: 6 июня 2026 г.
Фонотов А. Г., Косычев А. М., Управление наукой: теория и практика 2026 Т. 8 № 1 С. 12–31
В исследовании сравниваются национальные стратегии искусственного интеллекта (ИИ) США, Китая и России, оценивается их содержательная полнота и управленческие логики. Используется гибридная рамка, объединяющая подходы управления (опережающего, рефлексивного, эксперименталистского и предварительного) и контентный анализ структуры стратегий. Результаты показывают, что США опираются на гибкое и рефлексивное управление, Китай – на централизованное директивное планирование, Россия – на смешанную ...
Добавлено: 4 июня 2026 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Болдырева М. А., Mohammad R., Agareva M. и др., FRONTIERS IN ANIMAL SCIENCE 2026 Vol. 7 Article 1837838
Добавлено: 3 июня 2026 г.
Добавлено: 3 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Kazantseva A. V., A.V. Toropova, Khusnutdinova E. K. и др., ВАВИЛОВСКИЙ ЖУРНАЛ ГЕНЕТИКИ И СЕЛЕКЦИИ, Федеральный исследовательский центр Институт цитологии и генетики Сибирского отделения Российской академии наук» (ИЦиГ СО РАН) (Новосибирск) 2025 Vol. 30 No. 3 P. 470–481
Формирование музыкальных способностей, включающих абсолютный слух, музыкальную память, чувство ритма, музыкальность, в значительной степени определяется наследственной составляющей (до 68 %). Проведенные к настоящему времени работы с использованием полногеномного анализа сцепления и ассоциаций с музыкальной одаренностью позволили выявить более 100 генетических локусов. В этот спектр входят гены транскрипционных факторов, регуляции нейрогенеза и синаптической пластичности; гены, закрепленные ...
Добавлено: 29 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Anna Davidovich, Anna N. Shestakova, Арзуманян Н. Г. и др., Frontiers in Psychology 2026 Vol. 17 Article 1764306
Добавлено: 27 мая 2026 г.
Добавлено: 16 февраля 2026 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 2 Article jzae042
This paper is concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from [Fagin et al. 1990, Section 6]. ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Добавлено: 26 декабря 2025 г.
Добавлено: 1 ноября 2025 г.
Лубашевский И. А., Lubashevskiy V., / Series SSRN "Working Paper Series". 2024. No. 4920533.
Добавлено: 28 сентября 2025 г.
Лубашевский И. А., Lubashevskiy V., / Series SSRN "Working Paper Series". 2024. No. 4969201.
Добавлено: 28 сентября 2025 г.
Yury Semenov, Oleg Sukhoroslov, , in: Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7–11, 2025, ProceedingsVol. 15681.: Switzerland: Springer, 2025. P. 317–331.
Добавлено: 17 сентября 2025 г.