Вычисление тропических рекуррентных последовательностей в пакете Gfan

В работе исследовались тропические рекуррентные последовательности, ассоциированные с последовательностями Сомоса, удовлетворяющими некоторому квадратичному рекуррентному соотношению. С помощью математического пакета Gfan вычислялись объекты тропической геометрии с

Читать далее

Вычисление количества бинарных отношений, обладающих заданными свойствами

Работа посвящена нахождению формул для вычисления количества бинарных отношений, обладающих различными комбинациями свойств «тотальность», «инъективность», «сюръективность», «однозначность». Рассмотрены случаи равномощных и неравномощных множеств. Формулы были

Читать далее

Диффузионные модели в генеративных задачах

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

Читать далее

Система рекомендации статей на основе машинного обучения

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

Читать далее

Алгоритмы контекстно-свободной коррекции правописания

В современных реалиях люди все больше пользуются печатным текстом. Но при наборе неизбежны ошибки – для решения этой проблемы используются различные автокорректоры. Известно множество способов

Читать далее

Сверточные нейронные сети с тропическим слоем

Сверточные нейронные сети (CNN) используются во многих областях машинного обучения. В таким сетях преимущественно используются числа с плавающей точкой, соответственно, чем глубже сверточная сеть, тем

Читать далее

Об одном свойстве диаграмм Юнга с максимальными размерностями

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

Читать далее