Лекция
Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
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):
Изменяемое состояние и модель окружений
В этой лекции вводится понятие изменяемого состояния и тождества объектов, а также показывается, как при этом...
Умеренно-экспоненциальный алгоритм распознавания изоморфизма
Презентация проекта Центра Экологической и технологической истории ЕУСПб "История популяций морских животных":Юлия Лайус: "История популяции морских животных",...
Институт проблем правоприменения ЕУСПб:Элла Панеях: На стыке бюрократий: обвинительный уклон российских судов, как эффект неоднородности организационной...
Возникновение и развитие трагедии и комедии в Древней Греции
Распознавание изоморфизма кубических графов
Характеристики запросов, источники данных, сегментация
Страница лекции на сайте Computer Science клуба
Тематическая классификация, близкие запросы
Страница лекции на сайте Computer Science клуба
Открытые проблемы
Длины кратчайших синхронизирующих слов для автоматов с различными ограничениями. Автоматы с буквой дефекта 2. Тотально синхронизируемые...
Лекция прочитана для студентов Европейского университета в Санкт-Петербурге на английском языке.
Проблема Черни для апериодических автоматов. Часть 1
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Проблема Черни для апериодических автоматов. Часть 2
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Автоматы и матрицы
Связь между длиной кратчайшего синхронизирующего слова синхронизируемого автомата и экспонентой его орграфа. Гибридная гипотеза. Медленно...
Творчество Вергилия (Публий Вергилий Марон). Поэма «Энеида»
Гипотеза Черни
Задача о длине кратчайшего синхронизирующего слова для автоматов с данным числом состояний. Серия Черни, нижняя оценка. Гипотеза Черни. Обзор...
Проблема раскраски дорог. Часть 1
Проблема раскраски дорог. Часть 2
История и мотивация
Обзор математических и технических задач, приводящих к рассмотрению синхронизируемых автоматов.
Страница лекции на сайте Computer Science...
Алгоритмы и сложность
Алгебраические и полуалгебраические системы доказательств
Страница лекции на сайте Computer Science клуба
Гомеровский эпос. ''Илиада'' и проблема противостояния варварства и цивилизации. ''Одиссея'' и проблема творческого поиска человека (продолжение)
Комбинаторные алгоритмы
Алгоритмы для групп перестановок
Моноиды, векторный параллелизм, MapReduce
Алгоритм Симса
Нижние оценки для принципа Дирихле и корректности метода резолюций
Страница лекции на сайте Computer Science клуба