Лекция
Финансовые модели: зачем они нужны и как с ними бороться
Model checking based on Craig's interpolants ultimately relies on efficient engines, such as SMT-Solvers, to log proofs of unsatisfiability and to derive the...
Recent technology trends in service oriented computing indicate that a solution eliminating the perceived complexity of the WS-* standard technology stack may...
В 1898 г. А. Пуанкаре дал решение проблемы униформизации римановых поверхностей, основанное на классическом уравнении Лиувилля. В 1981 г. А.М. Поляков...
Многоязычие еврейской диаспоральной культуры нашло отражение в песенной традиции XIX–XX веков. В еврейском репертуаре существуют песни, которые исполняются на...
Комедия Мольера «Тартюф». Творчество Франсуа VI де Ларошфуко
Знаменитый польский специалист в области социальных коммуникаций рассуждает вместе со слушателями Дальневосточного федерального университета о русском...
Качество программного обеспечения
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science клуба
Постепенное нарастание вычислительных мощностей компьютеров приводит к возможности создания предельно сложных и хорошо детализированных виртуальных миров, при...
NP-полные задачи
Задачи поиска, классы P и NP. Сведения. Доказательство NP-полноты задач выполнимости, 3-выполнимости, выполнимости схемы, задачи о независимом...
Страница лекции на сайте Computer Science Center
Вопрос «как поступить?» в теме данной лекции касается не только PhD, но в первую очередь, выбора дальнейшего пути после окончания магистратуры. В данном случае...
Обучение ранжированию.
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
Суффиксные деревья
Построение суффиксного дерева за линейное время.
Страница лекции на сайте Computer Science Center
Metric learning (по tutorial Brian Kulis).
Страница лекции на сайте Computer Science Center
Бонус: аукционы, ограниченная кооперация, неполная информация и др.
Страница лекции на сайте Computer Science Center
Экстракторы
Использование сэмплера для понижения ошибки в вероятностных алгоритмах с экономией случайных битов. Усредняющие сэмплеры, "самый лучший" сэмплер...
Контактная задача, возникающая при моделировании клепочного соединения деталей, после дискретизации методом конечных элементов и редукции переменных может быть...
Комбинаторная редукция
К ближайших соседей. Проклятье размерности. Обзор простых методов поиска ближайших соседей: KD-tree, R-tree, LSH.
Страница лекции на сайте Computer Science...
Вычисления на GPU
Вычислительные устройства: CPU, MIC, GPU
Стандарты: Brook , CUDA, OpenCL
Миграция вычислений
Страница лекции на сайте Computer Science Center
Голосования. Теорема Эрроу. Стратегическая устойчивость правил голосования.
Страница лекции на сайте Computer Science Center
Лекция 11. Цифровые подписи.
Сборка проектов. Непрерывная интеграция
Страница лекции на сайте Computer Science Center
Экспандеры и блуждания по ним
Комбинаторный и алгебраические экспандеры. Лемма о перемешивании. Блуждание по экспандеру, вероятность блуждания по множеству....
Сэмплеры и хиттеры
Сэмплеры: наивный сэмплер, попарно-независимый сэмплер, медиана из усреднений. Булев сэмплер из экспандера, сэмплер из булева сэмплера....
Мера Планшереля на представлениях индуктивных семействах групп и случайные представления.
Введение в редукцию графов
