Перейти к основному содержанию
  • Лекториум

  • Меню
  • Онлайн-курсы
  • Медиатека
  • Онлайн-школы
  • Courses in English
  • Войти
Найдено:
 
6544
Вид отображения:  

Лекция

 

Дополнительные главы компьютерного зрения. Лекция 1

Сегментация изображений Сегментация и текстура, текстоны, Pb-детектор. Эмпирические методы сегментации. Методы сегментации на графах. Кластеризация для...
Антон Конушин

Дата записи: 08.03.2011
МГУ Факультет вычислительной математики и кибернетики
 

Интегрируемые спиновые цепочки. Лекция 6

Лекция посвящена рассмотрению примера уравнений Бете-анзаца для случая цепочки из двух узлов. Явно выписывается вид и действие операторов, составляющих матрицу...
Сергей Деркачев

Дата записи: 07.03.2011
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ
 

Рассказы о теории чисел. Лекция 4

Александр Смирнов

Дата записи: 06.03.2011
Санкт-Петербургский Государственный Университет (СПбГУ)
 

Димеры на планарных графах. Лекция 2

Дмитрий Челкак

Дата записи: 05.03.2011
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ
 

Интегрируемые спиновые цепочки. Лекция 4

Рассматриваем, какие требования на трансфер-матрицу и оператор Лакса накладывает sl(2)-инвариантность и требования коммутативности операторов Q. Оказывается,...
Сергей Деркачев

Дата записи: 03.03.2011
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ
 

Интегрируемые спиновые цепочки. Лекция 5

Теперь нам необходимо проверить коммутативность трансфер-матрицы. Сначала мы проверяем ее для случая двух узлов. В этом случае условие коммутативности легко...
Сергей Деркачев

Дата записи: 03.03.2011
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ
 

Теория сложности доказательств. Лекция 1

Введение
Эдуард Гирш

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Функциональное программирование. Лекция 2

Язык Scheme. Рекурсия и хвостовые вызовы
Евгений Кирпичев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Семантическая классификация изображений. Лекция 1

Страница лекции на сайте Computer Science клуба
Антон Конушин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Семантическая классификация изображений. Лекция 2

Страница лекции на сайте Computer Science клуба
Антон Конушин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Функциональное программирование. Лекция 3

Функции высшего порядка и замыкания В лекции рассматривается на примерах идея абстрагирования вычислительных процессов с помощью функций высшего порядка и...
Евгений Кирпичев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Теория сложности доказательств. Лекция 2

Системы Фреге Страница лекции на сайте Computer Science клуба
Эдуард Гирш

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 1

Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика. Страница лекции на сайте Computer...
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 2

Понятие дескрипционной логиги. Дескрипционная логика EL. Страница лекции на сайте Computer Science клуба
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 3

Полиномиальный алгоритм для задачи классификации в дескрипционной логике EL. Страница лекции на сайте Computer Science клуба
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 4

Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов. Страница лекции на сайте Computer Science клуба
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 5

Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с...
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 6

Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность Страница лекции на сайте Computer...
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 7

Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox. Страница лекции на сайте Computer...
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 8

Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL....
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Онтология и представление знаний. Лекция 9

Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств;...
Борис Конев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Функциональное программирование. Лекция 4

Абстракция данных Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Евгений Кирпичев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Теория сложности доказательств. Лекция 4

Непересекающиеся NP-пары Страница лекции на сайте Computer Science клуба
Эдуард Гирш

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Теория сложности доказательств. Лекция 3

Моделирование секущих плоскостей в системах Фреге, оптимальные системы Страница лекции на сайте Computer Science клуба
Эдуард Гирш

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Теория сложности доказательств. Лекция 7

Алгебраические и полуалгебраические системы доказательств Страница лекции на сайте Computer Science клуба
Эдуард Гирш

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Минимальные поверхности. Лекция 2

Потоки Уитни в конечномерном евклидовом пространстве. Формы, потоки, нормальные потоки, спрямляемые потоки, плоские цепи. Массы потоков. Потоки со значениями в...
Евгений Степанов

Дата записи: 01.03.2011
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ
 

Two-Party Differential Privacy and Deterministic Extraction from Santha-Vazirani Sources

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...
Григорий Ярославцев

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Program Analysis for Security. Lecture 1

Страница лекции на сайте Computer Science клуба
Ben Livshits

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Системы типизации лямбда-исчисления. Лекция 3

Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к...
Денис Москвин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Системы типизации лямбда-исчисления. Лекция 4

Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной...
Денис Москвин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Системы типизации лямбда-исчисления. Лекция 5

Леммы о контекстах. Типизируемость подтермов, нетипизируемые предтермы. Лемма подстановки. Теорема о редукции субъекта. Незамкнутость относительно экспансии....
Денис Москвин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Системы типизации лямбда-исчисления. Лекция 6

Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная...
Денис Москвин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Program Analysis for Security. Lecture 3

Страница лекции на сайте Computer Science клуба
Ben Livshits

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Компьютерное зрение и библиотека OpenCV. Лекция 1

Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
Виктор Ерухимов

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Компьютерное зрение и библиотека OpenCV. Лекция 2

OpenCV – набор инструментов компьютерного зрения, распространяемый бесплатно и с открытым кодом. Библиотека широко используется как в академических...
Виктор Ерухимов

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Синтаксический анализ для встроенных языков

Разрабатывая программы Java, Python, PHP и т.д., мы зачастую используем несколько языков одновременно: в нашем коде на языке общего назначения, например, Java...
Андрей Бреслав

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вычислительная геометрия: иллюстрации

В докладе будет рассмотрено несколько красивых алгоритмов вычислительной геометрии, на примере которых могут быть проиллюстрированы общие подходы, используемые...
Кира Вяткина

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

BrainStorm. Автоматизированная оптимизация аппаратно-программных архитектур

В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен...
Андрей Бреслав

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Системы типизации лямбда-исчисления. Лекция 7

Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в...
Денис Москвин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Системы типизации лямбда-исчисления. Лекция 8

Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев...
Денис Москвин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Введение в метаматематику. Лекция 2

Андрей Бовыкин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Введение в метаматематику. Лекция 3

Андрей Бовыкин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Введение в метаматематику. Лекция 5

Андрей Бовыкин

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 1

Вероятностное пространство. Простейшие свойства вероятности. Вероятностный метод. Эффективная монотонная схема для функции голосования. Линейность...
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 2

Независимые события и случайные величины, неравенство Чебышева, закон больших чисел для попарно независимых случайных величин, закон больших чисел для t-...
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 3

Конструкция k-независимого множества. Матричные конструкции 2-независимых множеств. Матрицы Теплица. Семейства попарно независимых хеш-функций. Страница лекции...
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 4

k-независимые хеш-функции, конструкции. Основная лемма о хешировании для попарно независимых хеш-функций. Лемма о хешировании для 2t-независимых хеш-функций....
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 5

Генерация равномерного распределения на множестве подсказок с помощью k-независимых хеш-функций. Лемма Вэлианта-Вазирани. Страница лекции на сайте Computer...
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 6

Страница лекции на сайте Computer Science клуба
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН
 

Вероятностные методы в вычислениях. Лекция 7

Страница лекции на сайте Computer Science клуба
Дмитрий Ицыксон

Дата записи: 01.03.2011
Computer Science клуб при ПОМИ РАН

Страницы

  • « первая
  • ‹ предыдущая
  • …
  • 118
  • 119
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • 126
  • …
  • следующая ›
  • последняя »
Например: 07/15/2025
Например: 07/15/2025
Настройка сортировки

Разделы

Онлайн-курсы

Медиатека

Онлайн-школы

Конференция Парсек

Чаты и общение

Партнёрам

Издательство

Видеосъёмка

Обучение сотрудников

Платформа Эдуардо

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

Поддержать проект

Правовая информация

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

Одноклассники