Лекция
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-...
Разрабатывая программы Java, Python, PHP и т.д., мы зачастую используем несколько языков одновременно: в нашем коде на языке общего назначения, например, Java...
Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
OpenCV – набор инструментов компьютерного зрения, распространяемый бесплатно и с открытым кодом. Библиотека широко используется как в академических...
География в запросах. ВременнЫе аспекты запросов. Перевод запросов
Страница лекции на сайте 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...
Системы типов (начало)
В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее...
Когерентные конфигурации
Алгоритм Вейсфейлера-Лемана
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 клуба
Свертки
В лекции рассматриваются списочные и обобщенные свертки как абстракции вычисления "по индукции", а также их применение к инкрементальным, параллельным...
Проблемы, эквивалентные проблеме изоморфизма
Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Абстракция данных
Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Проблема изоморфизма простых графов
Изоморфно-полные классы и категории
Непересекающиеся NP-пары
Страница лекции на сайте Computer Science клуба
Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL....
Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств;...
Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность
Страница лекции на сайте Computer...
Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox.
Страница лекции на сайте Computer...
Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Страница лекции на сайте Computer Science клуба
Полиномиальный алгоритм для задачи классификации в дескрипционной логике EL.
Страница лекции на сайте Computer Science клуба
Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов.
Страница лекции на сайте Computer Science клуба
Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с...