Лекция
Судьба европейского Средневековья. Творчество итальянского поэта Данте Алигьери
Симплекс-метод. Вырожденные задачи, проблема зацикливания симплекс-метода. Различные способы выбора опорных индексов. Скелет политопа и его диаметр, связь с...
Системы допустимых множеств и их политопы, связь между комбинаторной и линейной задачами. Частично-упорядоченные множества, цепи и антицепи. TDI-системы....
Конусы и целые точки в них, базисы Гильберта. Существование конечного базиса Гильберта у любого рационального конуса. Всякий рациональный полиэдр задается TDI-...
Задачи линейного и целочисленного программирования. Формы задач: стандартная и каноническая. Разрешимость задачи ЛП за конечное время, элиминация Фурье-Моцкина...
Базисные допустимые решения. Конечность числа вершин. Тотально унимодулярные матрицы. Целочисленность полиэдра, задаваемого тотально унимодулярной матрицей....
Q-оператор состоит из блоков, условия на вид которых находятся из требуемых коммутационных соотношений с трансфер-матрицей. Оказывается, что блоки можно...
Распознавание черт лица и моделирование головы человека по изображению
Активные модели формы и внешности для распознавания черт лица. Трехмерные...
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Распознавание и анализ изображений лиц человека
Тестовые коллекции. Признаки для анализа лиц, Local Binary Patterns. Распознавание атрибутов лица. Подход для...
Random matrices and random Schroеdinger operators. In the 1950s, Wigner initiated a program to understand physical phenomena through the eigenvalues of random...
Завершая доказательство, начатое в предыдущей лекции, мы получаем интегральный вид для гамильтониана. После этого, в принципе, можно находить его спектр при...
Распознавание позы человека
Отслеживание и покадровая оценка. Иллюстрированные модели и методы на их основе. Многокамерные методы для оценки позы человека,...
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Обработка ошибок и исключения.
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Теперь мы демонстрируем возможность получения гамильтониана для спиновой цепочки со спином -1, который был приведен в первой лекции в интегральном...
Реконструкция по одному изображению
Точки схода, их оценка и использование для реконструкции. Интерактивные методы реконструкции по одному изображению....
Многовидовое стерео
Алгоритмы на основе раскраски вокселей. Объединение карт глубины с помощью Марковских случайных полей. Многовидовое стерео на основе...
Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в...
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев...