Лекция
Зигзаг-произведение графов
Спектр тензорного произведения графов. Зигзаг произведение однородных графов. Оценка спектрального зазора для зигзаг-произведения....
Понятие детерминированного коммуникационного протокола (неформально). Тривиальные верхние оценки на коммуникационную сложность D(f) для произвольной функции f:...
Спектр случайного графа. Случайное блуждание на экспандере
Теорема о существовании спектральных экспандеров с параметрами (n=d4,d,γ). Оценка спектра для...
Спектр графа, определение спектрального экспандера
Собственные числа и собственные векторы однородного графа. Поведение спектра при возведении графа в степень...
Мастер-класс руководителя разработки в отделе развития платежей «Сбербанк-Технологии» Станислава Кима.
Вершинное и рёберное расширение графа
Лемма об уединённых соседях. Декодирование экспандерного кода (параллельный алгоритм с логарифмическим числом итераций)....
Примеры применений комбинаторных экспандеров
Два примеры применения экспандеров:
Комбинаторные экспандеры: определения и теоремы о существовании
Комбинаторные определения экспандера (для однородного и для двудольного графов). Вероятностное...
Дебаты об особенности работы IT-специалистов в крупных компаниях и в небольших проектах. Какие проблемы возникают при росте команды разработчиков, как избежать...
CUDA и OpenGL. Пример: решение стационарного уравнения Пуассона неявным методом
Страница лекции на сайте CSClub
Отладка и обзор IDE
Страница лекции на сайте CSClub
Динамический параллелизм, компиляция и линковка
Страница лекции на сайте CSClub
Архитектура GPU
Страница лекции на сайте CSClub
Иерархия памяти GPU
Страница лекции на сайте CSClub
Преобразование Фурье, генерация случайных чисел, обход графов и графические примитивы на GPU
Страница лекции на сайте CSClub
Библиотеки линейной алгебры
Страница лекции на сайте CSClub
Быстрая разработка для GPU с использованием Thrust
Страница лекции на сайте CSClub
Введение в CUDA
Страница лекции на сайте CSClub
Введение в вычисления на GPU
Страница лекции на сайте CSClub
Представления и конструкция with
Страница лекции на Computer Science Club
Верификация протоколов на типах и определение EDSL
Страница лекции на Computer Science Club
Вычисления с эффектами
Страница лекции на Computer Science Club
Доказательство теорем
Страница лекции на Computer Science Club
Выражение отношений на данных средствами зависимых типов
Страница лекции на Computer Science Club
Интерфейсы, модули и пространства имен
Страница лекции на Computer Science Club
Типы как сущности первого класса, функции на типах
Страница лекции на Computer Science Club
Типы данных и ввод-вывод
Страница лекции на Computer Science Club
Интерактивная разработка через типы
Страница лекции на Computer Science Club
Верификация ПО, соответствие Карри-Ховарда и зависимые типы
Страница лекции на Computer Science Club
Страницы
- « первая
- ‹ предыдущая
- …
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »