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

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

Лекция

 

Квантовые алгоритмы. Лекция 4

Страница лекции на сайте Computer Science клуба
Михаил Вялый

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

Квантовые алгоритмы. Лекция 5

Страница лекции на сайте Computer Science клуба
Михаил Вялый

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

Java. Лекция 4

Обработка ошибок и исключения.
Георгий Корнеев

Дата записи: 03.04.2011
Computer Science Center
 

Квантовые алгоритмы. Лекция 1

Страница лекции на сайте Computer Science клуба
Михаил Вялый

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

Квантовые алгоритмы. Лекция 2

Страница лекции на сайте Computer Science клуба
Михаил Вялый

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

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

Реконструкция по одному изображению Точки схода, их оценка и использование для реконструкции. Интерактивные методы реконструкции по одному изображению....
Антон Конушин

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

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

Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-...
Денис Москвин

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

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

λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и...
Денис Москвин

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

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

Многовидовое стерео Алгоритмы на основе раскраски вокселей. Объединение карт глубины с помощью Марковских случайных полей. Многовидовое стерео на основе...
Антон Конушин

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

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

Бинокулярное стерео Постановка задачи. Ректификация изображений и триангуляция. Локальные методы стерео. Глобальные методы, задание энергии. Использование...
Антон Конушин

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

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

Геометрия камеры и структура из движения
Антон Конушин

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

Параметризованные алгоритмы. Лекция 3

Федор Фомин

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

Параметризованные алгоритмы. Лекция 4

Федор Фомин

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

Параметризованные алгоритмы. Лекция 1

Федор Фомин

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

Параметризованные алгоритмы. Лекция 2

Федор Фомин

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

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

Семантическая сегментация изображений и контекст Понятие пространственной поддержки. Сегментация и распознавание. Понятие контекста. Использование контекста...
Антон Конушин

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

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

Цифровой фотомонтаж, часть 2. Сшивка изображений Матирование границ. Пирамиды Лапласа для сшивки. Редактирование по Пуассону. Метод Drag, Drop Pasting. Основы...
Антон Конушин

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

Практические аспекты сетевой безопасности. Лекция 3. Сетевая безопасность

Денис Гамаюнов

Дата записи: 14.03.2011
Московский государственный университет
 

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

Цифровой фотомонтаж, часть 1. Графические модели
Антон Конушин

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 клуб при ПОМИ РАН
 

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

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

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

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

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

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

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

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

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

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

Экстракторы Использование сэмплера для понижения ошибки в вероятностных алгоритмах с экономией случайных битов. Усредняющие сэмплеры, "самый лучший" сэмплер...
Дмитрий Ицыксон

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

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

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

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

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

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

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

Program Analysis for Security. Lecture 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Экспандеры и блуждания по ним Комбинаторный и алгебраические экспандеры. Лемма о перемешивании. Блуждание по экспандеру, вероятность блуждания по множеству....
Дмитрий Ицыксон

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

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

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

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

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

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

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

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

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

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

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

Сэмплеры и хиттеры Сэмплеры: наивный сэмплер, попарно-независимый сэмплер, медиана из усреднений. Булев сэмплер из экспандера, сэмплер из булева сэмплера....
Дмитрий Ицыксон

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

Страницы

  • « первая
  • ‹ предыдущая
  • …
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • следующая ›
  • последняя »
Например: 07/16/2025
Например: 07/16/2025
Настройка сортировки

Разделы

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

Медиатека

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

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

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

Партнёрам

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

Видеосъёмка

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

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

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

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

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

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

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