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