Лекция
Вычислимые функции, разрешимые и перечислимые множества
Введение.
Вычисление чисел Фибоначчи: экспоненциальный рекурсивный алгоритм, полиномиальный алгоритм, более детальный анализ.
Время работы алгоритма, O-...
Мы расскажем о том, как зародилась наука о построении моделей веб-графов. Рассмотрим одну из таких моделей и обсудим, какими свойствами, близкими к свойствам...
Мы обсудим еще несколько моделей, которые с разных сторон улучшают модель из первой лекции. Изучим различные свойства веб-графов в этих моделях и, возможно,...
Теория множеств:
Основные понятия теории множеств.
Бинарные отношения и функции.
Рефлексивность, симметричность, транзитивность.
Взаимно-однозначные...
В завершение курса мы поговорим о приложениях изученных нами моделей к задачам ранжирования в поиске.
Страница лекции на сайте Computer Science клуба
Одной из задач в процессе разработки лекарств является задача поиска химических соединений, содержащих заданный фрагмент, в больших базах данных. Такие базы...
Задача о максимальном разрезе в ненаправленном графе. Рандомизированное 2-приближениеМаксимальный разрез как задача целочисленного квадратичного...
Субмодулярность ранговой функции. Субмодулярные функции на семействе множеств, примеры. Полиматроид и расширенный полиматроид. Жадный алгоритм для оптимизации...
Минимизация субмодулярной функции с помощью метода эллипсоидов. Пересечение матроидов, примеры. Трудность оптимизации по пересечению трех матроидов....
Краткое напоминание: целочисленные полиэдры и комбинаторные задачи, тотальная унимодулярность и тотальная двойственная целочисленность. Доказательство...
Задача о вершинно-взвешенном мультиразрезе, описание политопа. Двойственная линейная программа, T-пути и мультипотоки. Полуцелочисленность, 2-приближенный...
Симплекс-метод. Вырожденные задачи, проблема зацикливания симплекс-метода. Различные способы выбора опорных индексов. Скелет политопа и его диаметр, связь с...
Системы допустимых множеств и их политопы, связь между комбинаторной и линейной задачами. Частично-упорядоченные множества, цепи и антицепи. TDI-системы....
Конусы и целые точки в них, базисы Гильберта. Существование конечного базиса Гильберта у любого рационального конуса. Всякий рациональный полиэдр задается TDI-...
Задачи линейного и целочисленного программирования. Формы задач: стандартная и каноническая. Разрешимость задачи ЛП за конечное время, элиминация Фурье-Моцкина...
Базисные допустимые решения. Конечность числа вершин. Тотально унимодулярные матрицы. Целочисленность полиэдра, задаваемого тотально унимодулярной матрицей....
Распознавание черт лица и моделирование головы человека по изображению
Активные модели формы и внешности для распознавания черт лица. Трехмерные...
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Распознавание и анализ изображений лиц человека
Тестовые коллекции. Признаки для анализа лиц, Local Binary Patterns. Распознавание атрибутов лица. Подход для...
Распознавание позы человека
Отслеживание и покадровая оценка. Иллюстрированные модели и методы на их основе. Многокамерные методы для оценки позы человека,...
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Обработка ошибок и исключения.
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Реконструкция по одному изображению
Точки схода, их оценка и использование для реконструкции. Интерактивные методы реконструкции по одному изображению....
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-...
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и...
Многовидовое стерео
Алгоритмы на основе раскраски вокселей. Объединение карт глубины с помощью Марковских случайных полей. Многовидовое стерео на основе...
Бинокулярное стерео
Постановка задачи. Ректификация изображений и триангуляция. Локальные методы стерео. Глобальные методы, задание энергии. Использование...
Геометрия камеры и структура из движения
Страницы
Конференция
Страница курса на сайте Computer Science клуба.
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Java-конференция Joker 2015 University Day
Санкт-Петербург, 18.10.2015
18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of...
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Курс лекций
Помимо стандартных результатов, которые обычно упоминаются в курсах по комбинаторной оптимизации, будут рассказаны не столь хорошо известные, но красивые...
В рамках курса рассказывается об одном из основных направлений теории сложности вычислений — схемной сложности булевых функций.
Программа занятий по функциональному программированию включает в себя лекции и решение задач на программирование в функциональном стиле на языке Haskell....
В курсе будет рассказано о современном направлении в теории сложности - fine-grained complexity. В рамках этого направления ресурсы, необходимые для выполнения...
In this mini-course we will cover recent developments in approximate algorithms for processing very large data sets. We will focus on fundamental techniques...