Лекция
Теперь мы демонстрируем возможность получения гамильтониана для спиновой цепочки со спином -1, который был приведен в первой лекции в интегральном...
Реконструкция по одному изображению
Точки схода, их оценка и использование для реконструкции. Интерактивные методы реконструкции по одному изображению....
Многовидовое стерео
Алгоритмы на основе раскраски вокселей. Объединение карт глубины с помощью Марковских случайных полей. Многовидовое стерео на основе...
Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в...
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев...
В этой лекции приводится способ построения гамильтониана из трансфер-матрицы и вычисление его спектра из уравнений Бете-анзаца. Оказывается, что гамильтониан в...
Бинокулярное стерео
Постановка задачи. Ректификация изображений и триангуляция. Локальные методы стерео. Глобальные методы, задание энергии. Использование...
Геометрия камеры и структура из движения
Семантическая сегментация изображений и контекст
Понятие пространственной поддержки. Сегментация и распознавание. Понятие контекста. Использование контекста...
Русская журналистика зародилась как газетная, но только со второй половины XIX века русская газета заняла ведущее место в отечественной журналистике.
Цифровой фотомонтаж, часть 2. Сшивка изображений
Матирование границ. Пирамиды Лапласа для сшивки. Редактирование по Пуассону. Метод Drag, Drop Pasting. Основы...
Цифровой фотомонтаж, часть 1. Графические модели
Леммы о контекстах. Типизируемость подтермов, нетипизируемые предтермы. Лемма подстановки. Теорема о редукции субъекта. Незамкнутость относительно экспансии....
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная...
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен...
Сегментация изображений
Сегментация и текстура, текстоны, Pb-детектор. Эмпирические методы сегментации. Методы сегментации на графах. Кластеризация для...
Лекция посвящена рассмотрению примера уравнений Бете-анзаца для случая цепочки из двух узлов. Явно выписывается вид и действие операторов, составляющих матрицу...
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к...
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной...
В докладе будет рассмотрено несколько красивых алгоритмов вычислительной геометрии, на примере которых могут быть проиллюстрированы общие подходы, используемые...
Рассматриваем, какие требования на трансфер-матрицу и оператор Лакса накладывает sl(2)-инвариантность и требования коммутативности операторов Q. Оказывается,...
Теперь нам необходимо проверить коммутативность трансфер-матрицы. Сначала мы проверяем ее для случая двух узлов. В этом случае условие коммутативности легко...
Потоки Уитни в конечномерном евклидовом пространстве. Формы, потоки, нормальные потоки, спрямляемые потоки, плоские цепи. Массы потоков. Потоки со значениями в...
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-...
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и...