Теоретическая информатика

Михалев А.В. и др.

Когда: вторник, 5 пара - 15:00 - 16:30

Где: 13-11

Семинар проводится в программе Zoom


Предлагается краткое введение в многообразие вопросов и дисциплин современной теоретической информатики.


Материалы семинара


30.03.21

Доклады 2 аспирантов кафедры ТИ:

  • Сотов Александр. «Условия конечности для полигонов над полугруппами»
  • Кузьмин Сергей. «Условия стабильности многоканальной системы с одновременным обслуживанием на нескольких приборах»

23.03.21

Доклады 2 аспирантов кафедры ТИ:

  • Беллонин Кирилл, «Прореживание, как метод поиска архитектуры нейронных сетей.»
  • Кусаинов Рустам. «Алгоритмы 3d реконструкции формы объекта в компьютерном зрении.»

16.03.21

Доклады 2 аспирантов кафедры ТИ:

  • Грижебовская Анна, «Отпечатки пальцев и сосудистый рисунок , как биометрический признак. Алгоритмы обработки и распознавания.”
  • Беллонин Кирилл, «Прореживание, как метод поиска архитектуры нейронных сетей.»

09.03.21

Доклады 2 аспирантов кафедры ТИ:

  • Садова Карина: Генеративные нейронные сети в задаче бесшовного переноса лиц.
  • Ватузов Александр: Вычисление пар Белого с использованием модулярных функций

02.03.21

Доклады 2 аспирантов кафедры ТИ:

  • Залилов Эмиль, Разработка тестировочного окружения для задач робототехники.
  • Гусев Всеволод, Нейросети для обработки речи

16.02.21

Доклады 2 аспирантов кафедры ТИ:

  • Волков Леонид: От Хаффмена до CMIX и NNCP
  • Зайцев Михаил: Машинное обучение в задачах распознавания звука

3.11.20

А.В.Михалёв и И.Б.Кожухов. «Полигоны над полугруппами» (продолжение)

27.10.20

А.В.Михалёв и И.Б.Кожухов. «Полигоны над полугруппами» (продолжение)

20.10.20

Ломоносовские чтения (программа)

13.10.20

А.В.Михалёв и И.Б.Кожухов. «Полигоны над полугруппами»

6.10.20

Р.Р.Айдагулов, С.Т.Главацкий и А.В.Михалев «Модели кластеризации». Аннотация доклада

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

В.К. Захаров (мех-мат), Параллельное определение информации и энергии. Параллельное определение информационной и энергетической производящих систем.

Аннотация: об_информационных_и_энергетических_системах.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

В.Т. Марков (мехмат), Абелевы и неабелевы групповые коды.

Bitemporal Data: making it happened in Postgres.

Будут представлены результаты, полученные коллективом в составе: К.Гарсиа Пильядо, С.Гонсалес, К.Мартинес, А.А.Нечаев и докладчик.

В 2009 испанские математики Берналь, дель Рио и Симон предложили следующее понятие: линейный код C над полем F называется G-кодом, где G - конечная группа, если он перестановочно эквивалентен идеалу группового кольца FG.

Естественно возникает вопрос, можно ли свести G-коды для заданной группы G к A-кодам для некоторой более просто устроенной группы A? В частности, всегда ли (или в каких случаях) все G-коды являются абелевыми, т.е. A-кодами для некоторой абелевой группы A?

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

04.10.16

Р.Р. Айдагулов (мехмат), О p-адических приближениях биномиальных коэффициентов.

Bitemporal Data: making it happened in Postgres.

Презентация: 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

Генриэтта Домбровская (Чикаго), Битемпоральные модели данных.

Bitemporal Data: making it happened in Postgres.

Презентация: bi_temporal_in_pg.pptx

16.02.16

С.Т. Главацкий (мехмат), Интеллектуальный анализ данных в сети интернет.

Архив