Лекция
Коды с кратностями.
Страница лекции на сайте Computer Science клуба
Сочетающиеся вектора.
Страница лекции на сайте Computer Science клуба
Сочетающиеся вектора. Коды из сочетающихся векторов. Конструкция. Семейства сочетащихся векторов. Приложения локально декодируемых кодов в криптографии (...
Модели локального декодирования. Код Адамара. Коды с оптимальным восстановлением. Пирамидальные коды.
Страница лекции на сайте Computer Science клуба
Коды Рида-Маллера.
Страница лекции на сайте Computer Science клуба
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...
Качество программного обеспечения
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science клуба
Постепенное нарастание вычислительных мощностей компьютеров приводит к возможности создания предельно сложных и хорошо детализированных виртуальных миров, при...
NP-полные задачи
Задачи поиска, классы P и NP. Сведения. Доказательство NP-полноты задач выполнимости, 3-выполнимости, выполнимости схемы, задачи о независимом...
Страница лекции на сайте Computer Science Center
Обучение ранжированию.
Страница лекции на сайте 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...
Голосования. Теорема Эрроу. Стратегическая устойчивость правил голосования.
Страница лекции на сайте Computer Science Center
Вычисления на GPU
Вычислительные устройства: CPU, MIC, GPU
Стандарты: Brook , CUDA, OpenCL
Миграция вычислений
Страница лекции на сайте Computer Science Center
Лекция 11. Цифровые подписи.
Сборка проектов. Непрерывная интеграция
Страница лекции на сайте Computer Science Center
Экспандеры и блуждания по ним
Комбинаторный и алгебраические экспандеры. Лемма о перемешивании. Блуждание по экспандеру, вероятность блуждания по множеству....
Сэмплеры и хиттеры
Сэмплеры: наивный сэмплер, попарно-независимый сэмплер, медиана из усреднений. Булев сэмплер из экспандера, сэмплер из булева сэмплера....
Введение в редукцию графов
Системы контроля версий (окончание)
Страница лекции на сайте Computer Science Center
Лекция 10. Односторонние функции с секретом, криптосистемы с открытым ключом.
Алгоритм Кнутта-Морриса-Пратта
Задача поиска подстроки в строке. Наивный алгоритм, алгоритм Карпа-Рабина, алгоритм Кнута-Морриса-Пратта.
Страница лекции на...
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science клуба
На лекции дан краткий обзор технологий получения, редактирования и воспроизведения стереоскопических "3D" изображений, а также уделено внимание...
Интерпретация и компиляция функциональных программ
Eval / Apply -интерпретатор.
Эффективная и ленивая интерпретация.
SECD-машина. Эффективная и ленивая версии...
Выпуклая оптимизация.
Страница лекции на сайте Computer Science Center
Исключения и ООП. Приведение типов в стиле C.
N-ядро. Теорема Колберга. Теорема Соболева. Монотонность. Теорема Янга.
Страница лекции на сайте Computer Science Center
Параллельные реализации алгоритмов
Оптимизации в компиляторах
Системы управления дефектами. Системы контроля версий
Страница лекции на сайте Computer Science Center
Лекция 9. Трудный бит. Псевдослучайный генератор.
Симплекс-метод
Подробнее о двойственности, симплекс-метод.
Страница лекции на сайте Computer Science Center