Теоретический семинар (весна 2013)

16.05.2013 Анализ данных изображающей масс-спектрометрии. (Илья Чернявский)

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

25.04.2013 Нижние оценки на схемную сложность некоторых элементарных функций (Денис Тугарев)

Будет рассмотрено доказательство нижней оценки на схемную сложность функции ALLEQ, анализ структуры оптимальной схемы для этой функции и доказательство нижней оценки на схемную сложность функции SubsetALLEQ.

18.04.2013 Байесовские методы для построения рейтинговых систем и анализа временных рядов. (Дмитрия Сердюк)

В первой части доклада будут рассмотрены раннее существовавшие рейтинговые системы,
будет рассмотрена система TrueSkill(TM) и представлено выполненное нами улучшение этой
системы. Также будет представлена утилита для выполнения Байесовского вывода на
фактор-графах с помощью алгоритма распространения ожидания. Будут представлены
экспериментальные результаты скорости работы в зависимости от количества использованных
ядер процессора.

Во второй части будут представлены результаты работы по прогнозированию времени работы
сборщика мусора в системе Data Domain.

11.04.2013 Обзор результатов Э.И. Нечипорука. (Ваня Михайлин)

В докладе будут перечислены основные результаты Э.И. Нечипорука по контактно-вентильным схемам.

28.03.2013 Обзор и сравнение методов RankNet и LambdaRank для задачи ранжирования в Information Retrieval. (Роман Демидов)

В докладе будут рассмотрена задача ранжирования и современные ML-методы её решения , основанные на градиентном спуске - RankNet и его расширение, LambdaRank.

21.03.2013 16:00 ауд. 431 Байесовские системы коллаборативной фильтрации. (Дмитрий Сердюк)

В данном докладе будет определен метод коллаборативной фильтрации
для построения прогнозов в рекомендательных системах на основе
известных предпочтений пользователей. Будет дана бейесовская формулировка
модели SVD. Затем будет рассмотрена модель Matchbox [Stern, Herbrich, Graepel 2011]
и алгоритм для вывода в этих моделях.

14.03.2013 16:00 ауд. 431 Gaussian Mixture Model and its Applications to Imaging Mass Spectrometry Data (Илья Чернявский)

В докладе будут рассмотрены графические модели и их частный случай -- Gaussian Mixture Model (GMM).
Будет рассмотрен алгоритм обучения, а также пример применения GMM к данным
изображающей масс-спектрометрии.

7.03.2013 16:00 ауд. 431 (Продолжение) Алгоритм выполнимости и средняя оценка времени работы для формул над полным двоичным базисом. (Сергей Савинов)

В докладе будет показан алгоритм для выполнимости булевых формул на основе полного двоичного базиса. Для формул размера не более cn, алгоритм работает за время 2^(1-с_0)n для некоторой константы c_0.

28.02.2013 16:00 ауд. 431 Алгоритм выполнимости и средняя оценка времени работы для формул над полным двоичным базисом. (Сергей Савинов)

В докладе будет показан алгоритм для выполнимости булевых формул на основе полного двоичного базиса. Для формул размера не более cn, алгоритм работает за время 2^(1-с_0)n для некоторой константы c_0.