Найдено:
 
1690
Вид отображения:  

Лекция

Экспандеры и их применения. Лекция 9

Генератор Нисана Генератор Нисана и дерандомизация вычислений на логарифмической памяти. Страница лекции на CSClub
Андрей Ромащенко

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

Экспандеры и их применения. Лекция 8

Экстракторы случайности Построение экстрактора случайности с помощью блуждания на экспандере. Повторное использование отработанной случайности. Страница лекции...
Андрей Ромащенко

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

Коммуникационная сложность (2017). Лекция 3

Формальное определение детерминированных и вероятностных коммуникационных протоколов. Дерево протокола. Прямоугольники, соответствующие листьям дерева...
Николай Верещагин

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

Коммуникационная сложность (2017). Лекция 2

Верхняя оценка O(1) для односторонней вероятностной сложности предиката GT для протоколов с общими случайными битами. Оценка O(log2n) вероятностной...
Николай Верещагин

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

Экспандеры и их применения. Лекция 7

Рекурсивные конструкции спектральных экспандеров Алгоритмически эффективные конструкции экспандеров. Случайное блуждание на экспандере и построение генераторов...
Андрей Ромащенко

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

Экспандеры и их применения. Лекция 6

Зигзаг-произведение графов Спектр тензорного произведения графов. Зигзаг произведение однородных графов. Оценка спектрального зазора для зигзаг-произведения....
Андрей Ромащенко

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

Коммуникационная сложность (2017). Лекция 1

Понятие детерминированного коммуникационного протокола (неформально). Тривиальные верхние оценки на коммуникационную сложность D(f) для произвольной функции f:...
Николай Верещагин

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

Экспандеры и их применения. Лекция 5

Спектр случайного графа. Случайное блуждание на экспандере Теорема о существовании спектральных экспандеров с параметрами (n=d4,d,γ). Оценка спектра для...
Андрей Ромащенко

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

Экспандеры и их применения. Лекция 4

Спектр графа, определение спектрального экспандера Собственные числа и собственные векторы однородного графа. Поведение спектра при возведении графа в степень...
Андрей Ромащенко

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

Как самостоятельно освоить Мachine Learning и Big Data

Мастер-класс руководителя разработки в отделе развития платежей «Сбербанк-Технологии» Станислава Кима.
Станислав Ким

Дата записи: 26.03.2017
Сбербанк

Экспандеры и их применения. Лекция 3

Вершинное и рёберное расширение графа Лемма об уединённых соседях. Декодирование экспандерного кода (параллельный алгоритм с логарифмическим числом итераций)....
Андрей Ромащенко

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

Экспандеры и их применения. Лекция 2

Примеры применений комбинаторных экспандеров Два примеры применения экспандеров:
Андрей Ромащенко

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

Экспандеры и их применения. Лекция 1

Комбинаторные экспандеры: определения и теоремы о существовании Комбинаторные определения экспандера (для однородного и для двудольного графов). Вероятностное...
Андрей Ромащенко

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

Теоретическая информатика. Лекция 6

Федор Петров

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

Теоретическая информатика. Лекция 5

Федор Петров

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

Теоретическая информатика. Лекция 4

Федор Петров

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

Теоретическая информатика. Лекция 3

Федор Петров

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

Теоретическая информатика. Лекция 2

Федор Петров

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

Теоретическая информатика. Лекция 1

Федор Петров

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

Методы и системы обработки больших данных. Лекция 11

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 10

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 9

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 8

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 7

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 6

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 5

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 4

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 3

Иван Пузыревский

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

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

Иван Пузыревский

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

Методы и системы обработки больших данных. Лекция 1

Иван Пузыревский

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 10

CUDA и OpenGL. Пример: решение стационарного уравнения Пуассона неявным методом Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 9

Отладка и обзор IDE Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 8

Динамический параллелизм, компиляция и линковка Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 7

Архитектура GPU Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 6

Иерархия памяти GPU Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 5

Преобразование Фурье, генерация случайных чисел, обход графов и графические примитивы на GPU Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 4

Библиотеки линейной алгебры Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 3

Быстрая разработка для GPU с использованием Thrust Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 2

Введение в CUDA Страница лекции на сайте CSClub
Алексей Ивахненко

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

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 1

Введение в вычисления на GPU Страница лекции на сайте CSClub
Алексей Ивахненко

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

Программирование с зависимыми типами на языке Idris. Лекция 10

Представления и конструкция with Страница лекции на Computer Science Club
Виталий Брагилевский

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

Программирование с зависимыми типами на языке Idris. Лекция 9

Верификация протоколов на типах и определение EDSL Страница лекции на Computer Science Club
Виталий Брагилевский

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

Программирование с зависимыми типами на языке Idris. Лекция 8

Вычисления с эффектами Страница лекции на Computer Science Club
Виталий Брагилевский

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

Программирование с зависимыми типами на языке Idris. Лекция 7

Доказательство теорем Страница лекции на Computer Science Club
Виталий Брагилевский

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

Программирование с зависимыми типами на языке Idris. Лекция 6

Выражение отношений на данных средствами зависимых типов Страница лекции на Computer Science Club
Виталий Брагилевский

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

Программирование с зависимыми типами на языке Idris. Лекция 5

Интерфейсы, модули и пространства имен Страница лекции на Computer Science Club
Виталий Брагилевский

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

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

Типы как сущности первого класса, функции на типах Страница лекции на Computer Science Club
Виталий Брагилевский

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

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

Типы данных и ввод-вывод Страница лекции на Computer Science Club
Виталий Брагилевский

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

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

Интерактивная разработка через типы Страница лекции на Computer Science Club
Виталий Брагилевский

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

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

Верификация ПО, соответствие Карри-Ховарда и зависимые типы Страница лекции на Computer Science Club
Виталий Брагилевский

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

Страницы