====== Теоретическая информатика ====== === Сотрудники кафедры === **Когда**: вторник, 5 пара - 16:45 - 18:20 **Где**: 13-11 ---- Предлагается краткое введение в многообразие вопросов и дисциплин современной теоретической информатики. ---- [[specseminary:teor_informatika:materialy|Материалы семинара]] ---- **10.12.24** Новгородов Е.О. "Классификация топологии облака точек с использованием машинного обучения" Горчаков В.В. "Детекция аномалий на семантически сложных визуальных данных с помощью stable diffusion" **03.12.24** Шокуров А.В. "Машинное зрение в задачах видеоаналитики в различных отраслях хозяйства" **26.11.24** Тензина В.В. "Вычисление некоторых характеристик всех неизоморфных порядков на конечном множестве" **19.11.24** Борисенко В.В. "Проблема однозначности для контекстно-свободных языков и грамматик". **11.11.24** В понедельник 11 ноября 2024 г. вместо 12.11.2024 в 16.45 в аудитории 13-02 Главного здания МГУ состоится совместное заседание научно-исследовательских семинаров кафедр алгебры и теоретической информатики, посвященное памяти А.В. Михалёва. 16:45 Открытие семинара 17:00 Маркова О.В. "Функция длины алгебр". 17:30 Тензина В.В. "Топологически первичный радикал колец". 18:00 Голубков А.Ю. "Ортогональное пополнение алгебраических систем", 18:30 Неформальные обсуждения Планируется трансляция по Zoom. **05.11.24** Айдагулов Р.Р. "Сиракузская проблема" //Аннотация:// Будет рассказано о Сиракузской проблеме, называемой так же 3n+1 проблемой. **22.10.24** Борисенко В.В. "Алгоритмы обхода области роботом" **15.10.24** Светлаков А.В. "Темпоральная логика" **8.10.24** Колесникова К.А. "Полигоны над вполне простыми полугруппами" **1.10.24** Лежнин М.В., Хвощевский Д.А. "Обобщённые централизаторы бинарного отношения" **24.09.24** Тензина В.В. "Топологическая простота и топологии кольца многочленов" **17.09.24** Борисенко В.В. "Генерация больших простых чисел с сертификатами простоты" **21.05.24** Пряничников А.М. "Плоские унары" Храмченок Д. "Об аксиоматизируемости некоторых классов полигонов над полугруппами" Новгородов Е.О. "Глубокое обучение и методы его интерпретации в задаче вычисления характеристик детских рисунков" **14.05.24** Предзащита студентов 6 курс. **07.05.24** Предзащита дипломов: Смирнова Т.А. "Алгоритм сравнения деревьев относительных выпуклых оболочек для метода классификации объектов на изображениях" Исхакова Э.И. «Аугментация данных в задаче скелетизации» //Аннотация: // Будет рассмотрена модель для классификации действий человека, основанная на обработке данных, представленных в виде временных рядов 2D-скелета. Далее будут подробно описаны методы аугментации, применимые в задаче скелетизации. Летнева Е.А. "Аугментация данных и сверточные нейронные сети" //Аннотация: // Будет рассказано про аугментацию данных и сверточные нейронные сети, в частности, про архитектуру ResNet. **23.04.24** Конференция молодых учёных «Ломоносов-2024» https://lomonosov-msu.ru/rus/event/schedule/1599?date=2024-04-23#13186 Зданович Артем Иванович Порошин Богдан Алексеевич Салимов Ширали Эльшан оглу Маслеников Денис Олегович Бурыкина Алина Ильинична "Интеллектуальная система оценки устойчивости прогнозирования временных рядов" //Аннотация: // В данной исследовательской работе предлагается усовершенствованный метод оценки наихудшего риска, основанный на применении глубоких генеративных моделей. Этот подход позволяет проводить анализ устойчивости модели к реалистичным сдвигам данных, которые могут оставаться незамеченными при использовании тестовой выборки, что существенно повышает точность оценки наихудшего риска. Кроме того, данная работа расширяет применение метода оценки наихудшего риска на временные ряды. Наконец, на различных наборах данных продемонстрировано, что использование генеративных моделей способствует более точной оценке наихудшего риска, а также помогает определить, какая модель прогноза обладает лучшей устойчивостью к сдвигам в наборе данных. Казаков Илья Борисович Дробышев Александр Сергеевич Корчагин Никита Павлович Пряничников Алексей Михайлович Богатов Даниил Валерьевич **16.04.24** Немцев Л.А. «Увеличение чувствительности онлайн экспериментов с использованием методов машинного обучения» //Аннотация:// Онлайн эксперименты широко распространены в сфере машинного обучения и обработки данных. В отличие от большинства методов анализа данных для нахождения корреляционных закономерностей, эксперименты позволяют с высокой вероятностью установить причинно-следственную связь. В виду того, что выброки для проведения таких экспериментов конечна, проблема повышения чувствительности в последнее время становится все более актуальной. Петрова А.Р. «Применение многоруких бандитов для динамической оптимизации A/B-тестирования в реальном времени» //Аннотация:// Магистерская диссертация посвящена анализу методов многоруких бандитов для оптимизации решений в реальном времени, выделяя их преимущества перед A/B-тестированием. Исследование демонстрирует эффективность этих методов в области онлайн-сервисов, подчеркивая их вклад в улучшение операционной эффективности и пользовательского опыта через быструю адаптацию к изменениям. Березин Д.А. "Преобразование текста в речь с помощью латентных диффузионных моделей" //Аннотация:// Будут рассмотрены передовые модели генерации изображений (text2img) в частности: вариационные автоэнкодеры (VAE, VQ-VAE), авторегрессионные декодеры (GPT), диффузионные модели. А также возможности их применения в задачах преобразования текста в речь (text2speech). Обсудим, как эти инновационные подходы могут улучшить естественность и выразительность синтезированной речи, а также гибкость в ее генерации. Криницын А.А. «Трансформеры и методы их оптимизации» //Аннотация:// Рассказ про архитектуру трансформеров и про методы их оптимизации: квантизация, дистилляция, прунинг. **09.04.24** Встреча сотрудников кафедры со студентами 2 курса факультета. **2.04.24** Участие в международной научной конференции "Математика в созвездии наук" к юбилею академика В.А. Садовничего. **26.03.24** Конференция "Ломоносовские чтения" 1. "Векторные базы данных в современных приложениях искусственного интеллекта". Доклад Главацкого С.Т., доцента; Бурыкина И.Г., старшего преподавателя. 2. "Структурные вопросы теории полигонов над полугруппами". Доклад Кожухова И.Б., профессора. 3. "Вычисления в множестве неизоморфных конечных строгих порядков". Доклад Тензиной В.В., ведущего научного сотрудника. 4. "Категорный метод. Истоки и приложения". Доклад Зеликина Н.В., научного сотрудника. 5. "Алгоритм Евклида и разложение в непрерывную дробь". Доклад Айдагулова Р.Р., старшего научного сотрудника. 6. "Оптимизированные структуры данных для увеличения скорости вывода и обучения моделей машинного обучения". Доклад Иванова А.Б., научного сотрудника. 7. "Алгоритмы увеличения размера растровых изображений с сохранением четкости". Доклад Борисенко В.В., ведущего научного сотрудника. 8. "Подготовка синтезированных данных под методы машинного обучения". Доклад Шокурова А.В., научного сотрудника. **19.03.24** Шокуров А.В. "Растеризация прямых и окружностей" **12.03.2024** Тензина В.В. "Топологически первичный радикал" **5.03.2024** Айдагулов Р.Р. "Квантовая комбинаторика" //Аннотация:// Рассматривается (ассоциативная) алгебра, порожденная элементами z_1,…, z_m с коммутационными соотношениями z_iz_j=w(i,j)z_jz_i, где w(i,j) обратимые элементы кольца. Это обобщение алгебр Клиффорда с w(i,j)=-1. В стандартной алгебре Клиффорда (z_1+...+z_m)^n (n=2) задает метрику. Здесь рассматривается случай n>2 и w(i,j) корни из 1 степени n. **27.02.2024** Тарлинский И.В. "Влияние гипер-параметров на сходимость обучения нейронных моделей архитектуры "Transformer" при обучении с нуля" //Аннотация:// При решении прикладных задач часто выбирается одна из уже пред-обученных подходящих моделей. Однако, такая возможность есть далеко не всегда, и, зачастую, единственный вариант - это обучить модель машинного обучения с нуля. В этом докладе будет рассмотрена одна из прикладных задачей, связанная с медицинским доменом, где требуется обучить семантическую сеть на последовательностях медицинских диагнозов пользователей. Каждый медицинский диагноз кодируется определенным icd-10 кодом и формальная постановка задачи заключается в следующем. Требуется сопоставить каждому icd-10 коду (токену) векторное представление таким образом, чтобы пациенты (последовательность icd-10 кодов) одних и тех же групп пользователей попадали в один кластер, а разные - в разные. В докладе будут представлены полученные результаты, связанные с особенностями выбора размера батча, функции ошибки и корреляция с полученными в результате кластерами. Помимо результатов, будет представлена гипотеза, подтверждающая полученные результаты. **20.02.2024** Денцов Д.С. «Теория информации и нейронные сети» //Аннотация:// В докладе будет рассмотрена связь между теорией информации и работой нейронных сетей, а именно: влияние информационных характеристик слоев нейронной сети (например, энтропии) на ошибку предсказания, обобщающую способность и процесс обучения. Также будет рассмотрен вопрос оценки энтропии слоев нейронных сетей. **13.02.2024** Новиков А.К. "Исследование новых функций активации и их влияние на скорость и точность обучения нейронных сетей" **19.12.2023** Каюмов Г.Р., Нуждов Г.А. "OCR: тогда и сейчас" //Аннотация:// В своем докладе мы хотим обсудить методы распознавания печатного текста в 90-х годах прошлого столетия и их эффективность, а так же сравнить их с современными подходами в распознавании текстов. Обсудим историю зарождения OCR, математические принципы, которые лежат в основе моделей распознавания, точность результатов. Дерендяев М.А. «Векторизация растровых изображений» //Аннотация:// В докладе будут рассмотрены методы нахождения границ объектов на растровом изображении и их интерполяция с помощью кубических сплайнов, методы создания «тонких» границ. В частности будет более подробно разобран такой метод определения граничных пикселей, как canny edge detector. **12.12.2023** Тензина В.В. "Алгебраические структуры в информатике" **5.12.2023** Зеликин Н.В. "Информатика, Экономика, Бизнес-консалтинг" //Аннотация:// Речь пойдет о подготовке кафедрального спецкурса по выбору студентов. Материал базируется на курсе МФК, который 10 лет читается с ровным успехом. **28.11.2023** Веселов В.Ф. «О факторизации чисел» **21.11.2023** Бурыкин И.Г. "Векторные базы данных в современных приложениях искусственного интеллекта" **14.11.2023** Рыбакова Екатерина "Обобщенная архитектура метода робастного оценивания параметров модели на основе случайных выборок, поддерживающая множественный поток данных" **07.11.2023** Семинар памяти Александра Васильевича Михалёва. 1. Главацкий Сергей Тимофеевич, доцент, и.о. зав. кафедрой ТИ, "Математические методы и алгоритмы теоретической информатики в науке о данных и искусственном интеллекте" 2. Кожухов Игорь Борисович, профессор кафедры ТИ, "Структурная теория полигонов над полугруппами" 3. Борисенко Владимир Витальевич, в.н.с. кафедры ТИ, "Оптимальные тетраэдрические сети" 4. Тензина Виктория Васильевна, в.н.с., кафедры ТИ, "Применение топологически простых колец в криптографии" 5. Чеповский Александр Андреевич, к.ф.-м.н., доцент НИУ ВШЭ, "Неявные сообщества на взвешенных графах взаимодействующих объектов" 6. Шокуров Антон Вячеславович, н.с. лаборатории ВМ, "Компьютерная графика" **31.10.2023** В.В. Тензина "Вычисление числа неизоморфных бинарных отношений с единственным возможным автоморфизмом" //Аннотация//: Будет описан алгоритм и результаты вычислений для различных видов бинарных отношений на конечном множестве. Попутно будет рассказано, как это связано с перестановочными матрицами, инвариантами ориентированных графов, числом орбит действия симметрической группы подстановок на множестве булевых матриц. **24.10.2023** В.А. Ярошевич «Изотонные полугруппы бинарных отношений». **17.10.2023** Л.С. Волков «Алгоритм кодирования длин серий для бинарных данных, его применение к сжатию изображений» //Аннотация//: Описание алгоритма кодирования длин серий для бинарных данных, описание алгоритма сжатия изображений на основе данного алгоритма, представление результатов численных экспериментов. **10.10.2023** А.В. Решетников «Определяемость отношений полугруппами изотонных преобразований». //Аннотация//: В 1969 году Л.М.Глускин доказал, что если на множестве Х задан квазипорядок, то он определяется полугруппой преобразований, сохраняющих этот квазипорядок, почти однозначно. То есть если полугруппы изоморфны, то порядки либо совпадают, либо обратны друг другу. Впоследствии теорема Глускина обобщалась на бинарные отношения, не являющиеся квазипорядками, на полугруппы частичных, многозначных преобразований, на n-арные отношения и т.д. **3.10.2023** С.Т. Главацкий "О фактор-кольцах полных топологических колец" **26.09.2023** В.В. Тензина "Различные топологические аналоги конечной порождённости, артиновости, нётеровости" **19.09.2023** Р.Р. Айдагулов «Математические модели в информатике» В.В. Борисенко "Решающие деревья" **16.05.2023** Мяо Синьюй "Группа вращений скьюба и нахождение минимального числа поворотов для решения скьюба" (предзащита ВКР) Храмченок Дмитрий "Об аксиоматизируемости некоторых классов полигонов над полугруппами". **10.05.2023** Предзащита студентов 6-го курса в 16:45 **18.04.2023** Предзащита студентов из Душанбе **11.04.2023** Конференция молодых учёных "Ломоносов-2023" **4.04.2023** Конференция «Ломоносовские чтения-2023» 1. "Модели искусственного интеллекта и третья волна технологий баз данных". Доклад Главацкого С.Т., доцента; Бурыкина И.Г., научного сотрудника. 2. "Полигоны над полугруппами". Доклад Кожухова И.Б., профессора. 3. "Примитивные и почти примитивные элементы свободных алгебр над конечными полями". Доклад Михалева А.А., профессора; Майсурадзе М.В., аспиранта; Трощенкова А.В. и Шипиловой К.М., студентов. 4. "Графы Гротендика и интегрирование матриц". Доклад Гутермана А.Э., профессора; Крейнес Е.М., старшего научного сотрудника. 5. "Детские рисунки с единственной реализацией паспорта". Доклад Адрианова Н.М., старшего научного сотрудника. 6. "Градуированные вычисления и быстрое умножение матриц". Доклад Айдагулова Р.Р., старшего научного сотрудника. 7. "Топологические аналоги первичного радикала колец". Доклад Тензиной В.В., ведущего научного сотрудника. 8. "Построение оптимальной тетраэдрической сети". Доклад Борисенко В.В., ведущего научного сотрудника; Пепко Я.С., аспиранта. 9. "Работа с радарными данными". Доклад Шокурова А.В., научного сотрудника. 10. "Категорная модель экосистемы бизнеса". Доклад Зеликина. Н.В., научного сотрудника. **28.03.2023** А.В. Светлаков "О синтаксическом анализе L(0)-грамматик»" **21.03.2023** Встреча со студентами второго курса **14.03.2023** Мяо Синьюй "Анализ группы вращений скьюба при помощи системы компьютерной алгебры GAP" В.В. Борисенко "Алгоритмические проблемы теории формальных языков" **07.03.2023** А.С. Сотов «Канторовость и коканторовость полигонов над полугруппами» **28.02.2023** Встреча со студентами из Душанбе **21.02.2023** К.А. Колесникова «Условия конечности в полигонах над полугруппами» //Аннотация//: В докладе будет продемонстрирован метод исследования условий конечности полигонов над полугруппами на примере хопфовости и кохопфовости унитарных полигонов над группами. **14.02.2023** И.Б. Кожухов "Структурная теория полигонов над полугруппами" **13.12.2022** В.В. Борисенко "Алгоритмы трехмерной графики" //Аннотация//: Библиотека OpenGL, построение триангуляции изоповерхности, изображение полупрозрачных объектов. **6.12.2022** Илья Цымбалюк "Применение методов стохастической оптимизации для обучения нейронных сетей" **29.11.2022** А.В. Шокуров "Основы отрисовки трехмерных объектов путем триангуляции поверхности" В.В. Тензина "Использование кватернионов в компьютерной графике для вращения в трёхмерном пространстве" **22.11.2022** Т.Э. Кренкель "Два ноумена XX века, лежащие в основании квантовой информатики" //Аннотация//: Рассмотрим два ноумена «спин» и «кубит». Первый был введен Джорджем Уленбеком и Сэмюэлем Гаудсмитом (аспиранты Эренфеста) в 1925 году, второй определен Бенджаменом Шумахером в 1995 году. Следует помнить, что 100-летие «кванто вой механики» (термин введен Максом Борном) будет отмечаться в 2025 году! Физики и математики обменивались (делали это в прошлом и продолжают это делать) информацией. Но физики изучают «феномены», т.е. чувственно воспринимаемые образы,а математики стремятся рассматривать «ноумены», т.е. умопостигаемые образы. Эта традиция восходит к Платону. Можно фигурально сказать, что на «ноуменлэнд» (ничейной земле) происходит обмен информацией: физики–математики. Петр Константинович Рашевский в 1955 году опубликовал в УМН теорию Спиноров, но это умопостижение до сих пор в полной мере не используется физиками. И наоборот, Полем Дираком в 1938 году были предложены «обозначния (скобки) Дирака», но они не воспрнимается математиками. **15.11.2022** Р.Р. Айдагулов "Преобразование Фурье в алгебре матриц" //Аннотация//: Групповые алгебры, характеры и преобразование Фурье в коммутативном случае, применение для вычисления произведения больших чисел. Расширение групповой алгебры до бигрупповой алгебры. Характеры и значения в бигрупповой алгебре. В алгебре матриц имеется структура бигрупповой алгебры. Вычисление произведения в бигрупповой алгебре. **08.11.2022** Семинар памяти Александра Васильевича Михалева. С.Т. Главацкий, И.Б. Кожухов, А.Э. Гутерман, Е.М. Крейнес, В.В. Тензина, Н.М. Адрианов. //Аннотация//: Докладчики расскажут о своей совместной работе с Александром Васильевичем и поделятся своими воспоминаниями об этом замечательном человеке. **01.11.2022** Т.Э. Кренкель, А. В. Михалёв "Первая лекция по квантовой информатике (цикл лекций)" //Аннотация//: По Платону кубит есть основной ноумен квантовой информатики. Лекция посвящена определению кубита. **25.10.22** К.А. Колесникова «Условия конечности в полигонах над полугруппами» //Аннотация//: В докладе будут рассмотрены полигоны над полугруппой (и в частности над группой) и представлены результаты исследования полигонов на предмет выявления условий конечности (хопфовости, кохопфовости и др.). **18.10.22** Александр Сотов «Канторовость и коканторовость полигонов» // Аннотация//: В докладе будут рассмотрены условия конечности полигонов над полугруппами: канторовость и коканторовость. **11.10.22** Г.Г. Аракелов "Машинное обучение на зашифрованных данных" // Аннотация//: Будут рассмотрены различные аспекты применения машинного обучения на зашифрованных данных, а также современные успехи, проблемы и перспективные направления исследований. **4.10.22** Д.Н. Баротов "Полилинейные продолжения булевых функций" //Аннотация//: В работе изучено существование и единственность полилинейное продолжение произвольной булевой функции. Доказано, что для любой булевой функции существует соответствующее полилинейное продолжение и оно единственно. Предложен алгоритм нахождения полилинейного продолжения булевой функции и доказана его корректность. На основе предложенного алгоритма найден явный вид полилинейного продолжения булевой функции. **27.09.22** Г.Г. Аракелов "Современные методы гомоморфного шифрования" //Аннотация//: В серии докладов будут рассмотрены современные подходы к гомоморфному шифрования и приложение в области машинного обучения. В первом докладе будет дан обзор существующих подходов к построению гомоморфной криптографии, трудноразрешимых задачах, лежащих в основе и проблемам, существующим в настоящее время. **20.09.22** К.В. Беллонин "Прореживание нейронных сетей" //Аннотация//: Нейронные сети с каждым годом находят все больше применений в самых различных сферах деятельности человека, являясь признанным стандартом для решения множества задач, в таких областях как: компьютерное зрение, работа с естественным языком и т.д. На текущий момент, прореживание активно используется при развертывании обученных нейронных сетей, однако полноценное использование разреженных архитектур не распространено. В докладе рассматриваются возможные пути по созданию алгоритмов поиска разреженных архитектур. **1.3.22** А.В. Шокуров "Лазерная съемка задачи таксации леса" **15.2.22** доклад аспирантки 2 года К.А. Колесниковой "Условия конечности в полигонах над полугруппами" **8.2.22** доклад профессора И.Б. Кожухова **14.12.21** И.Б.Кожухов "Полугруппы и автоматы" (заключительная лекция) **7.12.21** И.Б.Кожухов "Полугруппы и автоматы" (продолжение) **16.11.21** И.Б.Кожухов "Полугруппы и автоматы" (продолжение) **9.11.21** И.Б.Кожухов "Полугруппы и автоматы" (продолжение) **2.11.21** И.Б.Кожухов "Полугруппы и автоматы" (продолжение) **26.10.21** И.Б.Кожухов "Полугруппы и автоматы" (продолжение) **19.10.21** И.Б.Кожухов "Полугруппы и автоматы" **12.10.21** В.В.Тензина "Этюды топологической алгебры" **05.10.21** В.В.Борисенко "Восстановление геометрии коронарных артерий по данным компьютерной томографии" **18.05.21** Предзащита дипломных работ студентов мех-мата. - Демин Даниил Сергеевич, Верификация живого человека по визуальной информации - Денцов Дмитрий Сергеевич, Теория сжатия сверточных нейронных сетей - Долгий Алексей Сергеевич, Машинное обучение в задаче автономного управления колесного робота - Михайлин Д.А., Синтез речи через подражание - Пепко Ярослав Сергеевич, Алгоритмы сегментации и изображения трехмерных объектов - Прохоров Дэвид Константинович, Обучение в случае нестационарных данных - Церцвадзе А.А., Классификация временных рядов спутниковых оптических данных **20.04.21** Конференция "Ломоносовские чтения-2021" **13.04.21** Конференция молодых ученых "Ломоносов-2021" **06.04.21** Доклады студентов филиала в Душанбе **30.03.21** * Сотов Александр. "Условия конечности для полигонов над полугруппами" * Кузьмин Сергей. "Условия стабильности многоканальной системы с одновременным обслуживанием на нескольких приборах" **23.03.21** * Беллонин Кирилл, "Прореживание, как метод поиска архитектуры нейронных сетей." * Кусаинов Рустам. "Алгоритмы 3d реконструкции формы объекта в компьютерном зрении." **16.03.21** * Грижебовская Анна, "Отпечатки пальцев и сосудистый рисунок , как биометрический признак. Алгоритмы обработки и распознавания.” * Беллонин Кирилл, "Прореживание, как метод поиска архитектуры нейронных сетей." **09.03.21** * Садова Карина: Генеративные нейронные сети в задаче бесшовного переноса лиц. * Ватузов Александр: Вычисление пар Белого с использованием модулярных функций **02.03.21** * Залилов Эмиль, Разработка тестировочного окружения для задач робототехники. * Гусев Всеволод, Нейросети для обработки речи **16.02.21** * Волков Леонид: От Хаффмена до CMIX и NNCP * Зайцев Михаил: Машинное обучение в задачах распознавания звука **3.11.20** А.В.Михалёв и И.Б.Кожухов. «Полигоны над полугруппами» (продолжение) **27.10.20** А.В.Михалёв и И.Б.Кожухов. «Полигоны над полугруппами» (продолжение) **20.10.20** Ломоносовские чтения ({{specseminary:лч-2020_осень.pdf|программа}}) **13.10.20** А.В.Михалёв и И.Б.Кожухов. «Полигоны над полугруппами» **6.10.20** Р.Р.Айдагулов, С.Т.Главацкий и А.В.Михалев «Модели кластеризации». {{ :specseminary:teor_informatika:модели_кластеризации.pdf |Аннотация доклада}} **10.03.20** А.Ю. Голубков «Радикалы неассоциативных алгебр, продолжение» **03.03.20** А.Ю. Голубков «Радикалы неассоциативных алгебр, продолжение» **25.02.20** А.Ю.Голубков "Радикал Джекобсона неассоциативных колец" **18.02.20** С.Тищенко "Графы: сетевое моделирование" **3.12.19** Т.Э.Кренкель, А.В Михалев "Квантовая информатика"(продолжение) **26.11.19** Е, Кислицин, А.В.Михалев, Т.Э. Кренкель "Кодирование. Квантовые коды" **19.11.19** "Квантовые алгоритмы" (продолжение) **12.11.19** А.Я. Хелемский "Квантовый функциональный анализ" **5.11.19** С.Т. Главацкий "Алгоритмы в обработке больших данных" часть 2. **29.10.19** с/с Т.Э. Кренкель, А.В. Михалев "Квантовая информатика" (доклад) **22.10.19** с/с Айдагулов Р.Р., Главацкий С.Т., Михалев А.В. Кластеризация (новые алгоритмы) часть 2 **15.10.19** с/с А.В.Токтарев "Ортогональность двух идемпотентных квазигрупп со свойством: x(xy) = y" **8.10.19** Шляхов Антон Романович "Квантовая метрология с одним кутритом" Т.Э Кренкель, А.В. Михалев "Теорема Глиссона в квантовой механике" (продолжение) **1.10.19** 16-45 - 17-30 А.В.Токтарев "Ортогональность двух идемпотентных квазигрупп со свойством: x(xy) = y" 17-30 - 18-15 Дэвид Прохоров Исследование роботоспособности SLAM алгоритмов **24.09.19** 16-45 - 17-30 - А.Лебедев "Коды и алгоритмы" 17-30 - 18-15 - Т.Э Кренкель, А.В. Михалев "Теорема Глиссона в квантовой механике" доклад N2. **17.09.19** Т.Э.Кренкель, А.В.Михалев "Проблемы информационной интерпретации квантовой информатики" (доклад №1) **02.04.19** И.Б.Кожухов Полугруппы и автоматы Кренкель Т.Э. Квантовая информатика (продолжение) **26.03.19** Аракелов Г.Г., Михалев А.В. Распределенные вычисления **19.03.19** Кренкель Т.Э. Квантовая информатика (продолжение) **12.03.19** А.Я.Хелемский Квантовый функциональный анализ **05.03.19** Кренкель Т.Э. Квантовая информатика (продолжение) **26.02.19** Кренкель Т.Э. Квантовая информатика (продолжение) **19.02.19** Кренкель Т.Э. Двухуровневые квантовые системы и SU(2) **12.02.19** Веселов В.Ф. NP- полнота, машинное обучение **11.12.18** Д.М. Ермилов Теория кодирования А.О. Петриков Частичные полугрупповые операции **4.12.18** М. В. Зайцев "Теория колец и информатика" **27.11.18** М.А.Пентус "Исчичсления Ламбека" **20.11.18** Т.Э.Кренкель Квантовая информатика **13.11.18** А.В.Михалев "Алгебраические аспекты в информатике" **6.11.18** Т.Э. Кренкель "Начало квантовой информатики" **30.10.18** Р .Р. Айдагулов "Метрики в математике и физике **23.10.18** Волков М.М. Разработка и исследование масштабируемой системы преобразования информационных потоков с мобильных сенсоров **16.10.18** В.Ф. Веселов Вычисления в биоинформатике. **9.10.18** Кишкин Сергей Александрович Анализ контурных изображений с помощью оптики спиральных пучков **2.10.18** Веселов Владимир Федорович Основные свойства Больших Данных **15.05.18** Костин А.А. , Кренкель Т.Э. 3,5 сюжета о снарках **24.04.18** Научная конференция "Ломоносовские чтения" (продолжение) **17.04.18** Научная конференция "Ломоносовские чтения" **10.04.18** XXV Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов" **03.04.18** Хосе Рамиль Альварес Троичная информатика. **27.03.18** Катышев С.Ю. Алгебраические структуры в кодировании. **20.03.18** Ждановский И. Ю. Взаимно-несмещенные базисы в размерности 7. Семейство Петреску, соотношение Нишоары и возможные обобщения. **13.03.18** Адрианов Н.М. Квантовый алгоритм Гровера. **06.03.18** Ждановский И.Ю. Взаимно-несмешанные базисы (MUBs), алгебраический подход. **27.02.18** Тищенко С. Информатика и графы Айдагулов Р.Р. О кластеризации в графе социальной сети Т. Э. Кренкель, Матрицы Адамара, Алгебра Паули и гипотеза Цаунера. **20.02.18** Т. Э. Кренкель, Матрицы Адамара, Алгебра Паули и гипотеза Цаунера. **13.02.18** Т. Э. Кренкель, Квантовая проективная блок-схема Адамара 2-(15,7,3). Скотников А.П, Матрицы Адамара - результаты исследования. **26.12.17** В 15:00. Профессор А.И.Овчинников (Городской университет Нью-Йорка), Задача исключения неизвестных для систем дифференциальных уравнений. **19.12.17** Защита курсовых **12.12.17** Т. Э. Кренкель, Что мы ожидаем от квантовых алгоритмов. И. Е. Иванов, Автоматные функции с магазинной памятью. **05.12.17** Н.М. Адрианов (мех-мат), Квантовые алгоритмы (часть 3). **28.11.17** Н.М. Адрианов (мех-мат), Квантовые алгоритмы (часть 2). **21.11.17** Лаврентьев А.М. (Новосибирск; Лион, Франция), Платформа TXM как средство подготовки аннотаций и анализа корпусов текстов. **14.11.17** Н.М. Адрианов (мех-мат), Квантовые алгоритмы. Р.Р. Айдагулов (мех-мат), Квантовая математика. **07.11.17** Т.Э. Кренкель, Алгебры Клиффорда. В.В. Тензина (мех-мат), Усовершенствование мягкого свердочного декодирования при QAM-модуляции. **31.10.17** Г.Г. Аракелов, А.В. Михалев Гомоморфная (мех-мат), Криптография. **24.10.17** Р.Р. Айдагулов (мех-мат), Квантовая математика. Т.Э. Кренкель, Квантовая информатика. **17.10.17** Р.Р. Айдагулов (мех-мат), Квантовая математика (продолжение). **10.10.17** Т.Э. Кренкель, Квантовая информатика. Р.Р. Айдагулов (мех-мат), Введение в квантовую математику. **3.10.17** М.Н. Назаров, Математическое моделирование морфогенеза. **26.09.17** Т.Э. Кренкель, Квантовая информатика. **19.09.17** В.А. Любецкий (мехмат), Проблемы биоинформатики. **30.05.17** В.В. Тензина (мехмат), Структура топологически артиновых слева колец, в которых все главные левые идеалы замкнуты. **23.05.17** Защита курсовых. **16.05.17** Слушание докладов в рамках конференции "Ломоносовские чтения 2017". Секция "Теоретическая информатика". Начало в 15-00. 1. Применение теории нечетких множеств в теоретической информатике. Доклад Тензиной В.В., ведущего научного сотрудника. 2. Прикладная информатика в вопросах принятия экономических решений в нечетко структурированной среде. Доклад Дмитриевой Л.П., старшего преподавателя. 3. Гиперболическая геометрия и СТО. Доклад Айдагулова Р.Р., старшего научного сотрудника. 4. Оптимальные тетраэдрические сети. Доклад Борисенко В.В., старшего научного сотрудника. **05.02.17** Тищенко Сергей, Графы. **25.04.17** Предзащита выпускных квалификационных работ студентами из Душанбе. **18.04.17** Конференция "Ломоносовские чтения 2017". Секция "Теоретическая информатика". Начало в 15-00. 1. Проблемы алгебраического крипто-анализа. Доклад Михалева А.В., профессора, Аракелова Г.Г., аспиранта. 2. О дисциплине “Наука о данных” для математиков. Доклад Главацкого С.Т., доцента, Бурыкина И.Г., научного сотрудника. 3. Методы теории категорий в системной инженерии. Доклад Ковалева С.П., профессора. 4. Комбинаторика слов Линдона-Ширшова и Штурма. Доклад Михалева А.А., профессора. 5. Параллельное определение информации и энергии. Параллелизм между информационными и энергетическими производящими системами. Доклад Захарова В.К., профессора. 6. О числе точек пространства модулей алгебраических кривых над конечными полями. Доклад Крейнес Е.М., старшего научного сотрудника, Амбург Н.Я., научного сотрудника, Шабата Г.Б., профессора. 7. О реализуемости паспортов карт на поверхностях. Доклад Адрианова Н.М., старшего научного сотрудника. 8. К вопросу обоснования вычислительных возможностей свёрточных нейронных сетей. Доклад Шокурова А.В., научного сотрудника. **11.04.17** Т.Э. Кренкель, Квантовая информатика **04.04.17** А.М. Миронов (мех-мат), Вероятностные автоматы. **28.03.17** В.К. Захаров (мех-мат), Параллельное определение информации и энергии. Параллельное определение информационной и энергетической производящих систем. //Аннотация//: {{:specseminary:об_информационных_и_энергетических_системах.doc|}} **21.03.17** В.В. Тензина (мех-мат), Приложения теории нечётких множеств. //Аннотация.// Рассматриваются такие приложения нечётких множеств как нечёткая классификация, нечёткий рейтинг, нечёткие экспертные системы, системы нечёткого управления и нечёткие нейронные сети. **14.03.17** Р.Р. Айдагулов (мех-мат), Кластеризация. //Аннотация.// Будет сделан критический обзор существующих методов. Предлагаются новые алгоритмы кластеризации. **07.03.17** А.В. Шокуров (мех-мат), Методы обучения линейной модели. //Аннотация.// Предъявлен алгоритм обучения и рассмотрена его связь с традиционными методами. Показано применимость ядрового трюка. **28.02.17** С.Т. Главацкий (мех-мат), Анализ ссылок и ранжирование источников данных в Web. //Аннотация.// Рассматриваются современные походы к анализу ссылок и ранжированию значимости источников данных во Всемирной Паутине. Анализируется структура Web, основные идеи и подходы к разработке методов оценки достоверности источников данных: – различные версии PageRank, их обоснование, устойчивость и достоверность; – другие подходы (концентраторы-авторитеты). **21.02.17** А.В. Шокуров (мех-мат), Линейные модели в машинном обучении. //Аннотация.// Показано, что линейные модели не такие уж и ограниченные как может показаться на первый взгляд. Признаковые пространства. Ядровый трюк. **14.02.17** С.Т. Главацкий (мехмат), Аналитика больших данных для математиков. **13.12.16** Тищенко Сергей, Графы и информатика. **06.12.16** Т.Э. Кренкель, Квантовая информатика (продолжение). **29.11.16** А.В. Шокуров (мех-мат), Машинное обучение и фундаментальная математика. //Аннотация.// Что есть и от куда берется? Где начинается фундаментальная математика, а где метафизика? На чем основано машинное обучение. **22.11.16** Т.Э. Кренкель, Квантовая информатика. **15.11.16** С.П. Ковалев (мехмат), Методы машинного интеллекта в инженерии аксиоматических систем. //Аннотация.// Рассматриваются возможности автоматического формирования аксиоматического предметного знания при помощи методов машинного интеллекта. Дается обзор подходов к автоматизации формирования аксиоматического знания. Обсуждается приложение представленных подходов к проблемам автоматизации проектирования сложных гетерогенных инженерных изделий. Вводится новая конструкция категории мультизапятой (multicomma category), предназначенная для аксиоматического описания проектирования в аспектах. **01.11.16** Р.Р. Айдагулов (мехмат). Быстрое умножение матриц. //Аннотация.// Небольшая история вопроса. Сведение к умножению квазикоммутативных многочленов. Возможность распространения на большие порядки. **25.10.16** А.М. Чеповский (мехмат), Методы компьютерной лингвистики. **18.10.16** В.Т. Марков (мехмат), Абелевы и неабелевы групповые коды (Продолжение). **11.10.16** В.Т. Марков (мехмат), Абелевы и неабелевы групповые коды. [[Аннотация]] Будут представлены результаты, полученные коллективом в составе: К.Гарсиа Пильядо, С.Гонсалес, К.Мартинес, А.А.Нечаев и докладчик. В 2009 испанские математики Берналь, дель Рио и Симон предложили следующее понятие: линейный код C над полем F называется G-кодом, где G - конечная группа, если он перестановочно эквивалентен идеалу группового кольца FG. Естественно возникает вопрос, можно ли свести G-коды для заданной группы G к A-кодам для некоторой более просто устроенной группы A? В частности, всегда ли (или в каких случаях) все G-коды являются абелевыми, т.е. A-кодами для некоторой абелевой группы A? В докладе будут представлены некоторые примеры неабелевых групповых кодов, в том числе таких, которые по своим параметрам превосходят все абелевы групповые коды той же длины и размерности, и некоторые классы абелевых групповых кодов. **04.10.16** Р.Р. Айдагулов (мехмат), О p-адических приближениях биномиальных коэффициентов. [[Аннотация]] Презентация: {{:specseminary:P-adic.pptx|}} **17.05.16** Защиты курсовых работ студентов. **26.04.16** 1. А. Зинина (мехмат), Колмогоровская сложность в машинном обучении. //Аннотация.// Рассматривается строгое обоснование подхода к синтезу решающих правил, основанного на принципе их кратчайшего описания, также рассматривается сложностной аналог байесовского подхода и критерий остановки синтеза решающего правила. 2. А. Егорова (мехмат), Понятие энтропии и алгебраической энтропии. Алгебраическая энтропия абелевых групп. //Аннотация.// Рассматриваются основные результаты об алгебраической энтропии колец эндоморфизмов абелевых групп: теорема сложения для абелевой периодической группы. 3. Б. Степанов, Полное гомоморфное шифрование на основе обучения с ошибками. //Аннотация.// После выхода работы К. Джентри, доказавшей возможность полного гомоморфного шифрования, начали появляться другие схемы FHE, основанные на различных вычислительно трудных задачах. Обучение с ошибками - одна из таких задач, позволившая построить перспективную схему, обладающей лучшей асимтотикой на типичных вычисляемых функциях и поддерживающую шифрование, основанное на личности. 4. Н. Левко, Идеалы Свободных Нильпотентных Алгебр Ли. //Аннотация.// В докладе прозвучат оценки числа однородных идеалов свободных нильпотентных алгебр Ли над конечными полями. **19.04.16** Конференция "Ломоносовские чтения". Секция "Теоретическая информатика". 1. Прикладные аспекты гомоморфной криптографии. Доклад Михалева А.В., профессора, Аракелова Г.Г., аспиранта. 2. Аналитика больших данных на современных BI-платформах. Доклад Главацкого С.Т., доцента, Бурыкина И.Г., научного сотрудника, Одинцова А.А., ведущего научного сотрудника. 3. Энергия и информация как особые свойства материальных предметов. Система как материальный предмет. Доклад Захарова В.К., профессора. 4. О монотонных отображениях матриц над полукольцами. Доклад Крейнес Е.М., старшего научного сотрудника. 5. Компьютерные эксперименты с семействами Фрида. Доклад Адрианова Н.М., старшего научного сотрудника. 6. Идеальные хеш-деревья. Доклад Иванова А.Б., научного сотрудника. 7. Нелокальная гидромеханика. Доклад Айдагулова Р.Р., старшего научного сотрудника. 8. Информационно-математические платформы управления корпорациями. Доклад Зеликина Н.В., научного сотрудника. 9. Теория нечетких множеств в экономических исследованиях. Доклад Дмитриевой Л.П., старшего преподавателя. 10. О разрешимости систем уравнений, порождающих контекстно-свободные языки. Доклад Калугина-Балашова Д.А., слушателя. 11.Топологический радикал Джекобсона. Доклад Тензиной В.В., ведущего научного сотрудника **12.04.16** Международная студенческая конференция "Ломоносов-2016". **05.04.16** Г.Г. Аракелов (мехмат), Прикладные аспекты гомоморфной криптографии. //Аннотация//: Будут рассмотрены вопросы полностью гомоморфного шифрования и описаны различные прикладные аспекты гомоморфных моделей шифрования. **29.03.16** Д. Калугин-Балашов (мехмат), Об измерении производительности баз данных. //Аннотация//: В настоящее время существует настолько большое количество баз данных (SQL и NoSQL), что возникает проблема применимости данной базы данных к текущей задаче, или, в более общем случае, сравнения баз данных и выбора наиболее эффективной в заданных условиях. Будут рассмотрены проблемы измерения производительности баз данных (в т.ч., coordinated omission), типовые паттерны нагрузки. **22.03.16** В.В. Тензина (мехмат), Принципы цифрового телевидения. //Аннотация//: Рассматриваются алгоритмы канального кодирования, модуляции, синхронизации. Даётся обзор основных стандартов цифрового телевидения. **15.03.16** В.В. Борисенко (мехмат), Математические методы в томографии головного мозга. **01.03.16** Генриэтта Домбровская (Чикаго), Битемпоральные модели данных. [[Аннотация]] Презентация: {{:specseminary:bi_temporal_in_pg.pptx|}} **16.02.16** С.Т. Главацкий (мехмат), Интеллектуальный анализ данных в сети интернет. == Архив == [[2015]] [[2014]]