Лекция
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная...
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен...
Сегментация изображений
Сегментация и текстура, текстоны, Pb-детектор. Эмпирические методы сегментации. Методы сегментации на графах. Кластеризация для...
Лекция посвящена рассмотрению примера уравнений Бете-анзаца для случая цепочки из двух узлов. Явно выписывается вид и действие операторов, составляющих матрицу...
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к...
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной...
В докладе будет рассмотрено несколько красивых алгоритмов вычислительной геометрии, на примере которых могут быть проиллюстрированы общие подходы, используемые...
Рассматриваем, какие требования на трансфер-матрицу и оператор Лакса накладывает sl(2)-инвариантность и требования коммутативности операторов Q. Оказывается,...
Теперь нам необходимо проверить коммутативность трансфер-матрицы. Сначала мы проверяем ее для случая двух узлов. В этом случае условие коммутативности легко...
Потоки Уитни в конечномерном евклидовом пространстве. Формы, потоки, нормальные потоки, спрямляемые потоки, плоские цепи. Массы потоков. Потоки со значениями в...
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-...
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и...
Разрабатывая программы Java, Python, PHP и т.д., мы зачастую используем несколько языков одновременно: в нашем коде на языке общего назначения, например, Java...
Мы проверяем sl(2)-инвариантность гамильтониана, представляющего собой интегральный оператор. Для этого мы вычисляем действие экспонент генераторов алгебры sl(...
Справочные сведения из геометрической теории меры. Липшицевы функции, спрямляемые множества, касательные пространства к мерам, [кривизна мер, размерность мер и...
Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
OpenCV – набор инструментов компьютерного зрения, распространяемый бесплатно и с открытым кодом. Библиотека широко используется как в академических...
Лекция была посвящена обсуждению цепочки со спинами в общем положении. В этом случае в качестве реализации пространства представления, соответствующего спину,...
Лекция началась с формулировки двух примеров интегрируемых спиновых цепочек – XXX-цепочки со спином 1/2 и цепочки со спином, равным -1.
В основном это рассказ о теории чисел. Экспериментальный факт: для теории чисел полезна и нужна вся хорошая математика, а плохая не нужна. План такой:...
Золотой век римской литературы
Творчество Еврипида. Трагедии "Медея" и "Ифигения в Авлиде"
Трагедия Софокла «Антигона»
В докладе Р.
Системы типов (начало)
В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее...
География в запросах. ВременнЫе аспекты запросов. Перевод запросов
Страница лекции на сайте Computer Science клуба
Академические инициативы Яндекса
Страница лекции на сайте Computer Science Club
The talk presents recent results (from a paper at FOCS 2010) on "differential privacy" in a distributed setting: two parties holding sensitive data would like...
Алгоритм Вейсфейлера-Лемана
Когерентные конфигурации
Recent breakthroughs in the next-generation DNA sequencing fueled the genomics studies and revealed that some classical biological theories may be incomplete...
Трагедия Софокла "Царь Эдип"
Аннотация лекции
В этой лекции на примере программы для упрощения выражений иллюстрируется ряд идей, связанных с "предметными языками" (DSL):
Изменяемое состояние и модель окружений
В этой лекции вводится понятие изменяемого состояния и тождества объектов, а также показывается, как при этом...
Умеренно-экспоненциальный алгоритм распознавания изоморфизма