?
Linear logic in normed cones: probabilistic coherence spaces and beyond
Mathematical Structures in Computer Science. 2021. Vol. 31. No. 5. P. 495-534.
Славнов С. А., Theoretical Computer Science 2006 Vol. 357 No. 1-3 P. 215-229
Добавлено: 4 марта 2013 г.
Blute R., Panangaden P., Slavnov S. A., Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
В статье предлагается категорная модель системы глубокого вывода BV, опеределенной Гульеми. В системах глубокого вывода реализована идея дедукций внутри формулы на любой глубине . Стандартные правила исчислений секвенций применимы только к корню дерева подформул, тогда как в этих новых системах можно вносить изменения в любой позиции дерева. В частности, глубокий вывод позволяет синтаксическое описание логик, ...
Добавлено: 28 декабря 2012 г.
Славнов С. А., Annals of Pure and Applied Logic 2005 Vol. 131 No. 1-3 P. 177-225
Добавлено: 4 марта 2013 г.
Sergey Slavnov, Annals of Pure and Applied Logic 2014 Vol. 165 No. 1 P. 357-370
Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces). However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations ...
Добавлено: 7 октября 2013 г.
Blute R., Panangaden P., Slavnov Sergey, Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
Добавлено: 18 февраля 2013 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
Добавлено: 1 июля 2020 г.
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719-744
Добавлено: 1 сентября 2016 г.
Славнов С. А., Mathematical Structures in Computer Science 2005 Vol. 15 No. 6 P. 1151-1178
Добавлено: 3 марта 2013 г.
Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479-517
Добавлено: 21 октября 2021 г.
Добавлено: 4 декабря 2021 г.
Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68-91
Добавлено: 2 октября 2021 г.
Ясницкий Л. Н., Ваулева С. В., Сафонова Д. Н. и др., Всероссийский криминологический журнал 2015 Т. 9 № 3 С. 423-430
В настоящее время среди криминалистов нет единого мнения в вопросе выбора параметров, позволяющих однозначно сформировать систему признаков, отличающих маньяка-убийцу от нормального человека, что затруд- няет создание эффективных компьютерных программ, предназначенных для использования в следственной практике. В статье описан опыт разработки ней- ронной сети, обучаемой на данных известных серийных убийц, включающих их биологические, социальные и психологические ...
Добавлено: 1 октября 2015 г.
Акопов А. С., Бекларян А. Л., Искусственные общества 2021 Т. 16 № 1 С. 1-23
В данной статье представлена модель движения наземных беспилотных транспортных средств (БТС) в искусственной дорожной сети (ИДС) класса «Манхэттенская решетка» с реализацией в системе крупномасштабного агент-ориентированного моделирования FLAME GPU. Исследованы наиболее важные сценарии развития дорожной ситуации, в частности, связанные со снижением видимости на дорогах, особенно в условиях необычного поведения других участников дорожного движения, например, неожиданного появления ...
Добавлено: 1 апреля 2021 г.
Колданов А. П., Колданов П. А., Семенов Д. П., Журнал Новой экономической ассоциации 2021 Т. 2 № 50 С. 12-34
В работе рассматривается задача анализа связей между парами акций фондового рынка по результатам наблюдений за их доходностями. Такая задача возникает при сетевом анализе фондового рынка. Предполагается, что совместное распределение доходностей принадлежит классу эллиптических распределений. В качестве мер связи рассматриваются классический коэффициент корреляции Пирсона, коэффициент корреляции Кендалла и коэффициент корреляции Фехнера. Исследуются способы построения множества пар ...
Добавлено: 17 июня 2021 г.
Lanham : University Press of America, 2012
The history of logic and analytic philosophy in Central and Eastern Europe is still known to very few people. As an exception to the rule, only two scientific schools became internationally popular: the Vienna Circle and the Lvov-Warsaw School. Nevertheless, the countries included in this region have not only joint history, but also joint cultural ...
Добавлено: 13 февраля 2013 г.
Малышев Д. С., Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2020 Vol. 14 No. 4 P. 706-721
Добавлено: 30 января 2021 г.
Пермь : Пермский государственный национальный исследовательский университет, 2020
В сборнике представлены статьи участников Всероссийской научно-практической конференции молодых ученых с международным участием «Математика и междисциплинарные исследования – 2020». На конференцию было прислано более ста статей из различных регионов России, а также из ближнего
и дальнего зарубежья. По итогам работы экспертной комиссии для публикации было отобрано шестьдесят две статьи. Каждая статья оценивалась группой экспертов в той области, которая рассматривается автором.
Представленные ...
Добавлено: 10 декабря 2020 г.
Springer, 2021
Книга вклюает в себя работы 16ой международной конференции по Анализу формальных понятий. Книга поделена на 5 секций: теория, правила, методы и приложения, исследование и визуализация ...
Добавлено: 10 июля 2021 г.
Марширов В. В., Марширова Л. Е., Сибирский журнал индустриальной математики 2013 Т. XVI № 4 С. 111-120
Рассматривается задача определения скорости охлаждения металла в процессе затвердевания при пересечениии температуры ликвидуса при интенсивном теплоотводе с его поверхности. Решение данной задачи необходимо для определения технологических режимов, граничных и начальных условий при которых могут буть получены новые сплавы с микрокристаллическими структурами. Приведены необходимые конечно-разностные уравнения, описан алгоритм, с использованием известных экспериментальных данных проведено тестирование созданной ...
Добавлено: 17 ноября 2013 г.
P. : Université Paris 13 - Paris Sorbonne Cité, 2013
In this workshop we will bring together participants who have solutions for one or more of the following problems: How can mutual understanding be optimized with the help of technology in hospitals where both patients and professionals have varying language skills, cultural backgrounds and cognitive capacities? Can domain ontologies, natural language processing tools, multilingual knowledge-based ...
Добавлено: 18 декабря 2014 г.
Dordrecht, L., Heidelberg, NY : Springer, 2014
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Belief Functions, BELIEF 2014, held in Oxford, UK, in September 2014. The 47 revised full papers presented in this book were carefully selected and reviewed from 56 submissions. The papers are organized in topical sections on belief combination; machine learning; applications; theory; ...
Добавлено: 1 октября 2014 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.